AVIO: Detecting atomicity violations via access interleaving invariants

International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS

Volumn , Issue , 2006, Pages 37-48

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

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

Author keywords

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

Indexed keywords

ATOMICITY VIOLATION; BUG DETECTION; CONCURRENT PROGRAM;

COMPUTER SOFTWARE; COMPUTER WORMS; DATA STORAGE EQUIPMENT; MATHEMATICAL MODELS; PROBLEM SOLVING; SECURITY OF DATA;

FAULT DETECTION;

EID: 34249774237     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1168857.1168864     Document Type: Conference Paper

References (45)

1. C. S. Ananian, K. Asanovic, B. C. Kuszmaul. C. E. Leiserson, and S. Lie. Unbounded transactional memory. In HPCA, 2005.
2. L. A. Barroso, R. Gharachorloo, R. McNamara, A. Nowatzyk, S. Qadeer, B. Sano, S. Smith, R. Stets, and B. Verghese. Piranha: a scalable architecture based on single-chip multiprocessing. In ISCA, 2000.
3. C. Boyapati, R. Lee, and M. Rinard. Ownership types for safe programming: Preventing data races and deadlocks. In OOPSLA, 2002.
4. M. Burrows and R. R. M. Leino. Finding stale-value errors in concurrent programs. In Compaq SRC Technical Note 2002-04, 2002.
5. S. Chandra and P. M. Chen. How fail-stop are faulty programs? In FTCS, 1998.
6. J.-D. Choi et al. Efficient and precise datarace detection for multithreaded object-oriented programs. In PLDI, 2002.
7. A. Dinning and E. Schonberg. An empirical comparison of monitoring algorithms for access anomaly detection. In PPoPP, 1990.
8. D. Engler and R. Ashcraft. RacerX: Effective, static detection of race conditions and deadlocks. In SOSP, 2003.
9. M. Ernst, A. Czeisler, W. G. Griswold, and D. Notkin. Quickly detecting relevant program, invariants. In ICSE, 2000.
10. C. Flanagan and S. N. Freund. Type-based race detection for java. In PLDI, 2000.
11. C. Flanagan and S. N. Freund. Atomizer: a dynamic atomicity checker for multithreaded programs. In POPL, 2004.
12. C. Flanagan, and S. Qadeer. A type and effect system, for atomicity. In PLDI, 2003.
13. L. Hammond, V. Wong, M. Chen, B. D. Carlstrom, J. D. Davis, B. Hertzberg, M. R. Prabhu, H. Wijaya, C. Rozyrakis, and R. Olukotun. Transactional memory coherence and consistency. In ISCA, 2004.
14. S. Hangal and M. S. Lam. Tracking down software bugs using automatic anomaly detection. In ICSE, 2002.
15. N. Hardavellas, S. Somogyi, T. F. Wenisch, R. E. Wunderlich, S. Chen, J. Kim, B. Falsafi, J. C. Hoe, and A. G. Nowatzyk. Simflex: a fast, accurate, flexible full-system, simulation framework for performance evaluation of server architecture. SIGMETRICS Perform. Eval. Rev., 31(4), 2004.
16. T. Harris and K. Fraser. Language support for lightweight transactions. In OOPSLA, 2003.
17. T. A. Henzinger, R. Jhala, and R. Majumdar. Race checking by context inference. In PLDI, 2004.
18. M. Herlihy and J. E. B. Moss. Transactional memory: architectural support for lock-free data structures. In ISCA, 1993.
19. L. Lamport. Time, clocks, and the ordering of events in a distributed system. Communications of the ACM, 21(7):558-565, July 1978.
20. B. Liblit, A. Aiken, A. X. Zheng, and M. I. Jordan. Bug isolation via remote program, sampling. In PLDI, 2003.
21. C-K. Luk, R. Cohn, R. Muth, H. Paxil, A. Klauser, G. Lowney, S. Wallace, V. J. Reddi, and K. Hazelwood. Pin: building customized program analysis tools with, dynamic instrumentation. In PLDI, 2005.
22. P. S. Magnusson, F. Dahlgren, H. Gratin, M. Karlsson, F. Larsson, F. Lundholm, A. Moestedt, J. Nilsson, P. Stenstrom, and B. Werner. Simics/sun.4m: A virtual workstation. In Usenix Annual Technical Conference, 1998.
23. S. L. Min and J.-D. Choi. An efficient cache-based access anomaly detection scheme. In ASPLOS, 1991.
24. S. Narayanasamy, G. Pokam, and B. Calder. Bugnet: Continuously recording program execution, for deterministic replay debugging. In ISCA, 2005.
25. N. Nethercote and J. Seward. Valgrind: A program supervision framework. ENTCS, 2003.
26. R. H. B. Netzer and B. P. Miller. Improving the accuracy of data race detection. In PPoPP, 1991.
27. R. O'Callahan and J.-D. Choi. Hybrid dynamic data race detection. In PPoPP, 2003.
28. D. Perkovic and P. J. Keleher. Online data-race detection via coherency guarantees. In OSDI, 1996.
29. E. Pozniansky and A. Schuster. Efficient on-the-fly data race detection in multithreaded c++ programs. In PPoPP, 2003.
30. M. Prvulovic. Cord:cost-effective (and nearly overhead-free) order-reordering and data race detection. In HPCA, 2006.
31. M. Prvulovic and J. Torrellas. ReEnact: Using thread-level speculation mechanisms to debug data races in multithreaded codes. In ISCA, 2003.
32. B. Richards and J. R. Laras. Protocol-based data-race detection. In SPDT, 1998.
33. A. Sasturkar, R. Agarwal, L. Wang, and S. D. Stoller. Automated type-based analysis of data races and atomicity. In PPoPP, 2005.
34. S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T. Anderson. Eraser: A dynamic data race detector for multithreaded programs. ACM TOCS, 1997.
35. SecurityFocus. Software bug contributed to blackout.
36. N. Tuck, B. Calder, and G. Varghese. Hardware and binary modification support for code pointer protection from buffer overflow. In MICRO, 2004.
37. M. Vaziri, F. Tip, and J. Dolby. Associating synchronization constraints with data in an object-oriented language. In POPL, 2006.
38. C. von Praun and T. R. Gross. Object race detection. In OOPSLA, 2001.
39. L. Wang and S. D. Stoller. Static analysis for programs with nonblocking synchronization. In PPoPP, 2005.
40. S. C. Woo, M. Ohara, E. Torrie, J. P. Singh, and A. Gupta. The SPLASH-2 programs: Characterization and methodological considerations. In ISCA, 1995.
41. M. Xu, R. Bodik, and M. D. Hill. A "flight data recorder" for enabling full-system multiprocessor deterministic replay. In ISCA, 2003.
42. M. Xu, R. Bodik, and M. D. Hill. A serializability violation detector for shared-memory server programs. In PLDI, 2005.
43. Y. Yu, T. Rodeheffer, and W. Chen. Racetrack: Efficient detection of data race conditions via adaptive tracking. In SOSP, 2005.
44. P. Zhou, W Liu, F. Long, S. Lu, F. Qin, Y. Zhou, S. Midkiff, and J. Torrellas. AccMon: Automatically Detecting Memory-Related Bugs via Program Counter-based Invariants. In MICRO, 2004.
45. P. Zhou, F. Qin, W. Liu, Y. Zhou, and J. Torrellas. iWatcher: Efficient Architecture Support for Software Debugging. In ISCA, 2004.