问一个linux多线程的问题

tklist

1. #include<pthread.h>
   
2. #include<unistd.h>
   
3. #include<stdio.h>
   
4. #include<string.h>
   
5. #include<stdlib.h>
   
6. #include<time.h>
   
7. static pthread_mutex_t mtx=PTHREAD_MUTEX_INITIALIZER;
   
8. static pthread_cond_t cond=PTHREAD_COND_INITIALIZER;
   
9. 
   
10. int global_val = 0;
    
11. 
    
12. void* test(void *argv) {
    
13.     printf("test before lock\n");
    
14.     pthread_mutex_lock(&mtx);
    
15.     while(global_val == 0) {
    
16.         pthread_cond_wait(&cond,&mtx);
    
17.     }
    
18.     pthread_mutex_unlock(&mtx);
    
19.     printf("@@@@@%d\n",global_val);
    
20. }
    
21. void* add(void *argv) {
    
22.     sleep(1);
    
23.     printf("add before lock\n");
    
24.     pthread_mutex_lock(&mtx);
    
25.     global_val++;
    
26.     printf("###%d\n",global_val);
    
27.     pthread_mutex_unlock(&mtx);
    
28.    
    
29. }
    
30. int main() {
    
31.     pthread_t tid1,tid2;
    
32.     global_val = 0;
    
33.     pthread_create(&tid1,NULL,test,NULL);
    
34.     sleep(1);
    
35.     pthread_create(&tid2,NULL,add,NULL);
    
36.     printf("main begin\n");
    
37.     pthread_mutex_lock(&mtx);
    
38.     global_val = 5;
    
39.     sleep(3);
    
40.     pthread_cond_signal(&cond);
    
41.     printf("signal over before unlock\n");
    
42.     sleep(3);
    
43.     pthread_mutex_unlock(&mtx);
    
44.     pthread_join(tid1,NULL);
    
45.     pthread_join(tid2,NULL);
    
46. }

复制代码

我要模拟的情况是有一个test线程阻塞在pthread_cond_wait(&cond,&mtx);，另外一个add线程阻塞在pthread_mutex_lock(&mtx);
然后主线程调用pthread_cond_signal(&cond);和pthread_mutex_unlock(&mtx); 这个时候会是哪个线程抢到锁？
pthread_cond_wait的线程会高优先级抢到锁吗，还是说随机的？
我上面测试代码是add线程抢到了锁。
我的测试代码输出：
test before lock
main begin
add before lock
signal over before unlock
###6
@@@@@6

skycs13

按照入列顺序激活，你的例子中test的lock mutex的操作发生在pthread_cond_signal之后，而add的lock mutex的操作发生在一开始，因此add线程先入列，因此先unlock add线程的锁。
你可以做一下测试，将add线程的sleep(1) 改为sleep(5), 让主线程先pthread_cond_signal，然后add线程lock mutex, 这样就是test 的 lock mutex 操作先入列，add的后入列，最后再在主线程unlock mutex， 打印顺序肯定是test线程抢到了锁，其实也不能说是抢对吧，先来先得

tklist

嗯，测试你的说的那种情况确定是这样的。但是现在我把第42行的sleep(3)注释掉，其他的保存不变。这个时候就是test线程先抢到锁。这个和你说的矛盾。回复 2# skycs13


   

skycs13

在你把42行的sleep（3）去掉的时候，在pthread_cond_signal的时候，立马就把锁给释放了，这个时候，主线程先signal条件变量，然后释放锁，瞬间就把test的条件变量激活，而在这个时候，add线程还在sleep（5）里面，要等个2（5-3）秒钟才从sleep（5）中出来，在你去掉sleep（3）之后，根本谈不到对锁的竞争了。这个时候就是个顺序的过程。

tklist

额，我的意思是add里面sleep的时间改回去变成1回复 4# skycs13


   

skycs13

我所测试的结果跟你的不同，我用的是gcc 4.8.2, 我的是add先抢到锁。你想一下，pthread_cond_signal是在3秒之后才掉用，而add只sleep了一秒就调用了，按理来说，对于应该是add这个线程先入列而test后入列，也应该是先激活add线程，我的结果global_val打印出来都是6回复 5# tklist