并发竞态测试:数据竞争检测、确定性复现、TSan/Loom 与调度扰动
系统讲解并发竞态测试的工程化实践:数据竞争与原子性违反、顺序违反三类并发缺陷的识别、Go race detector 与 ThreadSanitizer 的检测原理与局限、确定性复现与调度扰动注入、Loom/Coyote 等模型检查工具、压力测试与随机 sleep 注入、死锁与活锁检测,以及 CI 中的稳定性与种子复现治理。
tag
系统讲解并发竞态测试的工程化实践:数据竞争与原子性违反、顺序违反三类并发缺陷的识别、Go race detector 与 ThreadSanitizer 的检测原理与局限、确定性复现与调度扰动注入、Loom/Coyote 等模型检查工具、压力测试与随机 sleep 注入、死锁与活锁检测,以及 CI 中的稳定性与种子复现治理。
深入理解 Go race detector 的工作原理,基于 happens-before 关系和 Vector Clock 算法,覆盖检测原理、性能开销分析、CI 集成与典型竞态 bug 的排查修复
本文详解 Go race detector 的使用方法和原理,通过计数器、map 并发写入和 HTTP 指标等示例说明如何发现并修复数据竞争问题。