C++20 std::counting_semaphore的内存序语义技术问询

与其他同步原语的行为一致性 #

std::counting_semaphore 不存在脱离C++20标准内存模型的特殊实现逻辑，其同步语义和std::mutex、显式指定了acquire/release内存序的原子操作完全对齐：既没有额外的隐式顺序限制（比如比互斥量更强的全序约束），也没有弱于通用同步原语的可见性缺口。

核心操作的内存序属性 #

按照标准对操作类别的划分，两个核心接口的内存属性是完全明确的：

• 当semaphore.acquire()成功返回时，它必然是acquire类内存操作。这个操作会和同信号量上触发本次成功返回的release()操作建立同步配对：所有在该次release()之前发生的内存修改，在acquire()返回后对执行线程完全可见，不存在重排导致的可见性延迟。这和std::mutex::lock()的内存语义没有任何区别。
• 当调用semaphore.release()完成执行时，它必然是release类内存操作。这个操作会把调用线程在该次release()之前完成的所有内存写入，和后续配对成功的acquire()操作绑定同步关系，这些写入不会被编译器或CPU重排到release()操作之后。这和std::mutex::unlock()的内存语义完全等价。

容易踩坑的认知偏差 #

不要因为counting_semaphore支持计数大于1，就默认它的内存保证比互斥量弱。标准明确约束了：哪怕信号量内部计数值远大于1，每一次acquire和对应匹配的release之间的顺序保证强度，和0/1信号量、互斥量的加解锁逻辑完全一致。这个要求是标准层面的强制规定，不是各个平台、标准库的实现可选优化项，所有合规实现都必须满足。

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