Helgrind+: An efficient dynamic race detector

IPDPS 2009 - Proceedings of the 2009 IEEE International Parallel and Distributed Processing Symposium

Volumn , Issue , 2009, Pages

  Jannesari, Ali ^a   Bao, Kaibin ^a   Pankratius, Victor ^a   Tichy, Walter F ^a  

^a UNIVERSITY OF KARLSRUHE   (Germany)

Author keywords

Debugging; Dynamic analysis; Happens before; Lockset; Multi threaded programming; Parallel programs; Race conditions; Race detection

Indexed keywords

MULTI-THREADED PROGRAMMING; MULTITHREADED; PARALLEL PROGRAM; RACE CONDITION; RACE DETECTION;

DETECTORS; DISTRIBUTED PARAMETER NETWORKS; HAZARDS AND RACE CONDITIONS; JAVA PROGRAMMING LANGUAGE; PARALLEL ARCHITECTURES; PROGRAM DEBUGGING;

DYNAMIC ANALYSIS;

EID: 70449975663     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IPDPS.2009.5160998     Document Type: Conference Paper

References (23)

1. R. H. B. Netzer and B. P. Miller, "What are race conditions?: Some issues and formalizations," ACM Lett. Program. Lang. Syst., vol. 1, no. 1, pp. 74-88, 1992.
2. Valgrind-project., "Helgrind: a data-race detector," 2007. [Online]. Available: http://valgrind.org/docs/manual/hgmanual. html
3. -, "Data-race-test:test suite for helgrind, a data race detector," 2008. [Online]. Available:http://code.google.com/p/data-race- test/
4. C. Bienia, S. Kumar, J. P. Singh, and K. Li, "The parsec benchmark suite: Characterization and architectural implications," Tech. Rep., January 2008.
5. N. Nethercote and J. Seward, "Valgrind: a framework for heavyweight dynamic binary instrumentation," SIGPLAN Not., vol. 42, no. 6, pp. 89-100, 2007.
6. N. Nethercote, "Dynamic binary analysis and instrumentation," Ph.D. dissertation, University of Cambridge, UK,2004.
7. N. Nethercote and J. Seward, "Valgrind: A program supervision framework," 2003. [Online]. Available: http://valgrind.org/
8. A. Jannesari and W. F. Tichy, "On-the-fly race detection in multi-threaded programs," in PADTAD '08: Proceedings of the 6th workshop on Parallel and distributed systems. New York, NY, USA: ACM, 2008, pp. 1-10.
9. L. Lamport, "Time, clocks, and the ordering of events in a distributed system," Commun. ACM, vol. 21, no. 7, pp. 558-565, 1978.
10. S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T. Anderson, "Eraser: a dynamic data race detector for multithreadedprograms," ACM Trans. Comput. Syst., vol. 15, no. 4, pp. 391-411, 1997.
11. Y. Yu, T. Rodeheffer, and W. Chen, "Racetrack: efficient detection of data race conditions via adaptive tracking," SIGOPS Oper. Syst. Rev., vol. 39, no. 5, pp. 221-234, 2005.
12. E. Pozniansky and A. Schuster, "Multirace: efficient on-thefly data race detection in multithreaded c++ programs: Research articles," Concurr. Comput. : Pract. Exper., vol. 19, no. 3, pp. 327-340, 2007.
13. R. O'Callahan and J.-D. Choi, "Hybrid dynamic data race detection," SIGPLAN Not., vol. 38, no. 10, pp. 167-178, 2003.
14. J. J. Harrow, "Runtime checking of multithreaded applications with visual threads," in Proceedings of the 7th International SPIN Workshop on SPIN ModelChecking and Software Verification. London, UK: Springer-Verlag, 2000, pp. 331-342. [Online]. Available: citeseer.ist.psu.edu/ harrow00runtime.html
15. A. Dinning and E. Schonberg, "Detecting access anomalies in programs with critical sections," SIGPLAN Not., vol. 26, no. 12, pp. 85-96, 1991.
16. A. Muehlenfeld, "Runtime race detection in multi-threaded programs," Ph.D. dissertation, IST - Institut fuer Softwaretechnologie, Technische Universitaet Graz, May 2007.
17. N. Nethercote and J. Seward, "How to shadow every byte of memory used by a program," Proceedings of the Third International ACM SIGPLAN/SIGOPS Conference on Virtual Execution Environments (VEE 2007), 2007. [Online]. Available: http://valgrind.org/docs/shadowmemory2007.pdf
18. T. Committee, "Tool interface standard (tis) executable and linking format (elf) specification version 1.2," 1995. [Online]. Available: http://refspecs.freestandards.org/elf/elf.pdf
19. U. Banerjee, B. Bliss, Z. Ma, and P. Petersen, "Unraveling data race detection in the intel thread checker," 2005. [Online]. Available: http://www.isi.edu/ kintali/stmcs06/UnravelingDataRace.pdf
20. S. Lu, S. Park, E. Seo, and Y. Zhou, "Learning from mistakes: a comprehensive study on real world concurrency bug characteristics," in ASPLOS XIII: Proceedings of the 13th international conference on Architectural support for programming languages and operating systems. New York, NY, USA: ACM, 2008, pp. 329-339.
21. G. D. Library, "Glib reference manual," 2008. [Online]. Available: http://library.gnome.org/devel/glib/
22. P. Sack, B. E. Bliss, Z. Ma, P. Petersen, and J. Torrellas, "Accurate and efficient filtering for the intel thread checkerrace detector," in ASID '06: Proceedings of the 1st workshop on Architectural and system support for improving software dependability. New York, NY, USA: ACM, 2006, pp. 34-41.
23. C. Tian, V. Nagarajan, R. Gupta, and S. Tallam, "Dynamic recognition of synchronization operations for improved data race detection," in sISSTA '08: Proceedings of the 2008 international symposium on Software testing and analysis. New York, NY, USA: ACM, 2008, pp. 143-154.