AVIO: Detecting atomicity violations via access-interleaving invariants

IEEE Micro

Volumn 27, Issue 1, 2007, Pages 26-35

  Lu, Shan ^a   Tucek, Joseph ^a   Qin, Feng ^a,b   Zhou, Yuanyuan ^a  

^a University of Illinois at Urbana Champaign   (United States)

^b OHIO STATE UNIVERSITY   (United States)

Author keywords

Atomicity violation; Bug detection; Concurrency bug; Concurrent program; Debugging; Hardware support; Program invariant; Reliability; Testing

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER HARDWARE; ERROR DETECTION; RELIABILITY;

ACCESS-INTERLEAVING INVARIANT; ATOMICITY VIOLATION; BUG DETECTION; CONCURRENT PROGRAM; PROGRAM INVARIANT;

PROGRAM DEBUGGING;

EID: 34249816151     PISSN: 02721732     EISSN: None     Source Type: Journal    
DOI: 10.1109/MM.2007.5     Document Type: Article

References (12)

1. S. Savage et al., "Eraser: A Dynamic Data Race Detector for Multithreaded Programs," ACM Trans. Computer Systems (TOCS 97), vol. 15, no. 4, Nov. 1997, pp. 391-411.
2. R.H.B. Netzer and B.P. Miller, "Improving the Accuracy of Data Race Detection," Proc. 3rd ACM SIGPLAN Symp. Principles and Practice of Parallel Programming (PPOPP 91), ACM Press, 1991, pp. 133-144.
3. R. O'Callahan and J.-D. Choi, "Hybrid Dynamic Data Race Detection," Proc. ACM SIGPLAN Symp. Principles and Practice of Parallel Programming (PPOPP 03), ACM Press, 2003, pp. 167-178.
4. M. Prvulovic and J. Torrellas, "ReEnact: Using Thread-Level Speculation Mechanisms to Debug Data Races in Multithreaded Codes," Proc. 30th Ann. Int'l Symp. Computer Architecture (ISCA 03), IEEE CS Press, 2003, pp. 110-121.
5. T. Harris and K. Fraser, "Language Support for Lightweight Transactions," Proc. Conf. Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA, 03), ACM Press, 2003, pp. 388-402.
6. M. Herlihy, J. Eliot, and B. Moss, "Transactional Memory: Architectural Support for Lock-Free Data Structures," Proc. 20th Ann. Int'l Symp. Computer Architecture (ISCA 93), IEEE CS Press, 1993, pp. 289-300.
7. C. Flanagan and S.N. Freund, "Atomizer: A Dynamic Atomicity Checker for Multithreaded Programs," Proc. Principles of Programming Languages Symp (POPL 04), ACM Press, 2004, pp. 256-267.
8. M. Xu, R. Bodik, and M.D. Hill, "A Serializability Violation Detector for Shared-Memory Server Programs," Proc. ACM SIGPLAN Conf. Programming Language Design and Implementation (PLDI 05), ACM Press, 2005, pp. 1-14.
9. S. Lu et al., "AVIO: Detecting Atomicity, Violations via Access-Interleaving Invariants," Proc. 12th Int'l Conf. Architectural Support for Programming Languages and Operating Systems (ASPLOS 06), ACM Press, 2006, pp. 37-48.
10. M. Ernst et al., "Quickly Detecting Relevant Program Invariants," Proc. 22nd Int'l Conf. Software Engineering (ICSE 2000). ACM Press, 2000, pp. 449-458.
11. S. Hangal and M.S. Lam, "Tracking Down Software Bugs Using Automatic Anomaly Detection," Proc. 24th Int'l Conf. Software Engineering (ICSE 02), ACM Press, 2002, pp. 291-301.
12. P. Zhou et al., "AccMon: Automatically Detecting Memory-Related Bugs via Program Counter-Based Invariants," Proc. 37th Ann. IEEE/ACM Int'l Symp. Microarchitecture (Micro 04), IEEE CS Press, 2004, pp. 269-280.