Markovian Models of a Transactional System Supported by Checkpointing and Recovery Strategies. Part 1: A Model with State-Dependent Parameters

摘要

A Markovian model of a transactional system supported with checkpointing and recovery strategies to guarantee reliable operation is considered. The model allows representations with state-dependent parameters. Algorithms for the computation of the state probabilities (and thus the performance variables) and their sensitivities with respect to the model parameters are presented. In the case of state-independent parameters, a state-space analysis approach is demonstrated for the derivation of analytic expressions for the performance variables. Optimization of system availability and the mean response time of a transaction is discussed.