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!
Abstract 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.
AbstractList 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.
Author Alvisi, L.
Marzullo, K.
Author_xml – sequence: 1
  givenname: L.
  surname: Alvisi
  fullname: Alvisi, L.
  organization: Dept. of Comput. Sci., Cornell Univ., Ithaca, NY, USA
– sequence: 2
  givenname: K.
  surname: Marzullo
  fullname: Marzullo, K.
BookMark eNo9j81Kw0AUhQesYK15AF3lAUy9d36SGXcSqxYqLtR1uZ3cCSNpEjpx4dtbqLg6h4_DB-dSzPqhZyGuEZaI4O7W9WP9vkTnzNIAgNRnInOVBYu2rEAanIk5QqmK0snqQmQpfR1nYIyV0syFfuWUqOW8G9o29u19Ph5B3Mc0RX-bD-P036lvck_fiborcR6oS5z95UJ8Pq0-6pdi8_a8rh82RUTQUxEakFaD4R15Qs2KDVKlkSupvVQGWErLQe98cNoqV5K2TjKTDU3wJaqFuDl5IzNvx0Pc0-Fne7qpfgEMI0db
ContentType Conference Proceeding
DBID 6IE
6IL
CBEJK
RIE
RIL
DOI 10.1109/ICDCS.1995.500024
DatabaseName IEEE Electronic Library (IEL) Conference Proceedings
IEEE Proceedings Order Plan All Online (POP All Online) 1998-present by volume
IEEE Xplore All Conference Proceedings
IEEE Xplore Digital Library
IEEE Proceedings Order Plans (POP All) 1998-Present
DatabaseTitleList
Database_xml – sequence: 1
  dbid: RIE
  name: IEEE Electronic Library (IEL)
  url: https://ieeexplore.ieee.org/
  sourceTypes: Publisher
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EndPage 236
ExternalDocumentID 500024
GroupedDBID 23M
29G
29P
6IE
6IF
6IH
6IK
6IL
6IM
6IN
AAJGR
AAWTH
ABLEC
ACGFS
ADZIZ
ALMA_UNASSIGNED_HOLDINGS
BEFXN
BFFAM
BGNUA
BKEBE
BPEOZ
CBEJK
CHZPO
IEGSK
IJVOP
IPLJI
M43
OCL
RIE
RIL
RNS
ID FETCH-LOGICAL-i104t-fd028405ebaca14e3e51a741e724c2350e228ef4bcf948396a4892eea8fdfc613
IEDL.DBID RIE
ISBN 9780818670251
0818670258
ISICitedReferencesCount 31
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=500024&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN 1063-6927
IngestDate Tue Aug 26 21:45:52 EDT 2025
IsPeerReviewed false
IsScholarly true
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-i104t-fd028405ebaca14e3e51a741e724c2350e228ef4bcf948396a4892eea8fdfc613
PageCount 8
ParticipantIDs ieee_primary_500024
PublicationCentury 1900
PublicationDate 19950000
PublicationDateYYYYMMDD 1995-01-01
PublicationDate_xml – year: 1995
  text: 19950000
PublicationDecade 1990
PublicationTitle Proceedings of 15th International Conference on Distributed Computing Systems
PublicationTitleAbbrev ICDCS
PublicationYear 1995
Publisher IEEE
Publisher_xml – name: IEEE
SSID ssj0000558225
ssj0005863
Score 1.4420954
Snippet Message logging protocols are an integral part of a technique for implementing processes that can recover from crash failures. All message logging protocols...
SourceID ieee
SourceType Publisher
StartPage 229
SubjectTerms Computer crashes
Protocols
Title Message logging: pessimistic, optimistic, and causal
URI https://ieeexplore.ieee.org/document/500024
WOSCitedRecordID wos500024&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1dS8MwFA1u-ODTdE78Jg8-mq1N8-nrdCjoGKiwt5EmtzLQbuzD32-SdhuCL76lgdKkpbknN_ecg9CNlFwDSxzRnFvCOJfEUC2Jpo5nulBK6EgUfpbDoRqP9ajW2Y5cGACIxWfQDc14lu9mdh1SZb0g3k9ZAzWkFBVVa5tOSThXdCezl3Alqtp6kRGhqYzSj0G8zcd4VQvvbK7T-rQzTXTvqX_ffw0UPt6tnvbLdSUGnUHrX8M9RJ0deQ-PtmHpCO1B2UatjXsDrn_mY8RegvvJB2C_-gWnojs8DyWxX1G5-RbP_FqyaZvSYWvWS_PZQe-Dh7f-I6k9FMjUb7RWpHAeQHhQBrmxJmWQAU-NRxEgKbM04wlQqqBguS0082BJGKY0BTCqcIX1sf4ENctZCacIF4Y6BtwGSMkgodoYo_2tIhdOJml-htrhHUzmlUzGpJr--Z-9F-ig4oaHXMYlaq4Wa7hC-_Z7NV0uruOn_QEeQpwl
linkProvider IEEE
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1dT8IwFG0UTfQJRYzf7sFHC1vXrq2vKIEIhERMeCNde2dIdBA-_P223YCY-OJb12RZu2W9p7f3nIPQA-dMAg0NloxpTBnjWBHJsSSGxTITIpGeKNzjg4EYj-Ww1Nn2XBgA8MVn0HBNf5ZvZnrtUmVNJ95P6D46YJSSsCBrbRMqIWOC7IT2QiaSoro-iXEiCffij06-zUZ5UUrvbK6j8rwzCmWz23puvTkSH2sUz_vlu-LDTrv6rwGfoPqOvhcMt4HpFO1BXkPVjX9DUP7OZ4j2nf_JBwR2_XNeRU_B3BXFfnnt5sdgZleTTVvlJtBqvVSfdfTefhm1Orh0UcBTu9Va4cxYCGFhGaRKq4hCDCxSFkcAJ1STmIVAiICMpjqT1MKlRFEhCYASmcm0jfbnqJLPcrhAQaaIocC0A5UUQiKVUtLemqSJ4WGUXqKaeweTeSGUMSmmf_Vn7z066oz6vUmvO3i9RscFU9xlNm5QZbVYwy061N-r6XJx5z_zD3Sdn2w
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=Proceedings+of+15th+International+Conference+on+Distributed+Computing+Systems&rft.atitle=Message+logging%3A+pessimistic%2C+optimistic%2C+and+causal&rft.au=Alvisi%2C+L.&rft.au=Marzullo%2C+K.&rft.date=1995-01-01&rft.pub=IEEE&rft.isbn=9780818670251&rft.issn=1063-6927&rft.spage=229&rft.epage=236&rft_id=info:doi/10.1109%2FICDCS.1995.500024&rft.externalDocID=500024
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1063-6927&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1063-6927&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1063-6927&client=summon