Message logging: pessimistic, optimistic, and causal

Message logging protocols are an integral part of a 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 rec...

Full description

Saved in:
Bibliographic Details
Published in:Proceedings of 15th International Conference on Distributed Computing Systems pp. 229 - 236
Main Authors: Alvisi, L., Marzullo, K.
Format: Conference Proceeding
Language:English
Published: IEEE 1995
Subjects:
Computer crashes
Protocols
ISBN:9780818670251, 0818670258
ISSN:1063-6927
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Message logging protocols are an integral part of a 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 specification of the consistency property "no orphan processes". From this specification, we describe how different existing classes of message logging protocols (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/spl les/f/spl les/n.
ISBN:9780818670251
0818670258
ISSN:1063-6927
DOI:10.1109/ICDCS.1995.500024