On page-based optimistic process checkpointing
Abstract
Persistent object systems must provide some form of checkpointing to ensure that changes to persistent data are secured on non-volatile storage. When processes share or exchange modified data, mechanisms must be provided to ensure that they may be consistently checkpointed. This may be performed eagerly by synchronously checkpointing all dependent data. Alternatively, optimistic techniques may be used where processes are individually checkpointed and globally consistent states are found asynchronously. This paper examines two eager checkpointing techniques and describes a new optimistic technique. The technique is applicable in systems such as SASOS, where the notion of process and address space are decoupled.
Citation
Dearle , A & Hulse , D 1995 , On page-based optimistic process checkpointing . in Proceedings of the International Workshop on Object-Orientation in Operating Systems (IWOOOS) . , 470583 , IEEE Computer Society , pp. 24-32 , International Workshop on Object Orientation in Operating Systems (IWOOS) , Lund , Sweden , 14/08/95 . https://doi.org/10.1109/IWOOS.1995.470583 conference
Publication
Proceedings of the International Workshop on Object-Orientation in Operating Systems (IWOOOS)
Type
Conference item
Collections
Items in the St Andrews Research Repository are protected by copyright, with all rights reserved, unless otherwise indicated.