Issue No. 01 - January/February (2007 vol. 27)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MM.2007.5
Shan Lu , University of Illinois at Urbana-Champaign
Joseph Tucek , University of Illinois at Urbana-Champaign
Feng Qin , University of Illinois at Urbana-Champaign
Yuanyuan Zhou , University of Illinois at Urbana-Champaign
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
F. Qin, S. Lu, J. Tucek and Y. Zhou, "AVIO: Detecting Atomicity Violations via Access-Interleaving Invariants," in IEEE Micro, vol. 27, no. , pp. 26-35, 2007.