Google has been testing the Linux kernel with its “sanitizer” testing software that hunts for memory corruption bugs and undefined behaviors. Now Phoronix reports on Google’s newest sanitizer: 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.
Read more of this story at Slashdot.
Source:
https://tech.slashdot.org/story/19/10/05/010234/google-finds-hundreds-of-data-race-conditions-in-the-linux-kernel?utm_source=rss1.0mainlinkanon&utm_medium=feed