Abstract
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. The optimization of some important performance criterions, such as the system availability and the mean response time of a transaction, is discussed.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Bacelli, F., Analysis of a service facility with periodic checkpointing. Acta Informatica, Vol. 15 (1981), 67–81.
Bacelli, F. and T. Znati, Queueing algorithms with breakdowns in database modelling. In: Performance ’81: Proc. 8th Int. Symp. on Computer Performance Modelling, Measurement and Evaluation, Amsterdam, 4–6 Nov. 1981. Ed. by F.J. Kyistra. Amsterdam: North-Holland, 1981, P. 213–231.
Chandy, K.M., J.C. Browne, C.W. Pissly and W.R. Uhrig, Analytic models for rollback and recovery strategies in database systems. IEEE Trans. Software Eng., Vol. SE-1 (1975), p. 100–110.
Chandy, K.M., A survey of analytic models of rollback and recovery strategies. Computer, vol. 8, No. 5 (May 1975), p. 40–47.
Gelenbe, E. and D. Derochette, Performance of rollback recovery systems under intermittent failures. Commun. ACM, Vol. 21 (1978), p. 493–499.
Gelenbe, E., On the optimum checkpoint interval. J. Assoc. Comp. Mach., Vol. 26 (1979), p. 259–270.
Gelenbe, E., Model of information recovery using the method of multiple checkpoints. Autom. Remote Control, Vol. 40 (1979), p. 598–605. Translated from Avtom. Telemekh., No. 4 (April 1979), p. 142–151.
Gelenbe, E. and I. Mitrani, Analysis and synthesis of computer systems. London: Academic Press, 1980. Computer Science and Applied Mathematics.
Kleinrock, L., Queueing systems. Vol. I: Theory. New York: Wiley, 1975.
Nicola, V.F., Markovian models of a transactional system supported by checkpointing and recovery strategies. Part Is A model with state-dependent parameters. Department of Electrical Engineering, Eindhoven University of Technology, 1982. EUT Report 82-E-128.
Nicola, V.F., Markovian Models of a transactional system supported by checkpointing and recovery strategies. Part 2: A model with a specified number of completed transactions between checkpoints. Department of Electrical Engineering, Eindhoven University of Technology, 1982. EUT Report 82-E-129.
Young, J.W., A first order approximation to the optimum checkpoint interval. Commun. ACM, Vol. 17 (1974), p. 530–531.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1983 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Nicola, V.F., Kylstra, F.J. (1983). A Markovian Model, with State-Dependent Parameters, of a Transactional System Supported by Checkpointing and Recovery Strategies. In: Kühn, P.J., Schulz, K.M. (eds) Messung, Modellierung und Bewertung von Rechensystemen. Informatik-Fachberichte, vol 61. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-68830-0_14
Download citation
DOI: https://doi.org/10.1007/978-3-642-68830-0_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-11990-6
Online ISBN: 978-3-642-68830-0
eBook Packages: Springer Book Archive