×

提高拜占庭容错可靠通信的效率。 (英语) Zbl 1518.68022号

Devismes,Stéphane(编辑)等人,《分布式系统的稳定、安全和保障》。第22届国际研讨会,SSS 2020,美国德克萨斯州奥斯汀,2020年11月18-21日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12514, 29-44 (2020).
摘要:可靠通信是分布式系统中的一个基本元素,它容易发生拜占庭式(即任意的,可能是恶意的)故障,以确保进程之间交换的消息的完整性、交付和作者身份。其实际采用在很大程度上取决于系统假设。最普遍的(因此也是最通用的)这种假设之一是假设一组过程通过可靠且经过验证的链路的未知通信网络相互连接,并且系统中可能存在的拜占庭错误过程的数量上限为所有参与者所知。
到目前为止,除非网络拓扑已知,否则在这样的环境中实现可靠的通信服务在消息复杂度和计算复杂度方面可能代价高昂。本工作的目标是将拜占庭容错拓扑重建与可靠通信原语相结合,旨在在拓扑部分重建的初始(昂贵)阶段后提高可靠通信服务组件的效率。我们描述了使我们的目标可以实现的一系列假设,并提出了一种解决方案,在初始化阶段后,可以确保可靠的通信,同时具有最佳的消息复杂性和最佳的交付复杂性。
有关整个系列,请参见[Zbl 1507.68029号].

MSC公司:

68米14 分布式系统
68M10个 计算机系统中的网络设计和通信
68米15 网络和计算机系统的可靠性、测试和容错
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