Recovery and crash resistance in a filing system

This paper describes mechanisms that provide the user of a filing system the dynamic facility for defining a scope within which backing out can be done on request.Check points (defining the beginning of a new scope) can dynamically be established and procedures for 'acceptance' (at the end of the scope) or 'undoing' (within or at the end of the scope) can be invoked. These scopes can be nested.It is also shown that these mechanisms can be used to provide crash resistance. After a crash the system will be left in the state it was in before it entered the current scope (or outermost scope if scopes are nested).

[1]  A. B. Tonik,et al.  Checkpoint, Restart, and Recovery: Selected Annotated Bibliography , 1975, FDT Bull. ACM SIGFIDET SIGMOD.

[2]  P. G. Neumann,et al.  A general-purpose file system for secondary storage , 1965, Published in AFIPS '65 (Fall, part I).

[3]  P. M. Melliar-Smith,et al.  A program structure for error detection and recovery , 1974, Symposium on Operating Systems.

[4]  Nicholas J. Giordano,et al.  Data base recovery at CMIC , 1976, SIGMOD '76.

[5]  C. Richard Snow.  An exercise in the transportation of an operating system , 1978, Softw. Pract. Exp..

[6]  Joel R. Sklaroff,et al.  Redundancy Management Technique for Space Shuttle Computers , 1976, IBM J. Res. Dev..

[7]  Guy M. Lohman,et al.  Differential files: their application to the maintenance of large databases , 1976, TODS.

[8]  Butler W. Lampson.  An open operating system for a single-user machine , 1974, Symposium on Operating Systems.

[9]  Mary Shaw,et al.  An introduction to the construction and verification of Alphard programs , 1976, ICSE '76.

[10]  Brian Randell,et al.  System structure for software fault tolerance , 1975, IEEE Transactions on Software Engineering.

[11]  Christopher Strachey,et al.  OS6 - an experimental operating system for a small computer. Part 2: input/output and filing system , 1972, Comput. J..

[12]  A. G. Fraser,et al.  Integrity of a Mass Storage Filing System , 1969, Comput. J..

[13]  Irving L. Traiger,et al.  Granularity of Locks and Degrees of Consistency in a Shared Data Base , 1998, IFIP Working Conference on Modelling in Data Base Management Systems.

[14]  R. Kerr,et al.  Recovery blocks in action: A system supporting high reliability , 1976, ICSE '76.

[15]  Christopher Strachey,et al.  OS6 - an experimental operating system for a small computer. Part 1: general principles and structure , 1972, Comput. J..