An Incremental Recovery Cache Supporting Software Fault Tolerance

  • P. Rogers
  • A. J. Wellings
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1622)


This paper focuses upon the requirement to save and restore application state as part of the execution of recovery blocks. Using the objectoriented features of the revised Ada language, we present a portable implementation of a state management scheme that is fully independent of applications. Results of the implementation of this mechanism are used to highlight both the strengths and weaknesses of some of the object-oriented features of Ada 95, particularly user-defined assignment.


fault-tolerant systems checkpointing Ada user-defined assignment 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Anderson, T., Lee, P. A.: Fault Tolerance Principles and Practice. Prentice-Hall International (1981)Google Scholar
  2. 2.
    Cristian, F.: A Recovery Mechanism for Modular Software. Proc. IEEE Fourth International Conference on Software Engineering. Munich (1979) 42–50AGoogle Scholar
  3. 3.
    Gray, J.: Why Do Computers Stop And What Can Be Done About It? Proc. IEEE Fifth Symposium On Reliability In Distributed Software and Database Systems. (1986) 3–12Google Scholar
  4. 4.
    Horning, J. J., Lauer, H. C., Melliar-Smith, P. M., Randell, B.: A Program Structure For Error Detection and Recovery. In: E. Gelenbe and C. Kaiser (eds.): Lecture Notes In Computer Science, vol. 16. Springer-Verlag (1974) 171–187Google Scholar
  5. 5.
    Kermarrec, Y., Nana, L., Pautet, L.: Providing Fault-Tolerant Services To Distributed Ada95 Applications. Proc. ACM TRI-Ada’96. Philadelphia, Pennsylvania, USA (1996) 39-47Google Scholar
  6. 6.
    Kim, K. H.: The Distributed Recovery Block Scheme. In: M. Lyu (ed.) Software Fault Tolerance. Trends In Software, vol. 3. John Wiley & Sons (1995) 189–210Google Scholar
  7. 7.
    Rubira-Calsavara, C. M. F., Stroud, R. J.: Forward and Backward Error Recovery in C++. Object-Oriented Systems. 1,1 (1994) 61–86Google Scholar
  8. 8.
    Wellings, A., Burns, A.: Implementing Atomic Actions In Ada 95. IEEE Transactions On Software Engineering. 23,2 (1997) 107–123Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1999

Authors and Affiliations

  • P. Rogers
    • 1
  • A. J. Wellings
    • 1
  1. 1.Department of Computer ScienceUniversity of YorkYorkUK

Personalised recommendations