Light64: Lightweight hardware support for data race detection during systematic testing of parallel programs

Proceedings of the Annual International Symposium on Microarchitecture, MICRO

Volumn , Issue , 2009, Pages 541-552

  Nistor, Adrian ^a   Marinov, Darko ^a   Torrellas, Josep ^a  

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

Author keywords

Data race; Execution history hash; Systematic testing

Indexed keywords

DATA RACE; DATA RACE DETECTION; DATA RACES; DIFFERENT MODES; FALSE POSITIVE; HARDWARE SCHEMES; HARDWARE SUPPORTS; INTERLEAVINGS; NOVEL TECHNIQUES; PARALLEL CODE; PARALLEL PROGRAM; PROGRAM EXECUTION; RACE DETECTION; RANDOM TESTING; RECENT TRENDS; RUNTIME OVERHEADS; SYSTEMATIC TESTING; TESTING TOOLS;

HARDWARE; PARALLEL ARCHITECTURES; PARALLEL PROGRAMMING; WEB SERVICES;

PROGRAM DEBUGGING;

EID: 76749145125     PISSN: 10724451     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1669112.1669180     Document Type: Conference Paper

References (35)

1. T. Ball. Personal communication, May 2009.
2. A. Bron, E. Farchi, Y. Magid, Y. Nir, and S. Ur. Applications of synchronization coverage. In PPOPP, June 2005.
3. D. Bruening and J. Chapin. Systematic testing of multithreaded programs. Technical report, MIT/LCS Technical Memo, LCSTM 607, May 2000.
4. P. Godefroid. Model checking for programming languages using VeriSoft. In POPL, January 1997.
5. K. Havelund, M. Lowry, S. Park, C. Pecheur, J. Penix, W. Visser, and J. L. White. Formal analysis of the remote agent before and after flight. 5th NASA Langley Formal Methods Workshop, June 2000.
6. G. J. Holzmann, R. Joshi, and A. Groce. Tackling large verification problems with the Swarm tool. In SPIN, August 2008.
7. G. J. Holzmann and M. H. Smith. Automating software feature verification. Bell Labs Technical Journal, 5(2), 2000.
8. L. Lamport. Time, clocks, and the ordering of events in a distributed system. Commun. ACM, 21(7), July 1978.
9. B. W. Lampson and D. D. Redell. Experience with processes and monitors in Mesa. Commun. ACM, 23(2), February 1980.
10. C.-K. Luk, R. S. Cohn, R. Muth, H. Patil, A. Klauser, P. G. Lowney, S. Wallace, V. J. Reddi, and K. M. Hazelwood. Pin: Building customized program analysis tools with dynamic instrumentation. In PLDI, June 2005.
11. D. Marino, M. Musuvathi, and S. Narayanasamy. LiteRace: Effective sampling for lightweight data-race detection. In PLDI, June 2009.
12. J. M. Mellor-Crummey. On-the-fly detection of data races for programs with nested fork-join parallelism. In Supercomputing, August 1991.
13. S. L. Min and J.-D. Choi. An efficient cache-based access anomaly detection scheme. In ASPLOS, April 1991.
14. M. Musuvathi, D. Y. W. Park, A. Chou, D. R. Engler, and D. L. Dill. CMC: A pragmatic approach to model checking real code. In OSDI, December 2002.
15. M. Musuvathi, S. Qadeer, T. Ball, G. Basler, P. A. Nainar, and I. Neamtiu. Finding and reproducing Heisenbugs in concurrent programs. In OSDI, December 2008.
16. A. Muzahid, D. Suárez, S. Qi, and J. Torrellas. SigRace: Signature-based data race detection. In ISCA, June 2009.
17. S. Narayanasamy, Z. Wang, J. Tigani, A. Edwards, and B. Calder. Automatically classifying benign and harmful data races using replay analysis. In PLDI, June 2007.
18. R. O'Callahan and J.-D. Choi. Hybrid dynamic data race detection. In PPOPP, June 2003.
19. S. Park, S. Lu, and Y. Zhou. CTrigger: Exposing atomicity violation bugs from their hiding places. In ASPLOS, 2009.
20. K. Poulsen. Software bug contributed to blackout, February 2004. http://www.securityfocus.com/news/8016.
21. M. Prvulovic. CORD: Cost-effective (and nearly overhead-free) order-recording and data race detection. In HPCA, February 2006.
22. M. Prvulovic and J. Torrellas. ReEnact: Using thread-level speculation mechanisms to debug data races in multithreaded codes. In ISCA, June 2003.
23. I. Rabinovitz and O. Grumberg. Bounded model checking of concurrent programs. In CAV, July 2005.
24. 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, October 2006.
25. S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T. E. Anderson. Eraser: A dynamic data race detector for multi-threaded programs. In SOSP, October 1997.
26. K. Sen. Race directed random testing of concurrent programs. In PLDI, June 2008.
27. L. Sha, R. Rajkumar, and J. P. Lehoczky. Priority inheritance protocols: An approach to real-time synchronization. IEEE Trans. Computers, 39(9), September 1990.
28. D. Shasha and M. Snir. Efficient and correct execution of parallel programs that share memory. ACM Trans. Program. Lang. Syst., 10(2), April 1988.
29. S. D. Stoller. Model-checking multi-threaded distributed Java programs. In SPIN, August 2000.
30. W. Visser, K. Havelund, G. P. Brat, S. Park, and F. Lerda. Model Checking Programs. Automated Software Engineering, 10(2), April 2003.
31. D. S. Vjukov. Relacy race detector, 2009. http://groups.google.com/group/ relacy.
32. M. Yabandeh, N. Knezevic, D. Kostic, and V. Kuncak. CrystalBall: Predicting and preventing inconsistencies in deployed distributed systems. In NSDI, April 2009.
33. J. Yang, T. Chen, M. Wu, Z. Xu, X. Liu, H. Lin, M. Yang, F. Long, L. Zhang, and L. Zhou. MODIST: Transparent model checking of unmodified distributed systems. In NSDI, April 2009.
34. Y. Yang, X. Chen, G. Gopalakrishnan, and R. M. Kirby. Runtime model checking of multithreaded C/C++ programs. Technical report, UUCS-07-008, 2007.
35. P. Zhou, R. Teodorescu, and Y. Zhou. HARD: Hardware-assisted lockset-based race detection. In HPCA, February 2007.