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...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Proceedings of 15th International Conference on Distributed Computing Systems s. 229 - 236
Hlavní autoři: Alvisi, L., Marzullo, K.
Médium: Konferenční příspěvek
Jazyk:angličtina
Vydáno: IEEE 1995
Témata:
Computer crashes
Protocols
ISBN:9780818670251, 0818670258
ISSN:1063-6927
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
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 Xplore POP ALL
IEEE Xplore All Conference Proceedings
IEEE Electronic Library (IEL)
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.4421208
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/eLvHCXMwlV3JTsMwELVoxYFToRRBWZQDR9wmrleuhQokqCqxqLfKsceoEqRVF74f20lbIXHhZucSJ1ZmXsbz3kPoWrvcB37DsCY9hqnmKVbMCSyoNTY3XEIsDbw_ieFQjsdqVOlsRy4MAMTmM-iEYTzLtzOzDqWybhDvJ7SGakLwkqq1LaekjEmyk9lLmeRlbz3vYa6IiNKPQbzN53hZCe9s5ll12pmlqvvYv-u_BAof65R3--W6EpPOoPGv5R6i1o68l4y2aekI7UHRRI2Ne0NSfczHiD4H95MPSHz0C05Ft8k8tMR-ReXmm2TmY8lmrAubGL1e6s8Wehvcv_YfcOWhgKf-R2uFnfUAwoMyyLXRGYUesEx7FAGCUOO3JwVCJDiaG6eoB0tcU6kIgJbOOuNz_QmqF7MCTlHijAi9qIo7zil4ZGk9urMsywlkxqOgM9QM72AyL2UyJuXjt_-8eo4OSm54qGVcoPpqsYZLtG--V9Pl4ipu7Q_O7pws
linkProvider IEEE
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3PT8IwFG4UTfSEIsbf7uDRwlbarvOKEohASETDjXTtKyHRQfjh32_bDYiJF2_tLuvW7L1vr-_7PoQepElt4FcMS9JgmEoe4oSZGMdUK50qLsCXBj66cb8vRqNkUOhsey4MAPjmM6i5oT_L1zO1dqWyuhPvJ3QfHTBKSZiTtbYFlZAxQXZCeyETPO-u5w3MExJ78Ucn32azvCikdzbzqDjvjMKk3mk-N98ciY_V8vv98l3xaadV_teCT1B1R98LBtvEdIr2IKug8sa_ISg-5zNEe87_ZAKBjX_Oq-gpmLum2C-v3fwYzGw02YxlpgMl10v5WUXvrZdhs40LFwU8tb9aK2y0hRAWlkEqlYwoNIBF0uIIiAlVdoNCIESAoakyCbVwiUsqEgIghdFG2Wx_jkrZLIMLFBgVu27UhBvOKVhsqS2-0yxKCUTK4qBLVHHvYDzPhTLG-eNf_Xn1Hh21h73uuNvpv16j45wp7iobN6i0WqzhFh2q79V0ubjz2_wDJ4Cfcw
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