×

具有可分割和可合并组的协作计算。 (英语) Zbl 1073.68096号

摘要:这项工作考虑了在一组协作的消息传递处理器上执行一组任务的问题。处理器使用组通信服务(GCS)在底层网络拓扑的动态变化导致处理器组随时间变化的情况下协调其活动。GCS已被公认为在此类环境中容错应用的有效构建块。我们的结果探讨了使用GCS进行容错协同计算的效率。该地区的原始调查D.Dolev、R.SegalaA.施瓦茨曼[“利用组通信实现动态负载平衡”,载于:第六届结构信息和通信复杂性国际学术讨论会(1999年)会议记录],重点讨论了存在碎片重组的竞争下限、非冗余任务分配方案和工作效率算法。在这项工作中,我们研究了分段和合并重组的工作效率和消息效率算法。我们提出了一种使用GCS并实现基于坐标策略的算法。为了分析我们的算法,我们引入了视图粒度的概念,它表示处理器见证的部分有序视图演化历史。对于分段和合并,算法的工作(定义为计算多重数的最坏情况下任务执行总数)不超过min\({N\cdot f+N,N\cdot-P\}\),消息复杂性不低于\(4(N\cdotef+N+P\cdot m)\),其中\(f\)和\(m\)分别表示分段和合并创建的新组的数量。请注意,常数非常小,有趣的是,虽然工作效率取决于因碎片化而创建的组的数量,但工作并不取决于因合并而创建的群的数量。

MSC公司:

68宽15 分布式算法

软件:

荷鲁斯
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Babaoglu,O。;达沃利,R。;贾奇尼,L。;Baker,M.,《Relacs:在大规模分布式系统中构建可靠应用的通信基础设施》(夏威夷国际计算机和系统科学会议论文集,第2卷(1995)),612-621
[2] 伯曼,K.P。;van Renesse,R.,《使用Isis工具包的可靠分布式计算》(1994),IEEE计算机学会出版社:IEEE计算机学会出版社,加利福尼亚州洛斯阿拉米托斯
[3] Chlebus,B。;De Prisco,R。;Shvartsman,A.,《在可重启消息传递处理器上执行任务》,Distrib.Comput。,14, 49-64 (2001) ·Zbl 1448.68083号
[4] 节流阀,G.V。;基达尔,I。;Vitenberg,R.,《群组通信规范:综合研究》,ACM Compute。调查,33,1-43(2001)
[5] Comm.ACM(集团通信服务专刊),39(1996)
[6] De Prisco,R。;Fekete,A。;林奇,N。;Shvartsman,A.,《面向动态视图的组通信服务》,(第17届ACM分布式计算原理研讨会(1998年),第227-236页)
[7] De Prisco,R。;Mayer,A。;Yung,M.,《故障情况下的时间最优信息效率工作性能》(第13届ACM分布式补偿原理研讨会论文集,1994年),161-172·Zbl 1373.68090号
[8] 多列夫,D。;Malki,D.,transis高可用性集群通信方法,通信ACM,39,64-70(1996)
[9] 多列夫,S。;塞加拉,R。;Shvartsman,A.,《利用群组通信实现动态负载平衡》,(第六届结构信息与通信复杂性国际学术讨论会(1999年),第111-125页)
[10] 德沃克,C。;Halpern,J。;Waarts,O.,《在存在故障的情况下高效地执行工作》,SIAM J.Compute。,27, 1457-1491 (1998) ·Zbl 0907.68099号
[11] Ezhilchelvan,P。;马其顿共和国。;Shrivastava,S.,Newtop:容错组通信协议,(IEEE国际会议论文集,分布式计算系统会议(1995)),296-306
[12] Fekete,A。;林奇,N。;Shvartsman,A.,《指定和使用组通信服务》,ACM Trans。计算。系统。,171-216年9月19日(2001年)
[13] 加利尔,Z。;Mayer,A。;Yung,M.,解决拜占庭协议及其以外的消息复杂性,(第36届IEEE计算机科学基础研讨会论文集(1995)),724-733·兹伯利0938.68658
[14] 乔治奥,C。;Shvartsman,A.,《可分裂群和可合并群的协同计算》(第七届结构信息与通信复杂性国际学术讨论会论文集(2000)),141-156·Zbl 1073.68096号
[15] M.Hayden,合奏系统,博士论文,TR98-1662,康奈尔大学,1998年;M.Hayden,合奏系统,博士论文,TR98-1662,康奈尔大学,1998年
[16] Kanellakis,P。;Shvartsman,A.,容错并行计算(1997),Kluwer Academic:Kluwer-Academic Dordrecht·Zbl 0881.68050号
[17] Khazan,R。;Fekete,A。;Lynch,N.,《作为负载平衡复制数据服务基础的多播组通信》,(第12届分布式计算国际研讨会论文集。第12届分布计算国际研讨会文献集,计算科学讲义,1499(1998),Springer:Springer-Andros),258-272
[18] Lotem,E.Y。;凯达尔,I。;Dolev,D.,《一致主要组件的动态投票》,(第16届ACM分布式计算原理年会(1997年)会议记录),63-71·Zbl 1373.68091号
[19] Lynch,N.A.,分布式算法(1996),Morgan Kaufmann:Morgan Koufmann San Mateo,CA·Zbl 0877.68061号
[20] 北卡罗来纳州林奇。;Tuttle,M.R.,《输入/输出自动机简介》,CWI Quarterly,2219-246(1989)·Zbl 0677.68067号
[21] Malewicz,G。;罗素(A.Russell)。;Shvartsman,A.A.,《缺乏通信时的分布式合作》,(第14届分布式计算国际研讨会,第14届国际分布式计算研讨会,计算科学讲稿,1914(2000),施普林格:施普林格柏林),119-133,初版:简要公告,2000年第19届ACM分布式计算原理研讨会·Zbl 0987.68003号
[22] Moser,L.E。;梅利亚·史密斯,P.M。;阿加拉瓦尔,D.A。;Budhia,R.K。;Lingley-Papadopolous,C.A.,《图腾:容错多播组通信系统》,美国通信协会,39,54-63(1996)
[23] 米什拉,S。;彼得森,L.L。;Schlichting,R.D.,领事:容错分布式程序的通信基板,分布式系统。工程,187-103(1993)
[24] van Renesse,R。;伯曼,K.P。;Maffeis,S.,《荷鲁斯:一种灵活的群组通信系统》,美国通信协会,39,76-83(1996)
[25] 萨克斯,M。;北沙维特。;Woll,H.,最佳时间随机一致性,使弹性算法在实践中快速实现,(第二届ACM-SIAM离散算法研讨会论文集(1991)),351-362·Zbl 0800.68463号
[26] 苏斯曼,J。;Marzullo,K.,The bancomat problem:a example of resource allocation in a partiable asynchronous system,(第十二届分布式计算国际研讨会论文集,第十二届分布计算国际研讨会文献集,计算科学讲稿,1499(1998),Springer:Springer-Andros),363-377·Zbl 1026.68008号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。