×

兹马思-数学第一资源

通用网络的分布式事务内存。(英语) Zbl 1320.68050
摘要:我们考虑在大规模分布式网络系统中实现事务性内存的问题。本文提出了一种新的基于目录的事务内存协议Spiral,并从最坏情况的角度对其性能边界进行了理论分析和实验评估。螺旋是为数据流哪种基本的事务性软件实现支持三种分布式内存操作:出版,允许在目录中插入共享对象,以便其他节点可以找到它;查找,向请求节点提供对象的只读副本;移动,允许请求节点在获取对象后在本地写入该对象。该协议运行在基于稀疏覆盖的分层目录结构上,其中每个级别的集群被排序,以避免在服务并发请求时出现竞争情况。给定一个共享对象,协议维护指向该对象的目录路径。其基本思想是使用向外增长的“螺旋”路径以自下而上的方式搜索对象的目录路径。对于一般的网络,这个协议保证在一组有限的移动请求,其中\(n\)是节点数,\(D\)是网络的直径。它还保证了任何单个的poly-log近似查找请求。我们的界是确定的,在最坏的情况下是成立的。此外,该协议只需要每个节点的多段算术内存位。实际网络中的实验评估也证实了我们的理论发现。据我们所知,这是第一个在一般网络中实现poly-log近似的分布式事务内存的确定性一致性协议。

