Linux 系统的“不可重入”：一个你必须懂的“线程安全”陷阱

在 Linux 系统编程，特别是多线程编程中，你经常会听到一个词——“不可重入”（Non-reentrant）。这个词听起来很专业，但如果你不理解它，可能会在程序中埋下一些极其隐蔽、难以复现的“定时炸弹”。

为了帮你彻底搞清楚这个概念，我们抛开枯燥的教科书定义，从一个生活场景开始。

1. 从一个“厨房”场景说起

想象你是一个厨师，正在做一道“番茄炒蛋”。你的操作流程是：

  1. 打鸡蛋到碗里，搅拌。
  2. 切番茄。
  3. 下锅翻炒。

整个过程进行得很顺利。就在你刚打完鸡蛋，正准备切番茄时，突然，一个紧急订单来了：需要立刻做一份“番茄蛋汤”。这个新任务打断了你。

如果此时，你是不可重入的，你会怎么做？

你会不管三七二十一，直接把刚才打好的鸡蛋液倒进汤锅里，然后再去切番茄放进去。结果，原本的“番茄炒蛋”做砸了，新做的“番茄蛋汤”也因为用料不对（只有蛋液没有整蛋）而变得很奇怪。

如果你是可重入的，你会怎么做？

你会把“番茄炒蛋”的状态（比如：蛋液已打好，番茄还没切）记录在一张纸上，妥善保存起来。然后，拿出新的碗和新的鸡蛋，从头开始做“番茄蛋汤”。做完汤后，你再拿出那张状态纸，继续接着做“番茄炒蛋”。两道菜都完美出锅。

在这个例子中：

  • “不可重入”：指的是在任务执行到一半时，如果被同一个任务（或中断）再次调用，程序无法正确处理好两次调用的状态，导致数据混乱或错误。
  • “可重入”：指的是即使执行到一半被再次调用，程序也能通过保存和恢复现场，正确完成每一次调用。

2. Linux 中的“不可重入”到底是什么？

在 Linux 系统中，“不可重入” 特指一个函数（或一段代码）在被多个执行流（比如多个线程、或者信号处理函数）同时或嵌套调用时，无法保证其内部数据的一致性，从而导致程序行为不可预测。

一句话核心：不可重入 = 函数在并发（或嵌套）调用时，不是线程安全的（Thread-Unsafe）。

关键特征：为什么它会“不可重入”？

一个函数如果满足以下任何一点，大概率就是“不可重入”的：

  1. 使用了静态（static）或全局（global）变量。
    • 这是最常见的原因。函数内部有一个静态计数器，线程A进来把它加到了10，线程B突然进来把它改成了0，然后线程A继续使用时，数据就全错了。
  2. 调用了 malloc() 或 free()。
    • 你可能想不到，内存分配函数在底层维护着一个全局的堆链表。在操作链表时，如果被中断并再次调用，链表结构可能会被破坏。虽然现代 malloc 做了很多优化，但在信号处理函数中使用它仍然极其危险。
  3. 使用了标准 I/O 库函数（如 printf, fread）。
    • 因为这些函数内部使用了缓冲区（也是全局或静态的），同时操作同一个文件流会导致输出乱序或数据丢失。
  4. 函数内部有“临界区”但没有加锁保护。
    • 如果函数操作共享资源却不加锁，那它自然是不可重入的。

3. 一个最经典的“血泪”案例：strtok() vs strtok_r()

在 Linux C 编程中，最典型的“不可重入”函数就是 strtok()——用于分割字符串。

为什么它是不可重入的？
因为 strtok() 内部使用了一个静态指针，来保存上一次分割的位置。也就是说，它把“当前切到哪了”这个状态记在了自己肚子里，而不是交给你来保管。

看看这个错误示范（多线程环境）：

// 线程 A：分割字符串 "Hello-World-From-A"
strtok("Hello-World-From-A", "-"); 

// 线程 B：同时分割字符串 "Goodbye-Cruel-World"
strtok("Goodbye-Cruel-World", "-");

由于 strtok 只保存一个静态指针，当线程 A 刚取出 “Hello”，还没来得及取 “World” 时，线程 B 抢占了 CPU，把静态指针改成了指向 “Goodbye” 的字符串。

等线程 A 再次运行，继续调用 strtok(NULL, "-") 时，它拿到的不是 “World”，而是线程 B 的 “Cruel”。数据彻底乱套了！

解决方案：
Linux 提供了它的可重入版本 strtok_r()。注意这个 _r 后缀，它代表 Reentrant（可重入）。

// 可重入版本需要外部传入一个保存状态的指针
char *saveptr;
char *token = strtok_r(str, "-", &saveptr);

这里的 saveptr 是调用者（你）提供的栈变量，每个线程都有自己的栈，互不干扰，自然就安全了。

4. 信号处理函数中的“不可重入”陷阱

这比多线程更隐蔽。在 Linux 中，当内核向进程发送信号时，进程会暂停当前主流程，跳转去执行信号处理函数。

危险在于：如果主流程正在执行 malloc，操作到一半，信号来了，信号处理函数里又调用了 malloc。

此时，由于 malloc 维护的堆链表正处于中间状态（不一致状态），信号处理函数强行插入操作，会直接导致堆链表损坏，程序大概率崩溃。而且这种崩溃是随机发生的，极难调试。

因此，Linux 的 man 7 signal-safety 手册中明确列出了一张“信号安全函数（异步信号安全）”的清单，只有清单上的函数（如 read, write, open, waitpid）才保证可重入，可以在信号处理函数中安全调用。而 printf、malloc 等通通都在“禁止”名单上。

5. 如何写出“可重入”的函数？

要写出可重入的代码，其实原则很简单：

  1. 避免使用全局和静态变量。如果必须用，请用锁保护（注意，在信号处理函数中加锁可能导致死锁，所以信号处理函数中最好只用无锁原子操作）。
  2. 所有状态都由调用者维护。就像 strtok_r 一样，把“状态”作为参数传给函数。
  3. 不要修改自己之外的资源。只操作传入的参数和局部变量。

6. 总结：一张表看懂区别

特性不可重入函数可重入函数
核心原因使用静态/全局数据，或者调用其他不可重入函数只使用本地栈空间或调用者可维护的数据
并发行为多线程调用会相互干扰，数据错乱多线程调用各自独立，结果正确
信号安全绝对不安全，在信号处理函数中使用极易死锁或崩溃安全，可被信号处理函数随时中断调用
典型例子strtok(), malloc(), printf()strtok_r(), read(), write()
命名习惯无标准后缀通常带有 _r 后缀

最后送你一句忠告：
当你在 man 手册中看到一个函数说明里提到 “Not thread-safe” 或 “MT-Unsafe” 时，它就是在告诉你：“我是不可重入的，别在多线程或信号处理函数里用我，否则后果自负。”

理解了“不可重入”，你才算真正迈入了 Linux 并发编程的大门。它时刻提醒我们：在计算机世界里，并发并不是魔法，而是需要靠约束数据访问范围才能驾驭的猛兽。

作者

老丹

关注我
其他文章