Passive-space and Time View: Vector Clocks for Achieving Higher Performance, Program Correction, and Distributed Computing

IEEE Transactions on Software Engineering

Volumn 19, Issue 9, 1993, Pages 845-855

  Gahlot, Ashwani ^b   Carlson, Timothy ^b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b OHIO STATE UNIVERSITY   (United States)

Author keywords

and concurrency; distributed computing; event causality; event ordering; Experimental systems; global logical clocks; high performance computing; measuring parallelism; program correction (debugging); timestamps; vector clocks

Indexed keywords

ALGORITHMS; CLOCKS; PERFORMANCE; PROGRAM DEBUGGING;

EVENT ORDERING; VECTOR CLOCKS;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 0027659495     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/32.241768     Document Type: Article

References (14)

1. M. Ahuja. Flush primitives for asynchronous distributed systems. Information Processing Letters, 34(2):5-12, Feb. 1990.
2. M. Ahuja. Global snapshots for asynchronous distributed systems with Non-FIFO channels. Technical Report TR92-268, Univ. of California, San Diego, Nov. 1992.
3. M. Ahuja, T. Carlson, A. Gahlot, and D. Shands. Timestamping events for inferring “Affects” relation and potential causality. In proceedings COMPSAC 91, pages pp. 606–611, 1991.
4. P. Bernstein and N. Goodman. Concurrency control in distributed database systems. ACM Computing Surveys, pages 185–222, June 1981.
5. K.M. Chandy and L. Lamport. Distributed snapshots: Determining global states of distributed systems. ACM Transactions on Computer Systems, 3(l):63-75, 1985.
6. J. Fidge. Partial orders for parallel debugging. In Proceedings of ACM SIGPLAN/SIGOPS workshop on parallel & Distributed Debugging, pages 183–194, 1985.
7. C.A.R. Hoare. Communicating sequential processes. Communications of the ACM, 21(8):666-677, Aug. 1978.
8. D. Jefferson. Virtual time. ACM Transactions on Programming Languages and Systems, 7(3):404-425, July 1985.
9. D. B. Johnson and W. Zwaenepoel. Recovery in distributed systems using optimistic message logging and checkpointing. In proceedings Fifth Symposium on Principles of Distributed Computing, pages 171–181. ACM 1988.
10. L. Lamport. Time, clocks, and the ordering of events in a distributed system. Communications of the ACM, 2l(7):558-565, 1978.
11. L. Lamport. Basic concepts: Logical foundation. In M. Paul and H. J. Siegert, editors, Distributed Systems: Methods and Tools for Specification, An Advanced Course, pages 19–30. Springer-Verlag, 1985.
12. F. Mattern. Virtual time and global states of distributed systems. In proceedings Workshop on Parallel and Distributed Algorithms, Elsevier, pages 215–226, 1988.
13. G. Neiger and S. Toueg. Substituting for real time and common knowledge in asynchronous distributed systems. In proceedings Fourth Symposium on Principles of Distributed Computing, pages 281–293. ACM, 1987.
14. P. Panangaden and K. Taylor. Concurrent common knowledge: A new definition of agreement for asynchronous systems. In proceedings Fifth Symp. on Principles of Distributed Computing, pages 197–209. ACM, 1988.