×
沃伊切赫·戈拉布；李晓洲（Steve）；亚历杭德罗·洛佩斯·奥尔蒂斯；内奥米·西村

在多项式时间内计算（k）-原子性。 （英语） Zbl 1391.68012号

SIAM J.计算。 47，第2期，420-455（2018）.
摘要：\（k\）-atomicity属性可用于描述大型分布式存储系统中数据操作的一致性。鉴于布鲁尔的CAP原则，此类系统提供的弱一致性保证被视为必要的妥协。\（k\）-atomicity属性要求每个读取操作获得的值最多为\（k）个更新（写入）旧值，如果将\（k。具体来说，\（k）的值量化了历史与读/写寄存器的原子性（线性化能力）属性的偏差程度。我们通过解决（k）-原子性验证问题（（k）-AV）间接解决了计算（k）的问题：给定读/写操作的历史和正整数（k），确定历史是否是（k）-AV。P.B.吉本斯和E.科拉赫[SIAM J.Compute.26，No.4，1208–1244（1997；兹伯利0885.68023)]证明了当\（k=1\）时，该问题通常是NP-完全的，因此除非\（mathrm{P}=mathrm}NP}\），否则在多项式时间内不可解。在本文中，我们提出了两种算法来解决特殊情况下任意（k\geq3）的（k\）-AV问题。与已知的\（k=1\）和\（k=2\）解类似，这两种算法都假设写入给定对象的所有值都是不同的。第一种算法对输入历史的结构进行了额外的限制，并在（O（n^2+n\cdot k\log k）时间内求解（k）-AV，其中（n）是历史中的操作数。第二种算法对输入没有任何额外的限制，但只有当\（k\）很小并且写操作之间的并发性有限时才有效。如果（k）和我们对写并发性的特定度量都是由常量限定的，那么它的时间复杂性是（O（n^2））。

MSC公司：

64岁以下 分布式系统
68第20页 信息存储和数据检索
65年第68季度 算法和问题复杂性分析

关键词：

一致性；原子性；验证；分布式存储器

引文：

Zbl 0885.68023号

软件：

迪纳摩；卡桑德拉
PDF格式BibTeX公司 XML格式引用
\textit{W.Golab}等人，SIAM J.Compute。47，第2号，420-455（2018；Zbl 1391.68012）
全文： 内政部

参考文献：

