Navigation
Search
|
[$] Detecting missing memory barriers with KCSAN
Thursday December 2, 2021. 08:02 PM , from LWN.net
Writing (correct) concurrent code that uses locking to avoid race
conditions is difficult enough. When the objective is to use lockless algorithms, relying on memory barriers instead of locks to eliminate locking overhead, the problem becomes harder still. Bugs are easy to create and hard to find in this type of code. There may be some help on the way, though, in the form of this patch set from Marco Elver that enhances the Kernel Concurrency Sanitizer (KCSAN) with the ability to detect some types of missing memory barriers.
https://lwn.net/Articles/877200/rss
|
25 sources
Current Date
Apr, Fri 26 - 15:05 CEST
|