关于条件变量

最近打算在写一个网络库,涉及到对mutex、condition的封装,再次使用Linux提供的接口,发现一个问题,使用condition的时候需要配合一个mutex来使用。

上面是关于pthread_cond_wait的man手册说明,意思就是再调用pthread_cond_wait之前需要把mutex上锁,pthread_cond_wait会自动解锁,然后等待条件变量被signal,执行线程会被挂起并不会消耗任何CPU时间,知道条件变量被signal。在返回到调用线程之前,pthread_cond_wait会重新获取锁(如果获取不到锁,会阻塞)。

我想要测试就是最后一点,如果在返回的时候获取不到锁,会不会阻塞,以及想知道为什么需要与一个mutex配合使用。

测试代码:

 1 /*
 2 * 测试pthread_cond_wait
 3 */
 4 #include <unistd.h>
 5 #include <pthread.h>
 6 
 7 #include <stdio.h>
 8 
 9 pthread_mutex_t mutex;
10 pthread_cond_t cond;
11 
12 void* mutex_func(void *arg)
13 {
14     // wait cond_func get the lock
15     printf("lock after 5s\n");
16     sleep(5);
17     pthread_mutex_lock(&mutex);
18 
19     pthread_cond_signal(&cond);
20 
21     printf("unlock after 5s\n");
22     sleep(5);
23     pthread_mutex_unlock(&mutex);
24 }
25 
26 void* cond_func(void *arg)
27 {
28     // lock
29     pthread_mutex_lock(&mutex);
30 
31     pthread_cond_wait(&cond, &mutex); // unlock and block
32     printf("get signal\n");
33 
34     pthread_mutex_unlock(&mutex);
35     // acquire lock, will block
36     printf("cond_func\n");
37 }
38 
39 int main(void)
40 {
41     pthread_mutex_init(&mutex, NULL);
42     pthread_cond_init(&cond, NULL);
43 
44     pthread_t pid1, pid2;
45     pthread_create(&pid1, NULL, mutex_func, NULL);
46     pthread_create(&pid2, NULL, cond_func, NULL);
47 
48     pthread_join(pid1, NULL);
49     pthread_join(pid2, NULL);
50 
51     return 0;
52 }

输出结果:

结论:

根据输出结果可以知道,确实是它需要的mutex释放之后才从pthread_cond_wait返回的。此处可以推测(需要看源码验证)pthread_cond_wait是去查看某一个条件是否为真来决定是否返回的(那么就涉及到了race condition),所以需要使用mutex来保护。

源码验证:

posted @ 2017-09-23 10:18  冷冰若水  阅读(238)  评论(0编辑  收藏  举报