[$] Concurrency bugs should fear the big bad data-race detector (part 2)

In part 1 of this article, we gave an overview of the Kernel ConcurrencySanitizer (KCSAN) and looked how it can detect data races in thekernel. KCSAN uses the definitionof "data race" that is part of theLinux-KernelMemory Consistency Model (LKMM), but there is more that KCSAN can do.This concluding part of the article describes other ways that the tool canbe used to find data races and other kinds of problems in concurrent code.It provides some ideas on strategies and best practices, briefly considerssome alternative approaches, and concludes with some known limitations.