异步信号安全和线程安全

异步信号安全和线程安全  

2011-12-24 20:10:54|  分类： Linux|字号 订阅

问题源自于apue中stevens老先生有关线程安全函数的介绍，stevens有曰：如果一个函数对于多线程来说是重入的，则说这个函数是线程安全的，但这并不能说明对信号处理程序来说也是重入的。也就是说信号安全重入函数要求要比线程安全更加严格。但是，我想知道为什么，为什么线程都可以重入了，而在信号却不行？

猜想:

诸如printf之类的标准库函数内部实现可能有个互斥锁，这个互斥锁是专门针对于IO缓冲区的，也就是说每个逻辑执行流要打印前(打印意味着要向缓冲区写入字符)都要获得锁，然后把要打印的内容输入缓冲区，最后释放互斥锁。

 解释:

由于要在打印前获取互斥锁，所以在信号处理程序中调用printf可能要出现死锁：当前逻辑执行流调用printf，正好取得锁时，信号发生了，此时执行流不得不调用信号处理函数，正巧信号处理函数也要执行打印printf，同样要获取缓冲区控制锁，但是锁已经被自己先前lock了(这正是自己二次加锁死锁现象)，所以出现了死锁。同样这个也可以很好的解释为什么线程调用printf不会死锁，因为即使如果一个线程正加好锁发生线程切换，新来的线程要执行printf，但是发现缓冲区已锁，自己睡眠等待即可，不会出现死锁，到先前那个线程执行完打印后，自然会释放锁的。

 证明:

我们的以上猜想核心就是基于标准缓冲区含有互斥锁，每次printf等函数操作缓冲区都要加锁，所以我们只需要证明这个锁存在就行了。大家直接可以去看标准库代码，但是我写一段程序可以近似地来佐证这个想法。

多线程情况：这里我们开辟一个线程，然后主线程和副线程都同时用printf向屏幕打印一个字符串，然后我们可以查看，如果字符串是每次都完整打印，那说明很可能是因为有锁保证每次打印完整，不会因为线程调度而出现字符串中断情况。

1. void *thread_main(void *arg)  
2. {  
3.     sleep(5);  
4.     for ( ; ; )  
5.     {  
6.         printf("BBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBB");  
7.     }  
8.     return NULL;  
9. }  
10. int thread_new(void* (*fn)(void *), void *arg)  
11. {  
12.     pthread_t           tid;  
13.     pthread_attr_t      attr;  
14.     pthread_attr_init(&attr);  
15.     if (pthread_attr_setdetachstate(&attr, PTHREAD_CREATE_DETACHED) != 0)  
16.     {  
17.         pthread_attr_destroy(&attr);  
18.         return (-1);  
19.     }  
20.     if (pthread_create(&tid, &attr, fn, arg) != 0)  
21.     {  
22.         pthread_attr_destroy(&attr);  
23.         return (-1);  
24.     }  
25.     pthread_attr_destroy(&attr);  
26.     return (0);  
27. }  
28. int main()  
29. {  
30.     thread_new(thread_main, NULL);  
31.     sleep(5);  
32.     for ( ; ; )  
33.     {  
34.         printf("AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA");  
35.     }  
36.     return (0);  
37. }   

信号情况：这里设置一个每隔10毫秒就打印一次的信号处理函数，大家可以运行看，运行久点，最后必然会出现死锁，也就是屏幕不再打印字符了，同时我们可以观察下每次死锁都发生在主函数打印时，因为此时信号切换发生死锁。

1. void gotsig(int n)  
2. {  
3.     printf("BBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBB");  
4. }  
5. void sig_safe(void)  
6. {  
7.     struct itimerval value;  
8.     struct sigaction sact;  
9.     sigemptyset( &sact.sa_mask );  
10.     sact.sa_flags = 0;  
11.     sact.sa_handler = gotsig;  
12.     sigaction(SIGALRM,&sact,NULL);  
13.     value.it_interval.tv_sec = 0;  
14.     value.it_interval.tv_usec = 10;  
15.     value.it_value.tv_sec = 0;  
16.     value.it_value.tv_usec = 1000;  
17.     setitimer(ITIMER_REAL, &value,NULL);  
18.     setbuf(stdout, NULL);  
19.     while(1) {  
20.         printf("AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA");  
21.     }  
22. }