×

统一最终一致性和可观察原子一致性的复制数据类型。 (英语) Zbl 1451.68056号

摘要:强一致性广泛应用于关系数据库等系统中。在分布式系统中,强一致性可确保所有客户端在所有服务器上原子地观察到一致的数据更新。然而,当发生同步时,此类系统需要牺牲可用性。我们提出了一种新的一致性协议,即可观察原子一致性协议(OACP),以使写操作占主导地位的应用程序尽可能快地实现一致性。OACP结合了以下优点:(1)可合并的数据类型,特别是收敛的复制数据类型,以减少同步;(2)可靠的总订单广播,以提供按需的强一致性。我们还提供了一个高级编程接口,以提高分布式编程的效率和正确性。我们在重写逻辑时提出了一个正式的、机械化的OACP模型,并使用模型检查工具Maude验证关键的正确性属性。此外,我们还提供了一个基于Akka的OACP原型实现,Akka是一种广泛使用的基于actor的中间件。我们的实验评估表明,与最先进的Raft共识协议相比,OACP可以减少协调开销。我们的结果还表明,OACP通过可合并的数据类型提高了可用性,并为实现强一致性提供了可接受的延迟,从而能够原则性地放松强一致性以提高性能。

MSC公司:

68米14 分布式系统
03B70号 计算机科学中的逻辑
第68页第19页 其他编程范式(面向对象、顺序、并发、自动等)
60年第68季度 规范和验证(程序逻辑、模型检查等)
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 吉尔伯特,S。;Lynch,N.A.,Brewer的猜想和一致、可用、分区容忍web服务的可行性,SIGACT新闻,33,51-59(2002)
[2] 夏皮罗,M。;新墨西哥州普雷古伊萨。;巴奎罗,C。;Zawirski,M.,无冲突复制数据类型,386-400(2011),Springer Verlag
[3] 夏皮罗,M。;普雷古伊萨,N。;巴奎罗,C。;Zawirski,M.,《收敛和交换复制数据类型的综合研究》(2011年1月),技术代表RR-7506;inria-00555588,HAL CCSD
[4] 布朗,R。;婴儿床,S。;Meiklejohn,C。;Elliott,S.,Riak DT map:一个可组合、收敛的复制字典(PaPEC@EuroSys(2014),ACM),1:1
[5] Basho Technologies,Inc.,Riak dt源代码库(2012-2017)
[6] SyncFree Consortium AntidoteDB:一个具有强大语义的平面级可用事务数据库。
[7] Lightbend,Inc.,Akka(2016)
[8] Zhao,X.,OACP实现源代码库(2018)
[9] (Clavel,M.;Durán,F.;Eker,S.;Lincoln,P.;Martí-Oliet,n.;Meseguer,J.;Talcott,C.L.,《关于Maude的一切——高性能逻辑框架,如何在重写逻辑中指定、编程和验证系统》,第4350卷(2007),Springer)·Zbl 1115.68046号
[10] X.赵。;Haller,P.,CvRDT的可观测原子一致性,(第八届ACM SIGPLAN基于参与者、代理和分散控制的编程国际研讨会论文集。第八届AC M SIGPLAN基于参与者、代理人和分散控制编程国际研讨会文献集,AGERE!@SPLASH 2018(2018),ACM:ACM Boston,马萨诸塞州,美国),23-32
[11] Odersky,M。;勺子,L。;Venners,B.,《Scala编程》(2016),Artima出版社:Artima Press Mountain View,CA
[12] Odersky,M。;Zenger,M.,可伸缩组件抽象,(第20届ACM SIGPLAN面向对象编程、系统、语言和应用年会论文集。第20届AC M SIGPLAN面向对象编程,系统、语言及应用年会文献集,OOPSLA 2005,2005年10月16-20日,美国加利福尼亚州圣地亚哥(2005)),41-57
[13] 巴奎罗,C。;阿尔梅达,P.S。;Lerche,C.,嵌入式crdt计数器的问题和解决方案(PaPoC@EuroSys(2016),ACM),10:1-10:3
[14] 德法戈,X。;Schiper,A。;Urbán,P.,《总顺序广播和多播算法:分类和调查》,CSURV:计算。调查。,36, 372-421 (2004)
[15] 李,C。;波尔图,D。;克莱门特,A。;Gehrke,J。;新墨西哥州普雷古伊萨。;Rodrigues,R.,《尽可能快速地制作地理复制系统,必要时保持一致》(OSDI(2012),USENIX协会),265-278
[16] 伯克哈特,S。;Leijen,D。;普罗琴科,J。;Fähndrich,M.,《全球序列协议:复制共享状态的稳健抽象》,ECOOP,第37卷,568-590(2015),Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik
[17] Ongaro,D。;Ousterhout,J.K.,为了寻求一种可以理解的共识算法,(2014年USENIX年度技术会议,2014年USENIX年度科技会议,USENIXATC’14,美国宾夕法尼亚州费城,2014年6月19日至20日(2014年),USENIX协会),305-319
[18] 梅尔格拉蒂,H.C。;Roldán,C.,《全球序列协议的形式分析》,(COORDINATION,vol.9686(2016),Springer),175-191
[19] Stephens,S.C.,《从模型到实现——使用maude的分布式算法》(2018),伊利诺伊大学香槟分校,本科生论文
[20] Meseguer,J.,《作为并发统一模型的条件重写逻辑》,Theor。计算。科学。,96, 1, 73-155 (1992) ·Zbl 0758.68043号
[21] (厄尔夫茨基,P.C.,《设计可靠的分布式系统》(2017))·Zbl 1400.68003号
[22] Zhao,X.,maude repository中的OACP验证源代码(2019)
[23] Twissandra,《卡桑德拉的推特克隆》(2014)
[24] 伯恩斯坦,P.A。;伯克哈特,S。;Bykov,S。;克罗克斯,N。;法莱罗,J.M。;Kliot,G。;Kumbhare,A。;拉赫曼,M.R。;沙阿,V。;Szekeres,A。;Thelin,J.,基于行动者的服务地理分布,1,107:1-107:26(2017)
[25] Kiczales,G。;Hilsdale,E。;休古宁,J。;克尔斯滕,M。;Palm,J。;Griswold,W.G.,《aspectj概述》,(面向对象编程,第15届欧洲会议。面向对象程序设计,第15次欧洲会议,匈牙利布达佩斯,2001年6月18日至22日),327-353·Zbl 0982.68552号
[26] 亨特,P。;科纳尔,M。;Junqueira,F.P。;Reed,B.,Zookeeper:互联网规模系统的无等待协调,(USENIX年度技术会议(2010年),USENIX协会)
[27] Goodman,J.R.,《缓存一致性和顺序一致性》(1989年3月),IEEE可扩展一致性接口工作组,技术代表。
[28] Terry,D.B。;Theimer,M.M。;彼得森,K。;Demers,A.J。;Spreitzer,M.J。;Hauser,C.,《管理Bayou(连接不良的复制存储系统)中的更新冲突》(第15届操作系统原理研讨会论文集(1995)),172-183
[29] 伯克哈特,S。;Gotsman,A。;Yang,H.,理解最终一致性(2013),微软研究院,技术代表。
[30] Kraska,T。;Hentschel,M。;阿隆索,G。;Kossmann,D.,《云计算中的一致性配给:只在重要时支付》,PVLDB,2,1,253-264(2009)
[31] 李,J。;Krohn,M.N。;Mazieres,D。;Shasha,D.,《安全不可信数据存储库(SUNDR)》,(第六届操作系统设计与实现研讨会(2004年),USENIX协会),121-136
[32] Mazieres,Shasha,利用拜占庭存储构建安全文件系统,(PODC:21届ACM SIGACT-SIGOPS分布式计算原理研讨会(2002))·Zbl 1292.68025号
[33] 巴利加斯,V。;杜阿尔特,S。;费雷拉,C。;罗德里格斯共和国。;新墨西哥州普雷古伊萨。;纳贾夫扎德,M。;Shapiro,M.,《将一致性回归到最终一致性中》(EuroSys(2015),ACM),6:1-6:16
[34] 拉丁,R。;Liskov,B。;Ghemawat,S.,《使用延迟复制提供高可用性》,ACM Trans。计算。系统。,10,4360-391(1992年)
[35] Akkoorath,D.D。;布兰登·J。;Bieniusa,A。;Baquero,C.,Global-local view:并发数据类型的可扩展一致性,(Euro-Par,vol.11014(2018),Springer),492-504
[36] 李,C。;J.莱特昂。;克莱门特,A。;新墨西哥州普雷古伊萨。;罗德里格斯共和国。;Vafeiadis,V.,《自动化复制系统中一致性级别的选择》,(USENIX年度技术会议(2014),USENIX协会),281-292
[37] Haller,P.,《关于演员模型在主流技术中的集成:Scala视角》,(AGERE!@SPLASH(2012)),1-6
[38] Agha,G.A.,《ACTORS:分布式系统中并发计算模型》(1986),麻省理工学院出版社:麻省理学院出版社,马萨诸塞州剑桥,美国
[39] Guerraoui,R。;巴甫洛维奇,M。;Seredinschi,D.-A.,《复制对象的增量一致性保证》(2016)
[40] Sivaramakrishnan,K.C。;卡基,G。;Jagannathan,S.,《最终一致数据存储的声明式编程》(PLDI(2015),ACM),413-424
[41] 伯恩斯坦,P。;Bykov,S。;盖勒,A。;Kliot,G。;Thelin,J.,Orleans:分布式虚拟参与者,实现可编程性和可扩展性(2014年3月),技术代表。
[42] Lamport,L.,《兼职议会》,ACM Trans。计算。系统。,16, 2, 133-169 (1998)
[43] Junqueira,F.P。;里德,不列颠哥伦比亚省。;Serafini,M.,Zab:主要备份系统的高性能广播,(DSN(2011),IEEE计算协会),245-256
[44] 伯克哈特,S。;Fähndrich先生。;Leijen,D。;Wood,B.P.,《最终一致性的云类型》(ECOOP,第7313卷(2012),施普林格出版社),283-307
[45] 伯恩斯坦,P.A。;Bykov,S.,使用奥尔良虚拟演员模型开发云服务,2071-75(2016)
[46] 阿尔瓦罗,P。;Bailis,P。;康韦,N。;Hellerstein,J.M.,《无边界的一致性》,(ACM云计算研讨会,2013年10月1日至3日,美国加利福尼亚州圣克拉拉,SOCC’13,ACM云计算机研讨会,2013(2013)),23:1-23:10
[47] Meiklejohn,C。;Roy,P.V.,《Lasp:分布式、无协调编程语言》,(第17届声明式编程原则与实践国际研讨会论文集。第17届国际声明式编程原理与实践研讨会论文集,意大利锡耶纳(2015),ACM),184-195
[48] Houshmand,F。;Lesani,M.,Hamsaz:复制协调分析与合成,PACMPL,3,POPL,74:1-74:32(2019)
[49] 拉克希曼,A。;Malik,P.,Cassandra:分散式结构化存储系统,44,35-40(2010)
[50] 劳埃德,W。;弗里德曼,M.J。;卡明斯基,M。;Andersen,D.G.,《不要满足于最终:使用COPS实现广域存储的可扩展因果一致性》,(第23届ACM操作系统原理研讨会论文集(2011),ACM出版社),401-416
[51] 劳埃德·W。;弗里德曼,M.J。;卡明斯基,M。;Andersen,D.G.,《低延迟地理重复存储的更强语义》,(第十届USENIX网络系统设计与实现研讨会论文集。第十届美国网络系统设计和实现研讨会论文集中,美国伊利诺伊州伦巴第,2013年4月2日至5日(2013年),美国ENIX协会),313-328
[52] 阿尔梅达,S。;J.莱特昂。;Rodrigues,L.E.T.,《链反应:基于链复制的因果+一致数据存储》(EuroSys(2013),ACM),85-98
[53] 卡基,G。;Sivaramakrishnan,K。;阿贝西里瓦丹,S。;Jagannathan,S.,《可合并类型》(ML Workshop(2017))
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。