×
德罗兹·巴托利特。;J.-C.拉佩尔。;布凯，F。;E.加西亚。;A.海尼什。

拉莫斯：协同系统的并发编写和重新配置。 （英语） Zbl 1242.68019号

J.平行分布计算。 72，第5期，637-649（2012）.
摘要：具有特定分布式系统的协作系统允许多个参与者在一个公共虚拟空间中工作，同时再现不同的方式在一个组中进行交互。这样的系统不仅要管理上下文的共享，特别是上下文的一致性，同时还要管理容错。文献中没有系统结合这两个要求。
在本文中，我们提出了新的协议Ramos，它基于异步消息传递模型实现了容错和上下文一致性（确保写入操作的总顺序）。通信通过八卦消息进行，这些消息在动态节点集之间以任意频率发送。拉莫斯基于兰博III用于复制数据服务的算法。兰博III提供两个功能：动态节点集的重新配置和复制对象的读/写。在拉莫斯重新配置过程兰博III适应协作系统和帕克索斯用于执行并发写入操作。假设在一组\（2f+1）节点中，最多允许\（f）节点的子集同时失效。此外，假设应用程序使用拉莫斯提供了一种领导人选举方法。拉莫斯这里提出的算法提供了一个重要特性：所有写操作都是完全有序的。

理学硕士：

64岁以下 分布式系统
68米15 网络和计算机系统的可靠性、测试和容错
68平方米 网络协议

关键词：

分布式计算理论;容错;法团系统

软件：

Logoot公司;大表
PDF格式BibTeX公司 XML格式引用
\textit{L.Droz-Bartholet}等人，J.平行分布计算。72，第5号，637--649（2012；Zbl 1242.68019）
全文： 内政部

参考文献：

