MulticoreSDK: A practical and efficient data race detector for real-world applications

Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD '09

Volumn , Issue , 2009, Pages

  Qi, Yao ^a   Das, Raja ^b   Luo, Zhi Da ^a   Trotter, Martin ^b  

^a IBM CHINA RESEARCH LAB   (China)

^b IBM   (United States)

Author keywords

Concurrent program analysis; Data race detection; Multicore platform

Indexed keywords

APPLICATION SOFTWARES; CONCURRENT PROGRAM; DATA RACE DETECTION; DATA-RACE DETECTORS; DEBUGGING TOOLS; ERROR PRONES; INDUSTRIAL STRENGTH; MULTI CORE; MULTI-CORE PROCESSOR; MULTI-THREADED APPLICATION; MULTIPLE THREADS; PARALLEL PROCESSING; PROCESSOR TECHNOLOGY; REAL-WORLD APPLICATION;

COMPUTER SOFTWARE SELECTION AND EVALUATION; DETECTORS; PROGRAM DEBUGGING; SOFTWARE TESTING;

DATA HANDLING;

EID: 72049105576     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1639622.1639627     Document Type: Conference Paper

References (15)

1. Sun Studio Thread Analyzer. http://developers.sun.com/sunstudio/ downloads/ssx/tha/.
2. Multi-Thread Run-time Analysis Tool for Java. http://www.alphaworks.ibm. com/tech/mtrat.
3. WALA: The T. J. Watson Libraries for Analysis. http://wala.soruceforge. net.
4. K.-R. Chilakamarri and S. Elbaum. Leveraging disposable instrumentation to reduce coverage collection overhead: Research articles. Softw. Test. Verif. Reliab., 16(4):267-288, 2006.
5. 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 '02: Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation, pages 258-269, New York, NY, USA, 2002. ACM.
6. B. Dufour, B. G. Ryder, and G. Sevitsky. Blended analysis for performance understanding of framework-based applications. In ISSTA '07: Proceedings of the 2007 international symposium on Software testing and analysis, pages 118-128, New York, NY, USA, 2007. ACM.
7. R. Jones and R. Lins. Garbage collection: algorithms for automatic dynamic memory management. John Wiley & Sons, Inc., New York, NY, USA, 1996.
8. B. Kingsbury. Organizing processes and threads for debugging. In PADTAD '07: Proceedings of the 2007 ACM workshop on Parallel and distributed systems: testing and debugging, pages 21-26, New York, NY, USA, 2007. ACM.
9. A. Loginov, V. Sarkar, J. deok Choi, J. deok Choi, A. Logthor, and I. V. Sarkar. Static datarace analysis for multithreaded object-oriented programs. Technical report, IBM Research Division, Thomas J. Watson Research Centre, 2001.
10. R. O'Callahan and J.-D. Choi. Hybrid dynamic data race detection. SIGPLAN Not., 38(10):167-178, 2003.
11. T. Reps, S. Horwitz, and M. Sagiv. Precise interprocedural dataflow analysis via graph reachability. In POPL '95: Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 49-61, New York, NY, USA, 1995. ACM.
12. P. Sack, B. E. Bliss, Z. Ma, P. Petersen, and J. Torrellas. Accurate and efficient filtering for the intel thread checker race detector. In ASID '06: Proceedings of the 1st workshop on Architectural and system support for improving software dependability, pages 34-41, New York, NY, USA, 2006. ACM.
13. P. Sack, B. E. Bliss, Z. Ma, P. Petersen, and J. Torrellas. Accurate and efficient filtering for the intel thread checker race detector. In ASID '06: Proceedings of the 1st workshop on Architectural and system support for improving software dependability, pages 34-41, New York, NY, USA, 2006. ACM.
14. S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T. Anderson. Eraser: a dynamic data race detector for multithreaded programs. ACM Trans. Comput. Syst., 15(4):391-411, 1997.
15. Y. Yu, T. Rodeheffer, and W. Chen. Racetrack: efficient detection of data race conditions via adaptive tracking. In SOSP '05: Proceedings of the twentieth ACM symposium on Operating systems principles, pages 221-234, New York, NY, USA, 2005. ACM.