Understanding the message logging paradigm for masking process crashes
Lorenzo Alvisi · 1996
... This dissertation presents the first such formal specification. From this specification, the two major classes of message-logging protocols, namely optimistic and pessimistic, are characterized. A third and new class of message-logging protocols, called causal, is introduced. A notion of optimality, based on three important performance metrics, is proposed, and it is shown that optimal implementations of causal message-logging protocols exist. In particular, it is shown that causal message-logging protocols combine the positive aspects of optimistic and pessimistic message logging