DocumentCode
864886
Title
AVIO: Detecting Atomicity Violations via Access-Interleaving Invariants
Author
Lu, Shan ; Tucek, Joseph ; Qin, Feng ; Zhou, Yuanyuan
Author_Institution
Dept. of Comput. Sci., Illinois Univ., Urbana, IL
Volume
27
Issue
1
fYear
2007
Firstpage
26
Lastpage
35
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 violation bugs
Keywords
multi-threading; multiprocessing programs; program debugging; access-interleaving invariant; atomicity violation bug detection; concurrent program; Computer bugs; Concurrent computing; Hardware; Interleaved codes; Multicore processing; Programming profession; Software testing; Software tools; Web server; Yarn; atomicity violation; bug detection; concurrency bug; concurrent program; debugging; hardware support; program invariant; reliability; testing;
fLanguage
English
Journal_Title
Micro, IEEE
Publisher
ieee
ISSN
0272-1732
Type
jour
DOI
10.1109/MM.2007.5
Filename
4205121
Link To Document