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
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;
Journal_Title :
Micro, IEEE
