A Simulation Study to Analyze Unreliable File Systems with Checkpointing and Rollback Recovery

Tadashi DOHI  Kouji NOMURA  Naoto KAIO  Shunji OSAKI  

Publication
IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences   Vol.E83-A   No.5   pp.804-811
Publication Date: 2000/05/25
Online ISSN: 
DOI: 
Print ISSN: 0916-8508
Type of Manuscript: Special Section PAPER (Special Section on Reliability Theory and Its Applications)
Category: 
Keyword: 
availability models,  checkpointing and rollback recovery,  generalized stochastic Petri nets (GSPN),  discrete-event simulation,  

Full Text: PDF>>
Buy this Article




Summary: 
This paper considers two simulation models for simple unreliable file systems with checkpointing and rollback recovery. In Model 1, the checkpoint is generated at a pre-specified time and the information on the main memory since the last checkpoint is back-uped in a secondary medium. On the other hand, in Model 2, the checkpointing is executed at the time when the number of transactions completed for processing is achieved at a pre-determined level. However, it is difficult to treat such models analytically without employing any approximation method, if queueing effects related with arrival and processing of transactions can not be ignored. We apply the generalized stochastic Petri net (GSPN) to represent the stochastic behaviour of systems under two checkpointing schemes. Throughout GSPN simulation, we evaluate quantitatively the maintainability of checkpoint models under consideration and examine the dependence of model parameters in the optimal checkpoint policies and their associated system availabilities.