[1] 亚伯拉罕一世。；节流阀，G.V。；基达尔，I。；Malkhi，D.：拜占庭磁盘帕克索斯：拜占廷共享内存的最佳弹性，226-235（2004）·Zbl 1266.68203号
[2] 亚伯拉罕一世。；Malkhi，D.：动态系统的概率配额，Distrib.comput。18，第2期，113-124（2005）·Zbl 1264.68022号
[3] 阿格拉瓦尔，D。；El Abbadi，A.：树仲裁协议：管理复制数据的有效方法，243-254（1990）
[4] Y.Amir，D.Dolev，P.M.Melliar-Smith，L.E.Moser，《使用组通信的稳健高效复制》，技术报告，分布式系统和网络实验室，马里兰州巴尔的摩，1994年。
[5] 阿提亚，H。；Bar-Noy，A。；Dolev，D.：在消息传递系统中稳健地共享内存，J.ACM 42，第1期，124-142（1995）·Zbl 0886.68018号 ·doi:10.1145/200836.200869
[6] 贝戈尔，J。；罗森，M.B。；Shaffer，C.A.：灵活的协作透明度：在复制的应用程序共享系统中支持员工独立性，ACM trans。计算-哼。互动。6，第2期，95-132（1999）
[7] Burrows，M.：松散耦合分布式系统的胖锁服务，335-350（2006）
[8] 卡玛戈斯，L.J。；施密特，R.M。；Pedone，F.：多坐标paxos，316-317（2007）·Zbl 1283.68082号
[9] Chandra，T.D。；Griesemer，R。；雷德斯通（Redstone，J.）：《帕克索斯（Paxos）活了起来：一个工程视角》，398-407（2007）
[10] Chandra，T.D。；Toueg，S.：《可靠分布式系统的不可靠故障检测器》，J.ACM 43，No.2，225-267（1996）·Zbl 0885.68021号 ·数字对象标识代码：10.1145/226643.226647
[11] Chang，F.等人。；迪安·J。；Ghemawat，S。；谢长廷。；Wallach，D.A。；Burrows，M。；Chandra，T。；Fikes，A。；Gruber，R.E.：Bigtable：结构化数据的分布式存储系统，15（2006）
[12] 节流阀，G。；吉尔伯特，S。；格拉莫利，V。；穆西亚尔，P.M。；Shvartsman，A.A.：动态网络的可重构分布式存储，J.并行分布式计算。69，第1期，100-116（2009）·Zbl 1327.68043号
[13] 多梅尔，H.-P。；Garcia-Luna-Aceves，J.J.：多媒体会议和协作的楼层控制，多媒体系统。5，第1期，23-38（1997年）
[14] L.Droz-Bartholet、F.Bouquet、J.Lapayre、E.Garcia、Preuve de la garanie de la sequentialite du systeme collaboratif ramos，《技术报告RR2011-12》，69页，DISC，2011年。
[15] R.Duque，C.Bravo，M.Ortega，分析群件系统中协作工作和产品的概念模型，第125–132页，2009年。
[16] 埃利斯，C.A。；Gibbs，S.J.：群件系统中的并发控制，SIGMOD rec.18，399-407（1989）
[17] 恩格尔，B。；Shvartsman，A.A.：共享内存健壮仿真中的优雅仲裁重新配置，454（2000）
[18] 费舍尔，M.J。；北卡罗来纳州林奇。；Paterson，M.S.：一个有缺陷的过程不可能达成分布式共识，J.ACM 32，第2号，374-382（1985）·Zbl 0629.68027号 ·数字对象标识代码：10.1145/3149.214121
[19] 加夫尼，E。；Lamport，L.：磁盘paxos，Distribute.comput。16，第1期，1-20（2003）·Zbl 0987.68667号
[20] E.Garcia、H.Guyennet、J.Henriet、Lapayre Jean-Christophe，《走向并发的乐观管理：朝圣协议的概率研究》。第51-65页，2005年。
[21] Garcia-Molina，H。；Barbara，D.：《如何在分布式系统中分配选票》，J.ACM 32，第4期，841-860（1985）·Zbl 0633.68109号 ·doi:10.11145/4221.4223
[22] Gifford，D.K.：复制数据的加权投票，150-162（1979）
[23] 吉尔伯特，S。；北卡罗来纳州林奇。；Shvartsman，A.A.：兰博II：动态网络的快速可重构原子存储器，Dsn，259（2003）
[24] V.Gramoli，Rambo III：加速动态分布式系统中原子内存服务的重新配置，硕士论文，巴黎大学，法国，2004年。
[25] Gramoli，V.：大教堂动力系统，153-160（2007）
[26] Gramoli，V.公司。；Anceaume，E。；Virgillito，A.：Square：可扩展的基于配额的原子内存，具有本地重新配置，574-579（2007）
[27] 古特温，C。；Graham，T.N。；沃尔夫，C。；Wong，N。；De Alwis，B.：已逝但未被遗忘：同步群件中的断开设计，179-188（2010）
[28] Lamport，L.：分布式系统中的时间、时钟和事件顺序，Commun。ACM 21，第7号，558-565（1978）·Zbl 0378.68027号 ·doi:10.1145/359545.359563
[29] Lamport，L.：兼职议会，ACM trans。计算。系统。16，第2期，133-169（1998）
[30] Lamport，L.：Fast paxos，Distribute.comput公司。19，第2期，79-103（2006）·Zbl 1266.68218号
[31] 林奇，N。；Shvartsman，A.A.：兰博：动态网络的可重构原子内存服务，光盘，173-190（2002）·Zbl 1029.68527号
[32] 北卡罗来纳州林奇。；Tuttle，M.R.：分布式算法的层次正确性证明，Podc，137-151（1987）
[33] 马丁·J·P。；Alvisi，L.：快速拜占庭共识，IEEE翻译。可靠安全。计算。202-215（2006）第3期第3条
[34] M.Moser，S.Haridi，交易性DHT中的原子承诺，收录于：CoreGRID研讨会论文集，2007年。
[35] Munson，J。；Dewan，P.：协作系统的并发控制框架，278-287（1996）
[36] Naor，M。；Wieder，U.：可扩展和动态定额系统，114-122（2003）·Zbl 1264.68032号
[37] 奥斯特，G。；Urso，P。；莫莉，P。；Imine，A.：P2P协作编辑的数据一致性，259-268（2006）
[38] G.L.Park，分布式内存多处理器系统中列表调度算法的性能评估，第249-256页，2004年。
[39] 普雷古伊萨，N。；Marquès，J.M。；夏皮罗，M。；勒？ia，M.：用于协作编辑的交换复制数据类型，395-403（2009）
[40] Prisco，R.D。；兰普森，B.W。；Lynch，N.A.：重温帕克索斯算法，Theor。计算。科学。243，编号1-2，35-91（2000）·Zbl 0944.68102号 ·doi:10.1016/S0304-3975（00）00042-6
[41] Qin，X.：《来自战壕的研究：实时协同编辑系统中的容错支持》，IEEE分布式系统。在线2，No.1（2001）
[42] M.Raynal，A.Schiper，《分布式共享存储器一致性标准的一套形式化定义》，载于：《并行分布与计算国际会议论文集》（PDCS’96），第125-130页，1996年。
[43] R.Rodrigues，B.Liskov，Rosebud:一种可扩展的拜占庭容错存储体系结构，技术报告MIT-LCS-TR-932，计算机科学和人工智能实验室，麻省理工学院，2003年12月。
[44] Schütt，T。；辛特克，F。；Reinefeld，A.：Scalaris:可靠的事务性p2p密钥/值存储，41-48（2008）
[45] 斯特菲克，M。；Bobrow，D.G。；福斯特·G。；兰宁，S。；Tatar，D.：所见即所得修订版：多用户界面的早期经验，ACM trans。信息系统。5，第2期，147-167（1987）
[46] Sun，C。；Ellis，C.：实时群组编辑器中的操作转换：问题、算法和成就，59-68（1998）
[47] Sun，C。；贾，X。；Zhang，Y。；Yang，Y。；Chen，D.：在实时协同编辑系统中实现收敛、因果关系保持和意图保持，ACM trans。计算-哼。互动。5，第1期，63-108（1998年）
[48] Thomas，R.H.：多副本数据库并发控制的大多数共识方法，ACM trans。数据库系统。4，第2期，180-209（1979）
[49] , (2006)
[50] 乌普法尔，E。；Wigderson，A.：《如何在分布式系统中共享内存》，J.ACM 34，第1期，116-127（1987）·Zbl 0629.68028号 ·doi:10.1145/7531.7926
[51] Weiss，S。；Urso，P。；Molli，P.：Logoot:用于p2p网络上协作编辑的可扩展乐观复制算法，404-412（2009）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。