Existence and uniqueness of stationary distributions in a model of roll-back recovery

  • Erol Gelenbe
Applications Of Control Theory
Part of the Lecture Notes in Control and Information Sciences book series (LNCIS, volume 2)


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.


Poisson Process Queue Length Reliability Theory Audit Trail Discrete Time Markov Chain 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Cox 62]
    D.R. Cox — "Renewal Theory" — Methuen — London — 1962.Google Scholar
  2. [Cox 66]
    D.R. Cox, P.A.W. Lewis — "The Statistical Analysis of Series of Events" — Methuen — London — 1966.Google Scholar
  3. [Takacs 62]
    L. Takacs — "Introduction to the Theory of Queues" — Oxford University Press — New York — 1962.Google Scholar
  4. [Loynes 62]
    R.M. Loynes — "The stability of a queue with non-independent interarrival and service times" — Proc. Cambridge Philos. Soc. 58 — 497–520 — 1962.Google Scholar
  5. [Çınlar 75]
    E. Çınlar — "Introduction to Stochastic Processes" — Prentice Hall — New York — 1975.Google Scholar
  6. [Borovkov 76]
    A.A. Borovkov — "Stochastic Processes in Queueing Theory" — Springer — New York — 1976Google Scholar
  7. [Gelenbe 76a]
    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.Google Scholar
  8. [Gelenbe 76b]
    E. Gelenbe — "On roll-back recovery with multiple checkpoints" — Proc. 2nd International Symposium on Software Engineering (IEEE Press) — San Francisco — Oct. 1976.Google Scholar
  9. [Chandy 75]
    K.M. Chandy — "A survey of analytic models of roll-back and recovery strategies" — IEEE Computer 8, no 5 — 40–47 — 1975.Google Scholar
  10. [Robin 77]
    M. Robin — To appear.Google Scholar
  11. [Pakes 69]
    A.G. Pakes — "Some conditions for ergodicity and recurrence of Markov chains" — Operations Research 17, 1058–1061 — 1969.Google Scholar
  12. [Flamand 76]
    J. Flamand, E. Gelenbe — "Simulation of roll-back recovery in a database system" — To appear.Google Scholar

Copyright information

© Springer-Verlag 1977

Authors and Affiliations

  • Erol Gelenbe
    • 1
  1. 1.Département de MathématiquesUniversité Paris-Nord93 Villetaneuse

Personalised recommendations