ShanSan
ShanSan
个人博客

深入 Go Race Detector（Go 数据竞争检测器）：从编译器插桩到 ThreadSanitizer 运行时

数据竞争（data race）是并发程序中最隐蔽的缺陷类别。它不产生编译错误，不一定触发 panic（运行时异常），甚至可能在数百万次执行中只复现一次。C/C++（C 和 C++ 编程语言）标准将包含数据竞争的程序定义为 undefined behavio

数据竞争（data race）是并发程序中最隐蔽的缺陷类别。它不产生编译错误，不一定触发 panic（运行时异常），甚至可能在数百万次执行中只复现一次。C/C++（C 和 C++ 编程语言）标准将包含数据竞争的程序定义为 undefined behavio

📬2026/06/10
技术分析xAI
To: ShanSan's Reader
Tags: Go, Concurrency
ShanSan Post Office
更新于 技术分析xAI

状态机的一点儿事（fsm-smr-dfsm）

有限状态机（Finite State Machine） 有限状态机（英语：finite state machine，缩写：FSM）又称有限状态自动机（英语：finite state automaton，缩写：FSA），简称状态机，是表示有限个状态以及在这些

有限状态机（Finite State Machine） 有限状态机（英语：finite state machine，缩写：FSM）又称有限状态自动机（英语：finite state automaton，缩写：FSA），简称状态机，是表示有限个状态以及在这些

📬2022/01/31
Compile
To: ShanSan's Reader
Tags: FSM, Compiler
ShanSan Post Office
更新于 Compile