An efficient data race detector backend for DIOTA

Advances in Parallel Computing

Volumn 13, Issue C, 2004, Pages 39-46

  Ronsse, M ^a   Stougie, B ^b   Maebe, J ^a   Cornelis, F ^a   De Bosschere, K ^a  

^a GHENT UNIVERSITY   (Belgium)

^b DELFT UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 35448964513     PISSN: 09275452     EISSN: None     Source Type: Book Series    
DOI: 10.1016/S0927-5452(04)80008-X     Document Type: Article

References (14)

1. May. Adve S.V., Hill M.D., and Netzer R.H.B. Detecting data races on weak memory systems. Proceedings of the 18th Annual Symposium on Computer Architectures (1991) 234-243
2. San Remo, January. Audenaert K., and Levrouw L. Space efficient data race detection for parallel programs with series-parallel task graphs. Proceedings of the third Euromicro Workshop on Parallel and Distributed Processing (1995), IEEE Computer Society Press, Russia 508-515
3. 9. Christiaens M., Ronsse M., and De Bosschere K. Bounding the number of segment histories during data race detection. Parallel Computing 28 9 (2002) 1221-1238
4. April. Christiaens M., and De Bosschere K. Trade, a topological approach to on-the-fly race detection in java programs. Java Virtual Machine Research and Technology Symposium (JVM'01) (2001), USENIX 105-116
5. Taipei, December. De Bosschere K., and Ronsse M. Clock snooping and its application in on-the-fly data race detection. Proceedings of the 1997 International Symposium on Parallel Algorithms and Networks (I-SPAN'97) (1997), IEEE Computer Society 324-330
6. July. Lamport L. Time, clocks, and the ordering of events in a distributed system. Communications of the ACM 21 7 (1978) 558-565
7. Lu H.I., Klein P.N., and Netzer R.H.B. Detecting race conditions in parallel programs that use one semaphore. Technical report, Brown University (1993)
8. Maebe J., Ronsse M., and De Bosschere K. DIOTA: Dynamic instrumentation, optimization and transformation of applications. In: Charney M., and Kaeli D. (Eds). Compendium of Workshops and Tutorials Held in conjunction with PACT '02: Intl. Conference on Parallel Architectures and Compilation Techniques. Charlottesville, VA (2002)
9. Mattern F. Virtual time and global states of distributed systems. In: Cosnard, Quinton, Raynal, and Roberts (Eds). Proceedings of the Intl. Workshop on Parallel and Distributed Algorithms (1989), Elsevier Science Publishers B.V. 215-226
10. November. Mellor-Crummey J.M. On-the-fly detection of data races for programs with nested fork-join parallelism. Proceedings of Supercomputing '91 (1991) 24-33
11. August. Netzer R.H.B., and Miller B.P. On the complexity of event ordering for shared-memory parallel program executions. Intl. Conference on Parallel Processing (1990) 93-97
12. May. Ronsse M., and De Bosschere K. Recplay: A fully integrated practical record/replay system. ACM Transactions on Computer Systems 17 2 (1999) 133-152
13. November. Savage S., Burrows M., Nelson G., Sobalvarro P., and Anderson T. Eraser: A dynamic data race detector for multithreaded programs. ACM Transactions on Computer Systems 15 4 (1997) 391-411
14. Wuu G.T.J., and Bernstein A.J. Efficient solutions to the replicated log and dictionary problems. Proc. 3rd ACM Symp. Principles Distributed Computing (1984), ACM Press, New York 233-242