×
约瑟夫·威德;乌尔里希·施密德

Theta模型：实现无时钟同步。 （英语） Zbl 1267.68159号

分布计算。 22，第1期，29-47（2009）.
摘要：我们提出了一种新的部分同步系统模型，该模型通过在传输过程中同步消息的最长和最短端到端延迟之比上的一个（可能未知的）界（Theta）对异步模型进行了补充。然而，这些延迟的上限不必存在，甚至\（\ Theta\）可能只有在一些未知的全局稳定时间之后才成立\（Theta）-算法完全是消息驱动的，无法访问有界漂移本地时钟，这使得它们特别适合于VLSI片上系统。在这个模型中，我们提供了一个（最终实现的）锁步弹的模拟，它甚至可以在拜占庭失败的情况下工作。因此，分布式计算中的大多数问题在我们的模型中都有一个解决方案：通过以下方式对部分同步系统使用基本一致性算法C.装饰等。[“部分同步存在下的共识”，J.ACM 35，No.2，288–323（1988）]，例如，拜占庭共识可以解决。我们还介绍了一种时序转换技术，该技术有助于对（Theta）算法进行简单的正确性证明和性能分析，并提供了（Theta\）模型与其他部分同步系统模型的详细关系。

引用于8文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
68米15 网络和计算机系统的可靠性、测试和容错

关键词：

计算模型;容错分布式算法;部分同步系统;时钟和时间
PDF格式BibTeX公司 XML格式引用
\textit{J.Widder}和\textit{U.Schmid}，分布式计算。22，第1号，第29-47号（2009；Zbl 1267.68159）
全文： 内政部

参考文献：

