The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.01 - January/February (2007 vol.27)
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
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
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, January/February 2007, doi:10.1109/MM.2007.5
46 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool