malloc 的可重入性

cugb_cat

是不是要做到信号安全，就要全部使用局部变量？

duanjigang

自己封装一下
使用互斥锁封住malloc和free

converse

这个讨论不错,很多概念我原来也是模棱两可的.

总结:不写多线程程序才是王道~~

思一克

malloc 自己会用锁, 可以放心地在THREAD中使用.

但无法在信号中正常用.

converse

有意思,看了这个文章之后,
http://i-love-mzd.blog.sohu.com/76609080.html

给我的感觉是 可重入的条件要更强于线程安全,也就是说满足线程安全的条件是满足可重入条件的子集,一个函数是可重入的,那么一定是线程安全的;反之不然

但是信号安全的概念有点模糊了,似乎APUE里面没有提及吧?

思一克

重入就是一个执行还正在其中, 另一个执行又来了. (重新进入).
标志＊近似地＊可以这样判断:　在ＦＵＮＣ中设置一个static变量，进来时候＋＋，　返回之前－－，
如果该ＦＵＮＣＴＩＯＮ在某时刻变量大于１了，就是被重入了．

THREAD安全的必须是可重入．反之也然．
但不是所有的可重入的都是信号安全的．

cugb_cat

呵呵，思版主的那个关于可重入例子的还真是没想到。
我原来一直以为可重入就只包含线程安全和信号安全呢，现在理解更深刻了。

补充提到的思版主提出的那个问题连接：
http://bbs.chinaunix.net/thread-1048986-1-1.html

[ 本帖最后由 cugb_cat 于 2008-1-31 00:26 编辑 ]

思一克

还可以继续思考

为什么不是所有的可重入ＦＵＮＣＴＩＯＮ都是信号安全的？本质原因是什么？

什么样的是信号安全的？　

cugb_cat

原帖由 思一克 于 2008-1-30 20:41 发表
重入就是一个执行还正在其中, 另一个执行又来了. (重新进入).
标志＊近似地＊可以这样判断:　在ＦＵＮＣ中设置一个static变量，进来时候＋＋，　返回之前－－，
如果该ＦＵＮＣＴＩＯＮ在某时刻变量大于１了， ...

我觉得信号安全应该也属于可重入的范畴吧？

converse

今天做了一个实验, 测试了所谓的malloc"不可重入"性:

1. 
   
2. 
   
3. 
   
4. #include <stdio.h>
   
5. #include <string.h>
   
6. #include <stdlib.h>
   
7. #include <signal.h>
   
8. #include <time.h>
   
9. #include <sys/time.h>
   
10. 
    
11. int SetTimer()
    
12. {
    
13.     struct itimerval interval;
    
14.         
    
15.         interval.it_interval.tv_sec = 0;
    
16.         interval.it_interval.tv_usec = 1;
    
17.         interval.it_value.tv_sec = 1;
    
18.         interval.it_value.tv_usec = 0;
    
19. 
    
20.         if (::setitimer(ITIMER_REAL, &interval, NULL))
    
21.     {
    
22.                 return -1;
    
23.         }   
    
24. 
    
25.     return 0;
    
26. }
    
27. 
    
28. void Handler(int nSigNo)
    
29. {
    
30.     printf("ALARM signal!\n");
    
31.     char *p = (char*)malloc(rand() % 40960)
    
32.     free(p);
    
33. }
    
34. 
    
35. int main()
    
36. {
    
37.     SetTimer();
    
38. 
    
39.     signal(SIGALRM, Handler);
    
40. 
    
41.     while (1)
    
42.     {
    
43.         char *p = (char*)malloc(rand() % 40960);
    
44.         free(p);
    
45.     }
    
46. 
    
47.     return 0;
    
48. }
    
49. 
    
50. 
    

复制代码

定义一个每微秒触发的定时器, 触发时产生alarm信号, 在信号处理函数中调用malloc/free, 程序的主循环也调用malloc/free,马上程序就停住了,strace看了一下进程, 死锁了.

也就是说,所谓的"不可重入"指的就是不能在两个或以上的地方(在这个例子中是程序主循环和信号处理函数)同时调用的函数就是不可重入函数.

[ 本帖最后由 converse 于 2008-9-3 09:49 编辑 ]