synchronization - 信号量的共识数是多少？

Question

(我认为)consensus number对于互斥锁是 2。

信号量的共识数是多少(例如在 pthread_sem_* 中)？

条件变量的共识数是多少(例如在 pthread_cond_* 中)？

Answer 1

互斥锁的共识数为 1。很明显，互斥锁对于单个线程将是无等待的。从它的定义来看，一个互斥锁对于两个线程来说不再是无等待的。因此，共识数是 >=1 和 <2，所以它必须是 1。

同样，通过暂停一个线程来支持另一个线程的其他同步机制也具有共识编号 1，因此不能用于构造由 2 个线程共享的无等待对象。