linux 线程的条件锁

       我们先看下面的代码

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

 

运行的结果是:

1

2

4

5

6

3

 

 

是不是很奇怪：

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

 

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

 

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

 

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

 

 

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