Authors: Francesco Quaglia
Addresses: Dipartimento di Informatica e Sistemistica, Sapienza Universita' di Roma, via Ariosto 25, 00185 Roma, Italy
Abstract: In this paper, we study how to reuse checkpoints taken in an uncorrelated manner during the forward execution phase in an optimistic simulation system in order to construct global consistent snapshots which are also committed, namely the logical time they refer to is lower than the current Global-Virtual-Time (GVT). Specifically, we present a heuristic-based mechanism relying on update operations applied to local committed checkpoints of the logical processes so to eliminate mutual dependencies among the final achieved state values. The mechanism is lightweight since it does not require any form of (distributed) coordination to determine which are the checkpoint update operations to be locally performed for each logical process. At the same time it is likely to reduce the amount of checkpoint update operations required to realign the consistent global state exactly to the current GVT, taken as the reference time for the snapshot. Our proposal can support, in a performance effective manner, termination detection schemes based on global predicates evaluated on a committed and consistent global snapshot, which represent an alternative as relevant as classical termination check only relying on the current GVT value.
Keywords: optimistic simulation; consistent global states; global predicates; rollback-recovery systems; committed checkpoints; termination detection.
International Journal of Simulation and Process Modelling, 2009 Vol.5 No.2, pp.172 - 181
Received: 28 Oct 2008
Accepted: 28 Oct 2008
Published online: 21 Sep 2009 *