×

兹马思-数学第一资源

一种用于消息传递体系结构的编码共享原子内存算法。(英语) Zbl 1404.68023
摘要:本文考虑了在分布式消息传递系统中模拟原子(可线性化)多写多读共享内存的通信和存储开销。本文的主要贡献包括:(1)提出了一种原子共享内存仿真算法编码原子存储器(CAS)。此算法使用擦除编码方法。在具有\(N\)个服务器的存储系统中,我们证明了CA的通信开销是\(\frac{N}{N-2f}\)。CAS的存储成本是无限的。(2) 我们提出了一种改进的CAS算法,称为caswithgarbagecollection(CASGC)。CASGC算法由一个整数\(\delta\)参数化,并且具有有限的存储开销。我们证明了CASGC算法满足原子性。在每次执行CASGC时,如果服务器失败的次数不超过\(f\),我们会显示在非故障客户机上调用的每个写操作都会终止。我们还证明了在执行带有参数\(\delta\)的CASGC时,如果服务器失败的次数不大于\(f\),那么只要与读取并发的写入操作的数量不大于\(\delta\),则读取操作将终止。我们明确地刻画了CASGC的存储开销,并证明它与CAS具有相同的通信开销。(3) 我们描述了一种称为通信成本最优原子存储(CCOAS)算法,它比CAS和CASGC实现更小的通信开销。具体地说,CCOAS产生的读写通信开销为\(\frac{N}{N-f}),以对象值的数量来衡量。我们还讨论了CCOAS与CAS和CASGC相比的缺点。

