为什么条件变量需要传入mutex?

条件变量一般而言,会有一个布尔表达式作为唤醒的条件。调用wait的线程需要读取这个布尔表达式内数据,

同样,调用signal的线程需要修改这个布尔表达式的数据,让表达式为真。故而这两个线程必然访问至少一个公共变量。

于是需要mutex来保护这个公共变量。这也就解释了为何条件变量与mutex共存的原因。

那么为什么要传入呢?

条件变量内部会先解锁mutex,然后堵塞。当被唤醒后再次争夺mutex锁上。

原因在于,如若不传入就无法解锁,无法解锁Mutex就没有其他线程能进入临界区去修改布尔表达式中的公共变量。

所以传入并且解锁是必然的。

唤醒后为何要再次加锁?

第一 : 锁的lock与unlock应该在同一函数内成对出现。

第二 : 存在着条件变量被唤醒后,其他数据也需要被纳入临界区的需求。

于是条件变量把一个临界区至少划分为两个临界区(因为虚假唤醒的原因,故而可能存在多于2个临界区),中间以睡眠间隔。