ConMem: Detecting Severe Concurrency Bugs Through an Effect-Oriented Approach

Multicore technology is making concurrent programs increasingly pervasive. Unfortunately, it is difficult to deliver reliable concurrent programs, because of the huge and non-deterministic interleaving space. In reality, without the resources to thoroughly check the interleaving space, critical concurrency bugs can slip into production runs and cause failures in the field. Approaches to making the best use of the limited resources and exposing severe concurrency bugs before software release would be desirable. Unlike previous work that focuses on bugs caused by specific inter-leavings (e.g., Races and atomicity-violations), this paper targets concurrency bugs that result in one type of severe effects: program crashes.