Do I use the wrong definition? DefUse: Definition-use invariants for detecting concurrency and sequential bugs

ACM SIGPLAN Notices

Volumn 45, Issue 10, 2010, Pages 160-174

  Shi, Yao ^a   Lu, Shan ^b   Park, Soyeon ^c   Zhou, Yuanyuan ^c   Zheng, Weimin ^a   Yin, Zuoning ^d   Chen, Wenguang ^a  

^a TSINGHUA UNIVERSITY   (China)

^b UNIVERSITY OF WISCONSIN MADISON   (United States)

^c UNIVERSITY OF CALIFORNIA   (United States)

^d UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

Author keywords

Atomicity violation; Concurrency bug; Order violation; Sequential bug

Indexed keywords

ATOMICITY VIOLATIONS; BUG DETECTION; CONCURRENCY BUG; CONCURRENT PROGRAM; DATA FLOW; FALSE POSITIVE; ORDER VIOLATION; ORDER VIOLATIONS; RANKING ALGORITHM; REAL-WORLD; REAL-WORLD APPLICATION; SEQUENTIAL BUG; SOFTWARE BUG; SYSTEM RELIABILITY;

ALGORITHMS; SEMANTICS; SOFTWARE RELIABILITY;

PROGRAM DEBUGGING;

EID: 79551676028     PISSN: 15232867     EISSN: None     Source Type: Journal    
DOI: 10.1145/1932682.1869474     Document Type: Conference Paper

References (45)

1. A. V. Aho, R. Sethi, and J. D. Ullman. Compilers: Principles, Techniques, and Tools. Addison Wesley, 1986.
2. P. Barford and M. Crovella. Generating representative web workloads for network and server performance evaluation. In ACM SIGMETRICS, June 1998.
3. M. Burrows and K. R. M. Leino. Finding stale-value errors in concurrent programs. Concurrency and Computation: Practice & Experience, 16(12):1161-1172, 2004.
4. M. Castro, M. Costa, and T. Harris. Securing software by enforcing data-flow integrity. In OSDI, 2006.
5. S. Cherem, L. Princehouse, and R. Rugina. Practical memory leak detection using guarded value-flow analysis. In PLDI, 2007.
6. T. Chilimbi and V. Ganapathy. HeapMD: Identifying heapbased bugs using anomaly detection. In ASPLOS, 2006.
7. J.-D. Choi, K. Lee, A. Loginov, R. O'Callahan, V. Sarkar, and M. Sridharan. Efficient and precise datarace detection for multithreaded object-oriented programs. In PLDI, 2002.
8. M. D. Ernst, J. H. Perkins, P. J. Guo, S. McCamant, C. Pacheco, M. S. Tschantz, and C. Xiao. The Daikon system for dynamic detection of likely invariants. Science of Computer Programming, 69 (1-3): 35-45, Dec. 2007.
9. C. Flanagan and S. N. Freund. Atomizer: a dynamic atomicity checker for multithreaded programs. In POPL, 2004.
10. C. Flanagan and S. N. Freund. FastTrack: efficient and precise dynamic race detection. In PLDI, 2009.
11. C. Flanagan and S. Qadeer. A type and effect system for atomicity. In PLDI, pages 338-349, 2003.
12. H. S. Gunawi, C. Rubio-Gonzaiz, A. C. Arpaci-Dusseau, R. H. Arpaci-Dusseau, and B. Liblit. EIO: Error handling is occasionally correct. In FAST, 2008.
13. S. Hangal and M. S. Lam. Tracking down software bugs using automatic anomaly detection. In ICSE, 2002.
14. M. J. Harrold and B. A. Malloy. Data flow testing of parallelized code. In ICSM, 1992.
15. R. Hastings and B. Joyce. Purify: Fast detection of memory leaks and access errors. In Usenix Winter Technical Conference, 1992.
16. S. Lu, W. Jiang, and Y. Zhou. A study of interleaving coverage criteria. In FSE, 2007.
17. S. Lu, S. Park, C. Hu, X. Ma, W. Jiang, Z. Li, R. A. Popa, and Y. Zhou. MUVI: Automatically inferring multivariable access correlations and detecting related semantic and concurrency bugs. In SOSP, 2007.
18. S. Lu, S. Park, E. Seo, and Y. Zhou. Learning from mistakes - a comprehensive study of real world concurrency bug characteristics. In ASPLOS, 2008.
19. S. Lu, J. Tucek, F. Qin, and Y. Zhou. AVIO: Detecting atomicity violations via access interleaving invariants. In ASPLOS, 2006.
20. B. Lucia and L. Ceze. Finding concurrency bugs with contextaware communication graphs. In MICRO, 2009.
21. C.-K. Luk, R. Cohn, R. Muth, H. Patil, 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. E. Marcus and H. Stern. Blueprints for high availability (2nd edition). John Wiley and Sons, 2003.
23. D. Marino, M. Musuvathi, and S. Narayanasamy. LiteRace: effective sampling for lightweight data-race detection. In PLDI, 2009.
24. D. Mosberger and T. Jin. httperf-a tool for measuring web server performance. Performance Evaluation Review, 26(3):3-37, 1998.
25. M. Musuvathi and S. Qadeer. Iterative context bounding for systematic testing of multithreaded programs. In PLDI, 2007.
26. M. Musuvathi, S. Qadeer, T. Ball, and G. Basler. Finding and reproducing heisenbugs in concurrent programs. In OSDI, 2008.
27. S. Narayanasamy, C. Pereira, and B. Calder. Recording shared memory dependencies using strata. In ASPLOS, 2006.
28. N. Nethercote and J. Seward. Valgrind: A framework for heavyweight dynamic binary instrumentation. In PLDI, 2007.
29. R. O'Callahan and J.-D. Choi. Hybrid dynamic data race detection. In PPoPP, 2003.
30. S. Park, S. Lu, and Y. Zhou. CTrigger: Exposing atomicity violation bugs from their hiding places. In ASPLOS, 2009.
31. D. Perkovic and P. J. Keleher. Online data-race detection via coherency guarantees. In OSDI, 1996.
32. E. Pozniansky and A. Schuster. Efficient on-the-fly data race detection in multithreaded C++ programs. In PPoPP, 2003.
33. A. Sasturkar, R. Agarwal, L. Wang, and S. D. Stoller. Automated type-based analysis of data races and atomicity. In PPoPP, pages 83-94, 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. http://www. securityfocus.com/news/8016.
36. K. Sen. Race directed random testing of concurrent programs. In PLDI, 2008.
37. A. Shankar and R. Bodik. DITTO: Automatic incrementalization of data structure invariant checks (in Java). In PLDI, 2007.
38. C. von Praun and T. R. Gross. Object race detection. In OOPSLA, 2001.
39. C. von Praun and T. R. Gross. Static conflict analysis for multi-threaded object oriented programs. In PLDI, 2003.
40. M. Xu, R. Bodik, and M. Hill. A regulated transitive reduction for longer memory race recording. In ASPLOS, 2006.
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, pages 1-14, 2005.
43. C.-S. D. Yang, A. L. Souter, and L. L. Pollock. All-du-path coverage for parallel programs. In ISSTA, 1998.
44. J. Yu and S. Narayanasamy. A case for an interleaving constrained shared-memory multi-processor. In ISCA, 2009.
45. 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.