深入理解可重入函数：多线程与中断处理的核心技术

1. 可重入函数的概念与本质

可重入函数（Reentrant Function）是编程中一个看似简单却极易被误解的核心概念。我第一次真正理解这个概念是在调试一个多线程日志系统时——当两个线程同时调用同一个日志写入函数，系统竟出现了诡异的日志截断和内容错乱。这个看似简单的"函数调用"问题，背后隐藏着对可重入性的深刻理解需求。

简单来说，可重入函数是指能够被多个执行流（如线程、中断处理程序）同时安全调用的函数。这里的"安全"意味着无论调用如何交织，函数都能产生预期结果。与之相对的是不可重入函数，这类函数在被一个执行流调用未完成时，如果被另一个执行流调用，可能导致数据损坏或逻辑错误。

理解可重入性需要把握三个关键特征：

• 不使用静态或全局变量：这类变量的状态会在多次调用间共享
• 不调用不可重入函数：如同在沙滩上建房，基础不稳则上层难保
• 不修改自身代码：某些特殊场景下（如动态代码修改）需要考虑

注意：可重入性不同于线程安全。线程安全关注多线程环境下的正确性，而可重入性更强调执行流任意交织时的稳定性。所有可重入函数都是线程安全的，但反之不成立。

2. 可重入函数的典型应用场景

2.1 中断处理程序中的关键角色

在嵌入式开发中，中断服务例程（ISR）对可重入性有严格要求。我曾参与一个工业控制器项目，其中温度传感器的中断会触发控制算法计算。当主程序正在执行该算法时，如果再次发生中断，就会导致计算参数被覆盖。这就是典型的不可重入函数问题。

解决方案是：

1. 将算法函数改造为可重入版本
2. 使用局部变量替代全局状态
3. 对必须共享的资源采用原子操作

c复制// 不可重入版本
float last_temp;
void control_algorithm() {
    float delta = sensor_read() - last_temp;
    last_temp = sensor_read(); // 竞态条件风险点
    // ...计算逻辑
}

// 可重入版本
void control_algorithm_reentrant(float* last_temp) {
    float current = sensor_read();
    float delta = current - *last_