Linux下条件变量的信号丢失指的是什么？

giantchen

回复 10# kaede_1


    因为你根本没有调用 wait() 嘛。

kaede_1

回复 11# giantchen


    在thrd_1中有语句：
pthread_cond_wait(&qready,&qlock);  
这个不是你说的wait吗？

giantchen

你的程序在运行的时候没有调用这个函数。

kaede_1

回复 13# giantchen


    void *thrd_1(void *arg)  
{  
        sleep(5);
        pthread_mutex_lock(&qlock);  
        while(x<y)  
        {  
                pthread_cond_wait(&qready,&qlock);  
        }

你指的没调用是什么意思？

sjtu_smile

回复 14# kaede_1

        while(x<y)
         {  
                 pthread_cond_wait(&qready,&qlock);  
         }
   
红色部分不成立,所以没有调wait

gaojl0728

回复 7# windoze


    pthread_cond_signal 不需要 锁啊。

windoze

回复 16# gaojl0728

pthread_cond有可能会spurious wakeup，如果不把pthread_cond_signal用lock包起开会有race condition，导致丢信号。
自己在纸上画画时序图你就明白了。

gaojl0728

回复 17# windoze


看了下man pthread_cond_signal, 没发现信号丢失的情况，
pthread_cond_wait在释放外部的mutex之前，已经保存好老的信号的状态，然后会锁住cond的内部mutex，再查看信号的新状态，如果有人触发就没有必要睡眠直接pass退出， 否则睡眠。
pthread_cond_signal进来就会锁住cond的内部mutex， 然后触发新的信号，同时如果有人在等待睡眠就**，否则直接pass退出。

所以cond的内部状态会有另外一个锁保护， 跟外部的锁没关系，所以应该不会有竞态条件。

而且如果你看看glibc的代码，他自己在内部使用条件变量的时候pthread_cond_signal也没有锁保护。

kaede_1

回复 15# sjtu_smile


    Bingo ，犯二了，多谢哈

kaede_1

回复 13# giantchen


    多谢指点