理学硕士:
68米14 分布式系统
68M12 网络协议
软件:
距离
PDF格式 BibTeX公司 XML 引用
全文: 内政部
参考文献:
[1] Alon,N;Kalai,G;Ricklin,M;Stockmeyer,LJ,移动用户跟踪和分布式作业调度竞争比的下界,理论。计算机。科学,130175-201,(1994)·68008ZB42
[2] Ansari,M.,Luján,M.,Kotselidis,C.,Jarvis,K.,Kirkham,C.,Watson,I.:中止时偷取:通过动态事务重新排序提高事务内存性能。第四届高性能嵌入式体系结构与编译器国际会议论文集,第4-18页(2009)
[3] Attar,R;Bernstein,PA;Goodman,N,《分布式数据库系统中的站点初始化、恢复和备份》,IEEE Trans。软。工程学,10645-650,(1984年)
[4] Attiya,H.,Gramoli,V.,Milani,A.:一个可证明的无饥饿的分布式目录协议。第12届分布式系统稳定、安全与保障国际会议论文集,第405-419页(2010)·Zbl 0929.68126
[5] Awerbuch,B.,Patt Shamir,B.,Varghese,G.:通过局部检查和校正实现的自稳定(扩展摘要)。第32届计算机科学基础年会论文集,第268-277页(1991年)·Zbl 1257.68152号
[6] Awerbuch,B.,Peleg,D.:稀疏分区。第31届计算机科学基础年会论文集,第2卷,第503-513页(1990年)
[7] Awerbuch,B;Peleg,D,移动用户并发在线跟踪,SIGCOMM计算机。公社。第21版,第221-233页,(1991年)
[8] Bartal,Y.:度量空间的概率逼近及其算法应用。第37届计算机科学基础年会论文集,第184-193页(1996)
[9] 《分布式翻译算法》,第241K-264页,分布式服务器算法·Zbl 0876.68050
[10] Ben David,S;Borodin,A;Karp,R;Tardos,G;Wigderson,A,《在线算法中随机化的力量》,Algorithmica,11,2-14,(1994)·Zbl 0784.68038
[11] Bernstein,P.A.,Hadzilacos,V.,Goodman,N.:数据库系统中的并发控制和恢复。Addison-Wesley-Longman出版公司,马萨诸塞州波士顿(1987)
[12] Bocchino,R.L.,Adve,V.S.,Chamberlain,B.L.:大型集群的软件事务性内存。第13届ACM SIGPLAN并行编程原理与实践研讨会论文集,第247-258页(2008)·Zbl 0619.68058
[13] Couceiro,M.,Romano,P.,Carvalho,N.,Rodrigues,L.:D2stm:可靠的分布式软件事务性内存。第15届IEEE环太平洋可靠计算国际研讨会论文集,第307-313页(2009)·Zbl 0876.68050
[14] Demmer,M.J.,Herlihy,M.:arrow分布式目录协议。第12届分布式计算国际研讨会论文集,第119-133页(1998)·Zbl 1101.68337
[15] Dijkstra,EW,尽管分布式控制的自稳定系统,通讯。ACM,17643-644,(1974年)·Zbl 0305.68048
[16] Erdős,P;Rényi,A,随机图I,Publ。数学。德布勒森,6290-297,(1959年)·Zbl 0092.15705
[17] Fakcharoenphol,J;Rao,S;Talwar,K,《用树度量逼近任意度量的紧界》,J.Comput。系统。《科学》,69485-497,(2004年)·Zbl 1071.68082
[18] Gouda,MG;Multari,NJ,《稳定通信协议》,IEEE Trans。计算机,40,448-458,(1991年)
[19] Guerraoui,R.,Herlihy,M.,Pochon,B.:走向事务竞争管理器的理论。第二十四届ACM分布式计算原理研讨会论文集,第258-264页(2005)·Zbl 1314.68088
[20] 古普塔:树度量中的Steiner点(实际上)没有帮助。第十二届ACM-SIAM离散算法研讨会论文集,第220-227页(2001)·Zbl 0990.05033
[21] Gupta,A.,Hajiaghayi,M.T.,Räke,H.:不经意的网络设计。第十七届ACM-SIAM离散算法研讨会论文集,第970-979页(2006)·Zbl 1192.68037
[22] Hammond,L;Carlstrom,BD;Wong,V;Chen,M;Kozyrakis,C;Olukotun,K,《事务一致性和一致性:简化并行硬件和软件》,IEEE Micro,2492-103,(2004)
[23] Meyer auf der Heide,F.,Vöcking,B.,Westermann,M.:网络缓存(扩展摘要)。第十一届ACM-SIAM离散算法研讨会论文集,430-439页(2000)·Zbl 0954.68148
[24] Herlihy,M;Kuhn,F;Tirthapura,S;Wattenhofer,R,arrow分布式协议的动态分析,理论。计算机。系统,39875-901,(2006年)·Zbl 1113.68025
[25] Herlihy,M.,Luchangco,V.,Moir,M.,Scherer,W.N.,III:用于动态大小数据结构的软件事务性内存。第二十二届计算原理研讨会(第92-92页),第101页
[26] Herlihy,M;Moss,JEB,《事务性内存:无锁数据结构的体系结构支持》,SIGARCH Comput。拱门。新闻,21289-300,(1993)
[27] Herlihy,M;Sun,Y,《用于度量空间网络的分布式事务性内存》,Distrib。计算机,195-208,(2007)·Zbl 1266.68038
[28] Herlihy,M.,Tirthapura,S.,Wattenhofer,R.:竞争性并发分布式排队。第二十届ACM分布式计算原理研讨会论文集,第127-133页(2001)·Zbl 1333.68062
[29] Karger,D.R.,Ruhl,M.:在增长受限指标中寻找最近邻。第34届ACM计算理论研讨会论文集,第741-750页(2002)·Zbl 1192.68750
[30] Kotselidis,C.,Ansari,M.,Jarvis,K.,Luján,M.,Kirkham,C.,Watson,I.:Distm:集群的软件事务性内存框架。In:《第37届并行处理国际会议论文集》,第51-58页(2008年)
[31] Krauthgamer,R.,Lee,J.R.:导航网络:接近搜索的简单算法。第十五届ACM-SIAM离散算法研讨会论文集,第798-807页(2004)·Zbl 1318.68071
[32] Krick,C;Räcke,H;Westermann,M,《网络数据管理的近似算法》,理论。计算机。系统,36497-519,(2003年)·Zbl 1101.68337
[33] Kuhn,F.,Wattenhofer,R.:arrow分布式协议的动态分析。In:第十六届ACM算法与体系结构并行性研讨会论文集,第294-301页(2004)·Zbl 0834.68042
[34] 卢比,M,最大独立集问题的一个简单并行算法,暹罗计算机,151036-1053,(1986)·Zbl 0619.68058
[35] Maggs,B.,auf der Heide,F.M.,Voecking,B.,Westermann,M.:在有限带宽系统中利用局部性进行数据管理。第38届计算机科学基础年会论文集,第284-293页(1997年)
[36] Manassiev,K.,Mihailescu,M.,Amza,C.:在事务性内存集群中利用分布式版本并发性。In:第十一届ACM SIGPLAN并行编程原理与实践研讨会论文集,第198-208页(2006)
[37] Naimi,M;Trehel,M;Arnold,A,基于路径反转的对数(n)分布式互斥算法,J.并行分布。计算机,34,1-13,(1996)
[38] Plaxton,CG;Rajaraman,R;Richa,AW,《在分布式环境中访问复制对象的附近副本》,Thero。计算机。1999年,第241-280页·Zbl 0929.68126
[39] Rajaraman,R.,Richa,A.W.,Vöcking,B.,Vuppluri,G.:通用网络的数据跟踪方案。第十三届ACM并行算法与体系结构研讨会论文集,第247-254页(2001)·Zbl 0834.68042
[40] Raymond,K,一种基于树的分布式互斥算法,ACM Trans。计算机。第77-61页,1989年
[41] Robins,G.,Zelikovsky,A.:图中改进的steiner树近似。第十一届ACM-SIAM离散算法研讨会论文集,770-779页(2000)·Zbl 0957.68084
[42] Scherer III,W.N.,Scott,M.L.:动态软件事务性内存的高级竞争管理。第二十四届ACM分布式计算原理研讨会论文集,第240-248页(2005)
[43] Sharma,G;Busch,C,《平衡事务内存工作负载的竞争分析》,Algorithmica,63296-322,(2012)·Zbl 1236.68018号
[44] Sharma,G;Busch,C,《事务性内存的基于窗口的贪婪竞争管理:理论与实践》,发行版。计算机,25225-248,(2012年)·Zbl 1257.68152号
[45] Sharma,G.,Busch,C.:分布式层次目录的分析框架。算法,在线第一,第1-32页(初步版本)。In:《第14届分布式计算与网络国际会议论文集》,LNCS,第7730卷,第378-392页(2013年)
[46] Sharma,G.,Busch,C.,Srinivasagopalan,S.:通用网络的分布式事务内存。第26届IEEE国际并行与分布式处理研讨会论文集,1045-1056页(2012)
[47] Shavit,N;Touitou,D,软件事务性内存,发行版。计算机,10,99-116,(1997)
[48] Sun,Y.:弹道协议:度量空间网络中的位置感知分布式缓存一致性。布朗大学博士论文(2006)
[49] Takahashi,H;Matsuyama,A,图中Steiner问题的近似解,数学。日本,24573-577,(1980)·Zbl 0435.05036
[50] Talwar,K.:绕过嵌入:低维度量的算法。第三十六届ACM计算理论研讨会论文集,第281-290页(2004)·Zbl 1192.68918号
[51] Tirthapura,S;Herlihy,M,自稳定分布式排队,IEEE Trans。平行分布。第656-645页,2006年
[52] Zhang,B.,Ravindran,B.:BA:用于分布式事务内存的中继缓存一致性协议。第13届分布式系统原理国际会议论文集,第48-53页(2009)
[53] Zhang,B.,Ravindran,B.:分布式事务内存中继缓存一致性协议的动态分析。第24届IEEE国际并行与分布式处理研讨会论文集,第1-11页(2010)
数字图书馆提供的数学或参考资料就是基于此。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。