×
阿查尔，莫塞法伊;米歇尔·雷纳尔;科伦蒂·特拉弗斯

缩小同步集协议中的功率与效率：关系、算法和下限。 （英语） Zbl 1189.68021号

西奥。计算。科学。 411，编号1，58-69（2010）.
摘要：（k）集一致性问题是一致性一致性问题的推广：每个过程提出一个值，每个非故障过程必须确定一个值以便确定的值是一个建议值，最多决定（k）个不同的值。研究表明，在同步系统中，任何解决（k）集一致性问题的算法在最坏情况下都需要（lfloor\frac{t}{k}\floor+1）轮。还表明，可以设计早期确定算法，其中在min（lfloor\frac{f}{k}\rfloor+2，lfloor\frac{t}{k{rfloor+1）轮后，没有进程决定并停止，其中（f）是运行中的实际崩溃数（0）。
本文探索了解决同步系统中的（k）集协议问题的一个新方向。它认为系统丰富了基本对象（表示为has\（[m，\ell]\）_SA对象），这些对象允许在一组\（m）进程\（m<n）\中解决\（ell\）-集协议问题。这篇论文做出了一些贡献。它首先提出了一种同步（k）集协议算法，该算法可以从这些基础对象中获益。此算法需要\（O（\ frac{t\ell}{mk}）\）轮，更准确地说，\（\ lfloor\frac{t}{\varDelta}\rfloor+1）轮，其中\（\ varDelta=m\lfloor\frac{k}{\ell}\rffloor+k\text{mod}\ell\）轮。然后，本文表明，这个界是一个下界，它涉及表征问题（k）及其环境（t，m）和（ell）的所有参数。这个下限的证明进一步揭示了同步效率和异步可计算性之间的深层联系。最后，本文将调查范围扩展到早期判决案件。它提出了一个（k）集协议算法，该算法通过轮询（lfloor\frac{f}{varDelta}\rfloor+2，lfloor/frac{t}{varDelta}\rploor+1）来指导进程决定和停止。这些界推广了以前为解决纯同步系统中的（k）集一致性问题而建立的界。

理学硕士：

68米10 计算机系统中的网络设计和通信

关键词：

共识;效率;下界;基于圆的算法;设定协议;同步系统;\（t）-弹性
PDF格式BibTeX公司 XML格式引用
\textit{A.Mostéfaoui}等人，Theor。计算。科学。411，编号1，58--69（2010；Zbl 1189.68021）
全文： 内政部

参考文献：

[1] 阿奎莱拉，M.K。；Toueg，S.，《弹性共识需要（t+1）轮的简单二价证明》，《信息处理快报》，71，155-178（1999）·Zbl 0999.68018号
[2] 阿奎莱拉，M.K。；Le Lann，G。；Toueg，S.，《快速故障检测器对实时容错系统的影响》，（第16届分布式计算研讨会，第16届分布计算研讨会，DISC’02）。程序。第十六届分布式计算研讨会。程序。第16届分布式计算研讨会，DISC’02，LNCS，第2508卷（2002），Springer-Verlag），354-369·Zbl 1029.68533号
[3] 阿提亚，H。；Welch，J.，（分布式计算，基础，仿真和高级主题。分布式计算，基本，仿真和先进主题，Wiley并行和分布式计算系列（2004）），414
[4] Awerbuch，B.，网络同步的复杂性，ACM杂志，32，4，804-823（1985）·Zbl 0628.68045号
[5] 巴齐，R。；Neiger，G.，《简化容错：提供崩溃故障的抽象》，《ACM杂志》，48，3，499-554（2001）·兹比尔1323.68040
[6] Borowsky，E。；Gafni，E.，弹性异步计算的广义FLP不可能性结果，（第25届ACM分布式计算理论研讨会，第25届ASM分布式计算原理研讨会，STOC'93（1993），ACM出版社），91-100·Zbl 1310.68078号
[7] Charron-Bost，B。；Schiper，A.，《统一共识比共识更难》，《算法杂志》，51，1，15-37（2004）·Zbl 1078.68157号
[8] Chaudhuri，S.，更多选择允许更多故障：在完全异步系统中设置共识问题，信息与计算，105，132-158（1993）·Zbl 0776.68016号
[9] 南部乔杜里。；Herlihy，M。；林奇，N。；塔特尔，M.，《（k）集协议的严格界限》，《美国医学杂志》，47，5，912-943（2000）·Zbl 1320.68034号
[10] 多列夫，D。；Reischuk，R。；斯特朗，R.，《拜占庭协议的提前终止》，《ACM杂志》，37，4，720-741（1990）·Zbl 0711.68008号
[11] 费舍尔，M.J。；Lynch，N.A.，《确保交互一致性的时间下限》，《信息处理快报》，14，4，183-186（1982）·Zbl 0493.68026号
[12] 费舍尔，M.J。；北卡罗来纳州林奇。；Paterson，M.S.，《一个错误过程中分布式共识的不可能性》，《ACM杂志》，32，2，374-382（1985）·Zbl 0629.68027号
[13] Gafni，E.，《Round-by-Round fault detectors:Unifying synchronity and asynchronity》，第17届ACM Distributed Computing原理研讨会论文集，第17期ACM Distibuted Compuring原理研讨会，PODC’98（1998），ACM出版社，143-152·Zbl 1333.68056号
[14] 加夫尼，E。；Guerraoui，R。；Pochon，B.，《从静态不可能性到自适应下界：早期决定集合一致的复杂性》，（第37届ACM计算理论研讨会论文集，第37届ASM计算理论会议论文集，STOC 2005（2005），ACM出版社），714-722·兹比尔1192.68846
[15] Guerraoui，R。；Herlihy，M。；Pochon，B.，《早期决定集协议的拓扑变换》，理论计算机科学，410，6-7，570-580（2009）·Zbl 1157.68015号
[16] Herlihy，M.P.，《无等待同步》，《ACM编程语言和系统事务》，13，1，124-149（1991）
[17] 赫利希，M.P。；Penso，L.D.，带有限范围精度故障检测器的（k）集协议的紧界，分布式计算，18，2，157-166（2005）·Zbl 1264.68086号
[18] 赫利希，M.P。；Rajsbaum，S.，代数跨度，计算机科学中的数学结构，10，4，549-573（2000）·Zbl 0956.68098号
[19] 赫利希，M.P。；Shavit，N.，《异步可计算性的拓扑结构》，美国计算机学会杂志，46，6，858-923（1999）·Zbl 1161.68469号
[20] 基达尔，I。；Rajsbaum，S.，统一一致性同步下限的简单证明，《信息处理快报》，85，47-52（2003）·Zbl 1042.68010号
[21] L.Lamport，M.Fischer，拜占庭将军和交易承诺协议，未出版手稿，16页，1982年4月；L.Lamport，M.Fischer，拜占庭将军和交易提交协议，未出版手稿，16页，1982年4月
[22] Lynch，N.A.，《分布式算法》（1996），Morgan Kaufmann出版社：摩根考夫曼出版社。加利福尼亚州旧金山，第872页·Zbl 0877.68061号
[23] Mostéfaoui，A。；Rajsbaum，S。；Raynal，M.，异步分布式系统中一致可解性的输入向量条件，ACM杂志，50，6，922-954（2003）·Zbl 1325.68035号
[24] Mostéfaoui，A。；Rajsbaum，S。；雷纳，M。；Travers，C.，《解决异步集合协议的条件和故障检测器的组合能力》，SIAM计算杂志，38，4，1574-1601（2008）·Zbl 1192.68278号
[25] Mostéfaoui，A。；Rajsbaum，S。；Raynal，M.，《基于条件的同步共识》，分布式计算，18，5，325-343（2006）·Zbl 1266.68065号
[26] Mostéfaoui，A。；Raynal，M.，（k）-与有限精度故障检测器达成一致，（第19届ACM分布式计算原理研讨会，第19届APM分布式计算原则研讨会，PODC’00（2000），ACM出版社），143-152·Zbl 1314.68079号
[27] Mostéfaoui，A。；Raynal，M.，《随机集协议》，（第13届ACM并行算法和体系结构研讨会论文集，第13届APM并行算法与体系结构研讨会，SPAA’01（2001），ACM出版社），291-297
[28] Raynal，M.，《同步系统共识：简明导览》，（第九届IEEE环太平洋国际可靠计算研讨会，第九届EEE环太平洋国际可信计算研讨会，PRDC’02（2002），IEEE计算机出版社），221-228
[29] 雷纳，M。；Travers，C.，《同步集协议：简明导览》（含开放问题），（第12届国际IEEE环太平洋可靠计算研讨会论文集，第12届全球IEEE环大西洋可靠计算研讨会，2006年（2006），IEEE计算机出版社），267-274
[30] 萨克斯，M。；Zaharoglou，F.，《无等待集协议是不可能的：公共知识的拓扑结构》，SIAM计算机杂志，29，5，1449-1483（2000）·兹比尔0952.68159
[31] Santoro，N.，（分布式算法的设计与分析，分布式算法的分析与设计，并行与分布式计算Wiley系列（2007）），589·兹比尔1115.68166
[32] 王，X。；Teo，Y.M。；曹，J.，统一共识下限的二元证明，《信息处理快报》，96，167-174（2005）·Zbl 1184.68110号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。