[嵌入式系统-265]：什么是函数的可重入、什么是线程安全函数、什么是中断安全，举例说明

这三个概念是嵌入式和多线程编程中的基石它们之间存在着严格的包含和递进关系。简单来说它们的核心区别在于“在什么环境下被意外打断”以及“如何保护共享资源”。我们可以用一个形象的比喻来开场可重入函数像一个独行侠。他不依赖任何公共资源只带自己的干粮局部变量无论在哪里被打断、无论被打断多少次他都能毫发无损地继续或重新开始。线程安全函数像一个公共厕所。大家线程都可以用但进去必须锁门加锁防止别人闯进来。中断安全函数像宇航员的宇航服。它必须极度轻便、自给自足不能依赖任何外部设施不能加锁、不能等待因为一旦出问题就是灾难性的系统死机无法进行线程调度。严格程度排序从高到低中断安全 可重入 线程安全 什么是函数的可重入定义一个函数在执行过程中可以被中断或操作系统调度打断并且在打断期间另一个任务或中断再次调用该函数两个调用实例都能正确运行互不干扰。核心特征只用局部变量所有数据都存在自己线程的栈Stack上每个线程的调用都有自己独立的副本。不碰全局/静态变量除非通过参数传递或者使用了特殊的保护机制。不调用不可重入函数比如malloc或printf通常不可重入。代码示例// ✅ 可重入函数 // 只使用局部变量和参数完全独立 int add(int a, int b) { int result a b; return result; } // ❌ 不可重入函数 // 使用了静态变量全局存储区两次调用会打架 int counter() { static int count 0; // 静态变量所有调用共享 count; return count; }为什么不可重入如果任务A调用counter()刚执行完count还没返回此时被中断打断中断里也调用counter()那么count的值就会被修改等任务A恢复时它拿到的count已经不是它预期的值了。 什么是线程安全函数定义当一个函数被多个线程并发调用时能保证数据的正确性。核心机制加锁互斥量。线程安全函数允许使用全局变量但访问时必须“排队”。与可重入的关系可重入函数一定是线程安全的因为它不共享数据自然没有竞争。线程安全函数不一定是可重入的因为它可能依赖锁而锁会导致死锁。代码示例int global_count 0; pthread_mutex_t lock PTHREAD_MUTEX_INITIALIZER; // 定义一把锁 // ✅ 线程安全函数但在中断中调用会死锁 void thread_safe_increment() { pthread_mutex_lock(lock); // 【关键】加锁保护 global_count; pthread_mutex_unlock(lock); }⚡ 什么是中断安全函数定义一个函数可以在中断服务程序ISR中被安全调用。这是最高级别的安全因为中断随时可能发生且中断不能被阻塞。核心机制可重入性 原子操作。中断安全函数严禁使用锁因为如果锁被普通任务持有中断会永远等待导致死锁也严禁阻塞如malloc,printf。代码示例volatile int isr_count 0; // volatile 保证可见性 // ✅ 中断安全函数 void irq_safe_increment() { // 不使用锁直接利用 CPU 的原子指令 // 在 ARM Cortex-M 等架构上简单的加减法通常是原子的 isr_count; }⚔️ 深度辨析为什么“线程安全”不等于“中断安全”这是最容易踩的坑。请看下面的致命案例假设你在普通任务中调用了上面的thread_safe_increment()线程安全版流程如下任务 A调用thread_safe_increment()成功获取了锁。就在任务 A 执行global_count时硬件中断发生打断了任务 A。CPU 跳转去执行ISR中断服务程序。ISR也调用了thread_safe_increment()。ISR尝试获取锁。死锁发生因为锁已经被任务 A 拿走了而任务 A 被中断打断还没释放锁。ISR 会永远等待系统死机。结论线程安全靠“排队锁”中断安全靠“自律无锁、原子操作”。 总结对比表表格特性可重入函数线程安全函数中断安全函数核心手段隔离只用局部变量加锁互斥量原子操作无锁全局变量严禁使用除非参数传递可以使用需加锁尽量避免需volatile能否阻塞不能通常能等待锁绝对不能性能⭐⭐⭐⭐⭐ (最高)⭐⭐⭐ (有锁开销)⭐⭐⭐⭐⭐ (高)适用场景任何并发场景多任务/多线程中断服务程序 (ISR)一句话总结写代码时优先写可重入函数最干净如果必须共享数据则升级为线程安全加锁如果要在中断里用必须升级为中断安全去锁、用原子操作。