Developer releases open-source tooling to test Linux kernel race conditions

The short version

• An open-source toolkit named MAccConc was released on GitHub to evaluate multi-threaded test case interleavings in the Linux kernel.[Hacker News]
• The software leverages outline-mode ASAN instrumentation alongside KCOV to record memory access traces.[Hacker News]
• The creator noted inspiration from Ned Williamson's sockfuzzer concurrency research.[Hacker News]

Key facts

• The developer created MAccConc, an open-source tool hosted on GitHub to test Linux kernel multi-threaded interleavings.[Hacker News]
• The tooling utilizes AddressSanitizer (ASAN) instrumentation configured in outline mode.[Hacker News]
• KCOV was chosen for logging access traces due to its straightforward in-memory data representation.[Hacker News]
• The author cited conversations regarding Ned Williamson's sockfuzzer project as the motivation for the work.[Hacker News]

Sources

Outlet counts describe coverage, not independent confirmation. Reports may share a wire service or original source.

• Testing race conditions with mem access tracing and stack-based delay injectionHacker News