理学硕士:
68米14 分布式系统
68M12 网络协议
68页20页 信息存储与数据检索
68页25页 数据加密(计算机科学方面)
软件:
电源存储
PDF格式 BibTeX公司 XML 引用
全文: 多伊 阿尔十四
参考文献:
[1] 通用RAID磁盘数据格式规范。SNIA,高级存储和信息技术标准,第2版(2009)
[2] Abd El Malek,M;Ganger,GR;Goodson,GR;Reiter,MK;Wylie,JJ,故障可扩展的拜占庭容错服务,ACM SIGOPS Oper。系统。修订版,39,59-74,(2005年)
[3] Agrawal,A;Jalote,P,《分布式系统的基于编码的复制方案》,IEEE Trans。平行分布。系统,6240-251,(1995年)
[四] Aguilera,M.K.,Janakiraman,R.,Xu,L.:在分布式系统中有效地使用擦除代码进行存储。国际可靠系统与网络会议论文集,336-345页。IEEE(2005)
[5] Aguilera,MK;Keidar,I;Malkhi,D;Shraer,A,《无共识的动态原子存储》,J.ACM,58,7:1-7:32,(2011)·Zbl 1327.68093
[6] Anderson,E.,Li,X.,Merchant,A.,Shah,M.A.,Smathers,K.,Tucek,J.,Uysal,M.,Wylie,J.J.:pahoehoe中的有效最终一致性,一种擦除编码的密钥块存档。在:IEEE/IFIP国际可靠系统和网络会议(DSN),第181-190页。IEEE(2010)·Zbl 1029.68528号
[7] Androulaki,E;Cachin,C;Dobre,D;Vukolić,M;Aguilera,MK(编辑);等人,《带独立元数据的删除编码拜占庭式存储》,76-90,(2014),纽约
[8] 阿提亚,H;巴尔·诺伊,A;多列夫,D,《在消息传递系统中可靠地共享内存》,J.ACM(JACM),42124-142,(1995)·邮政编码:0886.68018
[9] Cachin,C;Tessaro,S;Fraignaud,P(ed.),异步可验证信息传播,503-504,(2005),柏林,海德堡
[10] Cachin,C.,Tessaro,S.:擦除编码的拜占庭分布式存储的最佳弹性。在:2006年可靠系统和网络国际会议(DSN),第115-124页。IEEE(2006)
[11] Cadambe,V.R.,Lynch,N.,Medard,M.,Musial,P.:用于消息传递体系结构的编码共享原子内存算法。第13届网络计算与应用国际研讨会,第253-260页。IEEE(2014)·Zbl 1404.68023
[12] 卡苏托,Y,编码理论能为存储系统做些什么?,ACM SIGACT新闻,44,80-88,(2013年)
[13] Datta,A;Oggier,F,《网络分布式存储系统中为提高可修复性而定制的代码概述》,ACM SIGACT News,44,89-105,(2013)
[14] Dobre,D.,Karame,G.,Li,W.,Majuntke,M.,Suri,N.,Vukolić,M.:PoWerStore:高效和健壮存储的书写证明。2013年ACM SIGSAC计算机和通信安全会议记录,第285-298页。ACM(2013年)·Zbl 1161.68334
[15] Dutta,P;Guerraoui,R;Levy,RR;Taubenfeld,G(编辑),《乐观擦除编码分布式存储》,182-196,(2008),纽约·Zbl 1161.68334
[16] 大型对象的高效复制。第17届分布式计算国际研讨会论文集,第75-91页(2003)·Zbl 1180.68055
[17] Fekete,A.,Lynch,N.,Shvartsman,A.:指定和使用可分区的组通信服务。ACM传输。计算机。系统。19(2) ,171-216(2001年)。数字标识码:10.1145/377769.377776·Zbl 1374.68069
[18] 吉福德:复制数据的加权投票。第七届ACM操作系统原理研讨会论文集,SOSP'79,第150-162页。ACM,纽约(1979年)。数字标识码:10.1145/800215.806583·Zbl 0677.68067
[19] Gilbert,S;Lynch,N;Shvartsman,A,RAMBO:一种用于动态网络的健壮、可重构的原子内存服务,Distrib。计算机,23225-272,(2010年)·Zbl 1231.68077
[20] Goodson,G.R.,Wylie,J.J.,Ganger,G.R.,Reiter,M.K.:高效的拜占庭容忍擦除编码存储。2004年可靠系统和网络国际会议,第135-144页。IEEE(2004)
[21] Hendricks,J.,Ganger,G.R.,Reiter,M.K.:低开销拜占庭容错存储。第七届ACM操作系统原理研讨会论文集,第41卷,第6期,第73-86页(2007)
[22] 赫尔利希,MP;Wing,JM,《线性化:并发对象的正确性条件》,ACM Trans。程序。Lang.Syst.,12463-492,(1990年)
[23] Lamport,L,关于进程间通信。第一部分:基本形式主义。计算机,277-85,(1986)·Zbl 0598.68022
[24] Lin,S.,Costello,D.J.:错误控制编码,第二版。Prentice Hall,上鞍河(2004)·Zbl 1310.94180
[25] Lynch,N.,Shvartsman,A:使用动态仲裁确认广播的共享内存的健壮仿真。第二十七届容错计算国际年会,FTCS-27。论文摘要,第272-281页。IEEE(1997)
[26] 林奇,N.A.:分布式算法。摩根考夫曼出版社,旧金山(1996)·Zbl 0877.68061
[27] 林奇,纳州;塔特尔先生,输入/输出自动机简介,CWI Q.,219-246,(1989)·Zbl 0677.68067
[28] Malkhi,D;Reiter,M,Byzantine quorum systems,Distrib。计算机,11203-213,(1998)·Zbl 0963.68051
[29] Martin,JP;Alvisi,L;Dahlin,M;Malkhi,D(编辑),《最小拜占庭式存储》,311-325,(2002),纽约·Zbl 1029.68528号
[30] 普朗克,J.S.:T1:存储应用的擦除代码。在:第四届USENIX文件和存储技术会议论文集,第1-74页(2005年)
[31] Reed,IS;Solomon,G,《特定有限域上的多项式码》,J.Soc。工业应用。数学,8300-304,(1960)·Zbl 0099.34403
[32] Roth,R.:编码理论导论。剑桥大学出版社,剑桥(2006)·Zbl 1092.94001号
[33] Saito,Y.,Frølund,S.,Veitch,A.,Merchant,A.,Spence,S.:Fab:从商品组件构建分布式企业磁盘阵列。在:ACM SIGARCH计算机体系结构新闻,第32卷,第48-58页。ACM(2004年)
[34] Thomas,R,《多副本数据库并发控制的多数共识方法》,ACM Trans。数据库系统,4180-209,(1979)
[35] Vukolić,M,Quorum systems:with applications to storage and consumerus,Synth.Quorum系统:应用于存储和共识,Synth。选择。地区。计算机。理论,3,1-146,(2012)
[36] Wang,Z.,Cadambe,V.R.:分布式存储中的多版本编码。在:2014 IEEE信息理论国际研讨会(ISIT)(2014)
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。