×
卢武铉;明治真人;金·苏;李俊元

复制的抽象数据类型：协作应用程序的构建块。 （英语） Zbl 1219.68092号

J.平行分布计算。 71，第3期，354-368（2011）。
摘要：对于需要协作的分布式应用程序，非常需要响应性和透明的交互性。尽管这种交互可以通过乐观复制实现，但维护副本一致性很困难。为了支持协作应用程序的高效实现，本文将一些具有代表性的抽象数据类型（ADT），如数组、哈希表和可增长数组（或链表），扩展为复制抽象数据类型（RADT）。在RADT中，共享ADT通过乐观操作进行复制和修改。操作交换性和优先传递性是RADT在执行顺序不同的情况下保持一致性的两个原则。特别是，复制的可增长阵列（RGA）支持插入/删除/更新操作。与以前的乐观插入和删除方法相比，RGA在性能、可伸缩性和可靠性方面有了显著改进。

引用于4文件

MSC公司：

68第05页 数据结构

关键词：

分布式数据结构;乐观复制;复制的抽象数据类型;乐观算法;协作

软件：

Logoot公司;薄层色谱法
PDF格式BibTeX公司 XML格式引用
\textit{H.-G.Roh}等人，J.平行分布计算。71，第3号，354--368（2011；Zbl 1219.68092）
全文： 内政部

参考文献：

