pthread_cond_wait()与pthread_cond_signal()

标签：style   使用   ar   line   amp   size   ad   对象   

pthread_cond_wait在把线程放进阻塞队列后，自动对mutex进行解锁(它内部有自己维护一个队列)，使得其他线程可以获得加锁的权利。这样其它线程才能对临界资源进行访问并在适当的时候唤醒这个阻塞的进程。当pthread_cond_wait返回的时候又会自动给mutex加锁，所以最后需要一个pthread_mutex_unlock()函数来解锁。

假设另一个线程（线程2）锁定了mutex并对已链接列表添加了一项。在对互斥对象解锁后，线程2会立即调用函数pthread_cond_broadcast(&cond)或者pthread_cond_signal(&cond)。此操作之后，线程2将使所有等待cond条件变量的线程立即熟悉。这意味着第一个线程（仍处于pthread_cond_wait()调用中）现在将苏醒。

然后pthread_cond_wait执行最后一个操作：重新锁定mutex，一旦它锁定了互斥对象，那么pthread_cond_wait将返回并允许线程1继续执行。此时，它可以马上检查列

表，查看它所感兴趣的更改。

看例子：

  pthread_mutex_lock(&mut); 
              while (x <= y) { 
                      pthread_cond_wait(&cond, &mut); 
              } 
              /* operate on x and y */ 
              pthread_mutex_unlock(&mut); 

     
              pthread_mutex_lock(&mut); 
              /* modify x and y */ 
              if (x > y) pthread_cond_singal(&cond); 
              pthread_mutex_unlock(&mut); 
这个例子的意思是，两个线程要修改X和 Y的值，第一个线程当X<=Y时就挂起，直到X>Y时才继续执行（由第二个线程可能会修改X,Y的值，当X>Y时唤醒第一个线程），即首先初始化一个普通互斥量mut和一个条件变量cond。

其实函数的执行过程非常简单，在第一个线程执行到pthread_cond_wait(&cond,&mut)时，此时如果X<=Y，则此函数就将mut互斥量解锁，再将第一个线程挂起 （不占用任何CPU周期）。 
    而在第二个线程中，本来因为mut被第一个线程锁住而阻塞，此时因为mut已经释放，所以可以获得锁mut，并且进行修改X和Y的值，在修改之后，一个IF语句判定是不是X>Y，如果是，则此时pthread_cond_signal()函数会唤醒第一个线程，并在下一句中释放互斥量mut。然后第一个线程开始从pthread_cond_wait()执行，首先要再次锁mut ， 如果锁成功，再进行条件的判断 （至于为什么用WHILE，即在被唤醒之后还要再判断，后面有原因分析），如果满足条件，则被唤醒进行处理，最后释放互斥量mut  。 

    至于为什么在被唤醒之后还要再次进行条件判断（即为什么要使用while循环来判断条件），是因为可能有“惊群效应”。有人觉得此处既然是被唤醒的，肯定是满足条件了，其实不然。如果是多个线程都在等待这个条件，而同时只能有一个线程进行处理，此时就必须要再次条件判断，以使只有一个线程进入临界区处理

pthread_cond_wait()与pthread_cond_signal(),布布扣,bubuko.com

pthread_cond_wait()与pthread_cond_signal()

标签：style   使用   ar   line   amp   size   ad   对象   

原文地址：http://www.cnblogs.com/notlate/p/3894921.html