Structures for fault-tolerant distributed protocols

M. Neilsen
{"title":"Structures for fault-tolerant distributed protocols","authors":"M. Neilsen","doi":"10.1109/PCCC.1994.504097","DOIUrl":null,"url":null,"abstract":"In distributed systems, many protocols have been formalized in terms of the data structures used by the protocols. These data structures, called quorum structures, include quorum sets, coteries, and bicoteries. However, quorum structures only have two states either a quorum is available or at is not. In order to obtain more information about the state of the system, d a t a structures that have multiple states must be used. In this paper, we formally define such structures, called multistate structures. Then, these structures are used to define new, fault-tolerant protocols. Such protocols represent a significant improvement over existing protocols because they are able to capture more information about the current state of the system. Consequently, they allow for graceful degradation. The cost of using these protocols is a small increase in message complexity. However, this small increase in message complexity can result in a significant increase in fault tole ran ce .","PeriodicalId":203232,"journal":{"name":"Proceeding of 13th IEEE Annual International Phoenix Conference on Computers and Communications","volume":"23 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1994-04-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceeding of 13th IEEE Annual International Phoenix Conference on Computers and Communications","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/PCCC.1994.504097","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0

Abstract

In distributed systems, many protocols have been formalized in terms of the data structures used by the protocols. These data structures, called quorum structures, include quorum sets, coteries, and bicoteries. However, quorum structures only have two states either a quorum is available or at is not. In order to obtain more information about the state of the system, d a t a structures that have multiple states must be used. In this paper, we formally define such structures, called multistate structures. Then, these structures are used to define new, fault-tolerant protocols. Such protocols represent a significant improvement over existing protocols because they are able to capture more information about the current state of the system. Consequently, they allow for graceful degradation. The cost of using these protocols is a small increase in message complexity. However, this small increase in message complexity can result in a significant increase in fault tole ran ce .
容错分布式协议的结构
在分布式系统中,许多协议已经按照协议使用的数据结构进行了形式化。这些数据结构称为仲裁结构,包括仲裁集、群集和双群集。但是,仲裁结构只有两种状态:仲裁可用或不可用。为了获得关于系统状态的更多信息,必须使用具有多个状态的结构。在本文中,我们正式定义了这种结构,称为多状态结构。然后,使用这些结构来定义新的容错协议。这样的协议代表了对现有协议的重大改进,因为它们能够捕获有关系统当前状态的更多信息。因此,它们允许优雅的退化。使用这些协议的代价是消息复杂性的小幅增加。然而,消息复杂性的这一微小增加可能导致故障发生率的显著增加。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信