Finding concurrency bugs with context-aware communication graphs

Proceedings of the Annual International Symposium on Microarchitecture, MICRO

Volumn , Issue , 2009, Pages 553-563

  Lucia, Brandon ^a   Ceze, Luis ^a  

^a UNIVERSITY OF WASHINGTON   (United States)

Author keywords

C.1.2 processor architectures : multiple data stream architectures (multiprocessors); D.1.3 programming techniques : concurrent programming; D.2.5 software engineering : testing and debugging; Design; Reliability

Indexed keywords

CONCURRENT PROGRAMMING; DESIGN-RELIABILITY; MULTIPLE DATA STREAMS; PROCESSOR ARCHITECTURES; PROGRAMMING TECHNIQUE; TESTING AND DEBUGGING;

COMMUNICATION; COMPUTER ARCHITECTURE; DATA COMMUNICATION SYSTEMS; HYDRAULICS; MULTIPROCESSING SYSTEMS; PROGRAM PROCESSORS; SOFTWARE ENGINEERING; SOFTWARE RELIABILITY;

PROGRAM DEBUGGING;

EID: 76749091512     PISSN: 10724451     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1669112.1669181     Document Type: Conference Paper

References (21)

1. C. Bienia, S. Kumar, J. P. Singh, and K. Li. The PARSEC Benchmark Suite: Characterization and Architectural Implications. In PACT, 2008.
2. D. Engler, D. Chen, S. Hallem, A. Chou, and B. Chelf. Bugs as Deviant Behavior: A General Approach to Inferring Errors in Systems Code. In SOSP, 2001.
3. M. D. Ernst, A. Czeisler, W. G. Griswold, and D. Notkin. Quickly Detecting Relevant Program Invariants. In ICSE, 2000.
4. C. Flanagan and S. Qadeer. A Type and Effect System for Atomicity. In PLDI, 2003.
5. Q. Gao, F. Qin, and D. K. Panda. DMTracker: Finding Bugs in Large-Scale Parallel Programs by Detecting Anomaly in Data Movements. In SC, 2009.
6. S. Hangal and M. S. Lam. Tracking Down Software Bugs Using Automatic Anomaly Detection. In ICSE, 2002.
7. B. R. Liblit. Cooperative Bug Isolation. PhD thesis, University of California, Berkeley, 2004.
8. S. Lu, S. Park, E. Seo, and Y. Zhou. Learning from Mistakes - A Comprehensive Study on Real World Concurrency Bug Characteristics. In ASPLOS, 2008.
9. S. Lu, J. Tucek, F. Qin, and Y. Zhou. AVIO: Detecting Atomicity Violations via Access Interleaving Invariants. In ASPLOS, 2006.
10. B. Lucia, J. Devietti, K. Strauss, and L. Ceze. Atom-Aid: Detecting and Surviving Atomicity Violations. In ISCA, 2008.
11. C. K. Luk, R. Cohn, R. Muth, H. Patil, A. Klauser, G. Lowney, S. Wallace, V. Janapa Reddi, and K. Hazelwood. PIN: Building Customized Program Analysis Tools with Dynamic Instrumentation. In PLDI, 2005.
12. M. Musuvathi, S. Qadeer, T. Ball, G. Basler, P. Nainar, and I. Neamtiu. Finding and Reproducing Heisenbugs in Concurrent Programs. In OSDI, 2008.
13. N. Nethercote and J. Seward. Valgrind: A Framework for Heavyweight Dynamic Binary Instrumentation. In PLDI, 2007.
14. S. Park, S. Lu, and Y. Zhou. CTrigger: Exposing Atomicity Violation Bugs from Their Hiding Places. In ASPLOS, 2009.
15. M. Prvulovic and J. Torrellas. ReEnact: Using Thread-Level Speculation Mechanisms to Debug Data Races in Multithreaded Codes. In ISCA, 2003.
16. J. Renau, B. Fraguela, J. Tuck, W. Liu, M. Prvulovic, L. Ceze, S. Sarangi, P. Sack, K. Strauss, and P. Montesinos. SESC Simulator, January 2005. http://sesc.sourceforge.net.
17. M. Ronsee and K. De Bosschere. RecPlay: A Fully Integrated Practical Record/Replay System. ToCS, 1999.
18. S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T. Anderson. Eraser: A Dynamic Data Race Detector for Multi-Threaded Programs. ToCS, 1997.
19. M. Xu, R. Bodík, and M. D. Hill. A Serializability Violation Detector for Shared-Memory Server Programs. In PLDI, June 2005.
20. J. Yu and S. Narayanasamy. A Case for an Interleaving Constrained Shared-Memory Multi-Processor. In ISCA, 2009.
21. P. Zhou, R. Teodorescu, and Y. Zhou. HARD: Hardware-Assisted Lockset-based Race Detection. In HPCA, 2007.