aboutsummaryrefslogtreecommitdiffstats
path: root/docs/headerparser_usage.md
diff options
context:
space:
mode:
authorMarco Elver <elver@google.com>2021-10-20 10:57:49 +0200
committerMarco Elver <me@marcoelver.com>2021-10-20 11:44:15 +0200
commit418a00eb23ef6f6d2f60255c6185520ceaa2d0db (patch)
treee15ea6387d2c5237ec5126e7eeafaddc16c0f8e4 /docs/headerparser_usage.md
parentb541beac5b929237d926ac9a616aad960822744a (diff)
dashboard/config/linux: kcsan: do not pretend writes are atomic
Do not pretend writes are atomic. While this may currently be a prevailing preference in the community, it does hide more interesting bugs [1]. Since we moderate data races anyway, and are still drowning in data races, a few more won't hurt. What it does help with, however, is getting better signals about harmful data races. Most of the read/write data races provide weak signals, but write/write data races should provide a stronger harmfulness signal [1], which will help us in selecting data races to investigate further. [1] https://googleprojectzero.blogspot.com/2021/10/how-simple-linux-kernel-memory.html
Diffstat (limited to 'docs/headerparser_usage.md')
0 files changed, 0 insertions, 0 deletions