Message Logging: Pessimistic, Optimistic, Causal, and Optimal

Message-logging protocols are an integral part of a popular technique for implementing processes that can recover from crash failures. All message-logging protocols require that, when recovery is complete, there be no orphan processes, which are surviving processes whose states are inconsistent with the recovered state of a crashed process. We give a precise speci cation of the consistency property \no orphan processes". From this speci cation, we describe how di erent existing classes of message-loggingprotocols (namely optimistic, pessimistic, and a class that we call causal) implement this property. We then propose a set of metrics to evaluate the performance of message-logging protocols, and characterize the protocols that are optimal with respect to these metrics. Finally, starting from a protocol that relies on causal delivery order, we show how to derive optimal causal protocols that tolerate f overlapping failures and recoveries for a parameter f : 1 f n.

• Type: Journal
• Year: 1998
• Where: TSE
• Authors: Lorenzo Alvisi, Keith Marzullo
• Keywords: Crash Failures, Precise Speci Cation, Speci Cation, TSE 1998