×
达米安·伊姆斯;阿查尔，莫塞法伊;马蒂厄·佩林;米歇尔·雷纳尔

集合约束传递广播：一种用于读/写可实现分布式对象的通信抽象。 （英语） Zbl 1514.68014号

西奥。计算。科学。 886, 49-68 (2021).
摘要：本文介绍了一种新的通信抽象，称为设置受限传递广播（SCD-broadcast），其目的是在用户必须实现时为其提供适当的抽象级别物体或分布式任务在一个容易发生进程崩溃故障的异步消息传递系统中。这个抽象允许每个进程广播消息并交付一系列消息，这样，如果一个进程交付了一组包含消息（m）的消息，然后交付了包含消息（m^prime）的一组消息，则没有进程首先交付一组包含（m^prime）的消息以及随后的一组消息，包括\（m\）。
在提出了一种实现SCD广播的算法之后，本文研究了它的编程能力和可计算性极限。在“功能”方面，它提出了基于SCD广播的算法，这些算法既简单又高效，可以构建对象（例如快照和无冲突的复制数据类型），还可以执行分布式任务。在“可计算性限制”方面，它表明SCD广播和读/写寄存器在计算上是等效的。

引用于1文件

MSC公司：

64岁以下 分布式系统
68个M12 网络协议
68米15 网络和计算机系统的可靠性、测试和容错

关键词：

抽象;异步系统;通信抽象;通信模式;无冲突复制数据类型;设计简单性;分布式任务;线性化能力;信息传递系统;进程崩溃;读/写原子寄存器;顺序一致性;快照对象
PDF格式BibTeX公司 XML格式引用
\textit{D.Imbs}等人，Theor。计算。科学。886，49-68（2021年；兹比尔1514.68014）
全文： 内政部 arXiv公司 哈尔

参考文献：

