×
戈卡纳·沙尔马;布希，科斯塔斯

通用网络的分布式事务内存。 （英语） Zbl 1320.68050号

分布计算。 27，第5号，329-362（2014）.
摘要：我们考虑在大规模分布式网络系统中实现事务内存的问题。我们提出了一种用于事务性内存的新型分布式目录协议Spiral，并从最坏情况的角度对其性能边界进行了理论分析和实验评估。螺旋设计用于数据流软件事务存储器的分布式实现，支持三种基本操作：出版，允许在目录中插入共享对象，以便其他节点可以找到它；查找，向请求节点提供对象的只读副本；移动允许请求节点在获取对象后在本地写入该对象。该协议基于稀疏覆盖的分层目录结构运行，其中每个级别的集群都是有序的，以避免竞争条件，同时为并发请求提供服务。给定共享对象，协议维护指向该对象的目录路径。基本思想是使用向外扩展的“螺旋”路径以自下而上的方式搜索对象的目录路径。对于一般网络，该协议保证有限集的顺序和一次性并发执行中的（mathcal{O}（log^2n\cdot\log D）近似移动请求，其中\（n\）是节点数，\（D\）是网络的直径。它还保证任何单个的poly-log近似值查找请求。我们的边界是确定的，并在最坏的情况下保持不变。此外，该协议只需要每个节点的多对数位内存。在实际网络中的实验评估也证实了我们的理论发现。据我们所知，这是第一个在一般网络中实现多长近似的分布式事务内存确定性一致性协议。

引用于9文件

MSC公司：

64岁以下 分布式系统
68个M12 网络协议

关键词：

分布式事务存储器;缓存相干;层次聚类;稀疏覆盖;竞争比率;通用网络

软件：

DiSTM公司
PDF格式BibTeX公司 XML格式引用
\textit｛G.Sharma｝和\textit｛C.Busch｝，Distrib.Comput。27，编号5，329--362（2014年；兹bl 1320.68050）
全文： 内政部

参考文献：

