概念Kernel Concurrency Sanitizer
KCSAN
Linux 内核的数据竞争检测工具,基于编译时插桩检测并发访问中的竞态条件。
时间轴 (近 90 天)
10月30日
内核社区常用 KASAN 在访问已释放内存时立即报错,用 KCSAN 检测数据竞争,借助 syzkaller 进行大规模系统调用组合模糊测试,以及人为插入延迟放大竞态窗口。
待验证50%
10月3日
调试内存一致性问题的工具包括Linux perf、herd7/litmus内存模型检查工具以及KCSAN(Kernel Concurrency Sanitizer)
待验证50%