何时及为何std::binary_semaphore性能优于std::condition_variable？

根据C++标准文档的说明，信号量常被用于信号/通知语义：将信号量初始化为0后，调用acquire()的接收方会阻塞，直到通知方调用release()发送信号。这种用法下，std::binary_semaphore可以作为std::condition_variable的替代方案，且通常性能更优。以下是它更占优的场景及核心原因：

适用场景 #

• 单生产者-单消费者的简单通知场景：比如线程间完成某个任务后的单次通知，不需要复杂的条件判断
• 无需额外条件校验的重复信号触发场景：比如固定频率的事件通知，只需要触发信号，不需要检查共享状态
• 低延迟要求的高频通知场景：比如实时数据处理、游戏帧同步等对响应速度敏感的场景

性能更优的原因 #

• 省去额外互斥锁开销：使用std::condition_variable必须配合std::mutex，每次wait()都要先加锁、解锁，而std::binary_semaphore的acquire()/release()操作内部不需要额外的互斥锁，减少了锁竞争和上下文切换的开销
• 避免虚假唤醒的额外消耗：std::condition_variable存在虚假唤醒问题，必须在循环中检查条件，这会带来不必要的CPU消耗；而std::binary_semaphore的acquire()只会在release()触发后被唤醒，不存在虚假唤醒，不需要额外的循环校验
• 更轻量的内核态实现：多数平台上，std::binary_semaphore直接映射到操作系统的原生信号量（如Linux的sem_t、Windows的Semaphore），内核调度逻辑更简洁；而std::condition_variable需要和mutex配合完成状态同步，内核层面的交互步骤更多，上下文切换的成本更高

内容的提问来源于stack exchange，提问作者arius