Jean-Philippe Martin;洛伦佐·阿尔维西;迈克尔·达林 最小拜占庭式存储空间。 (英语) Zbl 1029.68528号 Malkhi,Dahlia(编辑),分布式计算。第16届国际会议,DISC 2002,法国图卢兹,2002年10月28日至30日,会议记录。柏林:斯普林格。莱克特。注释计算。科学。2508, 311-325 (2002). 摘要:拜占庭容错存储系统可以在危险环境中提供高可用性,但它们所需的冗余服务器增加了软件开发和硬件成本。为了最大限度地减少实现容错存储服务所需的服务器数量,我们开发了一种新的算法,该算法使用网络通信的“侦听器”模式来检测和解决并发访问系统所产生的顺序模糊性。我们的协议要求(3f+1)服务器能够承受高达\(f\)拜占庭故障–\(f~)小于现有协议对非自我验证数据所要求的\(4f+1)。此外,SBQ-L提供了原子一致性语义,这比这些现有协议提供的常规或伪原子语义更强。我们表明,该协议在服务器数量上是最优的–任何提供安全语义或更强语义的协议都需要至少(3f+1)个服务器来容忍异步系统中的拜占庭故障。最后,我们研究了SBQ-L协议的一种非确认写入变体,其中客户端无法确定其写入何时完成。我们表明,具有非确认写入的SBQ-L为\(2f+1)服务器提供了常规语义,并且服务器的数量是最小的。有关整个系列,请参见[Zbl 1007.00056号]. 引用于9文件 MSC公司: 64岁以下 分布式系统 68个M12 网络协议 68米15 网络和计算机系统的可靠性、测试和容错 PDF格式BibTeX公司 XML格式引用 \textit{J.-P.Martin}等人,Lect。注释计算。科学。2508311--325(2002年;Zbl 1029.68528) 全文: 链接