条件变量

xiaozi16

条件变量能不能有效地解决死锁问题？？

中国大表哥

unix内都存在死锁的可能你说呢

黑暗的咏叹

我怎么也感觉不能啊，在多线程访问多个临界资源的时候，感觉还是会引起两个线程都处于死等状态。难道是因为在加锁后开锁了，所以不叫死锁而已？

gaojl0728

条件变量不但不能解决死锁的问题，还引入了新的问题：惊群效应

yulihua49

gaojl0728 发表于 2014-02-11 12:48
条件变量不但不能解决死锁的问题，还引入了新的问题：惊群效应

惊群效应?没发现。
它不是干这个用的。
他是同步生产者-消费者的。

Dannysd

条件变量惊群还没遇到过，请问楼主是在什么情况下出现的？

先说好啊，我不是来歪楼的  

gaojl0728

详细的解释请看 man 文档： man pthread_cond_signal.
写的很详细， 从代码的级别解释了为什么会存在惊群效应。

我可以简单解释下， 正常情况下调用pthread_cond_signal会唤醒一个等待的线程， 但因为惊群效应的存在，可能会唤醒多个线程。

w_anthony

其实我也很想知道筷子和碗联合使用，能否解决饿死的问题

yulihua49

gaojl0728 发表于 2014-02-12 13:45
详细的解释请看 man 文档： man pthread_cond_signal.
写的很详细， 从代码的级别解释了为什么会存在惊群效 ...

哦，想起来了，惊群是存在的。

1. pthread_mutex_lock(&fnLock);
   
2.                 do {
   
3.                         fnp=do_get_buf(&csv_q);
   
4.                         if(fnp) {
   
5.                                 pthread_mutex_unlock(&fnLock);
   
6.                                 return fnp;
   
7.                         }
   
8.                         pthread_cond_wait(&fnCond,&fnLock);
   
9.                 } while(1);
   

复制代码

所以我们的代码都是这个样子：wait之后要重新检查队列，看是否有数据。
没有拿到数据的继续睡眠，这样就解决了惊群的问题。