多线程同步条件变量

最近看《UNIX环境高级编程》多线程同步，看到他举例说条件变量pthread_cond_t怎么用，愣是没有看懂，只好在网上找了份代码，跑了跑，才弄明白

 

#include <pthread.h> #include <stdio.h> #include <stdlib.h> pthread_mutex_t mutex = PTHREAD_MUTEX_INITIALIZER;/*初始化互斥锁*/ pthread_cond_t cond = PTHREAD_COND_INITIALIZER;/*初始化条件变量*/ void *thread1(void *); void *thread2(void *); int i=1; int main(void) { pthread_t t_a; pthread_t t_b; pthread_create(&t_a,NULL,thread1,(void *)NULL);/*创建进程t_a*/ pthread_create(&t_b,NULL,thread2,(void *)NULL); /*创建进程t_b*/ pthread_join(t_a, NULL);/*等待进程t_a结束*/ pthread_join(t_b, NULL);/*等待进程t_b结束*/ pthread_mutex_destroy(&mutex); pthread_cond_destroy(&cond); exit(0); } void *thread1(void *junk) { for(i=1;i<=6;i++) { pthread_mutex_lock(&mutex);/*锁住互斥量*/ printf("thread1: lock %d/n", __LINE__); if(i%3==0){ printf("thread1:signal 1 %d/n", __LINE__); pthread_cond_signal(&cond);/*条件改变，发送信号，通知t_b进程*/ printf("thread1:signal 2 %d/n", __LINE__); sleep(1); } pthread_mutex_unlock(&mutex);/*解锁互斥量*/ printf("thread1: unlock %d/n/n", __LINE__); sleep(1); } } void *thread2(void *junk) { while(i<6) { pthread_mutex_lock(&mutex); printf("thread2: lock %d/n", __LINE__); if(i%3!=0){ printf("thread2: wait 1 %d/n", __LINE__); pthread_cond_wait(&cond,&mutex);/*解锁mutex，并等待cond改变*/ printf("thread2: wait 2 %d/n", __LINE__); } pthread_mutex_unlock(&mutex); printf("thread2: unlock %d/n/n", __LINE__); sleep(1); } }

 

编译：

[X61@horizon threads]$ gcc thread_cond.c -lpthread -o tcd

 

以下是程序运行结果：

[X61@horizon threads]$ ./tcd
thread1: lock 30
thread1: unlock 40

thread2: lock 52
thread2: wait 1  55
thread1: lock 30
thread1: unlock 40

thread1: lock 30
thread1:signal 1  33
thread1:signal 2  35
thread1: unlock 40

thread2: wait 2  57
thread2: unlock 61

thread1: lock 30
thread1: unlock 40

thread2: lock 52
thread2: wait 1  55
thread1: lock 30
thread1: unlock 40

thread1: lock 30
thread1:signal 1  33
thread1:signal 2  35
thread1: unlock 40

thread2: wait 2  57
thread2: unlock 61

 

这里的两个关键函数就在pthread_cond_wait和pthread_cond_signal函数。

本例中：

线程一先执行，获得mutex锁，打印，然后释放mutex锁，然后阻塞自己1秒。

线程二此时和线程一应该是并发的执行 ，这里是一个要点，为什么说是线程此时是并发的执行，因为此时不做任何干涉的话，是没有办法确定是线程一先获得执行还是线程二先获得执行，到底那个线程先获得执行，取决于操作系统的调度，想刻意的让线程2先执行，可以让线程2一出来，先sleep一秒。
这里并发执行的情况是，线程一先进入循环，然后获得锁，此时估计线程二执行,阻塞在
pthread_mutex_lock(&mutex);
这行语句中，直到线程1释放mutex锁
pthread_mutex_unlock(&mutex);/*解锁互斥量*/
然后线程二得已执行，获取metux锁，满足if条件，到pthread_cond_wait (&cond,&mutex);/*等待*/
这里的线程二阻塞，不仅仅是等待cond变量发生改变，同时释放mutex锁 ，因为当时看书没有注意，所以这里卡了很久。
mutex锁释放后，线程1终于获得了mutex锁，得已继续运行，当线程1的if（i%3==0）的条件满足后，通过pthread_cond_signal发送信号，告诉等待cond的变量的线程（这个情景中是线程二），cond条件变量已经发生了改变。

不过此时线程二并没有立即得到运行 ，因为线程二还在等待mutex锁的释放，所以线程一继续往下走，直到线程一释放mutex锁，线程二才能停止等待，打印语句，然后往下走通过pthread_mutex_unlock(&mutex)释放mutex锁，进入下一个循环。