×
英国人，哈吉特;什洛莫·莫兰;加迪·陶本费尔德

公共数据结构：计数器作为特例。 （英语） Zbl 1061.68034号

西奥。计算。科学。 289，第1期，401-423（2002）.
摘要：公共数据结构需要在并发环境中正常工作，在这种环境中，许多进程可能同时尝试访问它。在实现这种结构时，不能预先假定可能访问它的进程的数量或身份。虽然大多数已知的并发数据结构都不是公开的，但很少有公开的。有趣的是，这些公共数据结构都处理各种计数器变体，这些计数器是支持两种操作的数据结构：增量和读取。在本文中，我们定义了公共数据结构的概念，并研究了几种类型的公共计数器。然后，我们给出了满足弱正确性条件的公共计数器的最优构造，并证明了不存在满足强正确性的公共计数器。希望这项工作将为其他更复杂的公共数据结构的设计提供见解。

引用于2文件

MSC公司：

68第05页 数据结构
PDF格式BibTeX公司 XML格式引用
\textit｛H.Brit｝等人，Theor。计算。科学。289，编号1401-423（2002年；兹bl 1061.68034）
全文： 内政部

参考文献：

[1] E.Aharonson，H.Attiya，《计算任意扇出的网络》。分布式计算。8 (1995) 163-169. （另见《Proc.3rd Ann.ACM-SIAM Symp.on Discrete Algorithms》，1992年1月，第104-113页）；E.Aharonson，H.Attiya，《计算任意扇出的网络》。分布式计算。8 (1995) 163-169. （另见《Proc.3rd Ann.ACM-SIAM Symp.on Discrete Algorithms》，1992年1月，第104-113页。）·Zbl 0829.68069号
[2] W.Aiello，R.Venkatesan，M.Yung，《平衡网络中的硬币、重量和争用》，Proc。ACM交响乐团（Ann 13）。《分布式计算原理》，1994年8月，第193-205页。；W.Aiello，R.Venkatesan，M.Yung，《平衡网络中的硬币、重量和争用》，Proc。ACM交响乐团（Ann 13）。《分布式计算原理》，1994年8月，第193-205页·Zbl 1377.68029号
[3] R.Alur，G.Taubenfeld，《如何共享对象：基于快速计时的解决方案》，Proc。IEEE第五交响曲。关于并行和分布式处理，1993年12月。；R.Alur，G.Taubenfeld，《如何共享对象：基于快速计时的解决方案》，Proc。IEEE第五交响曲。并行和分布式处理，1993年12月。
[4] R.J.Anderson，H.Woll，联合发现问题的无等待并行算法，Proc。第23届ACM交响乐团。《计算理论》，1991年5月，第370-380页。；R.J.Anderson，H.Woll，联合发现问题的无等待并行算法，Proc。第23届ACM交响乐团。《计算理论》，1991年5月，第370-380页。
[5] J.Aspnes，M.Herlihy，N.Shavit，《计数网络》，J.ACM 41（5）（1994）1020-1048。（另见：《美国计算机学会计算机理论研讨会第23期会议录》，1991年5月，第348-358页）；J.Aspnes，M.Herlihy，N.Shavit，《计数网络》，J.ACM 41（5）（1994）1020-1048。（另见：《美国计算机学会计算机理论交响曲》第23期，1991年5月，第348-358页。）·Zbl 0813.68050号
[6] 拜耳，R。；Schkolnick，M.，B树上的并发操作，Acta Inform。，1，1，1-21（1997年）·兹伯利0343.68022
[7] 贝尔，G.，《超级计算机：时代之前的万亿次失败》，Commun。ACM，35，8，27-47（1992）
[8] A.Ben-Dor，A.Israel，A.Shirazy，《动态计数》，Proc。以色列第三交响乐团。《计算与系统理论》，1995年1月，第111-120页。；A.Ben-Dor，A.Israel，A.Shirazy，《动态计数》，Proc。以色列第三交响乐团。《计算与系统理论》，1995年1月，第111-120页。
[9] H.Brit，《公共数据结构和公共计数器作为特例》，硕士论文，Technion，以色列海法，1994年。；H.Brit，《公共数据结构和公共计数器作为特例》，硕士论文，Technion，以色列海法，1994年。
[10] H.Brit，S.Moran，公共数据结构中的等待自由与有限等待自由，Proc。第13届ACM交响乐团。《分布式计算原理》，1994年8月。；H.Brit，S.Moran，公共数据结构中的等待自由与有限等待自由，Proc。第13届ACM交响乐团。《分布式计算原理》，1994年8月·Zbl 1373.68191号
[11] C.Busch，N.Hardavellas，M.Mavronicolas，《计算网络中的争论》，Proc。ACM交响乐团（Ann 13）。《分布式计算原理》，1994年8月，第404页。；C.Busch，N.Hardavellas，M.Mavronicolas，《计算网络中的争论》，Proc。ACM交响乐团（Ann 13）。《分布式计算原理》，1994年8月，第404页。
[12] C.Busch，M.Mavronicolas，平衡网络的组合处理，Proc。第13届ACM交响乐团。《分布式计算原理》，1994年8月。；C.Busch，M.Mavronicolas，平衡网络的组合处理，Proc。第13届ACM交响乐团。《分布式计算原理》，1994年8月·Zbl 1377.68033号
[13] C.Busch，M.Mavronicolas，《高效计数网络》，Proc。第一个合并的国际并行处理交响乐团。和IEEE Symp。《并行和分布式处理》，1998年5月，第380-385页。；C.Busch，M.Mavronicolas，《高效计数网络》，Proc。第一个合并的国际并行处理交响乐团。和IEEE Symp。关于并行和分布式处理，1998年5月，第380-385页·Zbl 1196.68019号
[14] 北卡罗来纳州Carriero。；Gelernter，D.，Linda in context，Commun。ACM，32，4，444-458（1989）
[15] Ellis，C.S.，《在2-3棵树中并发搜索和插入》，《信息学报》。，14, 63-86 (1980) ·Zbl 0413.68065号
[16] Ellis，C.S.，AVL树中的并发搜索和插入，IEEE Trans。计算。，c-29，811-817（1980）·Zbl 0441.68071号
[17] Ellis，C.S.，《分布式数据结构：案例研究》，IEEE Trans。计算。，c-34、12、1178-1185（1985）
[18] E.W.Felten，A.LaMarca，R.Ladner，从大型平衡器构建计数网络，技术报告TR-93-04-09，华盛顿大学计算机科学与工程系，1993年4月。；E.W.Felten，A.LaMarca，R.Ladner，从大型平衡器构建计数网络，技术报告TR-93-04-09，华盛顿大学计算机科学与工程系，1993年4月。
[19] N.Hardavellas，D.Karakos，M.Mavronicolas，《关于分类和计数网络的注释》，收录于：A.Schiper（编辑），Proc。第七届国际。分布式算法研讨会（WDAG-93），计算机科学讲稿，第725卷，施普林格，柏林，1993年9月，第234-248页。；N.Hardavellas，D.Karakos，M.Mavronicolas，《关于分类和计数网络的注释》，收录于：A.Schiper（编辑），Proc。第七届国际。分布式算法研讨会（WDAG-93），《计算机科学讲义》，第725卷，施普林格，柏林，1993年9月，第234-248页。
[20] M.Herlihy，实现高度并发数据结构的方法，Proc。第二交响乐团。《并行程序设计原理与实践》，1990年，第197-206页。；M.Herlihy，实现高度并发数据结构的方法，Proc。第二交响乐团。《并行编程原理与实践》，1990年，第197-206页。
[21] M.Herlihy，《实现高度并发对象的方法》，技术报告CRL 91/10，数字设备公司，1991年10月。；M.Herlihy，《实现高度并发对象的方法》，技术报告CRL 91/10，数字设备公司，1991年10月。
[22] Herlihy，M.，无等待同步，ACM Trans。关于编程语言和系统，11，1，124-149（1991）
[23] M.Herlihy，B.Lim，N.Shavit，大型多处理器上的低竞争负载平衡，Proc。第三届ACM交响乐团。《并行算法和体系结构》，1992年7月。；M.Herlihy，B.Lim，N.Shavit，大型多处理器上的低竞争负载平衡，Proc。第三届ACM交响乐团。《并行算法和体系结构》，1992年7月。
[24] M.Herlihy，N.Shavit，O.Waarts，低竞争线性计数，Proc。第32届IEEE研讨会。《计算机科学基础》，1991年10月，第526-535页。；M.Herlihy，N.Shavit，O.Waarts，《低竞争线性化计数》，Proc。第32届IEEE交响曲。《计算机科学基础》，1991年10月，第526-535页。
[25] Herlihy，M。；北沙维特。；Waarts，O.，线性化计数网络，分布式计算。，9, 193-203 (1996) ·Zbl 1448.68226号
[26] M.Herlihy，J.Wing，并发对象公理，Proc。第14届ACM交响乐团。《程序设计语言原理》1987年，第13-26页。；M.Herlihy，J.Wing，并发对象公理，Proc。第14届ACM交响乐团。1987年《程序设计语言原理》，第13-26页。
[27] Herlihy，M。；Wing，J.，线性化：并发对象的正确性条件，ACM-Trans。关于程序设计语言系统，12，3，463-492（1990）
[28] 霍普克罗夫特，J.E。；Ullman，J.D.，《自动机理论、语言和计算导论》（1979），Addison-Wesley:Addison-Whesley Reading，MA·兹比尔0196.01701
[29] M.Klugerman，C.Plaxton，《小深度计数网络》，Proc。第24届ACM交响乐团。《计算理论》，1992年，第417-428页。；M.Klugerman，C.Plaxton，《小深度计数网络》，Proc。第24届ACM交响乐团。《计算理论》，1992年，第417-428页。
[30] Knuth，D.E.，《计算机编程的艺术》，第2卷：半数值算法（1969），Addison-Wesley：Addison-Whesley Reading，MA·Zbl 0191.17903号
[31] D.König，Theorye der endlichen und unedlichen graphen，利比锡，1936年，切尔西再版，1950年。；D.König，Theorye der endlichen und unedlichen graphen，利比锡，1936年，切尔西再版，1950年。
[32] Lamport，L.，《指定并发程序模块》，ACM Trans。编程语言系统，5，2，190-222（1983）·Zbl 0516.68010号
[33] 雷曼，P.L。；Yao，S.B.，B树上并发操作的高效锁定，ACM Trans。数据库系统，6，4，650-670（1981）·兹伯利0465.68061
[34] 李凯。；Hudak，P.，共享虚拟内存系统中的内存一致性，ACM Trans。编程语言系统，7，4，321-359（1989）
[35] N.Lynch，N.Shavit，A.Shvartsman，D.Touitou，《计数网络实际上可以线性化》，Proc。第15届ACM年会。《分布式计算原理》，1996年5月，第280-289页。；N.Lynch，N.Shavit，A.Shvartsman，D.Touitou，《计数网络实际上可以线性化》，Proc。第15届ACM年会。《分布式计算原理》，1996年5月，第280-289页·Zbl 1321.68087号
[36] Mac-Lane，S。；Birkhoff，G.，《代数》（1979），麦克米利安：麦克米利恩纽约
[37] M.Mavronicolas，M.Merritt，G.Taubenfeld，顺序一致与线性化计数网络，Proc。安18号交响乐团。《分布式计算原理》，1999年5月，第133-142页。；M.Mavronicolas，M.Merritt，G.Taubenfeld，顺序一致与线性化计数网络，Proc。安18号交响乐团。《分布式计算原理》，1999年5月，第133-142页·Zbl 1321.68088号
[38] M.Mavronicolas，M.Papatriantafilou，Ph.Tsigas，《计时对计数网络线性化能力的影响》，Proc。第11届国际。并行处理Symp。，1997年4月，第684-688页。；M.Mavronicolas，M.Papatriantafilou，Ph.Tsigas，《计时对计数网络线性化能力的影响》，Proc。第11届国际。并行处理Symp。，1997年4月，第684-688页。
[39] S.Moran，G.Taubenfeld，《无等待计数的下限》，J.Algorithms 24（1997）1-19。（另见：第12届ACM分布式计算原理研讨会，1993年8月，第251-260页）；S.Moran，G.Taubenfeld，《无等待计数的下限》，J.Algorithms 24（1997）1-19。（另见：第12届ACM分布式计算原理研讨会，1993年8月，第251-260页。）·Zbl 0887.68002号
[40] S.Moran、G.Taubenfeld、I.Yadin、Concurrent counting、J.Comput。系统科学。53(1) (1996) 61-78. （另见：第11届ACM分布式计算原理研讨会，1992年8月，第59-70页）；S.Moran、G.Taubenfeld、I.Yadin、Concurrent counting、J.Comput。系统科学。53（1）（1996）61-78。（另见：Proc.11th ACM Symp.on Principles of Distributed Computing，1992年8月，第59-70页。）·Zbl 0859.68022号
[41] D.Peleg，《分布式数据结构：一种面向复杂性的结构》，载于：I.van Leeuwen，N.Santoro（编辑），第四国际出版社。分布式算法研讨会，计算机科学讲稿，第486卷，施普林格，柏林，1990年，第71-89页。；D.Peleg，《分布式数据结构：一种面向复杂性的结构》，载于：I.van Leeuwen，N.Santoro（编辑），第四国际出版社。分布式算法研讨会，计算机科学讲稿，第486卷，施普林格，柏林，1990年，第71-89页。
[42] S.A.Plotikin，《粘性比特与共识的普遍性》，Proc。第八届ACM交响乐团。《分布式计算原理》，1989年8月，第159-175页。；S.A.Plotikin，《粘性比特与共识的普遍性》，Proc。第八届ACM交响乐团。《分布式计算原理》，1989年8月，第159-175页。
[43] Y.Sagiv，B树上的并发操作与超车，ACM数据库系统原理，1985年1月，第28-374页。；Y.Sagiv，B树上的并发操作与超车，ACM数据库系统原理，1985年1月，第28-374页。
[44] A.S.Tanenbaum，M.F.Kaashoek，H.E.Balvrije，使用共享对象的并行编程，IEEE计算机，1992年8月，第10-19页。；A.S.Tanenbaum，M.F.Kaashoek，H.E.Balvrije，使用共享对象的并行编程，IEEE计算机，1992年8月，第10-19页。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。