The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice
The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice
Este artigo considera dois modelos de simulação para sistemas de arquivos simples e não confiáveis com checkpoint e recuperação de rollback. No Modelo 1, o checkpoint é gerado em um horário pré-especificado e as informações na memória principal desde o último checkpoint são armazenadas em um meio secundário. Por outro lado, no Modelo 2, o checkpointing é executado no momento em que o número de transações concluídas para processamento é atingido em um nível pré-determinado. No entanto, é difícil tratar tais modelos analiticamente sem empregar qualquer método de aproximação, se os efeitos das filas relacionados com a chegada e o processamento das transações não puderem ser ignorados. Aplicamos a rede de Petri estocástica generalizada (GSPN) para representar o comportamento estocástico de sistemas sob dois esquemas de checkpoints. Ao longo da simulação GSPN, avaliamos quantitativamente a capacidade de manutenção dos modelos de pontos de verificação em consideração e examinamos a dependência dos parâmetros do modelo nas políticas ideais de pontos de verificação e nas disponibilidades de seus sistemas associados.
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
Copiar
Tadashi DOHI, Kouji NOMURA, Naoto KAIO, Shunji OSAKI, "A Simulation Study to Analyze Unreliable File Systems with Checkpointing and Rollback Recovery" in IEICE TRANSACTIONS on Fundamentals,
vol. E83-A, no. 5, pp. 804-811, May 2000, doi: .
Abstract: 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.
URL: https://global.ieice.org/en_transactions/fundamentals/10.1587/e83-a_5_804/_p
Copiar
@ARTICLE{e83-a_5_804,
author={Tadashi DOHI, Kouji NOMURA, Naoto KAIO, Shunji OSAKI, },
journal={IEICE TRANSACTIONS on Fundamentals},
title={A Simulation Study to Analyze Unreliable File Systems with Checkpointing and Rollback Recovery},
year={2000},
volume={E83-A},
number={5},
pages={804-811},
abstract={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.},
keywords={},
doi={},
ISSN={},
month={May},}
Copiar
TY - JOUR
TI - A Simulation Study to Analyze Unreliable File Systems with Checkpointing and Rollback Recovery
T2 - IEICE TRANSACTIONS on Fundamentals
SP - 804
EP - 811
AU - Tadashi DOHI
AU - Kouji NOMURA
AU - Naoto KAIO
AU - Shunji OSAKI
PY - 2000
DO -
JO - IEICE TRANSACTIONS on Fundamentals
SN -
VL - E83-A
IS - 5
JA - IEICE TRANSACTIONS on Fundamentals
Y1 - May 2000
AB - 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.
ER -