为什么条件变量需要传入mutex?
条件变量一般而言,会有一个布尔表达式作为唤醒的条件。调用wait的线程需要读取这个布尔表达式内数据,
同样,调用signal的线程需要修改这个布尔表达式的数据,让表达式为真。故而这两个线程必然访问至少一个公共变量。
于是需要mutex来保护这个公共变量。这也就解释了为何条件变量与mutex共存的原因。
那么为什么要传入呢?
条件变量内部会先解锁mutex,然后堵塞。当被唤醒后再次争夺mutex锁上。
原因在于,如若不传入就无法解锁,无法解锁Mutex就没有其他线程能进入临界区去修改布尔表达式中的公共变量。
所以传入并且解锁是必然的。
唤醒后为何要再次加锁?
第一 : 锁的lock与unlock应该在同一函数内成对出现。
第二 : 存在着条件变量被唤醒后,其他数据也需要被纳入临界区的需求。
于是条件变量把一个临界区至少划分为两个临界区(因为虚假唤醒的原因,故而可能存在多于2个临界区),中间以睡眠间隔。
版权声明：本文为vizdl原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。