Title :
Optimal checkpoint interval analysis using stochastic Petri net
Author :
Park, Gyung-Leen ; Youn, Hee Yong ; Choo, Hyun-Seund
Author_Institution :
Comput. Sci. & Stat. Dept., Cheju Nat. Univ., South Korea
Abstract :
While various checkpointing schemes have been widely used to reduce the recovery time when a fault occurs, the problem of evaluating the optimal checkpoint interval that maximizes the availability of the system has been a critical research issue for decades. The evaluation can be done by developing analytical models with restrict assumptions. However, the analytical model has reached its limitations as the checkpointing schemes become complicated. This paper proposes to use stochastic Petri net model for the evaluation and shows the effectiveness of the approach using case studies. The paper develops stochastic Petri net models and shows how to obtain the optimal checkpoint intervals for systems employing two widely used checkpointing schemes: Checkpoint with Rollback Recovery scheme for uniprocessor systems and Primary Site Approach for multiprocessor systems
Keywords :
Petri nets; system recovery; analytical models; checkpointing; multiprocessor systems; optimal checkpoint interval; recovery time; stochastic Petri net; uniprocessor systems; Analytical models; Availability; Checkpointing; Computer science; Fault detection; Multiprocessing systems; Random variables; Statistics; Stochastic processes; Stochastic systems;
Conference_Titel :
Dependable Computing, 2001. Proceedings. 2001 Pacific Rim International Symposium on
Conference_Location :
Seoul
Print_ISBN :
0-7695-1414-6
DOI :
10.1109/PRDC.2001.992680