Benign Failure Models for Shared Memory

New Image

This paper introduces two benign failure models for shared memory in distributed systems, crash-omission and crash-eventual. These models are of intermediate power between the crash and omission models of [JCT92]. Unlike the crash model, crash-omission is shown to have universal, gracefully-degrading constructions.