关于pthread_cond_wait()的疑问

Posted 2023-03-29

我看了很多关于pthread_cond_wait(pthread_cond_t *cond,pthread_mutex_t *mutex)函数的解释，大多人认为这个函数是先判断cond指向的条件变量是否为真，如果不为真的话，就先释放由mutex指向的互斥锁，然后将当前线程(用t1表示）阻塞，即将线程t1挂到与cond指向的条件变量相关的等待队列上。
我的疑问是，如果当mutex指向的互斥锁释放以后，还没来得及将线程t1挂到相应的等待队列之前，当前执行流程就被调度了，然后执行另一个线程t2,线程t2中调用pthread_cond_signal函数之后，能对线程t1产生什么影响？t1会不会永远阻塞？

参考技术A 这些都是原子操作，不会发生“当mutex指向的互斥锁释放以后，还没来得及将线程t1挂到相应的等待队列之前，当前执行流程就被调度了”的情况 参考技术B pthread_cond_wait(pthread_cond_t *cond,pthread_mutex_t *mutex)
这个函数执行的应该是一个原子操作。。。所以应该不可能出现你说的那种情况~

关于条件变量

最近打算在写一个网络库，涉及到对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来保护。

源码验证：