Abstract
In this paper we consider a mathematical model of a transaction oriented computing system (airline reservation system, file system, data-base system, etc.) operating in the presence of intermittent failures, and with a checkpoint and roll-back recovery scheme built-in to preserve system integrity. An arbitrary distribution of inter-checkpoint times is assumed. A condition on the traffic intensity of transaction requests is established which insures that the system will not saturate. This condition is essential if meaningful simulation studies of these complex systems are to be conducted. In probabilistic terms, this is the necessary and sufficient condition for the existence of the stationary probability distribution associated with the non-Markovian queueing process representing the backlog of requets to the computer system.
The model which we study and the results obtained are also new in the context of reliability theory. We are dealing with a queue with service interruptions for maintenance and for repairs of failures. The time for repair of a failure is assumed to be a function of the age of the failure with respect to the most recent maintenance epoch.
Work supported by an IRIA-SESORI research contract to Université Paris-Nord.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
D.R. Cox — "Renewal Theory" — Methuen — London — 1962.
D.R. Cox, P.A.W. Lewis — "The Statistical Analysis of Series of Events" — Methuen — London — 1966.
L. Takacs — "Introduction to the Theory of Queues" — Oxford University Press — New York — 1962.
R.M. Loynes — "The stability of a queue with non-independent interarrival and service times" — Proc. Cambridge Philos. Soc. 58 — 497–520 — 1962.
E. Çınlar — "Introduction to Stochastic Processes" — Prentice Hall — New York — 1975.
A.A. Borovkov — "Stochastic Processes in Queueing Theory" — Springer — New York — 1976
E. Gelenbe, D. Derochette — "On the stochastic behaviour of a computer system under Intermittent failures" — in Modelling and Performance Evaluation of Computer Systems — H. Beilner and E. Gelenbe eds. — North-Holland — 1976.
E. Gelenbe — "On roll-back recovery with multiple checkpoints" — Proc. 2nd International Symposium on Software Engineering (IEEE Press) — San Francisco — Oct. 1976.
K.M. Chandy — "A survey of analytic models of roll-back and recovery strategies" — IEEE Computer 8, no 5 — 40–47 — 1975.
M. Robin — To appear.
A.G. Pakes — "Some conditions for ergodicity and recurrence of Markov chains" — Operations Research 17, 1058–1061 — 1969.
J. Flamand, E. Gelenbe — "Simulation of roll-back recovery in a database system" — To appear.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1977 Springer-Verlag
About this paper
Cite this paper
Gelenbe, E. (1977). Existence and uniqueness of stationary distributions in a model of roll-back recovery. In: Bensoussan, A., Lions, J.L. (eds) New Trends in Systems Analysis. Lecture Notes in Control and Information Sciences, vol 2. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0041132
Download citation
DOI: https://doi.org/10.1007/BFb0041132
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-08406-8
Online ISBN: 978-3-540-37193-9
eBook Packages: Springer Book Archive