Abstract
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
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have