google/ktsan
View on GitHub ↗ ★ 568 archived
Kernel Thread Sanitizer, a fast data race detector for the Linux kernel
5 mentions on Hacker News by 5 people: 2 stories, 3 comments · first 2019-10-03 · latest 2020-05-03
20082026
-
▲ 3
Read_once and Write_once in Linux Kernelstory by blacksoil · 2020-05-03 · 0 comments
-
…pay just a bit less, generated code becomes incorrect). So performance is not an argument here. [1] https://github.com/google/ktsan/wiki/READ_ONCE-and-WRITE_ONC...
comment by typical182 · 2019-10-03 · in Google Is Uncovering Hundreds of Race Conditions Within the Linux Kernel -
For those interested, here are some of the bugs which their tool has found: https://github.com/google/ktsan/wiki/KTSAN-Found-Bugs
comment by pedrow · 2019-10-03 · in Google Is Uncovering Hundreds of Race Conditions Within the Linux Kernel -
so… https://github.com/google/ktsan/wiki/KCSAN ?
comment by knorker · 2019-10-03 · in Google Is Uncovering Hundreds of Race Conditions Within the Linux Kernel -
▲ 3
Linux Kernel Concurrency Sanitizer (Kcsan)story by sohkamyung · 2019-10-03 · 1 comment