Google Is Uncovering Hundreds of Race Conditions Within the Linux Kernel
source link: https://www.tuicool.com/articles/VVVVray
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.
Written byMichael Larabel inGoogle on 3 October 2019 at 02:06 AM EDT.11 Comments
One of the contributions Google is working on for the upstream Linux kernel is a new "sanitizer". Over the years Google has worked on AddressSanitizer for finding memory corruption bugs, UndefinedBehaviorSanitizer for undefined behavior within code, and other sanitizers. The Linux kernel has been exposed to this as well as other open-source projects while their newest sanitizer is KCSAN and focused as a Kernel Concurrency Sanitizer.
The Kernel Concurrency Sanitizer (KCSAN) is focused on discovering data-race issues within the kernel code. This dynamic data-race detector is an alternative to the Kernel Thread Sanitizer.
In their testing just last month, in two days they found over 300 unique data race conditions within the mainline kernel.
There was a recent discussion about the Kernel Concurrency Sanitizer on the LKML . For those wanting to learn more, the code at least for now is being hosted on GitHub .
Recommend
About Joyk
Aggregate valuable and interesting links.
Joyk means Joy of geeK