使用C++20的信号量来替代条件变量，使用 impl 模式来隐藏具体的实现，可减少编译时间以及隐藏具体的细节实现。