Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 24, NO. 2, FEBRUARY 1998 149 Message Logging: Pessimistic,
 

Summary: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 24, NO. 2, FEBRUARY 1998 149
Message Logging: Pessimistic,
Optimistic, Causal, and Optimal
Lorenzo Alvisi and Keith Marzullo
Abstract--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 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 f n.
Index Terms--Message logging, optimistic protocols, pessimistic protocols, checkpoint-restart protocols, resilient processes,
specification of fault-tolerance techniques.
-------------------- 3 --------------------
1 INTRODUCTION
ESSAGE-LOGGING protocols (for example, [4], [15], [21],
[11], [17], [20], [12], [22], [7] are popular for building
systems that can tolerate process crash failures. These pro-
tocols require that each process periodically record its local

  

Source: Alvisi, Lorenzo - Department of Computer Sciences, University of Texas at Austin

 

Collections: Computer Technologies and Information Sciences