This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
AVIO: Detecting Atomicity Violations via Access-Interleaving Invariants
January/February 2007 (vol. 27 no. 1)
pp. 26-35
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.
Index Terms:
reliability, testing, debugging, concurrent program, atomicity violation, concurrency bug, bug detection, hardware support, program invariant
Citation:
Shan Lu, Joseph Tucek, Feng Qin, Yuanyuan Zhou, "AVIO: Detecting Atomicity Violations via Access-Interleaving Invariants," IEEE Micro, vol. 27, no. 1, pp. 26-35, Jan.-Feb. 2007, doi:10.1109/MM.2007.5
Usage of this product signifies your acceptance of the Terms of Use.