The search functionality is under construction.
The search functionality is under construction.

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

Tadashi DOHI, Kouji NOMURA, Naoto KAIO, Shunji OSAKI

  • Full Text Views

    0

  • Cite this

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.

Publication
IEICE TRANSACTIONS on Fundamentals Vol.E83-A No.5 pp.804-811
Publication Date
2000/05/25
Publicized
Online ISSN
DOI
Type of Manuscript
Special Section PAPER (Special Section on Reliability Theory and Its Applications)
Category

Authors

Keyword