为什么我明明设置了递归锁，但是锁的时候还是死锁了呢？

wwdwwd

回复  wwdwwd


    百思不得其解。。。。
rain_fish 发表于 2010-05-27 14:15

百思不得其解too！

wwdwwd

ptack 后出现这样的结果，这能说明什么问题呢？看样子应该是main函数调用pthread_mutex_lock时被信号打断，然后在信号处理函数prompt_info中执行pthread_mutex_lock ()的时候一层一层的调用时出现问题了，但是如果不是由settimer发信号，而是手动给进城发信号就没有问题，崩溃啊！
#0  0x00c76410 in __kernel_vsyscall ()
#1  0x00316a4e in __lll_mutex_lock_wait () from /lib/libpthread.so.0
#2  0x003128c4 in _L_mutex_lock_760 () from /lib/libpthread.so.0
#3  0x00312768 in pthread_mutex_lock () from /lib/libpthread.so.0
#4  0x08048646 in prompt_info ()
#5  <signal handler called>
#6  0x00312762 in pthread_mutex_lock () from /lib/libpthread.so.0
#7  0x08048756 in main ()


另外：ltrace的时候经常发生这样的错误：
Error: call nesting too deep!

没本

多线程的程序不要依赖信号，Linux对多线程和信号的同时支持不是很好。
信号是对进程的，每个线程都有机会处理信号，无法确定是哪个线程。如果一定要用信号，不处理信号的线程要设置一下信号mask，查pthread_sigmask()函数。

我的多线程程序，除了退出信号交给主线程处理外，一上来都是先屏蔽各种信号的。

wwdwwd

多线程的程序不要依赖信号，Linux对多线程和信号的同时支持不是很好。
信号是对进程的，每个线程都有机会处 ...
没本 发表于 2010-05-28 01:09

我理解你的意思，我在写多线程程序时也是这么做的，但我上面的程序不是多线程程序，是单线程的,就很奇怪了，看样子应该是pthread_mutex_lock函数不可重入导致的.

没本

回复 24# wwdwwd


    信号处理函数的忌讳还是蛮多的，可能是你的mutex犯了它的某条忌讳了吧。

1. 
   
2. $ man sigaction
   
3. ...
   
4.        In order to prevent errors arising from interrupting  non-
   
5.        reentrant  function  calls,  applications  should  protect
   
6.        calls to these functions either by blocking the  appropri‐
   
7.        ate  signals or through the use of some programmatic sema‐
   
8.        phore (see semget(), sem_init(), sem_open(), and  so  on).
   
9.        Note in particular that even the "safe" functions may mod‐
   
10.        ify errno; the signal-catching function, if not  executing
    
11.        as an independent thread, may want to save and restore its
    
12.        value. Naturally, the same principles apply to  the  reen‐
    
13.        trancy  of  application  routines  and  asynchronous  data
    
14.        access. Note that longjmp() and siglongjmp()  are  not  in
    
15.        the list of reentrant functions.  This is because the code
    
16.        executing after longjmp() and siglongjmp()  can  call  any
    
17.        unsafe  functions  with  the  same danger as calling those
    
18.        unsafe functions directly from the signal handler.  Appli‐
    
19.        cations  that  use  longjmp() and siglongjmp() from within
    
20.        signal handlers require rigorous protection in order to be
    
21.        portable.  Many  of  the other functions that are excluded
    
22.        from the list are traditionally implemented  using  either
    
23.        malloc()  or free() functions or the standard I/O library,
    
24.        both of which traditionally use data structures in a  non-
    
25.        reentrant manner. Since any combination of different func‐
    
26.        tions using a common data structure can  cause  reentrancy
    
27.        problems,  this  volume  of  IEEE Std 1003.1-2001 does not
    
28.        define the behavior when any unsafe function is called  in
    
29.        a signal handler that interrupts an unsafe function.
    
30. 
    

复制代码

wwdwwd

经过两天的折腾，总结一下：
1：pthread_mutex_lock(&_mutex); 这个函数调用因为使用了全局变量_mutex所以是不可重入的，在信号处理函数中再次调用pthread_mutex_lock(&_mutex)时就会出现问题，具体内部我猜想是这样的：如果说pthread_mutex_lock函数执行完毕了，然后收到信号并处理的话这样不会出现问题，因为锁是递归锁；现在pthread_mutex_lock函数没有执行完毕的时候收到信号并处理(见pstack的结果)，此时的某些内部数据可能有一半处理好了，一半没有处理好，在信号处理函数中再次调用pthread_mutex_lock时可能就检查到死锁了，这时可能认为这个锁不是递归锁，因为内部数据不完整了，判断就有可能发生错误。如果在单独的线程中处理信号则不会出现死锁，这是因为这里的死锁是因为多次锁造成的，不同线程锁同一个锁时不会产生死锁，只会等待；
2：虽然pthread_mutex_lock使用了全局变量，但事实上他是线程安全的，因为不是所有的使用全局变量的函数都不是线程安全，pthread_mutex_lock函数本身在线程安全方面会做保证。
3：在freebsd下面不会发生死锁，说明freebsd这块儿的实现比linux要好一些；
4：在主函数中调用pthread_mutex_lock和pthread_mutex_unlock时阻塞信号也不会产生死锁，这证明了上面的猜想。另外如果在pthread_mutex_lock和pthread_mutex_unlock中间有printf函数的话还是会出现死锁，这应该是因为printf调用了puts，puts本身用到锁了。

