条件变量不丢消息

在陈硕大大的文章提到，条件变量不丢消息的规范：

条件变量只有一种正确使用的方式，几乎不可能用错。对于 wait 端：
1. 必须与 mutex 一起使用，该布尔表达式的读写需受此 mutex 保护。
2. 在 mutex 已上锁的时候才能调用 wait()。
3. 把判断布尔条件和 wait() 放到 while 循环中。

对于 signal/broadcast 端：
1. 不一定要在 mutex 已上锁的情况下调用 signal （理论上）。
2. 在 signal 之前一般要修改布尔表达式。
3. 修改布尔表达式通常要用 mutex 保护（至少用作 full memory barrier）。
4. 注意区分 signal 与 broadcast：“broadcast 通常用于表明状态变化，signal 通常用于表示资源可用。（broadcast should generally be used to indicate state change rather than resource availability。）”

文章链接：http://www.cppblog.com/Solstice/archive/2013/09/09/203094.html

 

 

条件变量看过两种比较常见的写法

第一种 (UNIX编程写法)

wait端：                         notify端

lock()                               lock()

while(!ready)                  ready=true

     wait()                          dosomething

dosomething                  unlock()

unlock()                           notify()

 

第二种

wait端：                         notify端

lock()                               lock()

while(!ready)                  ready=true

     wait()                          dosomething

dosomething                  notify()

unlock()                           unlock()

区别在于unlock后notify还是unlock前notity

其实之前一直不能理解这两种变量绝对不会丢消息的说法，在我的理解下，

第一种在wait端还没有获取到锁的时候，或者获取到锁后进入wait()之前，此时Nofity就会丢消息

第二种在wait端没获取到锁的时候,此时notify就会丢消息

但是我觉得这里还有个条件，是ready变量，虽然丢了条件变量的消息，但是只要循环判断ready变量，就不会错过要通知的事件，这里的锁保护了ready变量不会被其他线程修改，同时也提供了内存屏障的作用！