malloc() 是不可重入但线程安全的？ [复制]答案

【问题标题】：malloc() is non-reentrant but thread-safe? [duplicate]malloc() 是不可重入但线程安全的？ [复制]
【发布时间】：2012-01-15 12:31:09
【问题描述】：

可能重复：
Malloc thread-safe?

我在阅读《Linux 编程接口》时并没有感到困惑。

从书中说 malloc 是不可重入的，因为它操纵全局链表数据结构，但通过使用互斥锁使其成为线程安全的。

我对此有点困惑：既然使用互斥锁是线程安全的，因此可以同时被多个线程调用，为什么它不是可重入函数？（如果我们说可重入意味着它可以被多个调用者同时调用）

另一个问题是，既然 malloc 是线程安全的，我们可以把它放在信号处理程序中吗？我认为答案是肯定的，但我不确定，因为根据这本书，它说只有可重入或异步信号安全函数可以放在信号处理程序中。

谁能给我解释一下？

【问题讨论】：

【解决方案1】：

如果我们说可重入意味着它可以被多个人调用同时来电

错了。可重入意味着您可以在前一个化身结束之前中断它并再次调用它。想象一下 malloc 看起来像这样：

lock(mutex);

/* Stuff. */

unlock(mutex):

如果在中途被打断，解锁前而其他人调用malloc 会怎样？

这是一个僵局。

另一个问题是，既然 malloc 是线程安全的，我们能不能把它在信号处理程序中？我认为答案是肯定的

又错了。请参见上面的示例。想象一下主程序正在执行malloc 并且在函数实际结束之前您的处理程序调用了malloc。

【讨论】：

【解决方案2】：

重入和线程安全是两个不同的概念。可重入函数可以是非线程安全的，而线程安全函数可以是不可重入的。

不保证 C 中的库函数是可重入的，并且只能从信号处理程序调用可重入函数。

【讨论】：

A reentrant function can be non-thread-safe ... 可以吗？
@iuliux：是的。在某些机器上，静态变量比基于堆栈的局部变量更快。进入时将其静态变量复制到堆栈，使用静态变量，然后从堆栈中恢复变量的代码将是可重入的，但不是线程安全的。