.. Kenneth Lee 版权所有 2020
:Authors: Kenneth Lee :Version: 1.0
cond/mutex模型
本文给一位同学快速介绍一下pthread cond/mutex模型，作为他进行另一个设计的参考。
pthread_cond用于实现提供者-消耗者模型。示意如下：
.. figure:: _static/cond_mutex模型1.jpg
这个图一画，你就发现这个破绽是非常明显的，因为可以发生这样的问题：
.. figure:: _static/cond_mutex模型2.jpg
pthread_cond的解决方案是再加一重保证，让signal发生在wait之后：
.. figure:: _static/cond_mutex模型3.jpg
这个实际复杂了很多，它要处理两种情形：
提供者先抢到mutex，消费者就进不去，等有数据，发完signal，而且unlock了，才轮到消 费者，这时消费者要立即检查数据，有数据就不能wait了。
第二种情况是消费者先拿到锁，提供者就一定进不去，这时如果消费者确定没有数据了， 就用cond wait去等待，这个wait会产生一个unlock，解锁提供者，提供者这时准备数据然 后signal消费者，就必然是有效的。
所以，其实用这种cond的方式提供等待是很复杂的，不要指望靠简单硬件加速可以搞定。