副标题 / 摘要

竞态条件是并发中最隐蔽的 bug 类型之一，源于对共享状态的非原子操作。本文给出可运行示例与规避方法。

目标读者

  • 需要理解线程安全的工程师
  • 做并发开发与性能优化的开发者
  • 负责可靠性与稳定性的技术负责人

背景 / 动机

竞态条件会导致偶发错误：你很难复现，但它确实存在。
理解其成因，才能正确使用锁、原子操作与无锁结构。

核心概念

  • 共享状态：多线程同时访问的变量
  • 非原子操作：读-改-写不是一个不可分割的步骤
  • 临界区：必须串行访问的代码区域

实践指南 / 步骤

  1. 识别共享状态
  2. 确定临界区
  3. 使用锁或原子操作保护
  4. 最小化临界区范围
  5. 用竞态检测工具验证

可运行示例

import threading

counter = 0


def inc():
    global counter
    for _ in range(100000):
        counter += 1


if __name__ == "__main__":
    t1 = threading.Thread(target=inc)
    t2 = threading.Thread(target=inc)
    t1.start()
    t2.start()
    t1.join()
    t2.join()
    print(counter)

在部分解释器/实现中可能输出小于 200000，这就是竞态。

解释与原理

counter += 1 并不是原子操作，它包含读取、加一、写回三个步骤。
两个线程交错执行时会丢失更新。

常见问题与注意事项

  1. GIL 就没有竞态了吗？
    不一定，跨线程共享状态依旧可能出错。

  2. 锁能完全解决问题吗？
    锁能防竞态，但会引入死锁与性能问题。

  3. 原子操作更好吗？
    适合简单计数，不适合复杂状态变更。

最佳实践与建议

  • 优先减少共享可变状态
  • 使用线程安全的数据结构
  • 用工具检测竞态

小结 / 结论

竞态条件是共享状态的副作用。
要么避免共享，要么明确同步。

参考与延伸阅读

  • ThreadSanitizer / Go race detector
  • The Art of Multiprocessor Programming
  • Java Memory Model 相关资料

元信息

  • 阅读时长：7~9 分钟
  • 标签：竞态条件、线程安全、并发
  • SEO 关键词：Race Condition, 竞态条件, 原子性
  • 元描述：解释竞态条件的成因与规避策略。

行动号召（CTA）

在你项目里加一次竞态检测，你会发现“看似安全”的代码并不安全。