×
阿兰·费科特；大卫·古普塔；维克托·卢昌科；南希·林奇；亚历克斯·施瓦茨曼

最终可序列化的数据服务。 （英语） Zbl 0933.68009号

西奥。计算。科学。 220，第1期，113-156（1999）.
摘要：数据复制用于分布式系统，以提高可用性、增加吞吐量并消除单点故障。复制的成本是，为了保持副本之间的一致性，需要进行大量的维护和通信。在某些设置中，如分布式目录服务，只要最终建立数据的一致视图，就可以接受在交换中出现暂时的不一致，以获得更好的性能。为了使此类服务可用，明确规定一致性保证是很重要的。我们提出了一种新的分布式数据服务规范，该规范权衡了即时一致性保证，以提高系统可用性和效率，同时确保数据的长期一致性。最终可序列化的数据服务以部分顺序维护请求的操作，随着时间的推移，这些操作会向总顺序倾斜。它为系统的即时和长期行为提供了明确的保证。我们还提出了一种基于延迟复制策略的算法R.Ladin、B.Liskov、L.Shrra和S.Ghemawat公司[延迟复制：利用分布式服务的语义，ACM Trans.Computer Systems 10，360-391（1992）]，实现了该规范。我们的算法提供了事件可序列化数据服务规范的外部接口，并通过允许任意操作和更大的灵活性指定一致性要求来概括其算法。除了正确性之外，我们还证明了该算法的性能和容错特性。

引用于6文件

MSC公司：

68M10个 计算机系统中的网络设计和通信
68第05页 数据结构

关键词：

复制；弱相干；一致性；分布式存储器

软件：

INGRES公司
PDF格式BibTeX公司 XML格式引用
\textit{A.Fekete}等人，Theor。计算。科学。220，编号1，113--156（1999；Zbl 0933.68009）
全文： 内政部

参考文献：

[1] Alsberg，P。；Day，J.，《分布式资源弹性共享原则》，（第二届软件工程国际会议（1976年10月），627-644
[2] 阿提亚，H。；Welch，J.，序列一致性与线性化能力，ACM Trans。计算。系统，12，2（1994）
[3] Bal，H。；Kaashoek，M。；Tanenbaum，A.，Orca：分布式系统并行编程语言，IEEE Trans。软件工程，18，3，190-205（1992）
[4] 伯恩斯坦，P。；哈齐拉科斯，V。；Goodman，N.，《数据库系统中的并发控制和恢复》（1987），Addison-Whelsey:Addison-Welsey Reading，MA
[5] Birrell，A。；莱文，R。；李约瑟。；Schroeder，M.，《葡萄藤：分布式计算的练习》，美国计算机学会，25，4260-274（1982）
[6] Cheiner，O.，《最终可序列化数据服务的实施和评估》（麻省理工学院工程硕士论文（1997年8月））
[7] 契纳，O。；Shvartsman，A.，（Mavronicolas，M.；Merritt，M.，Shavit，N.，《网络与分布式计算》，DIMACS卷（1998年））
[8] Dongarra，J。；奥托，S。；斯尼尔，M。；Walker，D.，MPP和工作站的消息传递标准，通信ACM，39，7，84-90（1996）
[9] 费舍尔，M。；Michael，A.，《牺牲可序列化性以在不可靠的网络中实现数据的高可用性》（ACM数据库系统研讨会（1982年3月），第70-75页
[10] Garcia-Molina，H。；林奇，N。；布劳斯汀，B。；考夫曼，C。；Schmueli，O.，《可靠广播协议注释》（技术备忘录（1985年10月），美国计算机公司）
[11] Gifford，D.，《复制数据的加权投票》，（第七届ACM操作系统原理研讨会（1979年12月），150-162
[12] Herlihy，M.，抽象数据类型的quorum-consensus复制方法，ACM Trans。计算。系统，4，1，32-53（1986）
[13] IETF、RFC 1034和RFC 1035域名系统（1990年）
[14] （国际标准9594-1。国际标准9594-1，信息处理系统-开放系统互连-目录，ISO和IEC（1988））
[15] 拉丁，R。；Liskov，B。；Shrra，L。；Ghemawat，S.，《延迟复制：利用分布式服务的语义》，ACM Trans。计算机系统，10，4，360-391（1992）
[16] Lamport，L.，《如何制作正确执行多进程程序的多处理器计算机》，IEEE Trans。计算机，28，9，690-691（1979）·Zbl 0419.68045号
[17] Lampson，B.，《设计全球名称服务》，（第五届ACM分布式计算原理研讨会（1986年8月），1-10
[18] Lynch，N.，分布式算法（1996），Morgan Kaufmann:Morgan Koufmann Los Altos，CA·Zbl 0877.68061号
[19] 林奇，N。；Turtle，M.，输入/输出自动机导论，CWI Quart。，2, 3, 219-246 (1989) ·Zbl 0677.68067号
[20] 林奇，N。；Vaandrager，F.，《正向和反向模拟——第一部分：非定时系统》，Inform。和计算。，121, 2, 214-233 (1995) ·Zbl 0834.68123号
[21] 林奇，N。；Vaandrager，F.，《正向和反向仿真——第二部分：基于定时的系统》，Inform。和计算。，128, 1, 1-25 (1996) ·兹比尔0856.68103
[22] 对象管理小组，马萨诸塞州弗雷明翰，公共对象请求代理体系结构，1992年。；对象管理小组，马萨诸塞州弗雷明翰，公共对象请求代理体系结构，1992年。
[23] 奥基，B。；Liskov，B.，《Viewstamp复制：支持高可用分布式系统的新主拷贝方法》（第七届ACM分布式计算原理研讨会（1988年8月））
[24] 开放软件基金会，OSF DCE简介（1992），马萨诸塞州剑桥
[25] Shvartsman，A。；Strutt，C.，分布式对象管理和通用应用，（布兰迪斯大学计算机科学TR 94-176（1994））
[26] Stonebraker，M.，分布式INGRES中数据多副本的并发控制和一致性，IEEE Trans。软件工程，5，3，188-194（1979）·Zbl 0396.68018号
[27] Thomas，R.，多副本数据库并发控制的大多数共识方法，ACM Trans。数据库系统，4，2，180-209（1979）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。