Markovian Model, with State-Dependent Parameters, of a Transactional System Supported by Checkpointing and Recovery Strategies

摘要

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 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 for the derivation of analytic expressions for the performance variables is demonstrated. The optimization of performance criteria, such as the system availability and the mean response time of a transaction, is discussed.