Passive-Space and Time View: Vector Clocks for Achieving Higher Performance, Program Correction, and Distributed Computing
Issue No. 09 - September (1993 vol. 19)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.241768
<p>We have noticed two problems with viewing a process as a sequence of events. The first problem is the complete loss of information about potential intra-process concurrency for both sequential and distributed computations, and partial loss of information about potential inter-process concurrency for distributed computations. The second problem is that the resulting reasoning framework does not lend itself to refinement (from sequential computing or a given set of distributed processes) to a preferable set of distributed processes. We argue that it is more natural to view a computation, either distributed or sequential, as a partially ordered set of events. Doing so leads to a view, called passive-space and time view, which we propose. To aid users of the relation "Affects" indeveloping algorithms, we define vector clocks, that are global logical clocks, so that the relation "Affects", and hence all potential concurrency, between events can be identified from their timestamps assigned.</p>
time view; passive-space view; vector clocks; high performance; program correction; distributed computing; intraprocess concurrency; distributed computations; sequential computations; global logical clocks; timestamps; debugging; concurrency control; distributed processing; program debugging
M. Ahuja, T. Carlson and A. Gahlot, "Passive-Space and Time View: Vector Clocks for Achieving Higher Performance, Program Correction, and Distributed Computing," in IEEE Transactions on Software Engineering, vol. 19, no. , pp. 845-855, 1993.