Issue No.01 - January/February (2007 vol.27)
Joseph Tucek , University of Illinois at Urbana-Champaign
Feng Qin , University of Illinois at Urbana-Champaign
Yuanyuan Zhou , University of Illinois at Urbana-Champaign
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MM.2007.5
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 bugs.
reliability, testing, debugging, concurrent program, atomicity violation, concurrency bug, bug detection, hardware support, program invariant
Joseph Tucek, Feng Qin, Yuanyuan Zhou, "AVIO: Detecting Atomicity Violations via Access-Interleaving Invariants", IEEE Micro, vol.27, no. 1, pp. 26-35, January/February 2007, doi:10.1109/MM.2007.5