引言

• 算法可重入性（Reentrancy）与线程安全（Thread Safety）的概念及重要性
• 实际开发中的常见问题场景（如多线程竞争、共享资源访问）

算法可重入性分析

可重入性的定义与特性

• 可重入函数的特点：不依赖静态或全局变量、无不可重入系统调用
• 示例：可重入函数 vs 不可重入函数

可重入性判定条件

• 无共享状态：仅使用局部变量或参数
• 无副作用：不修改全局或静态数据
• 无阻塞操作：避免调用非可重入的系统函数（如 malloc、printf）

典型不可重入场景分析

• 使用静态变量或全局变量
• 调用非线程安全的库函数（如 C 标准库的 strtok）
• 示例代码分析及改进方案

线程安全设计方法

线程安全的核心原则

• 原子性（Atomicity）：操作不可中断
• 可见性（Visibility）：共享数据修改对其他线程立即可见
• 有序性（Ordering）：指令执行顺序符合预期

实现线程安全的技术

• 互斥锁（Mutex）与临界区（Critical Section）
  • 应用场景与代码示例（如 pthread_mutex）
  • 死锁预防（锁顺序、超时机制）
• 无锁编程（Lock-Free）
  • CAS（Compare-And-Swap）操作与原子变量
  • 示例：C++ std::atomic 的使用
• 线程局部存储（Thread-Local Storage, TLS）
  • 适用场景（如避免全局变量竞争）
  • 示例：thread_local 关键字

设计模式与最佳实践

• 不可变对象（Immutable Objects）
  • 通过避免状态修改实现线程安全
  • 示例：Java 的 String 类
• 生产者-消费者模型
  • 使用条件变量（Condition Variable）实现同步
  • 代码示例（如 pthread_cond_wait）

案例分析

可重入性与线程安全的实际应用

• 案例 1：多线程环境下的哈希表实现
  • 锁分段（Lock Striping）技术优化
• 案例 2：信号处理函数中的可重入问题
  • 异步信号安全（Async-Signal-Safe）函数列表

常见陷阱与调试技巧

• 竞态条件（Race Condition）的检测工具（如 TSAN、Valgrind）
• 性能与安全性的权衡（如锁粒度选择）

总结与展望

• 可重入性与线程安全的关联与区别
• 未来趋势：硬件级线程安全支持（如 ARM 的 TME 扩展）
• 推荐学习资源（书籍、开源项目）