Linux 可重入、异步信号安全和线程安全技术解析1. 基本概念与问题背景1.1 信号处理与执行流中断当进程正在执行常规指令序列时若捕获到信号并进入信号处理程序原有的指令流会被暂时中断。信号处理程序执行完毕后未调用exit或longjmp进程将恢复执行被中断的指令序列。这种机制与硬件中断处理类似但存在一个关键问题信号处理程序无法预知中断发生时进程正在执行哪部分代码。考虑以下场景进程正在调用malloc进行堆内存分配时被信号中断进程调用getpwnam等使用静态存储区域的函数时被信号中断这些情况下可能导致malloc维护的分配区域链表被破坏正常调用的函数返回结果被信号处理程序中的调用覆盖1.2 可重入函数定义可重入函数是指可以在执行过程中被中断并在中断服务程序或信号处理程序中安全调用的函数。这类函数具有以下特性不使用静态或全局变量不调用不可重入函数不使用动态内存分配不修改自身代码2. 可重入性技术分析2.1 可重入函数实现原理可重入函数通过以下方式确保安全性局部变量存储所有状态信息存储在栈上的局部变量中资源隔离不使用静态数据结构或全局变量原子操作关键操作不可被中断// 可重入函数示例使用参数传递存储空间 int reentrant_func(int param, char *output_buffer) { // 所有操作基于参数和局部变量 int local_var param * 2; strcpy(output_buffer, result); return local_var; }2.2 SUS标准规定的可重入函数Single UNIX Specification定义了必须保证可重入的标准函数主要包括字符串处理函数如strcpy_r内存操作函数如memcpy数学函数如sin、cos部分系统调用如read、write3. 异步信号安全3.1 概念定义异步信号安全是指函数在信号处理程序中调用时不会导致死锁不会破坏数据结构能产生预期结果3.2 与可重入的关系虽然可重入与异步信号安全概念相近但存在细微差别所有可重入函数都是异步信号安全的但某些异步信号安全函数可能通过特殊机制实现不一定是完全可重入的4. 线程安全机制4.1 线程安全定义线程安全函数满足以下条件被多个线程并发调用时总能产生正确结果通过同步机制保护共享资源4.2 实现方式互斥锁保护pthread_mutex_t lock PTHREAD_MUTEX_INITIALIZER; void thread_safe_func() { pthread_mutex_lock(lock); // 临界区操作 pthread_mutex_unlock(lock); }线程局部存储__thread int thread_local_var; void thread_safe_func() { thread_local_var; // 每个线程有独立副本 }无共享设计函数仅使用局部变量和参数5. 三者的区别与联系5.1 概念对比特性可重入异步信号安全线程安全中断安全性✓✓✗多线程并发✓✗✓共享资源使用✗有限制有保护5.2 包含关系可重入函数 ⇒ 线程安全函数可重入函数 ⇒ 异步信号安全函数线程安全函数 ⇏ 可重入函数6. 常见问题与解决方案6.1 不可重入的典型情况使用静态数据结构char *ctime(const time_t *timep); // 返回静态缓冲区指针内存管理函数void *malloc(size_t size); // 维护全局堆状态标准I/O函数printf(...); // 使用全局文件偏移量6.2 errno处理规范多线程环境中errno的正确处理方式// 信号处理函数中保存和恢复errno void signal_handler(int sig) { int saved_errno errno; // 处理信号... errno saved_errno; }6.3 信号屏蔽技术单线程信号屏蔽sigset_t mask; sigemptyset(mask); sigaddset(mask, SIGINT); sigprocmask(SIG_BLOCK, mask, NULL);多线程信号处理pthread_sigmask(SIG_BLOCK, mask, NULL);7. 实际应用建议7.1 函数选择策略优先使用可重入版本函数// 非线程安全 struct hostent *gethostbyname(const char *name); // 线程安全版本 int gethostbyname_r(const char *name, struct hostent *ret, char *buf, size_t buflen, struct hostent **result, int *h_errnop);资源访问模式读操作通常可重入写操作需要同步机制7.2 多线程编程注意事项避免常见错误传递栈指针到新线程未保护的全局状态访问锁顺序导致的死锁递归锁使用pthread_mutexattr_t attr; pthread_mutexattr_init(attr); pthread_mutexattr_settype(attr, PTHREAD_MUTEX_RECURSIVE); pthread_mutex_t mutex; pthread_mutex_init(mutex, attr);8. 性能与安全权衡可重入函数代价需要调用者提供缓冲区增加参数复杂度可能的内存拷贝开销线程安全实现选择细粒度锁高并发但复杂度高全局锁简单但性能受限无锁设计高性能但实现困难9. 标准符合性POSIX线程安全要求所有标准函数必须线程安全非线程安全函数需提供_r版本异步信号安全函数必须明确标注数量有限如fork、signal等