带信号阻塞的代码如下：

1. #include <stdio.h>
   
2. #include <stdlib.h>
   
3. #include <pthread.h>
   
4. #include <sys/time.h>
   
5. #include <stdio.h>
   
6. #include <unistd.h>
   
7. #include <signal.h>
   
8. #include <string.h>
   
9. #include <errno.h>
   
10. 
    
11. pthread_mutex_t _mutex;
    
12. pthread_mutexattr_t _attr;
    
13. 
    
14. void prompt_info(int signo)
    
15. {
    
16.         pthread_mutex_lock(&_mutex);
    
17.         printf("in signal\n");
    
18.         pthread_mutex_unlock(&_mutex);
    
19. }
    
20. // 建立信号处理机制
    
21. void init_sigaction(void)
    
22. {
    
23.     struct sigaction tact;
    
24.    
    
25.     /*信号到了要执行的任务处理函数为prompt_info*/
    
26.     tact.sa_handler = prompt_info;
    
27.     tact.sa_flags = SA_RESTART|SA_NODEFER;
    
28.     tact.sa_flags = 0;
    
29.     /*初始化信号集*/
    
30.     sigemptyset(&tact.sa_mask);
    
31.     /*建立信号处理机制*/
    
32.     sigaction(SIGALRM, &tact, NULL);
    
33. }
    
34. void init_time()
    
35. {
    
36.     struct itimerval value;
    
37.    
    
38.     /*设定执行任务的时间间隔*/
    
39.     value.it_value.tv_sec = 0;
    
40.     value.it_value.tv_usec = 1;
    
41.     /*设定初始时间计数*/
    
42.     value.it_interval = value.it_value;
    
43.     /*设置计时器ITIMER_REAL*/
    
44.     setitimer(ITIMER_REAL, &value, NULL);
    
45. }
    
46. 
    
47. 
    
48. int main()
    
49. {
    
50.     pthread_mutexattr_init(&_attr);
    
51.     pthread_mutexattr_settype(&_attr,PTHREAD_MUTEX_RECURSIVE);
    
52.     pthread_mutex_init(&_mutex, &_attr);
    
53.     init_sigaction();
    
54.     init_time();
    
55.         int ret;
    
56.         sigset_t bset,oset;
    
57.         sigemptyset(&bset);
    
58.         sigaddset(&bset, SIGALRM);
    
59. 
    
60.         while ( 1 ) {
    
61.                 pthread_sigmask(SIG_SETMASK, &bset, &oset);
    
62.                 ret = pthread_mutex_lock(&_mutex);
    
63.                 pthread_sigmask(SIG_SETMASK, &oset, NULL);
    
64.            if(0!= ret) {
    
65.                 printf("lock  error in main is %d\n",errno);
    
66.                 perror("error info is ");
    
67.                 }else {   
    
68.                         //printf("in main\n");
    
69.                 pthread_sigmask(SIG_SETMASK, &bset, &oset);
    
70.                 pthread_mutex_unlock(&_mutex);
    
71.                 pthread_sigmask(SIG_SETMASK, &oset, NULL);
    
72.         }
    
73.     }
    
74.     return 0;
    
75. }

复制代码

wwdwwd

多谢楼上各位的帮助，我还是老实的开一个单独的线程来处理信号吧。之前不想这么做的原因是：我们的程序本来是在windows下的，现在要改到linux下。windows下的settimer也是在当前线程处理的，如果我单独起一个线程处理信号的话，因为我们在信号处理函数中处理了几乎所有的逻辑，我就得挨个函数的检查看有没有线程安全，死锁之类的，oh my god，^_^

没本

你可以想办法保持信号处理函数的简单，把要处理的事件放入事件队列就立即返回，由单独线程来处理事件。

wwdwwd

你可以想办法保持信号处理函数的简单，把要处理的事件放入事件队列就立即返回，由单独线程来处理事件。
没本 发表于 2010-05-28 14:08

那跟单独开一个线程处理信号一样了，对吧