2013 IEEE 33rd International Conference on Distributed Computing Systems (1999)
May 31, 1999 to June 4, 1999
Luiz Eduardo Buzato , Instituto de Computa??o-UNICAMP
Islene Calciolari Garcia , Instituto de Computa??o-UNICAMP
A checkpoint pattern is an abstraction of the computation performed by a distributed application. A progressive view of this abstraction is formed by a sequence of consistent global checkpoints that may have occurred in this order during the execution of the application. Considering pairs of checkpoints, we have determined that a checkpoint must be observed before another in a progressive view if the former Z-precedes the latter. Based on the Z-precedence and characteristics of the checkpoint pattern, we propose original algorithms for the progressive construction of consistent global checkpoints. We demonstrate that the Z-precedence between a pair of checkpoints is a much simpler way to express the existence of a zigzag path connecting them, and we discuss other advantages of our relation.
distributed checkpointing, consistent global states, causality, zigzag paths, monitoring systems.
Luiz Eduardo Buzato, Islene Calciolari Garcia, "Progressive Construction of Consistent Global Checkpoints", 2013 IEEE 33rd International Conference on Distributed Computing Systems, vol. 00, no. , pp. 0055, 1999, doi:10.1109/ICDCS.1999.776506