The Community for Technology Leaders
Green Image
Issue No. 01 - January/February (2007 vol. 27)
ISSN: 0272-1732
pp: 26-35
Feng Qin , University of Illinois at Urbana-Champaign
Shan Lu , University of Illinois at Urbana-Champaign
Joseph Tucek , University of Illinois at Urbana-Champaign
Yuanyuan Zhou , University of Illinois at Urbana-Champaign
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 bugs.
INDEX TERMS
reliability, testing, debugging, concurrent program, atomicity violation, concurrency bug, bug detection, hardware support, program invariant
CITATION
Feng Qin, Shan Lu, Joseph Tucek, Yuanyuan Zhou, "AVIO: Detecting Atomicity Violations via Access-Interleaving Invariants", IEEE Micro, vol. 27, no. , pp. 26-35, January/February 2007, doi:10.1109/MM.2007.5
100 ms
(Ver 3.1 (10032016))