学步园

       我们先看下面的代码

#include <stdio.h><br /> #include <pthread.h><br /> #include <unistd.h><br /> pthread_mutex_t count_lock;<br /> pthread_cond_t count_nonzero;<br /> unsigned count = 0;<br /> void * decrement_count(void *arg) {<br /> pthread_mutex_lock (&count_lock);<br /> printf("1/n");<br /> while(count==0) {<br /> printf("2/n");<br /> pthread_cond_wait( &count_nonzero, &count_lock);<br /> printf("3/n");<br /> }<br /> count = count -1;<br /> pthread_mutex_unlock (&count_lock);<br /> }<br /> void * increment_count(void *arg){<br /> pthread_mutex_lock(&count_lock);<br /> printf("4/n");<br /> if(count==0) {<br /> printf("5/n");<br /> pthread_cond_signal(&count_nonzero);<br /> printf("6/n");<br /> }<br /> count=count+1;<br /> pthread_mutex_unlock(&count_lock);<br /> }<br /> int main(void)<br /> {<br /> pthread_t tid1,tid2;<br /> pthread_mutex_init(&count_lock,NULL);<br /> pthread_cond_init(&count_nonzero,NULL);<br /> pthread_create(&tid1,NULL,decrement_count,NULL);<br /> sleep(2);<br /> pthread_create(&tid2,NULL,increment_count,NULL);<br /> sleep(10);<br /> pthread_exit(0);<br /> return 0;<br /> } 

运行的结果是:

1

2

4

5

6

3

是不是很奇怪：

在 decrement 中第8行加了锁，在14行才解锁的，中间怎么会被插入呢？ 

这个主要是因为 pthread_cond_wait 内部的机制，这个函数有三个阶段：

1。使用pthread_cond_wait前要先加锁
2。pthread_cond_wait内部会解锁，然后等待条件变量被其它线程激活
3。pthread_cond_wait被激活后会再自动加锁

也就是我去排队之前是加了锁(我们显式调用的)，等排到了队伍中，释放了这个锁(函数内部实现)，接着在那里等。。。。。。。。等到实践发生了，那么又开始加锁(函数内部实现)，接着取的资源，释放锁(显式调用)，最后处理资源。 

这样既保证了对资源的互斥访问，保证等待的资源会得到满足