[1] A.Aiyer、L.Alvisi和R.A.Bazzi，《关于非限制性法定人数系统的可用性》，第19届分布式计算国际研讨会论文集，波兰克拉科夫，2005年，第48-62页·Zbl 1171.68361号
[2] M.S.Ardekani和D.B.Terry，{it A self-figurable geo-replicated cloud storage system}，《第11届USENIX操作系统设计与实现研讨会（OSDI）论文集》，科罗拉多州布鲁姆菲尔德，2014年，第367-381页。
[3] P.Bailis、S.Venkataraman、M.J.Franklin、J.M.Hellerstein和I.Stoica，{实际部分配额的概率有界停滞}，PVLDB，5（2012），第776-787页。
[4] D.Bermbach和S.Tai，{最终一致性：多久才是最终的？Amazon（S3）一致性行为评估}，《面向服务计算中间件（MW4SOC）第六次研讨会论文集》，葡萄牙里斯本，2011年1月。
[5] E.A.Brewer，{\it Towards robust distributed systems（abstract）}，《第19届ACM分布式计算原理研讨会论文集》，ACM，纽约，2000年，第7页。
[6] B.F.Cooper、A.Silberstein、E.Tam、R.Ramakrishnan和R.Sears，《使用YCSB对云服务系统进行基准测试》，载于《第一届ACM云计算研讨会（SoCC）论文集》，ACM，纽约，2010年，第143-154页。
[7] M.Cygan、F.V.Fomin、L.Kowalik、D.Lokshtanov、D.Marx、M.Pilipczuk、M.Pilipczuk和S.Saurabh，{\it Parameterized Algorithms}，纽约斯普林格出版社，2015年·Zbl 1334.90001号
[8] G.DeCandia、D.Hastorun、M.Jampani、G.Kakulapati、A.Lakshman、A.Pilchin、S.Sivasubramanian、P.Vosshall和W.Vogels，《迪纳摩：亚马逊高度可用的关键价值商店》，载于《第21届美国计算机学会操作系统原理研讨会论文集》，美国计算机学会，纽约，2007年，第205-220页。
[9] R.G.Downey和M.R.Fellows，{参数化复杂性}，Springer-Verlag，纽约，1997年·Zbl 0914.68076号
[10] S.Even、A.Itai和A.Shamir，《关于时间表和多商品流问题的复杂性》，SIAM J.Compute。，5（1976年），第691-703页·Zbl 0358.90021号
[11] J.Flum和M.Grohe，{参数化复杂性理论}，Springer-Verlag，柏林，2006年·Zbl 1143.68016号
[12] E.Fredkin，《三重记忆》，《美国医学会通讯》，第3期（1960年），第490-499页。
[13] M.R.Garey、R.L.Graham、D.S.Johnson和D.E.Knuth，{带宽最小化的复杂性结果}，SIAM J.Appl。数学。，34（1978年），第477-495页·Zbl 0385.05048号
[14] P.B.Gibbons和E.Korach，《测试共享内存》，SIAM J.Compute。，26（1997），第1208-1244页·Zbl 0885.68023号
[15] S.Gilbert和N.A.Lynch，｛\it Brewer猜想和一致的、可用的、分区容忍的web服务的可行性｝，ACM SIGACT新闻，33（2002），第51-59页。
[16] W.Golab、J.Hurwitz和X.Li，{关于k-原子性验证问题}，《第33届分布式计算系统国际会议论文集》，IEEE，华盛顿特区，2013年，第591-600页。
[17] W.Golab、X.Li和M.A.Shah，《为乐趣和利润分析一致性属性》，第30届ACM分布式计算原理研讨会论文集，ACM，纽约，2011年，第197-206页·Zbl 1321.68081号
[18] W.Golab，X.Li，A.Loípez-Ortiz，and N.Nishimura，{多项式时间内的弱一致性计算（扩展抽象）}，第34届ACM分布式计算原理研讨会论文集，ACM，纽约，2015年，第395-404页·Zbl 1333.68058号
[19] W.Golab、M.R.Rahman、A.AuYoung、K.Keeton和I.Gupta，{云存储系统最终一致性的以客户端为中心的基准测试}，《第34届分布式计算系统国际会议论文集》，IEEE，华盛顿特区，2014年，第493-502页。
[20] M.Herlihy和J.M.Wing，{线性化：并发对象的正确性条件}，ACM Trans。程序。语言系统。，12（1990年），第463-492页。
[21] D.J.Kleitman和R.V.Vohra，{计算区间图的带宽}，SIAM J.离散数学。，3（1990年），第373-375页·Zbl 0704.05044号
[22] A.Lakshman和P.Malik，｛\ it Cassandra：去中心化结构化存储系统｝，SIGOPS Oper。系统。第44版（2010年），第35-40页。
[23] L.Lamport，{论进程间通信，第一部分：基本形式主义，第二部分：算法}，分布式计算。，1（1986年），第77-101页·Zbl 0598.68022号
[24] H.Lee和J.L.Welch，{随机寄存器和迭代算法}，分布式计算。，17（2005），第209-221页·Zbl 1264.68029号
[25] D.Malkhi、M.K.Reiter和R.N.Wright，{概率法定人数系统}，《第16届ACM分布式计算原理研讨会论文集》，ACM，纽约，1997年，第267-273页。\bibitem微调M.McKenzie、H.Fan和W.Golab，{it微调配额重复分布式存储系统中的一致性-延迟权衡}，《IEEE大数据国际会议论文集，可扩展云数据管理（SCDM）研讨会》，IEEE，华盛顿特区，2015年，第1708-1717页·Zbl 1373.68112号
[26] J.Misra，{异步硬件系统内存访问公理}，ACM Trans。程序。语言系统。，8（1986），第142-153页·兹比尔0593.68017
[27] R.Niedermeier，《固定参数算法邀请函》，牛津大学出版社，英国牛津，2006年·Zbl 1095.68038号
[28] C.H.Papadimitriou，{带宽最小化问题的NP-完备性}，《计算》，16（1976），第263-270页·Zbl 0321.65019号
[29] S.Patil、M.Polte、K.Ren、W.Tantisiriroj、L.Xiao、J.Loípez、G.Gibson、A.Fuchs和B.Rinaldi，{\it YCSB++：可扩展表存储中的基准测试和性能调试高级功能}，载于第二届ACM云计算研讨会（SoCC）论文集，ACM，纽约，2011年9月。
[30] J.B.Saxe，{多项式时间内识别小带宽图的动态编程算法}，SIAM J.代数离散方法，1（1980），第363-369页。\bibitemsedgewick:wayne R.Sedgewick和K.D.wayne，{\it Algorithms}，第四版，Addison-Wesley Professional，马萨诸塞州波士顿，2011年，第661-666页·Zbl 0496.68032号
[31] R.Sumbaly、J.Kreps、L.Gao、A.Feinberg、C.Soman和S.Shah，{利用伏地魔项目服务大规模批量计算数据}，载于第十届USENIX文件和存储技术会议（FAST）会议记录（加利福尼亚州圣何塞市），美国ENIX协会，加利福尼亚州伯克利市，2012年，第18页。
[32] D.B.Terry、V.Prabhakaran、R.Kotla、M.Balakrishnan、M.K.Aguilera和H.Abu-Libdeh，{基于一致性的云存储服务级别协议}，载于第24届ACM操作系统原理研讨会（SOSP）会议记录，ACM，纽约，2013年，第309-324页。
[33] D.B.Terry、M.M.Theimer、K.Petersen、A.J.Demers、M.J.Spreitzer和C.H.Hauser，{管理Bayou（弱连接复制存储系统）中的更新冲突}，《第十五届ACM操作系统原理研讨会论文集》，ACM，纽约，1995年，第172-182页。
[34] F.J.Torres-Rojas、M.Ahamad和M.Raynal，《共享分布式对象的时间一致性》，载于《第18届ACM分布式计算原理研讨会（PODC）论文集》，ACM，纽约，1999年，第163-172页·Zbl 1321.68366号
[35] W.Vogels，《最终一致》，《队列》，6（2008），第14-19页。
[36] H.Wada、A.Fekete、L.Zhao、K.Lee和A.Liu，《数据一致性属性和商业云存储的权衡：消费者的视角》，载于《第五届创新数据系统研究双年度会议论文集》，加利福尼亚州阿西洛马，2011年。
[37] H.Yu和A.Vahdat，{复制服务基于锥的连续一致性模型的设计和评估}，ACM Trans。计算。系统。，20（2002），第239-282页。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。