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

从自适应重命名到设置协议。 （英语） Zbl 1163.68371号

西奥。计算。科学。 410，第14期，1328-1335（2009）.
摘要：自适应（M）重命名问题包括为进程提供一个新名称，该名称取自名称空间，名称空间的大小仅取决于参与重命名的进程的数量（p），而不取决于可能请求新名称的进程的总数（n）。集合一致性问题允许提出值的每个进程以最多决定不同值的方式来决定提出的值。在一个容易发生多达（t）个进程崩溃故障的异步系统中，如果进程只能通过访问原子读/写寄存器进行协作，那么最好的方法就是使用大小为（M=p+t）的重命名空间。在相同的设置中，当\（t\geq-k\）时，\（k\）-集协议问题无法解决。
本文重点讨论了当（t）为k时，自适应重命名问题的解决方案如何有助于解决（k）集一致性问题。它有两个贡献。考虑到情况（k=t（1）），第一个贡献是一个（t）弹性算法，它从任何自适应（p+k-1）重命名算法中解决了（k）集一致性问题。第二篇文章考虑了案例（k<t）。它表明，当\（k<n/2）（无等待意味着\（t=n-1））时，不存在这样的无等待算法。因此，虽然自适应（p+k-1）重命名问题的解决方案允许（t）-弹性地解决（k）-集协议问题，尽管（t=k）失败，但当（k<t）这样的附加功率对（n>2k）的值无效时（即自适应（p+k-1）-重命名允许从（k>t）前进到（k=t），但不允许在\（n>2k\）时绕过“\（k=t\）”边界）。

引用于7文件

MSC公司：

68周05 非数值算法

关键词：

自适应重命名;异步算法;原子寄存器;原子快照;参与过程;减少;设定协议;共享对象;\（t）-弹性算法;无等待算法
PDF格式BibTeX公司 XML格式引用
\textit{E.Gafni}等人，Theor。计算。科学。410，第14号，1328--1335（2009；Zbl 1163.68371）
全文： 内政部

参考文献：

