AVIO: Detecting Atomicity Violations via Access-Interleaving Invariants

This article proposes an innovative concurrent-program invariant that captures programmers' atomicity assumptions. It describes a tool with two implementations, one in software and the other using hardware support that can automatically extract such invariants and detect atomicity violation bugs