(Enter summary)
Abstract: 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... (Update)
Context of citations to this paper: More
.... log (that is, the message receive ordering) The information necessary to encapsulate the ordering of messages is called determinants [1, 2]. We will use this concept here. A recovery algorithm for causal message logging must ensure that messages from recovering processes...
...we develop in this paper can use the same recovery protocol. A discussion on recovery as well as the actual recovery protocol can be found in [1]. 2 System Model We assume a system N of n processes that can communicate only by exchanging messages. The system is asynchronous:...
Cited by: More
A Survey of Fault-Tolerance and Fault-Recovery Techniques in.. - Treaster (2005)
(Correct)
Compiler-Assisted Scalable Fault-Tolerance - Martin, Reeber, Smith (2001)
(Correct)
Causality Tracking in Causal Message-Logging Protocols - Alvisi, Bhatia, Marzullo (2002)
(Correct)
Similar documents (at the sentence level):
9.9%: Message Logging: Pessimistic, Optimistic, Causal and Optimal - Alvisi, Marzullo (1998)
(Correct)
Active bibliography (related documents): More All
0.6: Trade-Offs in Implementing Optimal Message Logging Protocols - Alvisi, Marzullo (1996)
(Correct)
0.5: Trade-Offs in Implementing Causal Message Logging Protocols - Alvisi, Marzullo (1996)
(Correct)
0.4: A Survey of Rollback-Recovery Protocols in.. - Elnozahy, Alvisi.. (1996)
(Correct)
Similar documents based on text: More All
0.7: Optimal Message Logging Protocols (Preliminary Version) - Alvisi, Marzullo
(Correct)
0.7: The Cost of Recovery in Message Logging Protocols - Rao, Alvisi, Vin (1998)
(Correct)
0.7: Nonblocking and Orphan-Free Message Logging Protocols - Alvisi, Hoppe, Marzullo (1993)
(Correct)
Related documents from co-citation: More All
10: Optimistic Recovery in Distributed Systems (context) - Strom, Yemini - 1985
10: Manetho: Transparent Rollback-Recovery with Low Overhead, Limited Rollback and F..
- Elnozahy, Zwaenepoel - 1992
9: Publishing: A reliable broadcast communication mechanism (context) - Powell, Presotto - 1983
BibTeX entry: (Update)
L. Alvisi. Understanding the Message Logging Paradigm for Masking Process Crashes. PhD thesis, Cornell University Department of Computer Science, January 1996. http://citeseer.ist.psu.edu/alvisi96understanding.html More
@techreport{ alvisi96understanding,
author = "Lorenzo Alvisi",
title = "Understanding the Message Logging Paradigm for Masking Process Crashes",
number = "TR96-1577",
month = "1,",
pages = "137",
year = "1996",
url = "citeseer.ist.psu.edu/alvisi96understanding.html" }
Citations (may not include all citations):
917
and the ordering of events in a distributed system (context) - Lamport, clocks - 1978
625
ACM Transactions on Programming Languages and Systems (context) - Lamport, Shostack et al. - 1982
572
Distributed snapshots: determining global states of distribu.. (context) - Chandy, Lamport - 1985
539
The temporal logic of programs (context) - Pnueli - 1977
470
Lightweight causal and atomic group multicast (context) - Birman, Schiper et al. - 1991
361
Reliable communication in the presence of failures (context) - Birman, Joseph - 1987
352
Virtual time and global states of distributed systems
- Mattern - 1989
345
Notes on data base operating systems (context) - Gray - 1977
293
System structure for software fault-tolerance (context) - Randell - 1975
217
Optimistic recovery in distributed systems (context) - Strom, Yemeni - 1985
184
Checkpointing and rollback-recovery for distributed systems (context) - Koo, Toueg - 1987
156
Recovery in distributed systems using optimistic message log..
- Johnson, Zwaenepoel - 1990
133
Manetho: Transparent rollbackrecovery with low overhead
- Elnozahy, Zwaenepoel - 1992
120
The performance of consistent checkpointing
- Elnozahy, Johnson et al. - 1992
109
Sender-based message logging
- Johnson, Zwaenepoel - 1987
98
A message system supporting fault tolerance (context) - Borg, Baumbach et al. - 1983
89
Implementing fault--tolerant services using the state machin.. (context) - Schneider - 1990
83
Efficient distributed recovery using message logging (context) - Sistla, Welch - 1989
83
The causal ordering abstraction and a simple way to implemen.. (context) - Raynal, Schiper et al. - 1991
75
Byzantine generals in action: Implementing failstop processo..
- Schneider - 1984
74
Publishing: A reliable broadcast communication mechanism (context) - Powell, Presotto - 1983
60
Probabilistic logics and the synthesis of reliable organisms.. (context) - von Neumann - 1956
58
Nonblocking and orphan-free message logging protocols
- Alvisi, Hoppe et al. - 1993
46
fault- tolerant distributed systems (context) - Strom, Bacon et al. - 1988
45
the use and implementation of message logging
- Elnozahy, Zwaenepoel - 1994
43
Paralex: An environment for parallel programming in distribu..
- Babaoglu, Alvisi - 1992
38
Crash recovery with little overhead (context) - Juang, Venkatesan - 1987
38
Efficient transparent optimistic rollback recovery for distr..
- Johnson - 1993
28
Message logging: Pessimistic (context) - Alvisi, Marzullo - 1995
27
Primary--backup protocols: Lower bounds and optimal implemen..
- Budhiraja, Marzullo et al. - 1992
20
Manetho: Fault Tolerance in Distributed Systems Using Rollba.. (context) - Elnozahy - 1993
16
Experimental evaluation of concurrent checkpointing and roll.. (context) - Barghava, Lian et al. - 1990
13
the relevance of communication costs of rollbackrecovery pro..
- Elnozahy - 1995
12
Efficient algorithms for optimistic crash recovery (context) - Venkatesan, Juang - 1994
7
A characterization of consistent distributed snapshots using.. (context) - Sandoz, Schiper - 1992
7
Parallel computing in networks of workstations with paralex
- Davoli, Giachini et al. - 1996
6
Abstractions for fault-tolerance in distributed systems (context) - Schneider - 1986
6
Optimal message logging protocols (context) - Alvisi, Marzullo - 1994
4
Deriving optimal checkpointing protocols for distributed sha.. (context) - Alvisi, Marzullo - 1994
1
Optimisitc message logging for independent checkpointing in .. (context) - Wang, Fuchs - 1992
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.utexas.edu/users/lorenzo/publications.html): More
Scalable Causal Message Logging for Wide-Area Environments - Bhatia, Marzullo, Alvisi (2001)
(Correct)
Fault-Tolerance: Java's Missing Buzzword - Alvisi
(Correct)
Nonblocking and Orphan-Free Message Logging Protocols - Alvisi, Hoppe, Marzullo (1993)
(Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC