[求助]关于可重入，线程安全，异步信号安全的疑问

聪聪知不道

我个人的理解：

可重入的函数一定线程安全，线程安全的函数不一定可重入。
不可重入的函数可以通过一些额外的机制保护来做到线程安全（比如说加锁），但是被处理过的函数从概念上来说还是不可重入的，只是我们在不可重入的地方针对“线程这个概念“做了串行化处理。

可重入的函数一定异步信号安全，异步信号安全的函数不一定可重入。
不可重入的函数可以通过一些额外的机制保护来做到异步信号安全（比如说屏蔽某一阶段信号的响应），但是被处理过的函数从概念上来说还是不可重入的，只是我们在不可重入的地方针对“信号这个概念”做了串行化处理。

进一步说异步信号安全的函数和线程安全的函数没有任何联系，异步信号安全的函数不一定线程安全，线程安全的函数不一定异步信号安全。

不知道对不对……求指正~

greensnow

可重入的函数不一定线程安全

cjaizss

greensnow 发表于 2012-01-11 09:45
可重入的函数不一定线程安全

那你举个例子吧

greensnow

cjaizss 发表于 2012-01-11 10:30
那你举个例子吧

google下wikipedia的Reentrancy条目

聪聪知不道

greensnow 发表于 2012-01-11 13:46
google下wikipedia的Reentrancy条目

麻烦举个例子吧……wikipedia上貌似只有线程安全但是不可重入的示范……

JohnBull

聪聪知不道 发表于 2012-01-11 21:30
麻烦举个例子吧……wikipedia上貌似只有线程安全但是不可重入的示范……

你说的是对的。

zylthinking

我也想找个可重入而线程不安全的例子， 记得似乎看到过一个， 忘记了。。。。。现在怎么也觉得这个case 不可能存在啊

jetking

可重入函数肯定是线程安全的。可重入函数在多线程内肯定是可重入的，当然是线程安全的。
如果有反例的话，那不是和"可重入"的定义矛盾了？

cjaizss

所谓非线程安全,是指函数中临时用到公共的存储,又没加信号量等东西来保护临界.
只用局部变量或者使用公共变量的时候加临界保护,是线程安全的.
而使用全局变量显然是无法重入的
其实可以这样考虑,把信号中断也当成一个线程,只是它比普通线程少了一个非常重要的特点:调度,所以如果用信号量等来同步,可能会死在那里.
可重入必然线程安全
程序:
sem(on);
.....
信号来了
....
sem(off);
信号处理
sem(on);//永远挂在这里
....
sem(off);

聪聪知不道

JohnBull 发表于 2012-01-12 17:43
你说的是对的。

谢谢您~牛老师!