伯克哈德·恩格勒特 关于内存消耗适应区间竞争的统一协议的成本。 （英语） Zbl 1157.68014号 西奥。计算。科学。 410，编号6-7，533-545（2009）. 摘要：最近，我们引入了一个新术语“内存自适应”，其目标是捕获分布式协议最有效地利用其共享内存的含义。我们证明了在均匀设置下与记忆自适应模型相关的三个结果。我们考虑了一个存储/释放协议，其中要求进程在共享MWMR内存中存储一个值，以便在进程释放该值之前不能覆盖该值。我们表明，不存在只使用基本操作（即内存适应点争用的读写操作）的统一无等待存储/释放协议。我们进一步表明，存在一个统一的无等待存储/释放协议，该协议只使用基本的读、写和读-修改-写操作，其内存适应于间隔竞争，时间适应于总竞争。这留下了一个很大的差距——对于是否存在一个统一的、适用于仅使用读/写（无读-修改-写）寄存器的间隔争用存储/释放协议的内存，这一点仍然没有定论。在本文中，我们通过证明不存在这样的协议来缩小这一差距。通过为网络连接磁盘提供一个统一的、对间隔竞争存储/释放协议进行内存自适应的协议，我们进一步说明了内存自适应概念的有效性和实用性。 MSC公司： 68米14 分布式系统 68个M12 网络协议 68宽15 分布式算法 关键词：异步分布式系统;共享内存;自适应算法;统一协议;内存复杂性;存储区域网络;无限多进程 PDF格式BibTeX公司 XML格式引用 \文本{B.Englert}，Theor。计算。科学。410，编号6--7，533--545（2009；Zbl 1157.68014） 全文： 内政部 参考文献： [1] I.Abraham，G.Chockler，I.Keidar，D.Malkhi，《拜占庭磁盘Paxos：拜占庭共享内存的最佳恢复力》，载于《第23届ACM分布式计算原理研讨会论文集》，PODC 2004年，2004年，第226-235页；I.Abraham，G.Chockler，I.Keidar，D.Malkhi，《拜占庭磁盘Paxos：拜占庭共享内存的最佳恢复力》，摘自：第23届ACM分布式计算原理研讨会论文集，PODC 2004年，2004年，第226-235页·兹比尔1321.68452 [2] A.Acharya，M.Uysal，J.Saltz，《主动磁盘：编程模型、算法和评估》，摘自：Proc。第八届编程语言和操作系统体系结构支持国际会议，ASPLOS-VIII，1998年，第81-91页；A.Acharya，M.Uysal，J.Saltz，《主动磁盘：编程模型、算法和评估》，摘自：Proc。第八届编程语言和操作系统体系结构支持国际会议，ASPLOS-VIII，1998年，第81-91页 [3] Y.Afek、H.Attiya、A.Fouren、G.Stupp、D.Touitou，《长寿命重命名使其具有适应性》，摘自：Proc。第18届ACM年度交响乐团。《分布式计算原理》，1999年5月，第91-103页；Y.Afek、H.Attiya、A.Fouren、G.Stupp、D.Touitou，《长寿命重命名使其具有适应性》，摘自：Proc。第18届ACM年度交响乐团。《分布式计算原理》，1999年5月，第91-103页 [4] Y.Afek，H.Attiya，G.Stupp，D.Touitou，使用有限内存的自适应长期重命名，in：Proc。第40届IEEE Ann.Symp。《计算机科学基础》，1999年10月，第262-272页；Y.Afek，H.Attiya，G.Stupp，D.Touitou，使用有限内存的自适应长期重命名，in：Proc。第40届IEEE Ann.Symp。《计算机科学基础》，1999年10月，第262-272页 [5] Y.Afek，P.Boxer，D.Touitou，《长寿命和自适应对象共享内存需求的界限》，摘自：Proc。年第19届ACM交响乐团。《分布式计算原理》，PODC 2000，2000年7月，第81-89页；Y.Afek，P.Boxer，D.Touitou，《长寿命和自适应对象共享内存需求的界限》，摘自：Proc。年第19届ACM交响乐团。分布式计算原理，PODC 2000，2000年7月，第81-89页·Zbl 1314.68140号 [6] Y.Afek，D.Dauber，D.Touitou，无需等待快速完成，in：程序。第27届ACM交响乐团。《计算理论》，1995年5月，第538-547页；Y.Afek，D.Dauber，D.Touitou，无需等待快速完成，in：程序。第27届美国机械工程师学会学术研讨会。《计算理论》，1995年5月，第538-547页·Zbl 0978.68517号 [7] Y.Afek、M.Merritt、Fast、wait-free（（2k-1））；Y.Afek、M.Merritt、Fast、wait-free（（2k-1）） [8] Y.Afek，M.Merritt，G.Taubenfeld，D.Touitou，《分离多对象操作》，摘自：Proc。第16届ACM年度交响乐团。《分布式计算原理》，1997年8月，第111-120页；Y.Afek，M.Merritt，G.Taubenfeld，D.Touitou，《分离多对象操作》，摘自：Proc。第16届ACM年度交响乐团。《分布式计算原理》，1997年8月，第111-120页·Zbl 1373.68066号 [9] Y.Afek、G.Stupp、D.Touitou，《长寿命自适应收集应用程序》，摘自：Proc。安40交响乐团。《计算机科学基础》，1999年10月，第262-272页；Y.Afek、G.Stupp、D.Touitou，《长寿命自适应收集应用程序》，摘自：Proc。安40交响乐团。《计算机科学基础》，1999年10月，第262-272页 [10] Afek，Y。；斯图普，G。；Touitou，D.，长寿命自适应分离器和应用，分布式计算，15，2，67-86（2002）·Zbl 1448.68056号 [11] Y.Afek，G.Stupp，D.Touitou，长寿命自适应原子快照和即时快照，摘自：Proc。年第19届ACM交响乐团。《分布式计算原理》，2000年，第71-80页；Y.Afek，G.Stupp，D.Touitou，长寿命和自适应原子快照和即时快照，在：Proc。年第19届ACM交响乐团。《分布式计算原理》，2000年，第71-80页·Zbl 1314.68052号 [12] M.Aguilera，B.Englert，E.Gafni，有限个MWMR寄存器的一致可解性，收录于：Proc。2003年10月第17届DISC国际会议，第16-30页；M.Aguilera，B.Englert，E.Gafni，有限个MWMR寄存器的一致可解性，收录于：Proc。2003年10月第17届DISC国际会议，第16-30页·Zbl 1180.68053号 [13] K.Amiri，G.A.Gibson，R.Golding，高度并发共享存储，摘自：《分布式计算系统国际会议论文集》，ICDCS 2000年，2000年，第298-307页；K.Amiri，G.A.Gibson，R.Golding，高度并发共享存储，摘自：《分布式计算系统国际会议论文集》，ICDCS 2000年，2000年，第298-307页 [14] 安德森，T。；Dahlin，M。；尼夫，J。；帕特森，D。；Roselli，D。；Wang，R.，《无服务器网络文件系统》，《计算机系统ACM交易》，14，1，41-79（1996） [15] 安德森，J。；Yang，J.-H.，多处理器同步的时间/竞争权衡，信息与计算，124，1，68-84（1996）·Zbl 0844.68042号 [16] J.Anderson，Y.-J.Kim，《局部旋转的自适应互斥》，载《第14届国际会议论文集》，2000年10月，第29-43页；J.Anderson，Y.-J.Kim，《局部旋转的自适应互斥》，载《第14届国际会议论文集》，2000年10月，第29-43页·Zbl 0987.68647号 [17] D.Angluin，过程网络中的局部和全局性质，载于：第12届ACM计算理论研讨会论文集，STOC 1980，第82-93页；D.Angluin，过程网络中的局部和全局属性，摘自：第12届ACM计算理论研讨会论文集，STOC 1980，第82-93页 [18] J.Aspnes、G.Shah、J.Shah，《无限到达的等待自由共识》，摘自：Proc。2002年5月，第34届ACM计算机理论年会，第524-533页；J.Aspnes、G.Shah、J.Shah，《无限到达的等待自由共识》，摘自：Proc。2002年5月，第34届ACM计算机理论年会，第524-533页·Zbl 1192.68850号 [19] H.Attiya，V.Bortnikov，自适应和高效互斥，摘自：第19届ACM分布式计算原理研讨会论文集，PODC 2000年，2000年，第91-100页；H.Attiya，V.Bortnikov，自适应和高效互斥，摘自：第19届ACM分布式计算原理研讨会论文集，PODC 2000年，2000年，第91-100页·Zbl 1314.68366号 [20] H.Attiya，E.Dagan，《通用运算：一元与二进制》，in：Proc。第15届ACM年会。《分布式计算原理》，1996年5月，第223-232页；H.Attiya，E.Dagan，《通用运算：一元与二进制》，in：Proc。第15届ACM年会。《分布式计算原理》，1996年5月，第223-232页·Zbl 1321.68264号 [21] H.Attiya，F.Fich，Y.Kaplan，自适应收集和相关对象的下限，in：Proc。23年度ACM交响乐。《分布式计算原理》，2004年7月，第60-70页；H.Attiya，F.Fich，Y.Kaplan，自适应收集和相关对象的下限，in：Proc。23年度ACM交响乐。《分布式计算原理》，2004年7月，第60-70页·Zbl 1321.68278号 [22] H.Attiya，A.Fouren，格协议和重命名的自适应无等待算法，in：Proc。第17届ACM年会。《分布式计算原理》，1998年6月，第277-286页；H.Attiya，A.Fouren，格协议和重命名的自适应无等待算法，in：Proc。第17届ACM年度研讨会。《分布式计算原理》，1998年6月，第277-286页·Zbl 1333.68270号 [23] 阿提亚，H。；Fouren，A.，《适应点争用的算法》，《ACM杂志》，50，4，444-468（2003年7月）·Zbl 1325.68032号 [24] 阿提亚，H。；Fouren，A。；Gafni，E.，《应用自适应收集算法》，分布式计算，15，2，87-96（2002）·Zbl 1448.68065号 [25] H.Attiya，F.Kuhn，M.Wattenhofer，R.Wattehnofer，《使用随机化的高效自适应采集》，摘自：Proc。第十八届分布式计算年会，DISC，2004年10月；H.Attiya，F.Kuhn，M.Wattenhofer，R.Wattenhofer，使用随机化的高效自适应收集，在：Proc。第18届分布式计算年会，DISC，2004年10月·Zbl 1110.68332号 [26] H.Attiya，I.Zach，原子快照和即时快照的完全自适应算法，2003年。www.cs.technion.ac.il/hagit/pubs/AZ03.pdf；H.Attiya，I.Zach，原子快照和即时快照的完全自适应算法，2003年。www.cs.technion.ac.il/hagit/pubs/AZ03.pdf [27] R.Burns，《存储区域网络分布式文件系统中的数据管理》，加州大学圣克鲁斯分校计算机科学系博士论文，2000年；R.Burns，《存储区域网络分布式文件系统中的数据管理》，加州大学圣克鲁斯分校计算机科学系博士论文，2000年 [28] 伯恩斯，J。；林奇，N.，《互斥共享内存的界限，信息与计算》，107，2，171-184（1993）·Zbl 0794.68052号 [29] G.Chockler，D.Malkhi，具有无限多进程的主动磁盘Paxos，摘自：第21届ACM分布式计算原理研讨会论文集，PODC 2002年，2002年，第78-87页；G.Chockler，D.Malkhi，具有无限多进程的主动磁盘Paxos，收录于：第21届ACM分布式计算原理研讨会论文集，PODC 2002年，2002年，第78-87页·Zbl 1292.68032号 [30] Choy先生。；Singh，A.K.，互斥问题的自适应解决方案，分布式计算，8，1，1-17（1994）·Zbl 1448.68085号 [31] B.Englert，D.Goldstein，统一算法可以自适应地使用内存吗？in：程序。第九届分布式系统原理国际会议，OPODIS，2005年，第25-35页；B.Englert，D.Goldstein，统一算法可以自适应地使用内存吗？in：程序。第九届分布式系统原理国际会议，OPODIS，2005年，第25-35页 [32] 菲奇，F。；Ruppert，E.，分布式计算的数百个不可能结果，分布式计算，16，2-3，121-163（2003）·Zbl 1448.68095号 [33] E.Gafni，《均匀可解性的简单算法表征》，载于：第43届IEEE计算机科学基础年会论文集，FOCS 2002年，2002年，第228-237页；E.Gafni，均匀可解性的简单算法表征，摘自：第43届IEEE计算机科学基础年会论文集，FOCS 2002，2002，pp.228-237 [34] 加夫尼，E。；Lamport，L.，Disk Paxos，分布式计算，16，1，1-20（2003）·Zbl 1448.68099号 [35] E.Gafni，M.Merritt，G.Taubenfeld，无界并发的并发层次和算法，收录于：第20届ACM分布式计算原理研讨会论文集，PODC 2001年，2001年，第161-169页；E.Gafni，M.Merritt，G.Taubenfeld，无界并发的并发层次结构和算法，摘自：第20届ACM分布式计算原理研讨会论文集，PODC 2001年，2001年，第161-169页·Zbl 1333.68104号 [36] G.A.Gibson、D.F.Nagle、K.Amiri、J.Butler、F.W.Chang、H.Gobioff、C.Hardin、E.Riedel、D.Rochberg、J.Zelenka，《经济高效的高带宽存储体系结构》，载于《ACM SIGOPS操作系统评论》，1998年，第92-103页；G.A.Gibson、D.F.Nagle、K.Amiri、J.Butler、F.W.Chang、H.Gobioff、C.Hardin、E.Riedel、D.Rochberg、J.Zelenka，《经济高效的高带宽存储体系结构》，载于《ACM SIGOPS操作系统评论》，1998年，第92-103页 [37] S.Hotz，R.Van Meter，G.Finn，《网络连接外围设备的互联网协议》，载于《第六届NASA戈达德大容量存储系统和技术会议论文集与第十五届IEEE大容量存储技术研讨会》，1998年；S.Hotz，R.Van Meter，G.Finn，《网络连接外围设备的互联网协议》，载于《第六届NASA戈达德大容量存储系统和技术会议论文集》，与1998年IEEE第十五届大规模存储系统研讨会合订 [38] M.Inoue，S.Umetani，T.Masuzawa，H.Fujiwara，自适应长寿命\（O（k^2）O（k*2）\）；M.Inoue、S.Umetani、T.Masuzawa、H.Fujiwara，自适应长寿命\（O（k^2）O（k^2）\）·Zbl 1024.68900号 [39] 伊泰，A。；Rodeh，M.，《分布式网络中的对称破缺，信息与计算》，88，1，60-87（1990）·Zbl 0705.68020号 [40] Lamport，L.，《快速互斥算法》，《计算机系统上的ACM事务》，5，1，1-11（1987） [41] Merritt，M。；Taubenfeld，G.，Speeding Lamport的快速互斥算法，《信息处理快报》，45137-142（1993）·Zbl 0796.68018号 [42] 莫尔，M。；Anderson，J.，快速、长寿命重命名的无等待算法，《计算机编程科学》，25，1，1-39（1995）·Zbl 0838.68050号 [43] 国家存储行业联盟。http://www.nsic.org/nasd; 国家存储行业联盟。http://www.nsic.org/nasd [44] 里德尔，E。；Faloutsos，C。；吉布森，G.A。；Nagle，D.，《用于大规模数据处理的活动磁盘》，IEEE计算机，2001年6月 [45] Chandramohan，Thekkath；蒂莫西·曼；Lee，Edward K.，Frangipani:一个可扩展的分布式文件系统，（第16届ACM操作系统原理研讨会论文集（1997），ACM出版社：纽约ACM出版社），224-237 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。