โ Scribed by C. Bertolli; M. Vanneschi
No coin nor oath required. For personal study only.
The main issues when supporting fault tolerance based on checkpointing and rollback recovery for HighโPerformance applications are related to the scalability of the introduced support, the possibility of analyzing the induced overhead and, in more general terms, the optimization of the tradeโoff between failureโfree and recovery performances. In this paper we describe our contribution in fault tolerance for highโlevel structured parallelism models. We take a different viewpoint w.r.t. existing contributions, by introducing a methodology to derive interesting properties to support fault tolerance. We show how to apply this methodology to a general data parallel model, deriving useful properties to introduce a class of checkpointing protocols. Thanks to this methodology, this class of protocols is not affected by the described issues. We exemplify two checkpointing protocols and the related rollback recovery techniques. For each protocol we also derive cost models statically describing the failureโfree performance, which can be used for performance tuning or to target some Quality of Service parameter. To assess the innovation of the results we analytically and experimentally compare the introduced protocols with two literature protocols. Results show that while the protocols introduced in this paper permit the definition of cost models and have a good scalability, the literature protocols do not always have these properties. Copyright ยฉ 2010 John Wiley & Sons, Ltd.
๐ SIMILAR VOLUMES