×

关于确定性共识层次的可行性。 (英语) Zbl 1443.68031号

摘要:最近的一篇论文[Y.Afek(亚菲克)等,摘自:第35届ACM分布式计算原理研讨会论文集,PODC’16。纽约州纽约市:计算机协会(ACM)。97–106(2016年;Zbl 1375.68188号)]引入了一系列确定性对象(O_{m,k}),用于(m,k\geq2),具有一致数(m\),使得对于每个(k\geq 2),在至少具有(mk+m+k)个过程的系统中,(O_{m,k{)的计算能力不如(O_{m,k+1})。本文给出了具有有限多个进程的系统中来自(m+1)-一致性对象和寄存器的(O_{m,k})的无等待实现。为了做到这一点,它引入了一个新的对象家族,这有助于我们理解在具有多个过程的系统中(m)-一致性的力量。

MSC公司:

64岁以下 分布式系统
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Herlihy,M.,无等待同步,ACM Trans。程序。语言系统。,13, 1, 124-149 (1991)
[2] Jayanti,P.,《稳健的无等待层次结构》,J.ACM,44,4,592-614(1997)·Zbl 0891.68007号
[3] Afek,Y。;加夫尼,E。;Tromp,J。;Vitányi,P.M.B.,无等待测试集(扩展摘要),(第六届分布式算法国际研讨会论文集(WDAG)(1992)),85-94
[4] Afek,Y。;魏斯伯格,E。;Weisman,H.,一类同步对象的完备性定理,(第十二届ACM分布式计算原理研讨会论文集(1993)),159-170·兹比尔1373.68068
[5] 阿费克,Y。;加夫尼,E。;Morrison,A.,Common2扩展到堆栈和无界并发,(第25届ACM分布式计算原理研讨会论文集(2006)),218-227·Zbl 1314.68131号
[6] Lo,W.-K。;Hadzilacos,V.,《我们所有人都比我们任何人都聪明:无等待的层次结构并不健全》(第29届美国计算机学会计算理论研讨会论文集(1997)),579-588·Zbl 0963.68014号
[7] Rachman,O.,《无等待层次中的异常》,(第八届分布式算法国际研讨会(WDAG)论文集,1994年),156-163
[8] Afek,Y。;Ellen,F。;Gafni,E.,《确定性对象:超越共识的生命》(2016年第35届ACM分布式计算原理研讨会论文集),97-106·兹比尔1375.68188
[9] Chan,D.Y.C。;哈齐拉科斯,V。;Toueg,S.,《超越集合协议的生活》(2017年第36届ACM分布式计算原理研讨会论文集),第345-354页·Zbl 1380.68041号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。