线程安全与可重入：并发编程核心概念解析

1. 线程安全与可重入的核心概念解析

在并发编程的世界里，线程安全和可重入性是两个经常被提及但又容易混淆的概念。作为在Linux服务器开发领域摸爬滚打多年的老手，我见过太多因为这两个概念理解不透彻导致的诡异bug。今天我们就来彻底拆解这对"孪生兄弟"。

线程安全（Thread Safety）的本质是多个线程在访问共享资源时，能够保持程序行为的正确性。举个生活中的例子：想象一个公共厕所，如果每个人使用后都能保持马桶清洁（相当于不破坏共享状态），那么它就是"线程安全"的。但在代码层面，当多个线程同时操作全局变量而没有适当保护时，就会出现数据竞争（Data Race）——就像多人同时往同一个Excel表格里乱写数据。

可重入（Reentrant）则关注的是函数能否在未完成前被再次调用。典型场景是信号处理函数——当程序正在执行某个函数时突然收到信号，处理信号时又调用了同一个函数。如果这个函数能正确工作，它就是可重入的。就像你在接电话时又来了另一个电话，你能妥善处理两个通话而不混乱。

2. 线程不安全与不可重入的典型场景

2.1 线程不安全的四大杀手

1. 裸奔的共享变量：任何未受保护的全局/静态变量都是定时炸弹。我曾调试过一个线上服务崩溃，原因就是多个线程同时修改了一个统计计数器。

2. 有状态的函数：比如下面的随机数生成函数：

c复制int rand() {
    static int seed = 0; // 静态变量导致线程不安全
    seed = (seed * 1103515245 + 12345) & 0x7fffffff;
    return seed;
}

3. 返回静态缓冲区的函数：如标准库的strtok和早期的gmtime。有次我们系统出现诡异的日期错误，就是因为不同线程混用了gmtime返回的静态缓冲区。

4. 调用链污染：即使你的函数看起来安全，但如果调用了线程不安全的第三方库，整个调用链就都被污染了。

2.2 不可重入的常见陷阱

1. 内存管理函数：malloc/free使用全局内存链表，在信号处理函数中使用它们可能导致死锁。曾经有个服务在收到SIGTERM时卡死，就是因为信号处理函数中调用了free。

2. **标准