Recovery in the Clouds kernel

The Clouds kernel is a native-layer distributed kernel supporting the Clouds operating system. Clouds provides atomic actions to support reliable computation. The data-recovery mechanism supporting atomic actions in the Clouds kernel is the responsibility of a component called the storage manager. This recovery mechanism uses a pessimistic shadowing technique and is designed to be an efficient, low-level facility. Recovery is completely separate from the synchronization support for atomic actions. Clouds recovery is closely integrated with the virtual memory management of the system, making for an effective recovery system. The algorithms that control the update of objects are straightforward enough that a fairly rigorous proof of correctness is possible.<>