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

Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA

Volumn , Issue , 2010, Pages 160-174

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

^a TSINGHUA UNIVERSITY   (China)

^b UNIVERSITY OF CALIFORNIA   (United States)

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

^d UNIVERSITY OF WISCONSIN MADISON   (United States)

Author keywords

Atomicity violation; Concurrency bug; Order violation; Sequential bug

Indexed keywords

ATOMICITY VIOLATIONS; BUG DETECTION; CONCURRENCY BUG; CONCURRENT PROGRAM; DATA FLOW; ORDER VIOLATIONS; SEQUENTIAL BUG; SOFTWARE BUG; SYSTEM RELIABILITY;

COMPUTER SYSTEMS PROGRAMMING; OBJECT ORIENTED PROGRAMMING; SEMANTICS; SOFTWARE RELIABILITY;

PROGRAM DEBUGGING;

EID: 78650081785     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1869459.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 heap-based 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 andB. 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 multi-variable 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 context-aware 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): 31-37, 1998. (Pubitemid 128605767)
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 incremental-ization 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.