[1] Afek，Y。；阿提亚，H。；多列夫，D。；加夫尼，E。；Merritt，M。；Shavit，N.，共享内存的原子快照，ACM杂志，40，4，873-890（1993）·Zbl 0783.68029号
[2] Afek，Y。；加夫尼，E。；Rajsbaum，S。；雷纳，M。；Travers，C.，《同步共识任务：集合共识的更严格表征》，（第八届分布式计算和网络国际会议论文集。第八届国际分布式计算和联网会议论文集，ICDCN’06。程序。第八届分布式计算和网络国际会议。程序。第八届分布式计算和网络国际会议，ICDCN’06，LNCS，第4308卷（2006），Springer Verlag），331-341
[3] 阿提亚，H。；Bar-Noy，A。；多列夫，D。；佩莱格，D。；Reischuk，R.，《异步环境中的重命名》，《ACM杂志》，37，3，524-548（1990）·Zbl 0699.68034号
[4] 阿提亚，H。；Fouren，A.，《多项式和自适应长寿命（（2k-1））重命名》，（第14届分布式计算研讨会，第14届分布计算研讨会，DISC'00）。程序。第14届分布式计算研讨会。程序。第14届分布式计算研讨会，DISC'00，LNCS，第1914卷（2000），149-163·Zbl 0987.68999号
[5] Afek，Y。；Merritt，M.，《快速、无等待（（2k-1））重命名》，（第18届ACM分布式计算原理研讨会论文集，第18届APM分布式计算原则研讨会论文集（1999），PODC，ACM出版社），105-112
[6] 阿提亚，H。；Rachman，O.，（O（n \log n）\）操作中的原子快照，SIAM计算期刊，27，23193-340（1998）·Zbl 0907.68053号
[7] 阿提亚，H。；Welch，J.，《分布式计算：基础、模拟和高级主题》（2004），Wiley-Interscience，414页
[8] E.Borowsky，E.Gafni，《即时原子快照和快速重命名》，摘自：Proc。第十二届ACM分布式计算原理研讨会，PODC’93，1993年，第41-51页；E.Borowsky，E.Gafni，《即时原子快照和快速重命名》，摘自：Proc。第十二届ACM分布式计算原理研讨会，PODC’93，1993年，第41-51页·Zbl 1373.68078号
[9] Borowsky，E。；Gafni，E.，弹性异步计算的广义FLP不可能性结果，（第25届ACM分布式计算理论研讨会，第25届ASM分布式计算原理研讨会，STOC'93（1993），ACM出版社），91-100·Zbl 1310.68078号
[10] Chandra，T。；哈齐拉科斯，V。；Toueg，S.，解决共识的最弱故障检测器，ACM杂志，43，4，685-722（1996）·Zbl 0885.68022号
[11] Chaudhuri，S.，《更多选择允许更多错误：在完全异步系统中设置共识问题》，信息与计算，105，132-158（1993）·Zbl 0776.68016号
[12] Gafni，E.，《循环故障检测器：统一同步和异步》，（第17届ACM分布式计算原理研讨会论文集，第17届APM分布式计算原则研讨会论文集（1998年），PODC’99，ACM出版社），143-152·Zbl 1333.68056号
[13] Gafni，E.，读写缩减，（第八届分布式计算和网络国际会议论文集，第八届国际分布式计算与网络会议论文集），ICDCN’06。程序。第八届分布式计算和网络国际会议。程序。第八届分布式计算和网络国际会议，ICDCN’06，LNCS，第4308卷（2006），Springer Verlag），349-354
[14] Gafni，E.，《用（k）集共识重命名：（n+k-1）时隙中的最优算法》，（第十届国际分布式系统原理会议论文集），第十届全球分布式系统原理大会论文集，OPODIS’06。程序。第十届国际分布式系统原理会议。程序。第十届国际分布式系统原理会议，OPODIS’06，LNCS，卷4305（2006），Springer Verlag），36-44
[15] E.Gafni，S.Rajsbaum，M.Herlihy，Subconsensus tasks:重命名弱于set agreement，in：Proc。第20届分布式计算国际研讨会，DISC’06，第4167卷，Springer-Verlag，2006年，第329-338页；E.Gafni，S.Rajsbaum，M.Herlihy，Subconsensus tasks:重命名弱于set agreement，in：Proc。第20届分布式计算国际研讨会，DISC’06，第4167卷，Springer-Verlag，2006年，第329-338页·Zbl 1155.68329号
[16] 加夫尼，E。；雷纳尔，M。；Travers，C.，《测试与集，自适应重命名和集协议：异步可计算性指南》，（第26届IEEE可靠分布式系统研讨会，第26届EEE可靠分布式系统会议，SRDS’07（2007），IEEE计算机社会出版社），93-102
[17] Herlihy，M.P.，《无等待同步》，《ACM编程语言和系统事务》，13，1，124-149（1991）
[18] Herlihy，M.P。；Penso，L.D.，带有限范围精度故障检测器的（k）集协议的紧界，分布式计算，18，2，157-166（2005）·Zbl 1264.68086号
[19] 赫利希，M.P。；Rajsbaum，S.，代数跨度，计算机科学中的数学结构，10，4，549-573（2000）·Zbl 0956.68098号
[20] Herlihy，M.P。；Shavit，N.，《异步可计算性的拓扑结构》，美国计算机学会杂志，46，6，858-923（1999）·Zbl 1161.68469号
[21] Herlihy，M.P。；Wing，J.M.，《线性化：并发对象的正确性条件》，《编程语言和系统的ACM事务》，第12、3、463-492页（1990年）
[22] Lamport，L.，关于进程间通信，第二部分：算法，分布式计算，1，2，86-101（1986）·兹比尔0598.68023
[23] Mostéfaoui，A。；Raynal，M.，（k）-与有限精度故障检测器达成一致，（第19届ACM分布式计算原理研讨会，第19届APM分布式计算原则研讨会，PODC’00（2000），ACM出版社），143-152·Zbl 1314.68079号
[24] Mostéfaoui，A。；Raynal，M.，《随机集协议》，（第13届ACM并行算法和体系结构研讨会论文集，第13届APM并行算法与体系结构研讨会，SPAA’01（2001），ACM出版社），291-297
[25] Mostéfaoui，A。；雷纳，M。；Travers，C.，《探索Gafni的还原土地：从（Omega^k）到无等待自适应（（2p-\lceil\frac{p}{k}\rceil）-通过（k\）集合协议重命名》，（第20届分布式计算研讨会，第20届分布计算研讨会，DISC'06。程序。第20届分布式计算研讨会。程序。第20届分布式计算研讨会，DISC’06，LNCS，第4167卷（2006），Springer Verlag），1-15·Zbl 1155.68337号
[26] Mostéfaoui，A。；雷纳，M。；Travers，C.，《从更名到（k）set协议》，（第十四届结构信息和通信复杂性学术讨论会，第十四届结构化信息和通信复杂度学术讨论会），SIROCCO’07。第十四届结构信息和通信复杂性学术讨论会。第十四届结构信息和通信复杂性学术讨论会，SIROCCO’07，LNCS，第4474卷（2007），Springer Verlag），62-76·Zbl 1118.68006号
[27] Mostéfaoui，A。；雷纳，M。；Travers，C.，《缩小同步集协议中的功率与效率》，（第九届分布式计算和网络国际会议论文集，第九届国际分布式计算与网络会议论文集），ICDCN'08。程序。第九届分布式计算和网络国际会议。程序。第九届分布式计算和网络国际会议，ICDCN’08，LNCS，第4904卷（2008），Springer Verlag），99-111·Zbl 1131.68342号
[28] 雷纳尔，M。；Travers，C.，《寻找圣杯：为无等待集协议寻找最弱的故障检测器》，（第十届国际分布式系统原理会议论文集。第十届分布式系统原理国际会议论文集，OPODIS’06。程序。第十届国际分布式系统原理会议。程序。第十届国际分布式系统原理会议，OPODIS’06，LNCS，第4305卷（2006），Springer Verlag），1-17
[29] 萨克斯，M。；Zaharoglou，F.，《无等待集协议是不可能的：公共知识的拓扑结构》，SIAM计算机杂志，29，5，1449-1483（2000）·兹比尔0952.68159
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。