Abstract: Discovering kernel concurrency bugs through fuzzing is challenging. Identifying kernel concurrency bugs, as opposed to non-concurrency bugs, necessitates an analysis of possible ...

This post is about how to write tests that can catch race conditions in a reproducible way. The approach is programming language agnostic, and should work in most languages that have a decent ...

A second, independent engine — a bounded interleaving model checker — exists to demonstrate the result: it lowers each thread to atomic memory operations (with real lock acquire/release) and searches ...