[1] 阿奎莱拉，M.K.，德尔波特-加勒特，C.，福科尼埃，H.，图埃格，S.：稳定的领导人选举。摘自：DISC'01:第15届分布式计算国际会议记录，第108–122页。施普林格，柏林（2001）·Zbl 1024.68507号
[2] Aguilera，M.K.，Delport-Gallet，C.，Fauconnier，H.，Toueg，S.：关于以弱可靠性和同步性假设实现Omega。摘自：第22届ACM分布式计算原理年会论文集（PODC’03），第306–314页。ACM出版社，纽约（2003）·Zbl 1267.68064号
[3] Aguilera，M.K.，Delport-Gallet，C.，Fauconnier，H.，Toueg，S.：沟通高效的领导人选举和有限链接同步的共识。在：第23届ACM分布式计算原理研讨会论文集（PODC'04），第328–337页。ACM出版社，圣约翰出版社（2004）·Zbl 1321.68098号
[4] Aguilera，M.K.，Delport-Gallet，C.，Fauconnier，H.，Toueg，S.：拜占庭式失败和几乎没有系统同步的共识。摘自：《可靠系统和网络国际会议论文集》（DSN’06），第147–155页（2006）
[5] Albeseder，D.：分布式系统中消息延迟相关性的评估。摘自：第三届嵌入式系统智能解决方案研讨会论文集。德国汉堡（2005）
[6] Ammar，Y.、Buhrig，A.、Marzencki，M.、Charlot，B.、Basrour，S.、Matou，K.、Renaudin，M.：具有异步架构和振动采集微型发电机的无线传感器网络节点。摘自：sOc-EUSAI'05:2005年智能物体和环境智能联合会议记录，第287-292页。ACM，纽约（2005）
[7] Anceume E.，Fernández A.，Mostéfaoui A.，Neiger G.，Raynal M.：转换有限精度故障检测器的充要条件。J.计算。系统。科学。68(1), 123–133 (2004) ·Zbl 1160.68325号 ·doi:10.1016/j.jcss.2003.08.003
[8] Attiya H.、Dwork C.、Lynch N.、Stockmeyer L.：在时间不确定的情况下，达成协议的时间受到限制。J.ACM（JACM）41（1），122–152（1994）·Zbl 0807.68042号 ·数字对象标识代码：10.1145/174644.174649
[9] Beauquier J.、Kekkonen-Moneta S.：容错和自稳定：使用自稳定故障检测器的不可能性结果和解决方案。国际期刊系统。科学。28(11), 1177–1187 (1997) ·Zbl 0897.68011号 ·网址：10.1080/00207729708929476
[10] Biely，M.，Widder，J.：具有静音进程的omega的最佳消息驱动实现。ACM事务处理。自动。自适应系统。4（1），第4条，22页（2009年）
[11] Chandra T.D.，Toueg S.：可靠分布式系统的不可靠故障检测器。J.ACM 43（2），225-267（1996）·Zbl 0885.68021号 ·数字对象标识代码：10.1145/226643.226647
[12] Cristian F.，Fetzer C.：定时异步分布式系统模型。IEEE传输。平行配送系统。10(6), 642–657 (1999) ·doi:10.1109/71.774912
[13] Dolev D.、Dwork C.、Stockmeyer L.：关于分布式共识所需的最小同步性。J.ACM 34（1），77–97（1987）·Zbl 0631.68022号 ·数字对象标识代码：10.1145/7531.7533
[14] Dolev S.：自我稳定。麻省理工学院出版社，剑桥（2000）·Zbl 1026.93001号
[15] Dwork C.，Lynch N.，Stockmeyer L.：部分同步存在下的共识。J.ACM 35（2），288–323（1988）·数字对象标识代码：10.1145/42282.42283
[16] Ebergen J.C.：设计延迟敏感电路的正式方法。分布计算。5, 107–119 (1991) ·Zbl 0731.68081号 ·doi:10.1007/BF02252954
[17] Ekanayake V.、Clinton Kelly I.、Manohar R.：传感器网络的超低功耗处理器。SIGOPS操作。系统。版本38（5），27–36（2004）·数字对象标识代码：10.1145/1037949.1024397
[18] Ferringer，M.、Fuchs，G.、Steininger，A.、Kempf，G.：容错分布式时钟生成的VLSI实现。IEEE VLSI系统缺陷和容错国际研讨会（DFT2006），第563–571页（2006）
[19] Fetzer，C.，Schmid，U.：简短声明：在平均响应时间有限的异步系统中达成共识的可能性。摘自：第23届ACM分布式计算原理研讨会论文集（PODC’04），第402页。马萨诸塞州波士顿（2004）
[20] Fetzer，C.，Schmid，U.，Süßkraut，M.：关于平均响应时间有限的异步系统中达成共识的可能性。摘自：《第25届分布式计算系统国际会议论文集》（ICDCS’05），第271-280页。IEEE计算机学会，华盛顿（2005）
[21] Fischer M.J.、Lynch N.A.、Paterson M.S.：一个错误的过程不可能达成分布式共识。J.ACM 32（2），374–382（1985）·Zbl 0629.68027号 ·数字对象标识代码：10.1145/3149.214121
[22] Fuegger，M.、Schmid，U.、Fuchs，G.、Kempf，G.：超大规模集成电路系统中的容错分布式时钟生成——片上。摘自：《第六届欧洲可靠计算会议论文集》（EDCC-6），第87-96页。IEEE计算机学会出版社（2006）
[23] Gafni，E.：Round-by-Round故障检测器（扩展抽象）：统一同步和异步。摘自：第十七届ACM分布式计算原理研讨会论文集，第143-152页。ACM出版社，巴利亚尔塔港（1998）·兹比尔1333.68056
[24] Hermant J.F.，Le Lann G.：实时分布式系统中的快速异步一致性。IEEE传输。计算。51(8), 931–944 (2002) ·doi:10.1109/TC.2002.1024740
[25] Hermant，J.F.，Widder，J.：使用{\（Theta\）}模型实现可靠的分布式实时系统。摘自：第九届分布式系统原理国际会议记录（OPODIS 2005）。LNCS，第3974卷，第334-350页。比萨施普林格（2005）
[26] Hutle，M.，Malkhi，D.，Schmid，U.，Zhou，L.：简短声明：为实现欧米茄和共识而追逐最弱的系统模型。摘自：《第八届分布式系统稳定、安全与保障国际研讨会论文集》（原自稳定系统研讨会）（SSS 2006）。LNCS，第576–577页。斯普林格，达拉斯（2006）
[27] Hutle，M.，Malkhi，D.，Schmid，U.，Zhou，L.：为实现omega和共识而追寻最弱的系统模型。IEEE传输。可靠的安全计算。（2009年，待发布）
[28] Hutle，M.，Widder，J.：关于消息驱动自稳定故障检测的可能性和不可能性。参见：第七届自稳定系统国际研讨会论文集（SSS 2005），LNCS，第3764卷，第153-170页。斯普林格，巴塞罗那（2005）。也作为简短公告出现在第24届ACM分布式计算原理研讨会（PODC'05）的会议记录中·Zbl 1172.68365号
[29] Hutle，M.，Widder，J.：自我稳定故障检测器算法。In：程序。IASTED并行和分布式计算与网络国际会议（PDCN'05），第485-490页。IASTED/ACTA出版社，因斯布鲁克（2005）·Zbl 1172.68365号
[30] Lamport L.、Shostak R.、Pease M.：拜占庭将军问题。ACM事务处理。程序。语言系统。4(3), 382–401 (1982) ·Zbl 0483.68021号 ·doi:10.1145/357172.357176
[31] Le Lann，G.，Schmid，U.：如何在部分同步系统中实现无时间的完美故障检测器。技术报告183/1-127，维也纳理工大学自动化系（2003）（由研究报告28/2005代替，维也纳理工大信息研究所，2005）
[32] Lundelius-Welch J.，Lynch N.A.：一种新的时钟同步容错算法。通知。计算。77(1), 1–36 (1988) ·Zbl 0646.68029号 ·doi:10.1016/0890-5401（88）90043-0
[33] Lynch N.：分布式算法。Morgan Kaufman Publishers，Inc.，旧金山（1996）·Zbl 0877.68061号
[34] Malkhi，D.，Oprea，F.，Zhou，L.：{\（\Omega\）}会见帕克索斯：领导人选举和稳定，没有最终的及时联系。收录于：第19届分布式计算研讨会论文集（DISC'05）。LNCS，第3724卷，第199-213页。斯普林格，克拉科夫（2005）·Zbl 1171.68379号
[35] Mostefaoui，A.，Mourgaya，E.，Raynal，M.：故障检测器的异步实现。摘自：《可靠系统和网络国际会议论文集》（DSN'03）。加利福尼亚州旧金山（2003）·兹比尔1042.68011
[36] Mostefaoui，A.，Powell，D.，Raynal，M.：构建最终准确故障检测器的混合方法。摘自：第十届国际环太平洋可靠计算研讨会论文集（PRDC’04），第57-65页。IEEE计算机学会（2004）
[37] Mostéfaoui，A.，Raynal，M.：使用chandra-toueg的不可靠故障检测器解决共识：基于配额的通用方法。摘自：Jayanti，P.（编辑）《分布式计算：第13届国际研讨会》（DISC'99）。计算机科学课堂讲稿，第1693卷，第49-63页。Springer-Verlag GmbH，布拉迪斯拉发（1999）
[38] Mostefaoui，A.，Raynal，M.，Travers，C.：抗冲击、无时间限制的最终领导。摘自：第23届IEEE可靠分布式系统研讨会论文集（SRDS 2004），第208-217页。IEEE计算机学会（2004）
[39] Parkes，S.，Armbruster，P.：SpaceWire：一种用于实时通信的航天器机载网络。摘自：第14届IEEE-NPSS实时会议记录，第6-10页（2005年）
[40] Ponzio，S.：时间不确定性的实时成本：共识和故障检测。麻省理工学院硕士论文（1991年）·Zbl 1314.68071号
[41] Ponzio，S.、Strong，R.：半同步和实时。摘自：《第六届分布式算法国际研讨会论文集》（WDAG'92），第120-135页。以色列海法（1992）
[42] Schmid，U.，Fetzer，C.：随机异步共识与不完美沟通。摘自：第22届可靠分布式系统研讨会（SRDS'03），第361-370页。意大利佛罗伦萨（2003）
[43] Schmid，U.，Steininger，A.：超大规模集成电路芯片中的Dezentrale Fehlertolerante Taktgenerierung。研究报告69/2004，维也纳理工大学，德国技术信息研究所（2004）。（《专利法》A 1223/2004）
[44] Schmid，U.，Weiss，B.，Rushby，J.：在存在链路故障的情况下，正式验证拜占庭协议。摘自：第22届分布式计算系统国际会议（ICDCS’02），第608-616页。奥地利维也纳（2002年）
[45] Srikanth T.K.，Toueg S.：最佳时钟同步。J.ACM 34（3），626–645（1987）·doi:10.1145/28869.28876
[46] Sutherland I.E.，Ebergen J.：没有时钟的计算机。科学。《美国判例汇编》第287卷第2期，第62-69页（2002年）·doi:10.1038/科学美国人0802-62
[47] Veríssimo P.，Casimiro A.：及时计算基础模型和架构。IEEE传输。计算。51(8), 916–930 (2002) ·doi:10.1109/TC.2002.1024739
[48] Vitányi，P.M.：分布式控制的时间驱动算法。报告CS-R8510，C.W.I.（1985）·Zbl 0575.68051号
[49] Widder，J.：在部分同步系统中引导时钟同步。摘自：《第17届分布式计算国际研讨会论文集》（DISC'03），LNCS，第2848卷，第121-135页。Springer，Sorrento（2003）·Zbl 1180.68070号
[50] Widder，J.：存在有界异步的分布式计算。维也纳科技大学博士论文，Fakultät für Informatik（2004）
[51] Widder，J.、Le Lann，G.、Schmid，U.：部分同步系统中引导的故障检测。摘自：第五届欧洲可靠计算会议（EDCC-5）会议记录。LNCS，第3463卷，第20-37页。施普林格，布达佩斯（2005）
[52] Widder J.，Schmid U.：在混合进程和链路故障的部分同步系统中引导时钟同步。分布计算。20(2), 115–140 (2007) ·Zbl 1266.68124号 ·doi:10.1007/s00446-007-0026-0
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。