朱乐奇 达成共识的狭小空间。 （英语） Zbl 1464.68033号 SIAM J.计算。 50，编号3，STOC16-18-STOC16-29（2021）. 摘要：在协商一致意见问题是，每个进程都有一个私有输入值。每个非故障过程必须输出一个值，这样就不会有两个过程输出不同的值，并且输出是某个过程的输入值。对于进程只能通过读取和写入共享寄存器进行通信的系统，有许多共识协议。特别令人感兴趣的是具有进度保证的协议，如随机等待自由或障碍自由。1992年，证明了此类协议必须使用（Omega（\sqrt{n}）寄存器。2015年，这被改进为匿名的设置，其中进程没有标识符。我们证明了每个用于解决（n）进程之间一致性的随机无等待或无障碍协议必须使用至少（n-1）个寄存器。 MSC公司： 64岁以下 分布式系统 68个M12 网络协议 68米15 网络和计算机系统的可靠性、测试和容错 65年第68季度 算法和问题复杂性分析 关键词：分布式计算;共享内存;协商一致意见;空间复杂性;寄存器 PDF格式BibTeX公司 XML格式引用 \textit{L.Zhu}，SIAM J.计算机。50，3号，STOC16--18-STOC16--29（2021；Zbl 1464.68033） 全文： DOI程序 参考文献： [1] Y.Afek、H.Attiya、D.Dolev、E.Gafni、M.Merritt和N.Shavit，共享内存的原子快照，J.ACM，40（1993），第873-890页·Zbl 0783.68029号 [2] J.Aspnes和K.Censor，尽管有强大的对手，但大致共享内存计数，ACM Trans。算法，6（2010），第25页·Zbl 1300.68018号 [3] J.Aspnes和M.Herlihy，《使用共享内存的快速随机共识》，J.Algorithms，11（1990），第441-461页·Zbl 0705.68016号 [4] J.Aspnes和O.Waarts，每个处理器预期O（n\（log^2）n）操作的随机一致性，SIAM J.Comput。，25（1996），第1024-1044页·Zbl 0861.68039号 [5] H.Attiya和K.Censor，异步随机共识的严格界限，J.ACM，55（2008）·Zbl 1325.68031号 [6] H.Attiya和F.Ellen，《分布式计算的不可能结果》，Morgan&Claypool，加州圣拉斐尔，2014年·Zbl 1396.68004号 [7] Z.Bouzid，M.Raynal和P.Sutra，《简短公告：无匿名障碍（（n，k）-与n-k+1原子读/写寄存器达成协议》，第29届分布式计算国际研讨会（DISC 2015）会议记录，《计算讲义》。科学。9363，Springer，纽约，2015年，第668-669页·兹比尔1380.68038 [8] J.R.Bowman，《无障碍快照、无障碍共识和取加模k》，技术报告TR2011-681，达特茅斯学院计算机科学，新罕布什尔州汉诺威，2011年；也可从以下网址在线获取http://www.cs.dartmouth.edu/reports/TR2011-681.pdf。 [9] J.E.Burns和N.A.Lynch，共享内存相互排斥的界限，Inform。和计算。，107（1993），第171-184页·Zbl 0794.68052号 [10] B.Chor、A.Israel和M.Li，使用异步硬件的无等待共识，SIAM J.Compute。，23（1994年），第701-712页。 [11] F.Ellen、P.Fatourou和E.Ruppert，无界时间戳的空间复杂性，Distrib.Comput。，21（2008），第103-115页·Zbl 1267.68119号 [12] F.Ellen、R.Gelashvili、N.Shavit和L.Zhu，《基于复杂性的多处理器同步层次结构》，载《2016年ACM分布式计算原理研讨会论文集》，ACM，纽约，2016年，第289-298页·Zbl 1375.68198号 [13] F.E.Fich、M.Herlihy和N.Shavit，《关于随机同步的空间复杂性》，J.ACM，45（1998），第843-862页·Zbl 1065.68543号 [14] M.J.Fischer、N.A.Lynch和M.Paterson，《一个错误过程不可能达成分布式共识》，J.ACM，32（1985），第374-382页·Zbl 0629.68027号 [15] R.Gelashvili，《关于匿名过程共识的最佳空间复杂性》，载于第29届分布式计算国际研讨会（DISC 2015）论文集，《计算讲义》。科学。9363，Springer，纽约，2015年，第452-466页·Zbl 1394.68037号 [16] G.Giakkoupis、M.Helmi、L.Higham和P.Woelfel，《无障碍领导人选举的空间界限》，第27届分布式计算国际研讨会论文集（DISC 2013），《计算讲义》。科学。8205，施普林格，纽约，2013年，第46-60页。 [17] G.Giakkoupis、M.Helmi、L.Higham和P.Woelfel，最优空间中的测试与设置，《第47届年度ACM计算机理论研讨会论文集》（STOC 2015），2015年，第615-623页·Zbl 1321.68105号 [18] G.Giakkoupis和P.Woelfel，《随机测试集的时间和空间复杂性》，载于《2012年ACM分布式计算原理研讨会论文集》，ACM，纽约，2012年，第19-28页·Zbl 1301.68254号 [19] R.Guerraoui和E.Ruppert，匿名和容错共享内存计算，分布式计算。，20（2007），第165-177页·兹比尔1266.68054 [20] M.Helmi、L.Higham、E.Pacheco和P.Woelfel，《长寿命和一次性时间戳实现的空间复杂性》，J.ACM，61（2014），第7:1-7:25页·Zbl 1295.68168号 [21] M.Herlihy，无等待同步，ACM Trans。程序。语言系统。，13（1991），第124-149页，https://doi.org/10.1145/114005.102808。 [22] M.C.Loui和H.H.Abu-Amara，不可靠异步进程之间协议的内存要求，高级计算。Res.，4（1987），第163-183页。 [23] E.Styer和G.L.Peterson，共享内存对称互斥问题的紧边界，载于《第八届ACM分布式计算原理研讨会论文集》，ACM，纽约，1989年，第177-191页。 [24] L.Zhu，《简短公告：无记忆匿名共识的紧密空间界限》，载于《第29届分布式计算国际研讨会论文集》（DISC 2015），Comput讲义。科学。9363，Springer，纽约，2015年，第665-666页。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。