[1] Afek，Y。；阿提亚，H。；多列夫，D。；加夫尼，E。；Merritt，M。；Shavit，N.，共享内存的原子快照，J.ACM，40，4，873-890（1993）·Zbl 0783.68029号
[2] 阿哈迈德，M。；Neiger，G。；伯恩斯，J.E。；胡托，P.W。；Kohli，P.，因果记忆：定义、实现和编程，Distrib.Comput。，9, 37-49 (1995) ·Zbl 1448.68057号
[3] Anderson，J.，多写入复合寄存器，Distrib.Comput。，7, 4, 175-195 (1994)
[4] Aspnes，J。；Herlihy，M.，异步PRAM模型中的无等待数据结构，（第二届ACM并行算法和体系结构研讨会论文集。第二届ACM并行算法和体系结构研讨会论文集，SPAA'00（1990），ACM出版社），340-349
[5] 阿提亚，H。；Bar-Noy，A。；Dolev，D.，在消息传递系统中稳健地共享内存，J.ACM，42，1，121-132（1995）·Zbl 0886.68018号
[6] 阿提亚，H。；Herlihy，M。；Rachman，O.，使用晶格协议的原子快照，Distribute.Compute。，8, 121-132 (1995) ·兹比尔1448.68066
[7] 阿提亚，H。；Rachman，O.，《（O（n\log n）操作中的原子快照》，SIAM J.Compute。，27, 2, 319-340 (1998) ·Zbl 0907.68053号
[8] 阿提亚，H。；Welch，J.L.，序列一致性与线性化能力，ACM Trans。计算。系统。，12, 2, 91-112 (1994)
[9] 阿提亚，H。；Welch，J.L.，《分布式计算：基础、模拟和高级主题》（2004），Wiley-Interscience，414页
[10] Auvoli，A。；雷纳，M。；Taíani，F.，《拜占庭容错集约束交付广播》，（第23届国际分布式系统原理会议，第23届分布式系统原理国际会议，OPODIS’19。程序。第23届国际分布式系统原理会议。程序。第23届国际分布式系统原理会议，OPODIS’19，莱布尼茨国际信息学会议记录，LIPICS，第153卷（2019）），第6条，23页
[11] O.比兰。；莫兰，S。；Zaks，S.，《在存在一个故障处理器的情况下可解决的分布式任务的组合特征》，（第七届ACM分布式计算原理研讨会论文集，第七届AC分布式计算原理会议论文集，PODC’88（1988），ACM出版社），263-275
[12] 伯曼，K。；Joseph，T.，《出现故障时的可靠通信》，ACM Trans。计算。系统。，5, 1, 47-76 (1987)
[13] Chandra，T。；Toueg，S.，《可靠分布式系统的不可靠故障检测器》，J.ACM，43，2，225-267（1996）·兹伯利0885.68021
[14] Delport-Gallet，C。；Fauconnier，F。；Rajsbaum，S。；Raynal，M.，在防撞异步消息传递系统上实现快照对象，IEEE Trans。并行分配系统。，2033-2045年9月29日（2018年）
[15] Delport-Gallet，C。；Fauconnier，F。；加夫尼，E。；Rajsbaum，S.，线性空间自举通信方案，Theor。计算。科学。，561, 122-133 (2015) ·Zbl 1303.68033号
[16] Ellen，F.，拍快照有多难？，（第31号议事录《计算系统理论与实践的当前趋势》。第31号会议录《计算体系理论与实践当前趋势》，SOFSEM'05。程序。第31届计算机系统理论与实践当前趋势会议。程序。第31届计算机系统理论与实践当前趋势大会，SOFSEM'05，LNCS，第3381卷（2005），Springer），27-35·Zbl 1117.68320号
[17] 法莱罗，J.M。；拉贾马尼，S。；Rajan，K。；Ramalingam，G。；Vaswani，K.，《广义格协议》，（第31届ACM分布式计算原理研讨会，第31届APM分布式计算原则研讨会，PODC’12（2012），ACM出版社），125-134·Zbl 1301.68253号
[18] 费舍尔，M.J。；北卡罗来纳州林奇。；Paterson，M.S.，《一个错误过程不可能达成分布式共识》，J.ACM，32，2，374-382（1985）·Zbl 0629.68027号
[19] 费舍尔，M.J。；Merritt，M.，《评估二十年的分布式计算理论研究》，Distrib.Comput。，16, 2-3, 239-247 (2003) ·Zbl 1448.68026号
[20] Herlihy，M.P.，无等待同步，ACM Trans。程序。语言系统。，13, 1, 124-149 (1991)
[21] Herlihy，M.P。；Shavit，N.，《多处理器编程的艺术》（2008），摩根考夫曼出版社。，508页
[22] 赫利希，M.P。；Wing，J.M.，线性化：并发对象的正确性条件，ACM Trans。程序。语言系统。，12, 3, 463-492 (1990)
[23] 艾姆斯·D。；Mostéfaoui，A。；佩兰，M。；Raynal，M.，哪个广播抽象捕获k集协议？，（第31届国际分布式计算研讨会，第31届分布式计算国际研讨会，DISC’17。程序。第31届国际分布式计算研讨会。程序。第31届分布式计算国际研讨会，DISC’17，LIPIcs，第91卷（2017）），第27条，16页·Zbl 1515.68067号
[24] 艾姆斯·D。；Raynal，M.，需要时提供帮助，但不再提供更多：高效读/写部分快照，J.Parallel Distrib.Comput。，72, 1, 1-12 (2012) ·兹比尔1231.68082
[25] 井上，I。；Chen，W。；T.Masuzawa。；Tokura，N.，《使用多写器多读寄存器的线性时间快照》，（第八届分布式算法国际研讨会，第八届国际分布式算法研讨会，WDAG'94。程序。第八届分布式算法国际研讨会。程序。第八届分布式算法国际研讨会，WDAG'94，LNCS，第857卷（1994），Springer），130-140
[26] Jayanti，P.，《一种最优多写快照算法》，（第37届ACM计算理论研讨会论文集，第37届ASM计算理论会议论文集，STOC'05（2005），ACM出版社），723-732·Zbl 1192.68449号
[27] Lamport，L.，《如何制作正确执行多进程程序的多处理器计算机》，IEEE Trans。计算。，C28、9、690-691（1979）·Zbl 0419.68045号
[28] Lamport，L.，《进程间通信》，第一部分：基本形式主义，分布式计算。，1, 2, 77-85 (1986) ·Zbl 0598.68022号
[29] O·伦德斯特罗姆。；雷纳，M。；Schiller，E.M.，自稳定集约束交付广播，（第40届IEEE分布式计算系统国际会议，第40届IEE分布式计算系统会议，ICDCS’20（2020），IEEE出版社），11页
[30] 莫兰，S。；Wolfstahl，Y.，《异步完整网络的扩展不可能性结果》，Inf.Process。莱特。，26, 3, 145-151 (1987)
[31] Mostéfaoui，A。；雷纳，M。；Roy，M.，防撞异步消息传递系统中的时间效率读/写寄存器，计算，10，1，3-17（2019）·兹比尔1458.68018
[32] 佩林，M。；Mostéfaoui，A。；Pétrolia，M。；Cl，Jard，《关于序列一致性的构成和实现》，（第30届分布式计算国际研讨会，第30届国际分布式计算研讨会，DISC’16。程序。第30届分布式计算国际研讨会。程序。第30届分布式计算国际研讨会，DISC'16，LNCS，第9888卷（2017），施普林格），284-297
[33] Raynal，M.，《并发编程：算法、原理和基础》（2013），Springer出版社，515页·Zbl 1276.68001号
[34] Raynal，M.，《容错消息传递分布式系统：算法方法》（2018），Springer出版社，550页·Zbl 1423.68011号
[35] 雷纳，M。；Schiper，A。；Toueg，S.，因果顺序抽象及其实现的简单方法，Inf.Process。莱特。，39, 343-351 (1991) ·兹比尔07486.88026
[36] 夏皮罗，M。；普雷古伊萨，N。；巴奎罗，C。；Zawirski，M.，《无冲突复制数据类型》，（第13届国际分布式系统稳定、安全与保障研讨会，第13届分布式系统稳定与安全国际研讨会，SSS’11。程序。第十三届国际交响乐团。分布式系统的稳定性、安全性和安全性。程序。第十三届国际交响乐团。分布式系统的稳定、安全和安保，SSS’11，LNCS，第6976卷（2011），Springer），386-400
[37] 北沙维特。；Touitou，D.，软件事务内存，分布式计算。，10, 2, 99-116 (1997) ·Zbl 1448.68214号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。