拉希德·格拉乌伊 带有故障检测器的异步分布式系统中的非阻塞原子提交。 （英语） Zbl 1448.68104号 分布计算。 15，第1期，17-25（2002）. 摘要：本文讨论了在增加了故障检测器的异步分布式系统中的非阻塞原子提交（NB-AC）问题。我们首先表明，在这些系统中，NB-AC和Consensus是无法比拟的。粗略地说，有一个故障检测器可以解决NB-AC而不是Consensus，还有一个故障检测检测器可以解决Consensus而不是NB-AC。然后我们介绍了Anonymoly Perfect故障检测器。我们证明，要求解NB-AC，（？mathcal{P}）是必要的（而（mathcal}P}不是），而当大多数过程都是正确的时，（。我们从我们的结果中得出一些关于NB-AC实际可解性的观察结果。 引用于6文件 MSC公司： 64岁以下 分布式系统 68米15 网络和计算机系统的可靠性、测试和容错 关键词：原子提交;共识;故障检测;异步;下界 PDF格式BibTeX公司 XML格式引用 \textit{R.Guerraoui}，分布计算。15、第1号、第17--25号（2002年；Zbl 1448.68104） 全文： 内政部 参考文献： [1] T.Chandra，S.Toueg：可靠分布式系统的不可靠故障检测器。ACM杂志，43（2）（1996）·Zbl 0885.68021号 [2] T.Chandra，V.Hadzilacos，S.Toueg：解决共识的最薄弱故障检测器。ACM期刊，43（4）（1996）·Zbl 0885.68022号 [3] B.Coan，J.Welch：现实时间模型中的事务提交。分布式计算，4（2）（1990）·Zbl 0699.68116号 [4] M.Fischer，N.Lynch，M.Paterson：一个错误过程的分布式一致性的不可能。美国医学会杂志，32（2），第374-382页（1985）·Zbl 0629.68027号 [5] E.Fromentin，M.Raynal，F.Tronel：关于具有进程崩溃的异步分布式系统中的问题类。技术报告IRISA 1178。也在1999年IEEE分布式计算系统国际会议（ICDCS）的会议记录中 [6] R.Guerraoui：重新审视非阻塞性原子承诺与共识之间的关系。In:分布式算法（WDAG'95），LNCS 972，柏林-海德堡-纽约：施普林格1995 [7] R.Guerraoui：关于失败敏感协议问题的硬度。信息处理信件（IPL），以显示。此外，技术报告SSC-2000-008，瑞士联邦理工学院（EPFL），洛桑·Zbl 1052.68013号 [8] R.Guerraoui：放纵的算法。摘自：ACM分布式计算原理研讨会论文集，纽约：ACM出版社2000 [9] J.Gray：拜占庭协议问题与交易承诺问题的比较。收录人：B.Simons，A.Spector（ed）容错分布式计算，LNCS 448，柏林-海德堡-纽约：施普林格1987 [10] 哈齐拉科斯：关于原子承诺与共识问题之间的关系。收录人：B.Simons，A.Spector（ed）容错分布式计算，LNCS 448，柏林-海德堡-纽约：施普林格1987 [11] L.Lamport：软弱的拜占庭将军问题。美国医学会杂志，30（3）（1983）·Zbl 0627.68026号 [12] I.Keidar，D.Dolev：增加原子承诺的弹性，无需额外成本。摘自：ACM数据库系统原理研讨会论文集，纽约：ACM出版社1994 [13] D.Skeen：非阻塞提交协议。在：ACM SIGMOD国际数据管理会议记录，纽约：ACM出版社1981 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。