[1] Alon，N.、Kalai，G.、Ricklin，M.、Stockmeyer，L.J.：移动用户跟踪和分布式作业调度的竞争比率下限。西奥。计算。科学。130(1), 175-201 (1994) ·Zbl 0834.68042号 ·doi:10.1016/0304-3975（94）90158-9
[2] Ansari，M.、Luján，M.，Kotselidis，C.、Jarvis，K.、Kirkham，C.和Watson，I.：Steal-on-abort：通过动态事务重新排序提高事务内存性能。摘自：《第四届高性能嵌入式架构和编译器国际会议论文集》（HiPEAC），第4-18页（2009）
[3] Attar，R.、Bernstein，P.A.、Goodman，N.：分布式数据库系统中的站点初始化、恢复和备份。IEEE传输。柔和。工程10（6），645-650（1984）·doi:10.1109/TSE.1984.5010293
[4] Attiya，H.，Gramoli，V.，Milani，A.：一种可证明的无饥饿分布式目录协议。摘自：《第十二届分布式系统稳定、安全与保障国际会议记录》，第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计算。Commun公司。版本21（4），221-233（1991）·数字对象标识代码：10.1145/115994.116013
[8] Bartal，Y.：度量空间的概率逼近及其算法应用。摘自：第37届计算机科学基础年会（FOCS）会议记录，第184-193页（1996）
[9] Bartal，Y.，Rosen，A.：分布式k服务器问题：竞争性的k服务器算法分布式翻译。J.算法23（2），241-264（1997）·Zbl 0876.68050号 ·doi:10.1006/jagm.1996.0826
[10] Ben-David，S.、Borodin，A.、Karp，R.、Tardos，G.、Wigderson，A.：关于在线算法中随机化的威力。算法11（1），2-14（1994）·兹比尔0784.68038 ·doi:10.1007/BF01294260
[11] Bernstein，P.A.，Hadzilacos，V.，Goodman，N.：数据库系统中的并发控制和恢复。Addison-Wesley Longman Publishing Co.Inc，马萨诸塞州波士顿（1987）
[12] Bocchino，R.L.，Adve，V.S.，Chamberlain，B.L.：大型集群的软件事务内存。摘自：第13届ACM SIGPLAN并行编程原理与实践研讨会（PPoPP）会议记录，第247-258页（2008）·Zbl 0619.68058号
[13] Couceiro，M.、Romano，P.、Carvalho，N.、Rodrigues，L.：D2stm：可靠的分布式软件事务内存。摘自：第15届IEEE环太平洋可靠计算国际研讨会（PRDC）会议记录，第307-313页（2009年）·Zbl 0876.68050号
[14] Demmer，M.J.，Herlihy，M.：箭头分布式目录协议。载：《第12届分布式计算国际研讨会论文集》，第119-133页（1998年）·兹比尔1101.68337
[15] Dijkstra，E.W.：分布式控制下的自我稳定系统。Commun公司。ACM 17（11），643-644（1974）·Zbl 0305.68048号 ·数字对象标识代码：10.1145/361179.361202
[16] Erdős，P.，Rényi，A.：关于随机图I.Publ。数学。德布勒森6，290-297（1959）·Zbl 0092.15705号
[17] Fakcharoenphol，J.，Rao，S.，Talwar，K.：用树度量近似任意度量的紧界。J.计算。系统。科学。69(3), 485-497 (2004) ·Zbl 1071.68082号 ·doi:10.1016/j.jcss.2004.04.011
[18] Gouda，M.G.，Multari，N.J.：稳定通信协议。IEEE传输。计算。40(4), 448-458 (1991) ·数字对象标识代码：10.1109/12.88464
[19] Guerraoui，R.，Herlihy，M.，Pochon，B.：走向事务争用管理器理论。载：第二十四届ACM分布式计算原理年度研讨会论文集，第258-264页（2005年）·Zbl 1314.68088号
[20] 古普塔（Gupta，A.）：斯坦纳（Steiner）在树指标中的得分（实际上）没有帮助。摘自：第十二届ACM-SIAM离散算法（SODA）年会论文集，第220-227页（2001）·Zbl 0990.05033号
[21] Gupta，A.、Hajiaghayi，M.T.、Räcke，H.：不经意的网络设计。摘自：第十七届ACM-SIAM离散算法（SODA）年会论文集，第970-979页（2006）·Zbl 1192.68037号
[22] Hammond，L.，Carlstrom，B.D.，Wong，V.，Chen，M.，Kozyrakis，C.，Olukotun，K.：事务一致性和一致性：简化并行硬件和软件。IEEE Micro 24（6），92-103（2004）·doi:10.1109/MM.2004.91
[23] Meyer auf der Heide，F.，Vöcking，B.，Westermann，M.：网络中的缓存（扩展抽象）。摘自：第十一届ACM-SIAM离散算法（SODA）年会论文集，第430-439页（2000）·Zbl 0954.68148号
[24] Herlihy，M.，Kuhn，F.，Tirthapura，S.，Wattenhofer，R.：箭头分布式协议的动态分析。西奥。计算。系统。39(6), 875-901 (2006) ·Zbl 1113.68025号 ·doi:10.1007/s00224-006-1251-9
[25] Herlihy，M.、Luchangco，V.、Moir，M.和Scherer，W.N.，III：用于动态大小数据结构的软件事务内存。摘自：第二十二届分布式计算原理年度研讨会论文集，第92-101页（2003）
[26] Herlihy，M.，Moss，J.E.B.：事务内存：无锁数据结构的架构支持。SIGARCH计算。架构（architecture）。新闻21（2），289-300（1993）·数字对象标识代码：10.1145/173682.165164
[27] Herlihy，M.，Sun，Y.：度量空间网络的分布式事务存储器。分布计算。20（3），195-208（2007）·Zbl 1266.68038号 ·doi:10.1007/s00446-007-0037-x
[28] Herlihy，M.，Tirthapura，S.，Wattenhofer，R.：竞争并发分布式排队。摘自：第二十届ACM分布式计算原理研讨会论文集，第127-133页（2001）·Zbl 1333.68062号
[29] Karger，D.R.，Ruhl，M.：在增长受限指标中寻找最近的邻居。摘自：第三十四届ACM计算机理论年会（STOC）会议记录，第741-750页（2002）·Zbl 1192.68750号
[30] Kotselidis，C.、Ansari，M.、Jarvis，K.、Luján，M.，Kirkham，C.，Watson，I.：Distm：集群的软件事务内存框架。摘自：第三十七届国际并行处理会议记录，第51-58页（2008年）
[31] Krauthgamer，R.，Lee，J.R.：导航网：邻近搜索的简单算法。摘自：第十五届ACM-SIAM离散算法（SODA）年会论文集，第798-807页（2004）·Zbl 1318.68071号
[32] Krick，C.，Räcke，H.，Westermann，M.：网络中数据管理的近似算法。西奥。计算。系统。36（5），497-519（2003）·Zbl 1101.68337号 ·doi:10.1007/s00224-003-1085-7
[33] Kuhn，F.，Wattenhofer，R.：箭头分布式协议的动态分析。摘自：第十六届ACM算法与架构并行性研讨会论文集，第294-301页（2004）·Zbl 0834.68042号
[34] Luby，M.：最大独立集问题的简单并行算法。SIAM J.计算。15(4), 1036-1053 (1986) ·Zbl 0619.68058号 ·数字对象标识代码：10.1137/012574
[35] Maggs，B.，auf der Heide，F.M.，Voecking，B.，Westermann，M.：在有限带宽的系统中利用位置进行数据管理。摘自：第38届计算机科学基础年会论文集，第284-293页（1997）
[36] Manassiev，K.，Mihailescu，M.，Amza，C.：利用事务内存集群中的分布式版本并发。摘自：第十一届ACM SIGPLAN并行编程原理与实践研讨会（PPoPP）会议记录，第198-208页（2006）
[37] Naimi，M.、Treel，M.和Arnold，A.：基于路径反转的对数（n）分布式互斥算法。J.平行分布计算。34(1), 1-13 (1996) ·doi:10.1006/jpdc.1996.0041
[38] Plaxton，C.G.、Rajaraman，R.、Richa，A.W.：访问分布式环境中复制对象的附近副本。西奥。计算。系统。32(3), 241-280 (1999) ·Zbl 0929.68126号 ·doi:10.1007/s002240000118
[39] Rajaraman，R.、Richa，A.W.、Vöcking，B.、Vuppuluri，G.：通用网络的数据跟踪方案。摘自：第十三届ACM并行算法和体系结构（SPAA）年会论文集，第247-254页（2001）·Zbl 0834.68042号
[40] Raymond，K.：一种基于树的分布式互斥算法。ACM事务处理。计算。系统。7（1），61-77（1989）·doi:10.1145/58564.59295
[41] Robins，G.，Zelikovsky，A.：图中改进的steiner树近似。摘自：第十一届ACM-SIAM离散算法（SODA）年会论文集，第770-779页（2000）·Zbl 0957.68084号
[42] Scherer III，W.N.，Scott，M.L.：动态软件事务内存的高级争用管理。摘自：第二十四届ACM分布式计算原理研讨会论文集，第240-248页（2005）
[43] Sharma，G.和Busch，C.：平衡事务性内存工作负载的竞争分析。《算法》63（1-2），296-322（2012）·Zbl 1236.68018号 ·doi:10.1007/s00453-011-9532-3
[44] Sharma，G.，Busch，C.：基于窗口的事务性内存贪婪争用管理：理论与实践。分布计算。25(3), 225-248 (2012) ·Zbl 1257.68152号 ·doi:10.1007/s00446-012-0159-7
[45] Sharma，G.，Busch，C.：分布式层次目录的分析框架。Algorithmica，Online First，第1-32页（初版）。摘自：《第十四届分布式计算和网络国际会议论文集》，LNCS，第7730卷，第378-392页（2013）
[46] Sharma，G.、Busch，C.、Srinivasagopalan，S.：通用网络的分布式事务内存。摘自：第26届IEEE国际并行和分布式处理研讨会（IPDPS）会议记录，第1045-1056页（2012）
[47] Shavit，N.，Touitou，D.：软件事务性内存。分布计算。10(2), 99-116 (1997) ·Zbl 1448.68214号 ·doi:10.1007/s004460050028
[48] Sun，Y.：弹道协议：测量空间网络中的位置软件分布式缓存一致性。布朗大学博士论文（2006年）
[49] Takahashi，H.，Matsuyama，A.：图中Steiner问题的近似解。数学。《日本24，573-577》（1980）·Zbl 0435.05036号
[50] Talwar，K.：绕过嵌入：低维度量的算法。摘自：第三十六届ACM计算机理论年会（STOC）论文集，第281-290页（2004）·Zbl 1192.68918号
[51] Tirthapura，S.，Herlihy，M.：自稳定分布排队。IEEE传输。平行配送系统。17(7), 646-655 (2006) ·doi:10.1109/TPDS.2006.94
[52] Zhang，B.，Ravindran，B.：BA：中继——分布式事务内存的缓存一致性协议。摘自：《第十三届分布式系统原理国际会议论文集》，第48-53页（2009年）
[53] Zhang，B.，Ravindran，B.：分布式事务存储器中继缓存相干协议的动态分析。摘自：第24届IEEE国际并行与分布式处理研讨会（IPDPS）会议记录，第1-11页（2010年）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。