c - POSIX 扩展可重入定义，涵盖线程安全

Question

考虑 POSIX 对重入性的以下扩展定义:

In POSIX.1c, a "reentrant function" is defined as a "function whose effect, when called by two or more threads, is guaranteed to be as if the threads each executed the function one after another in an undefined order, even if the actual execution is interleaved" (ISO/IEC 9945:1-1996, §2.2.2).

来源:http://www.unix.org/whitepapers/reentrant.html

由于线程安全函数确实会序列化并发执行，因此“每个线程都以未定义的顺序依次执行该函数，即使实际执行是交错的”，这是否意味着线程安全函数是可重入(仅考虑 POSIX 定义)？

Answer 1

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

考虑例如具有受互斥体保护的某些内部状态的函数，从而使其成为线程安全的。但是，如果从同一线程重新调用该函数，则会发生死锁。此类函数的一个常见示例是 malloc()； malloc 是线程安全的，但不可重入，这就是为什么您不应该从信号处理程序中调用 malloc 的原因。