May 31, 1999 to June 4, 1999
Islene Calciolari Garcia , Instituto de Computa??o-UNICAMP
Luiz Eduardo Buzato , 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.
Islene Calciolari Garcia, Luiz Eduardo Buzato, "Progressive Construction of Consistent Global Checkpoints", ICDCS, 1999, 2013 IEEE 33rd International Conference on Distributed Computing Systems, 2013 IEEE 33rd International Conference on Distributed Computing Systems 1999, pp. 0055, doi:10.1109/ICDCS.1999.776506