请高手解释下程序运行过程：多线程加锁阻塞问题

1514_louluo

回复 20# 1514_louluo


    论坛怎么回事。。。

file3

1. #include <stdio.h>
   
2. #include <stdlib.h>
   
3. #include <pthread.h>
   
4. 
   
5. #define THRNR 6
   
6. 
   
7. static pthread_mutex_t mut[THRNR];
   
8. 
   
9. static int next(int n)
   
10. {
    
11.         if (n+1==THRNR) {
    
12.                 return 0;
    
13.         }
    
14.         return n+1;
    
15. }
    
16. 
    
17. static void *thr_abcd(void *ptr)
    
18. {
    
19.         int c='a';
    
20. 
    
21.         c+=(int)ptr;
    
22.         while (1) {
    
23.                 pthread_mutex_lock(mut+(int)ptr);
    
24. //sleep(1);      
    
25. write(1, &c, 1);
    
26. //sleep(1);
    
27. pthread_mutex_unlock(mut+next((int)ptr));
    
28.         }
    
29. }
    
30. 
    
31. 
    
32. int
    
33. main()
    
34. {
    
35.         int i;
    
36.         pthread_t tid[THRNR];
    
37. 
    
38.         for (i=0;i<THRNR;++i) {
    
39.                 pthread_mutex_init(mut+i, NULL);
    
40.                 if(i > 0) {
    
41.                         pthread_mutex_lock(mut+i);
    
42.                 }
    
43.                 pthread_create(tid+i, NULL, thr_abcd, (void*)i);
    
44.         }
    
45. 
    
46.         sleep(5);
    
47. 
    
48.         exit(0);
    
49. }

复制代码

试试。

digdeep126

回复  digdeep126
第一个输出后，解锁时限定的线程顺序不管用？？？
埋头苦编 发表于 2011-11-23 15:17

第一个输出a之后，解锁，然后，这时可能会有6个线程来竞争这个锁，但是哪一个线程获得锁，是不确定的。

1514_louluo

22楼正解，关键是他没有为bcdef初始化锁，所以abcdef刚开始的时候，对应的解锁完全没有作用～！

埋头苦编

回复 20# 1514_louluo
您能解释的在详细点马，我这里解锁的顺序一定，也就是线程上锁的顺序一定，而变量只有一个，被上一次锁加1，循环执行，第一次不一定是a，但是应该有序阿！

1514_louluo

回复 25# 埋头苦编

你在初始化的时候，需要如下：

36         pthread_t tid[THRNR];
37
38         for (i=0;i<THRNR;++i) {
39                 pthread_mutex_init(mut+i, NULL);
40                if(i != 0)
41                     pthread_mutex_lock(mut+i);
42                 pthread_create(tid+i, NULL, thr_abcd, (void*)i);
43         }
44
因为你没有为输出bcdef的那几个线程加锁，所以对应你刚开始a释放的b的那个锁，没有用～～！所以就会出现我说那种情况！

digdeep126

没有看到pthread_mutex_unlock(mut+next((int)ptr)); 中带有next(ptr) 函数。22楼很强悍。

asuka2001

假设在LZ的系统上线程先创建，必定先执行，简单起见，只模拟3个线程A, B, C，以"；"作为系统调度表示。

如果有黄色的sleep:

1. lock A, 输出 A, sleep; lock B, 输出 B, sleep; lock C, 输出C, sleep;
输出为ABC

2. unlock B, lock A阻塞; unlock C, lock B, 输出B, sleep; unlock A, lock C, 输出C, sleep;

3. lock A, 输出A, sleep;
输出为BCA

下次的话B先, 但是A还没给它解锁, 所以输出为CAB....

仅为大脑模拟运行, LZ自行验证下对不对吧...

asuka2001

顺带抱怨一句, LZ的锁使用的有些欠妥; 请拿锁来保护公共数据, 而不是代码.....

埋头苦编

回复 24# 1514_louluo
这里6把锁在创建时就初始化了阿