托马斯·克劳斯;米哈伊尔·内斯特伦科;克里斯蒂安·谢德勒 Tiara：一个自稳定的确定性跳过列表和跳过图。 （英语） Zbl 1263.68026号 西奥。计算。科学。 428, 18-35 (2012). 作者提出了一种确定性自稳定对等网络维护算法Tiara。首先，他们描述了一个新的分布式稀疏跳过列表，它是自稳定的。健壮性是通过连接不同跳过列表级别的备选列表中的节点来实现的。为了提高性能，将根据每个节点中的跳过列表集合生成跳过图。跳跃图是以这样一种方式定义的，即可以证明某些扩展特性。这样可以确保搜索项目以及执行拓扑更新的速度很快。同时，这大大提高了对节点故障的鲁棒性。更具体地说，跳过图的展开形式是\（\Omega（1/|N|^{\frac{1}{\log3}}）\）。搜索元素需要\（O（\log|N|）\）时间。向跳过图中添加（或删除）节点所需的时间为\（O（\log^2|N|）\）。审核人：斯蒂芬·霍尔泽（苏黎世） 引用于11文件 MSC公司： 68M10个 计算机系统中的网络设计和通信 64岁以下 分布式系统 68个M12 网络协议 68英里11 互联网主题 第68页第20页 信息存储和数据检索 关键词：对等网络;覆盖网络;自稳定;分布式跳跃图 软件：和弦;联合;糕点 PDF格式BibTeX公司 XML格式引用 \textit{T.Clouser}等人，Theor。计算。科学。428，18-35（2012；Zbl 1263.68026） 全文： 内政部 参考文献： [1] Andersen博士。；Balakrishnan，H。；Kaashoek，F。；Morris，R.，弹性覆盖网络，（SOSP'01:第十八届ACM操作系统原理研讨会论文集（2001），ACM:美国纽约州纽约市ACM），131-145 [2] Aspnes，J。；Shah，G.，Skip graphs，ACM算法事务，3，4，37:1-37:25（2007）·Zbl 1445.68061号 [3] Awerbuch，B。；Scheideler，C.，《超环：分布式环境下的低拥塞确定性数据结构》，（SODA'04:第十五届ACM-SIAM离散算法年会论文集（2004），工业与应用数学学会：工业与应用数理学会，美国宾夕法尼亚州费城），318-327·Zbl 1317.68039号 [4] 巴加瓦，A。；科塔帕利，K。；莱利，C。；Scheideler，C。；Thober，M.，《Pagoda:用于路由、数据管理和多播的动态覆盖网络》，（SPAA’04：第十六届ACM算法和架构并行性年度研讨会论文集（2004），ACM：美国纽约州纽约市ACM），170-179 [5] N.J.A.哈维。；琼斯，M.B。；Saroiu，S。；Theimer，M。；Wolman，A.，Skipnet:一个具有实际局部属性的可扩展覆盖网络，（USITS’03：USENIX互联网技术和系统研讨会第四届会议论文集（2003），USENIX-协会：USENIX协会，美国加利福尼亚州伯克利），9-9 [6] Malkhi，D。；Naor，M。；Ratajczak，D.，《总督：蝴蝶的可扩展和动态模拟》，（PODC'02：分布式计算原理第二十一届年度研讨会论文集（2002年），美国计算机学会：美国纽约州纽约市计算机学会），183-192·Zbl 1292.68015号 [7] Ratnasamy，S。；弗朗西斯，P。；Handley，M。；卡普，R。；Schenker，S.，《可扩展内容寻址网络》（SIGCOMM’01：2001年计算机通信应用、技术、架构和协议会议记录（2001），ACM：美国纽约州纽约市ACM），161-172 [8] Rowstron，A.I.T。；Druschel，P.，Pastry:大规模对等系统的可扩展、分散对象位置和路由，（中间件'01:IFIP/ACM分布式系统平台国际会议论文集海德堡（2001），Springer-Verlag:英国伦敦Springer-Verlag），329-350·Zbl 1051.68788号 [9] 斯托伊卡，I。；莫里斯，R。；Liben-Nowell，D。；Karger，D.R。；Kaashoek，M.F。；Dabek，F。；Balakrishnan，H.，Chord:互联网应用的可扩展对等查找协议，IEEE/ACM网络事务，11，1，17-32（2003） [10] Pugh，W.，Skip lists:平衡树的概率替代，ACM通信，33，6，668-676（1990） [11] 蒙罗，J.I。；帕帕达基斯，T。；Sedgewick，R.，《确定性跳过列表》（SODA'92：第三届ACM-SIAM离散算法年会论文集（1992），工业和应用数学学会：美国宾夕法尼亚州费城工业和应用数学家学会），367-375·Zbl 0829.68033号 [12] B.Awerbuch，C.Scheidler，对等系统的稳健随机数生成，见：第十届国际分布式系统原理会议，OPODIS，2006年，第275-289页。；B.Awerbuch，C.Scheidler，对等系统的稳健随机数生成，摘自：第十届国际分布式系统原理会议，OPODIS，2006年，第275-289页·Zbl 1157.68010号 [13] Awerbuch，B。；Scheideler，C.，《群组传播：可证明安全的分布式名称服务协议》，（Díaz，J.；Karhumäki，J.）；Lepistö，A.；Sannella，D.，ICALP.ICALP，《计算机科学讲义》，第3142卷（2004），Springer），183-195·Zbl 1098.68515号 [14] C.Scheidler，如何传播敌对节点？旋转！，in：程序。第37交响乐团。《计算理论》，STOC，2005年，第704-713页。；C.Scheidler，如何传播敌对节点？旋转！，in：程序。第37交响乐团。《计算理论》，STOC，2005年，第704-713页·Zbl 1192.37005号 [15] B.Awerbuch，C.Scheidler，《迈向可扩展且健壮的DHT》，摘自：Proc。第18届ACM研讨会。《并行算法和架构》，SPAA，2006年，第318-327页。；B.Awerbuch，C.Scheidler，《迈向可扩展且健壮的DHT》，摘自：Proc。第18届ACM交响乐团。《并行算法和架构》，SPAA，2006年，第318-327页·Zbl 1317.68039号 [16] Alima，L.O。；Haridi，S。；Ghodsi，A。；El-Ansary，S。；Brand，P.，立场论文：分布式k元结构覆盖网络中的自-属性，（《自-星会议录：复杂信息系统中的自-属性国际研讨会》。《自-星会议录：复杂信息系统中的自-属性国际研讨会》，《计算机科学讲义》，第3460卷（2004年），施普林格） [17] Onus，M。；Richa，A.W。；Scheideler，C.，线性化：图的局部自稳定排序，（ALENEX 2007:算法工程与实验研讨会论文集（2007），SIAM）·Zbl 1428.68136号 [18] Dijkstra，E.，《分布式控制下的自我稳定》，ACM通信，17，643-644（1974）·兹比尔0305.68048 [19] J.Brzezinski，M.Szychowiak，分布式系统中的自我稳定——一项简短的调查，计算和决策科学基础25（1）。；J.Brzezinski，M.Szychowiak，分布式系统中的自我稳定——一个简短的调查，计算和决策科学基础25（1）·Zbl 1128.68315号 [20] Dolev，S.，《自我稳定》（2000），麻省理工学院出版社·Zbl 1026.93001号 [21] T.Herman，《自我稳定书目：访问指南》，爱荷华大学，见ftp://ftp.cs.uiowa.edu/pub/selfstab/accography（ftp://ftp.cs.uiowa.edu/pub/elfstab/书目）/; T.Herman，《自我稳定书目：访问指南》，爱荷华大学，见ftp://ftp.cs.uiowa.edu/pub/selfstab/accography（ftp://ftp.cs.uiowa.edu/pub/elfstab/书目）/ [22] B.Awerbuch，G.Varghese，《分布式程序检查：构建自稳定分布式协议的范例》，摘自：Proc。第32届IEEE计算机科学基础年会，FOCS，1991年，第258-267页。；B.Awerbuch，G.Varghese，《分布式程序检查：构建自稳定分布式协议的范例》，摘自：Proc。第32届IEEE计算机科学基础年会，FOCS，1991年，第258-267页。 [23] Katz，S。；Perry，K.，消息传递系统的自稳定扩展，分布式计算，7，1，17-26（1993）·Zbl 1282.68077号 [24] B.Awerbuch，B.Patt-Shamir，G.Varghese，《通过局部检查和校正实现自稳定》，摘自：Proc。第32届IEEE Symp。《计算机科学基础》，FOCS，1991年，第268-277页。；B.Awerbuch，B.Patt-Shamir，G.Varghese，《通过局部检查和校正实现自稳定》，摘自：Proc。第32届IEEE Symp。《计算机科学基础》，FOCS，1991年，第268-277页。 [25] G.Varghese，通过局部检查和校正实现自我稳定，麻省理工学院博士论文，1992年。；G.Varghese，通过局部检查和校正实现自我稳定，博士论文，麻省理工学院，1992年。 [26] G.Varghese，反冲洗自稳定，in：程序。第13届ACM交响乐团。《分布式计算原理》，PODC，1994年。；G.Varghese，反冲洗自稳定，in：程序。第13届ACM交响乐团。分布式计算原理，PODC，1994年·Zbl 1373.68124号 [27] A.Costello，G.Varghese，《窗户清洗自我稳定》，摘自：Proc。第15届ACM交响乐团。《分布式计算原理》，PODC，1996年，第35-44页。；A.Costello，G.Varghese，《窗户清洗自我稳定》，摘自：Proc。第15届ACM交响乐团。《分布式计算原理》，PODC，1996年，第35-44页·Zbl 1321.68042号 [28] S.Kutten，D.Peleg，《断层-局部分布修补》，摘自：Proc。第14交响乐团。《分布式计算原理》，PODC，1995年，第20-27页。；S.Kutten，D.Peleg，《断层-局部分布修补》，摘自：Proc。第14交响乐团。《分布式计算原理》，PODC，1995年，第20-27页·Zbl 1373.68140号 [29] S.Kutten，B.Patt-Shamir，《时间自适应自稳定》，摘自：Proc。第16届ACM交响乐团。《分布式计算原理》，PODC，1997年，第149-158页。；S.Kutten，B.Patt-Shamir，《时间自适应自稳定》，摘自：Proc。第16届ACM交响乐团。《分布式计算原理》，PODC，1997年，第149-158页·Zbl 1373.68139号 [30] A.Herzberg，《主动安全》，摘自：Proc。1997年第六届RSA数据安全会议。；A.Herzberg，《主动安全》，摘自：Proc。第六届RSA数据安全大会，1997年。 [31] Y.Afek，S.Dolev，《局部稳定剂》，摘自：Proc。第16届ACM交响乐团。《分布式计算原理》，PODC，1997年，第287-297页。；Y.Afek，S.Dolev，《局部稳定剂》，摘自：Proc。第16届ACM交响乐团。《分布式计算原理》，PODC，1997年，第287-297页。 [32] 多列夫，S。；Herman，T.，动态分布式系统的超稳定协议，芝加哥理论计算机科学杂志，4，1-40（1997）·Zbl 0924.68005号 [33] Jelasity，M。；Guerraoui，R。；科尔马雷克，A.-M。；van Steen，M.，《同级抽样服务：非结构化gossip实现的实验评估》（The peer sampling service:Experimental evaluation of unstructured gossip based implementation），（Jacobsen，H.-A.，Middleware 2004，ACM/IFIP/USENIX International Middleware Conference，Middletware 2004，ACM/IFIP/WSENIX International中间件会议，计算机科学讲稿，第3231卷（2004），Springer） [34] Jelasity，M。；Montresor，A。；奥州巴巴奥卢。，T-man：基于Gossip的快速覆盖拓扑构建，计算机网络，53，13，2321-2339（2009）·Zbl 1176.68020号 [35] 安格鲁因，D。；Aspnes，J。；陈，J。；吴，Y。；Yin，Y.，快速构建覆盖网络，（第17届ACM并行算法研讨会论文集。第17届年度ACM并行计算研讨会论文集，SPAA（2005），ACM:ACM拉斯维加斯，内华达州，美国），145-154 [36] Montresor，A。；杰拉西蒂，M。；巴巴奥格鲁。，Chord on demand，（第五届IEEE对等计算国际会议。第五届EEE对等计算国际大会，P2P（2005），IEEE计算机学会），87-94 [37] 陈，Y。；Chen，W.，《分散、保持连接和经济高效的结构化覆盖维护》（Masuzawa，T。；Tixeuil，S.，《分布式系统的稳定、安全和安保》，第九届国际研讨会。分布式系统的稳定、安全和安保，第九届国际研讨会，SSS。分布式系统的稳定、安全和安保，第九届国际研讨会。分布式系统的稳定、安全和安全，第九届国际研讨会，SSS，计算机科学讲稿，第4838卷（2007），Springer），97-113 [38] I.Stoica，R.Morris，D.Karger，M.F.Kaashoek，H.Balakrishnan，Chord:互联网应用的可扩展对等查找服务，技术代表MIT-LCS-TR-819，麻省理工学院，2001年。；I.Stoica，R.Morris，D.Karger，M.F.Kaashoek，H.Balakrishnan，Chord:互联网应用的可扩展对等查找服务，技术代表MIT-LCS-TR-819，麻省理工学院，2001年。 [39] Aspnes，J。；Shah，G.，Skip graphs，（SODA'03：第十四届ACM-SIAM离散算法年会论文集（2003），工业与应用数学学会：美国宾夕法尼亚州费城工业与应用数学家学会），384-393·Zbl 1094.68545号 [40] D.Angluin、J.Aspnes、J.Chen、Y.Wu、Y.Yin，《快速构建覆盖网络》，摘自：Proc。第17届ACM算法和架构并行性年度研讨会，SPAA，2005年，第145-154页。；D.Angluin、J.Aspnes、J.Chen、Y.Wu、Y.Yin，《快速构建覆盖网络》，摘自：Proc。第17届ACM算法和架构并行性年度研讨会，SPAA，2005年，第145-154页。 [41] J.Aspnes，Y.Wu，（O（\log n））；J.Aspnes，Y.Wu，（O（log n）） [42] Onus，M。；Richa，A。；Scheideler，C.，线性化：图中的局部自稳定排序，（第九届算法工程与实验研讨会论文集。第九届算法工程与实验研讨会论文集，ALENEX（2007），SIAM）·Zbl 1428.68136号 [43] D.Gall，R.Jacob，A.Richa，C.Scheidler，S.Schmid，H.Täubig，分布式拓扑自稳定的时间复杂性：图线性化的案例，2010年，第294-305页。；D.Gall，R.Jacob，A.Richa，C.Scheidler，S.Schmid，H.Täubig，分布式拓扑自稳定的时间复杂性：图线性化的案例，2010年，第294-305页·Zbl 1283.68397号 [44] Shaker，A。；Reeves，D.S.，自稳定结构环拓扑p2p系统，（p2p’05：第五届IEEE对等计算国际会议论文集（2005），IEEE计算机学会），39-46 [45] 多列夫，D。；Hoch，E。；van Renesse，R.，《自我稳定和拜占庭容错覆盖网络》，（OPODIS 2007:第十一届分布式系统原理国际会议论文集，OPODIS 2007：第十一届国际分布式系统原理会议论文集《计算机科学讲义》，第4878卷（2007），斯普林格），343-357 [46] 多列夫，S。；Kat，R.I.，自稳定对等系统的Hypertree，分布式计算，20，5，375-388（2008）·Zbl 1266.68096号 [47] R.Jacob，A.Richa，C.Scheidler，S.Schmid，H.Täubig，自稳定跳跃图的分布式多对数时间算法，收录于：Proc。第28届ACM交响乐团。《分布式计算原理》，PODC，2009年，第131-140页。；R.Jacob，A.Richa，C.Scheideler，S.Schmid，H.Täubig，用于自稳定跳图的分布式多对数时间算法，在：Proc。第28届ACM交响乐团。《分布式计算原理》，PODC，2009年，第131-140页·Zbl 1291.68049号 [48] C.S.R.Jacob、S.Ritscher、S.Schmid，《自稳定局部delaunay图构造》，收录于：第20届国际交响乐团。《算法与计算》，ISAAC，2009年。；C.S.R.Jacob、S.Ritscher、S.Schmid，《自稳定局部delaunay图构造》，收录于：第20届国际交响乐团。算法和计算，ISAAC，2009年·Zbl 1273.68277号 [49] Hérault，T。；Lemarinier，P。；佩雷斯，O。；皮拉德，L。；Beauquier，J.，《简要声明：大规模系统的自稳定生成树算法》，（Datta，A.K.；Gradinariu，M.，SSS.SSS，计算机科学讲义（2006），Springer），574-575 [50] Cramer，C。；Fuhrmann，T.，ISPRP:用于初始化结构化P2P网络的高效消息协议，IEEE，365-370（2005） [51] Caron，E。；Desprez，F。；佩蒂特，F。；Tedeschi，C.，对等系统的快照稳定前缀树，并行处理信件，20，1，15-30（2010） [52] Bianchi，S。；Datta，A。；费尔伯，P。；Gradinariu，M.，稳定点对点空间滤波器，（ICDCS’07：第27届分布式计算系统国际会议论文集（2007），IEEE计算机学会：IEEE计算机协会，华盛顿特区，美国），27 [53] Chandy，K.M。；Misra，J.，《并行程序设计：基础》（1988），Addison-Wesley·Zbl 0717.68034号 [54] T.Herman，《通过分布式收敛实现适应性》，德克萨斯大学奥斯汀分校计算机科学系博士论文，1991年。；T.Herman，《通过分布式收敛实现适应性》，德克萨斯大学奥斯汀分校计算机科学系博士论文，1991年。 [55] Kessels，J.L.W.，《用变量函数证明自稳定的练习》，《信息处理快报》，29，39-42（1988）·Zbl 0663.68010号 [56] Gouda，M。；Multari，N.，《稳定通信协议》，IEEE计算机汇刊，40，448-458（1991） [57] Scheideler，C.，（互连网络的通用路由策略。互连网络的统一路由策略，计算机科学讲义，第1390卷（1998），Springer）·Zbl 0904.68009号 [58] Valiant，L.，《快速并行通信方案》，SIAM计算杂志，11，2，350-361（1982）·Zbl 0478.94034号 [59] J.Aspnes，U.Wieder，《跳跃图与应用的扩展和混合时间》，收录于：Proc。第17届ACM交响乐团。关于并行算法和体系结构，SPAA，2005年，第126-134页。；J.Aspnes，U.Wieder，《跳跃图与应用的扩展和混合时间》，收录于：Proc。第17届ACM交响乐团。《并行算法和架构》，SPAA，2005年，第126-134页·Zbl 1267.68162号 [60] Nesterenko，M。；Arora，A.，稳定-保留原子性求精，并行与分布式计算杂志，62，5，766-791（2002）·Zbl 1004.68033号 [61] R.M.Nor，M.Nesterenko，C.Scheidler，《科罗纳：稳定的确定性消息传递跳过列表》，摘自：《分布式系统的稳定、安全和安全研讨会》，SSS，2011年，第356-370页。；R.M.Nor，M.Nesterenko，C.Scheidler，《科罗纳：稳定的确定性消息传递跳过列表》，摘自：《分布式系统的稳定、安全和安全研讨会》，SSS，2011年，第356-370页·Zbl 1358.68026号 [62] Albrecht，K。；库恩，F。；Wattenhofer，R.，《经受动态对抗搅动的可靠对等系统》，（《可靠系统：软件、计算、网络、DICS程序研究结果》，第4028卷（2006），Springer），275-294 [63] Moscibroda，T。；施密德，S。；Wattenhofer，R.，《关于自私对等体形成的拓扑》，（第二十五届ACM分布式计算原理研讨会论文集（2006），ACM），133-142·Zbl 1314.68162号 [64] 李，X。；Misra，J。；Plaxton，C.G.，环的并发维护，分布式计算，19，2，126-148（2006）·Zbl 1266.68039号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。