[1] Badrinath，B.R。；Ramamritham，K.：基于语义的并发控制：超越交换性，数据库系统上的ACM事务17，No.1，163-199（1992）
[2] 巴拉克里希南，V.：图论（1997）·1083.05500兹罗提
[3] 伯恩斯坦，P.A。；Goodman，N.：复制分布式数据库中并发控制和恢复的算法，数据库系统上的ACM事务9，第4期，596-615（1984）
[4] 伯曼，K。；Cooper，R.：ISIS项目：容错编程系统的实际经验，SIGOPS操作系统评论25，第2期，103-107（1991）
[5] 伯曼，K.P。；Schiper，A。；Stephonson，P.：轻量级因果和原子组多播，计算机系统上的ACM事务9，第3期，272-314（1991）
[6] A.Demers、D.Greene、C.Hauser、W.Irish、J.Larson、S.Shenker、H.Sturgis、D.Swinehart、D.Terry，《用于复制数据库维护的流行算法》，摘自：《ACM分布式计算原理研讨会论文集》，PODC，1987年，第1-12页。
[7] C.A.Ellis，S.J.Gibbs，群件系统中的并发控制，摘自：ACM国际数据管理会议记录，SIGMOD，1989年，第399-407页。
[8] 埃利斯，C.A。；Gibbs，S.J。；Rein，G.：群件：一些问题和经验，ACM通信34，第1期，39-58（1991）
[9] M.J.Fischer，A.Michael，《牺牲可串行性以在不可靠网络中获得数据可用性》，载于：《ACM数据库系统原理研讨会论文集》，PODS，1982年。
[10] R.A.Golding，Weak-consistency group communication and membership，加州大学圣克鲁斯分校博士论文，1992年。
[11] 谷歌公司，谷歌wave协议，2009年。http://www.waveprotocol.org/。
[12] J.Gray，P.Helland，P.O'Neil，D.Shasha，《复制的危险和解决方案》，载《ACM国际数据管理会议论文集》，SIGMOD，1996年，第173-182页。
[13] S.Greenberg，D.Marwood，《作为分布式系统的实时群件：并发控制及其对接口的影响》，载于《计算机支持的协同工作ACM会议论文集》，CSCW，1994年，第207-217页。
[14] P.A.Jensen，N.R.Soparkar，A.G.Mathur，《使用并发控制理论描述多播排序》，载于：《IEEE分布式计算系统国际会议论文集》，ICDCS，1997，第586–593页。
[15] Lamport，L.：分布式系统中的时间、时钟和事件顺序，美国计算机学会通讯21，第7期，558-565（1978）·Zbl 0378.68027号 ·doi:10.1145/359545.359563
[16] 李德华，李荣华，《在小组编辑中保持操作效果关系》，载《计算机支持的协同工作ACM会议论文集》，CSCW，2004年，第457-466页。
[17] R.Li，D.Li，群件中基于交换的并发控制，摘自：协作计算国际会议：网络、应用程序和工作共享，CollaborateCom，2005年，第10页。
[18] 李，D。；Li，R.：群组编辑算法的性能研究，300-307（2006）
[19] 李，R。；Li，D.：实时组编辑器的新操作转换框架，并行和分布式系统上的IEEE事务18，第3期，307-319（2007）
[20] 卢什曼，B。；Cormack，G.V.：里塞尔所采用算法的正确性证明，《信息处理信件86》，第6期，第303-310页（2003年）·Zbl 1162.68373号 ·doi:10.1016/S0020-0190（03）00227-8
[21] S.Mishra，L.L.Peterson，R.D.Schlichting，《使用Psync实现容错复制对象》，载《可靠分布式系统研讨会论文集》，1989年，第42–52页。
[22] G.Oster，P.Molli，P.Urso，A.Imine，用于确保协作编辑系统一致性的Tombstone转换功能，收录于：《协作计算国际会议：网络、应用程序和工作共享》，CollaborateCom，2006年，第1-10页。
[23] G.Oster、P.Urso、P.Molli、A.Imine，《无操作转换的实时群组编辑》，《RR-5580研究报告》，INRIA，2005年5月。
[24] G.Oster，P.Urso，P.Molli，A.Imine，《P2P协同编辑的数据一致性》，载于《计算机支持的协同工作ACM会议论文集》，CSCW，2006年，第259-268页。
[25] 普拉卡什，R。；雷纳，M。；Singhal，M.：适用于移动计算环境的自适应因果排序算法，《并行和分布式计算杂志》41，第2期，190-204（1997）
[26] N.Preguiça，J.M.Marqués，M.Shapiro，M.Letia，合作编辑的交换复制数据类型，收录于：IEEE分布式计算系统国际会议论文集，ICDCS，2009年。
[27] M.Ressel，D.Nitsche-Ruhland，R.Gunzenhäuser，《面向转换的集成方法在群组编辑器中的并发控制和撤消》，载于：《计算机支持的协同工作ACM会议论文集》，CSCW，1996年，第288-297页。
[28] H.-G.Roh，J.Kim，J.Lee，《如何为对等复制设计乐观操作》，载于：信息科学联合会议，JCIS，2006年。
[29] H.-G.Roh，J.-S.Kim，J.Lee，S.Maeng，复制抽象数据类型的乐观操作，技术报告CS-TR-2009-318，KAIST，2009年。
[30] Saito，Y。；Shapiro，M.：乐观复制，ACM计算调查37，第1期，42-81（2005）·Zbl 1018.68806号
[31] M.Shapiro，N.Preguiça，《设计可交换复制数据类型》，Rapport de recherche RR-6320，INRIA，2007年10月。
[32] 苏莱曼，M。；手推车，M。；Ferrié，J.：分布式和移动协作环境中的并发操作，36-45（1998）
[33] Sun，C。；Chen，D.：实时协同图形编辑系统中的一致性维护，计算机上的ACM事务-人机交互9，第1期，1-41（2002）
[34] C.Sun，C.S.Ellis，《实时群组编辑器中的操作转换：问题、算法和成就》，载于《计算机支持的协同工作ACM会议论文集》，CSCW，1998年，第59-68页。
[35] Sun，C。；贾，X。；Zhang，Y。；Yang，Y。；Chen，D.：《在实时协同编辑系统中实现收敛、因果关系保持和意图保持》，《计算机与人交互的ACM事务》5，第1期，63-108（1998）
[36] D.B.Terry、M.M.Theimer、K.Petersen、A.J.Demers、M.J.Spreitzer、C.H.Hauser，《管理Bayou（弱连接复制存储系统）中的更新冲突》，摘自：《ACM操作系统原理研讨会论文集》，SOSP，1995年，第172-182页。
[37] Thomas，R.H.：多副本数据库并发控制的多数共识方法，数据库系统上的ACM事务4，No.2，180-209（1979）
[38] N.Vidot，M.Cart，J.Ferrié，M.Suleiman，《分布式实时协作环境中的副本聚合》，载《计算机支持的协作工作ACM会议论文集》，CSCW，2000年，第171-180页。
[39] Weihl，W.E.：抽象数据类型的基于交换性的并发控制，IEEE计算机事务37，第12期，1488-1505（1988）·兹比尔0674.68016 ·数字对象标识代码：10.1109/12.9728
[40] Weiss，S。；Urso，P。；Molli，P.：Logoot:P2P网络上协作编辑的可扩展乐观复制算法（2009）·Zbl 1184.68058号
[41] Yu，Y。；马诺利奥斯，P。；Lamport，L.：模型检查TLA+规范，54-66（1999）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不声称其完整性或完全匹配。