Fast Atomicity Monitoring

Atomicity is a fundamental abstraction in concurrency, specifying that program behavior can be understood by considering specific code blocks executing atomically. However, atomicity invariants are tricky to maintain while also optimizing for code efficiency, and atomicity violations are a common root cause of many concurrency bugs. To address this problem, several dynamic techniques have been developed for testing whether a program execution adheres to an atomicity specification, most often instantiated as conflict-serializability. The efficiency of the analysis has been targeted in various papers, with the state-of-the-art algorithms RegionTrack and Aerodrome achieving a time complexity 𝑂 (𝑛𝑘 3 ) and 𝑂 (𝑛𝑘 (𝑘 + 𝑣 + ℓ)), respectively, for a trace 𝜎 of 𝑛 events, 𝑘 threads, 𝑣 locations, and ℓ locks.

In this paper we introduce AtomSanitizer, a new algorithm for testing conflict-serializability, with time complexity 𝑂 (𝑛𝑘 2 ). AtomSanitizer operates in an efficient streaming style, is theoretically faster than all existing algorithms, and also has a smaller memory footprint. Moreover, it is the first algorithm designed to use little locking when deployed in a concurrent monitoring setting. Experiments on standard benchmarks indicate that AtomSanitizer is always faster in practice than all existing conflict-serializability testers. Finally, we also implement AtomSanitizer inside the TSAN framework, for monitoring atomicity in real time. Our experiments reveal that AtomSanitizer incurs only a marginal time and space overhead over the data-race detection engine of TSAN, and thus is the first algorithm for conflict-serializability demonstrated to be suitable for a runtime monitoring setting.

CCS Concepts: • Software and its engineering → Software verification and validation; Software testing and debugging.