问一个关于条件变量的问题

dodomouse

对于条件变量的signal一般有这种写法：

1. pthread_mutex_lock(&mutex);
   
2. /**operation/
   
3. pthread_cond_signal(&cond)
   
4. pthread_mutex_unlock(&mutex)

复制代码

如果这个互斥量被signal这边的函数先抢到了，那wait那边的函数岂不是收不到信号了？
怎么保证wait那边先抢到互斥量？

羽剑天涯

wait之前会先加锁，然后wait传递了已加锁的mutex和cond
此后该API会解锁该mutex并等待cond当前进程阻塞在该API中，另外一个线程如你这样写，signal调用后，wait的这个线程就会被**，同时再做加锁动作，成功后wait的API返回

如果wait的线程都没能够加锁成功，signal的线程加锁成功，并发送signal，之后wait的线程加锁成功再wait就收不到通知，但是wait的线程一般可以这么写：

1. lock
   
2. while (1) {
   
3.     if(条件已满足) {
   
4.         // do something
   
5.     } else if (wait成功) {
   
6.         continue;
   
7.     } else {
   
8.         // 运行出错
   
9.         exit;
   
10.     }
    
11. }
    
12. unlock

复制代码

这样，就算没用通知到（wait线程还未加锁成功），但凡加锁成功，会立刻判断一下条件是否满足