Optimistic recovery in distributed systems
ACM Transactions on Computer Systems (TOCS)
Choices (class hierarchical open interface for custom embedded systems)
ACM SIGOPS Operating Systems Review
Recovery in distributed systems using asynchronous message logging and checkpointing
PODC '88 Proceedings of the seventh annual ACM Symposium on Principles of distributed computing
A lazy buddy system bounded by two coalescing delays
SOSP '89 Proceedings of the twelfth ACM symposium on Operating systems principles
Real-time, concurrent checkpoint for parallel programs
PPOPP '90 Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming
ACM SIGARCH Computer Architecture News
Alpha architecture reference manual
Alpha architecture reference manual
Sharing and protection in a single-address-space operating system
ACM Transactions on Computer Systems (TOCS) - Special issue on computer architecture
Grasshopper: an orthogonally persistent operating system
Computing Systems
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Architectural Support for Software in the Monads III Computer Design
GI - 12. Jahrestagung
Using directed graphs to describe entity dependency in stable distributed persistent stores
HICSS '95 Proceedings of the 28th Hawaii International Conference on System Sciences
The Spring Nucleus: A Microkernel for Objects
The Spring Nucleus: A Microkernel for Objects
Detecting causal relationships in distributed computations: in search of the holy grail
Distributed Computing
MetaJava: an efficient run-time meta architecture for Java/sup TM/
IWOOOS '96 Proceedings of the 5th International Workshop on Object Orientation in Operating Systems (IWOOOS '96)
Hi-index | 0.00 |
Abstract: The Grasshopper operating system supports persistence of all system entities including computations. It also makes strong guarantees about the consistency of the system after a restart. A central part of the implementation of this is the store used for kernel meta-data. The store is designed to accommodate a number of different consistency strategies which may be broadly classed as either pessimistic or optimistic. Existing persistent stores use pessimistic approaches which ensure that the the on-disk image of the store is always consistent. An optimistic approach is one that does not guarantee a consistent on-disk image; any inconsistencies are eliminated at recovery time. The main benefit of this approach is the reduction of disk accesses during normal operation. Most existing persistent stores use shadow paging to move from one consistent state to the next. This is not possible when optimistic strategies are used. Therefore, the Grasshopper kernel store uses a new approach, based on multi-versioning and logging, that can support both pessimistic and optimistic consistency strategies.