关于使用条件变量中的一些疑问

yingqy88

在看UNIX网络编程第二卷，第三部分--同步，讲到互斥量与条件变量时，关于条件变量的用法，它给出了一种形式：

1. 
   
2. struct{
   
3.         pthread_mutex_t mutex;
   
4.         pthread_cond_t        cond;
   
5.         维护本条件的各个变量；
   
6. }var = {
   
7.         PTHREAD_MUTEX_INITIALIZER,
   
8.         PTHREAD_COND_INITIALIZER,
   
9.         ...
   
10. };
    
11. 
    
12. pthread_mutex_lock(&var.mutex);
    
13. if(条件为假)
    
14.     pthread_cond_signal(&var.cond);//昨天这里编辑有误
    
15. 设置条件为真;
    
16. pthread_mutex_unlock(&var.mutex);
    

复制代码

然后，在最后又讲：“POSIX允许调用pthread_cond_signal的线程不必是与之关联的互斥体的线程。不过POSIX接着说：如果需要可预见的调度行为，那么必须用互斥锁锁住pthread_cond_signal调用。”

即，POSIX允许这样调用pthread_cond_signal：

1. 
   
2. int dosignal;
   
3. pthread_mutex_lock(&var.mutex);
   
4. dosignal=(当前条件==假)
   
5. 设置条件为真
   
6. pthread_mutex_unlock&var.mutex);
   
7. if(dosignal)
   
8.     pthread_cond_signal(&var.cond);
   

复制代码

我的疑问是，若用后面的方式调用pthread_cond_signal，会有什么样的不可预见的调度行为？
我个人认为完全没有问题：条件的等待者线程仍旧处于睡眠状态。相反，我觉得这种方式更加优雅，可以让其他线程更早的得到互斥锁。
但是我完全相信老先生的顾虑，他这么写绝对是有原因的。
还请各位不吝赐教，多谢！

yingqy88

..................
兄弟姐妹们，有啥想法么？

davelv

可能是你判断if(条件变量真)的时候是ture的，
然后线程轮转，被别的线程把条件变量设置为假。
然后线程轮转回来，你的pthread_cond_signal(&var.cond);接着上面的执行，但是这时候条件变量已经是假了。

yingqy88

回复 3# davelv


      您说的对，即当去signal的时候，其实条件又变为假了，唤醒的线程继续睡眠。但是应该也没有什么问题吧？
我不理解的地方是有哪些不可预见的调度行为。。。我觉得一切尽在掌握啊。。。

yingqy88

{:3_200:}欢迎评论，谢谢

yingqy88

http://blog.csdn.net/xjtuse_mal/archive/2010/03/24/5413101.aspx

davelv

回复  davelv


      您说的对，即当去signal的时候，其实条件又变为假了，唤醒的线程继续睡眠。但是应 ...
yingqy88 发表于 2010-09-02 16:28

这样的话为什么还要写那条if语句呢

pengjianbokobe

明天再来研究一下

yingqy88

回复 7# davelv


    这是因为生产者想早点释放互斥锁，以避免第一种情况中——先signal再释放锁，因为这样存在这么一种状况：signal后，释放互斥锁前，线程轮转，睡眠线程被唤醒，但是无法获得互斥锁，然后继续睡眠。这就造成了资源浪费。