Accordion clocks: Logical clocks for data race detection

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2150, Issue , 2001, Pages 494-503

  Christiaens, Mark ^a   De Bosschere, Koen ^a  

^a GHENT UNIVERSITY   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED COMPUTER SYSTEMS;

DATA RACE DETECTION; JAVA VIRTUAL MACHINES; MEMORY REQUIREMENTS; NUMBER OF THREADS; PARALLEL PROGRAM; PARTIAL ORDER; SEQUENTIAL PROGRAMS; VECTOR CLOCKS;

CLOCKS;

EID: 84937440455     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44681-8_73     Document Type: Conference Paper

References (10)

1. Bernadette Charron-Bost. Concerning the size of logical clocks in distributed systems. Information Processing Letters, 1(39):11–16, July 1991.
2. Mark Christiaens and Koen De Bosschere. Trade, a topological approach to onthe-fly race detection in java programs. In Proceedings of the Java Virtual Machine Research and Technology Symposium 2001, pages 105–116, Monetery, California, USA, April 2001. USENIX.
3. A. Dinning and E. Schonberg. An empirical comparison of monitoring algorithms for access anomaly detection. In Second ACM SIGPLAN symposium on Principles & practice of parallel programming, pages 1–10, March 1990.
4. C. J. Fidge. Partial orders for parallel debugging. In Proceedings of the ACM SIGPLAN and SIGOPS Workshop on Parallel and distributed debugging, pages 183–194, May 1988.
5. Dieter Haban and Wolfgang Weigel. Global events and global breakpoints in distributed systems. In 21st Annual Hawaii International Conference on System Sciences, volume II, pages 166–175. IEEE Computer Society, January 1988.
6. Leslie Lamport. Time, clocks, and the ordering of events in a distributed system. Communications of the ACM, 21(7):558–565, July 1978.
7. Friedemann Mattern. Virtual time and global states of distributed systems. In Proceedings of the Intl. Workshop on Parallel and Distributed Algorithms, pages 215–226. Elsevier Science Publishers B. V., North-Holland, 1989.
8. Michiel Ronsse. Racedetectie in Parallelle Programma’s door Gecontroleerde Heruitvoering. PhD thesis, Universiteit Gent, May 1999.
9. Michiel Ronsse and Koen De Bosschere. Recplay: A fully integrated practical record/replay system. ACM Transactions on Computer Systems, 17(2):133–152, May 1999.
10. Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, and Thomas Anderson. Eraser: A dynamic data race detector for multi-threaded programs. In Operating Systems Review, volume 31, pages 27–37. ACM, October 1997.