×
南希·林奇;尼尔·沙维特;亚历克斯·施瓦茨曼;丹·头头

均匀计数网络中线性化的定时条件。 （英语） Zbl 0916.68028号

西奥。计算。科学。 220，第167-91号（1999年）.
摘要：计数网络是一种并发数据结构，在设计高度可扩展的并发数据结构时充当构建块，以消除顺序瓶颈和争用。线性化计数网络确保网络返回值的顺序反映了请求值的实时顺序。线性化是并发数据结构的一个重要一致性条件，因为它简化了证明并增强了组合性。虽然大多数计数网络不可线性化，但本文给出了均匀非线性网络表现线性化行为的定时条件的精确表征。均匀性是几乎所有已发布计数网络的一个常见结构属性：均匀网络由“平衡器”和“导线”组成，因此每个平衡器都位于从输入到输出的某条路径上，并且从输入到输出来的所有路径都具有相等的长度。我们的结果包括以下简单条件：如果慢速令牌通过“线”或“平衡器”的时间不超过快速令牌的两倍，则网络是线性的。令人惊讶的是，这种情况下的定时测量对于网络的各个“导线”和“平衡器”来说是局部的，也就是说，它与网络深度无关。我们使用我们的计时度量从数学上解释了我们的经验发现：在模拟共享内存多处理器上测试的各种高并发执行场景中，Aspnes、Herlihy和Shavit的Bitonic计数网络表现出完全线性化的行为，并且当线性化能力被破坏时，违规比例相对较小。Herlihy、Shavit和Waarts已经证明，在任何情况下都能实现线性化的计数网络必须支付线性时间延迟的代价。我们的结果表明，对于定时异常不常发生的系统，这种线性延迟可能会给那些愿意偶尔产生非线性能力的应用程序带来不必要的负担。

引用于2文件

MSC公司：

68第05页 数据结构

关键词：

计数网络;时间分析;线性化能力;数据结构;经验评价

软件：

PROTEUS公司
PDF格式BibTeX公司 XML格式引用
\textit{N.Lynch}等人，Theor。计算。科学。220，编号1，67--91（1999；Zbl 0916.68028）
全文： 内政部

参考文献：

[1] 阿加瓦尔，A。；比安奇尼（Bianchini，R.）。；Chaiken博士。；约翰逊，D.K.K。；Kubiatowicz，J。；Lim，B.-H。；麦肯齐，K。；Yaung，D.，《麻省理工学院阿莱妻机器：体系结构与性能》，（第22届国际计算机体系结构研讨会，第22届国内计算机体系结构会议，意大利圣玛格丽塔·利古雷（1995年6月）），2-13
[2] Aharonson，E。；Attiya，H.（技术报告679（1991年6月），Technion），[2]早期版本
[3] 艾略，B。；R.文卡特桑。；Yung，M.，《平衡网络中的硬币、权重和争用》，（第13届美国计算机学会分布式计算原理研讨会，第13届澳大利亚计算机学会分布式计算机原理研讨会，加利福尼亚州洛杉矶（1994年8月）），193-214·Zbl 1377.68029号
[4] 阿斯普内斯，J。；Herlihy，M。；Shavit，N.，麻省理工学院技术报告MIT/LCS/TM-451（1991年6月）
[5] 阿提亚，H。；德沃克，C。；林奇，N。；Stockmeyer，L.，《存在时间不确定性时达成协议的时间界限》，J.ACM，41，1，122-152（1994）·Zbl 0807.68042号
[6] 阿提亚，H。；林奇，N。；Shavit，N.，《无等待算法快速吗？》？，J.ACM，41、4、725-763（1994）·Zbl 0812.68077号
[7] Batcher，K.E.，《分拣网络及其应用》（AFIPS Spring Joint Computer Conf.（1968），第307-314页·Zbl 0142.12903号
[8] Brewer，E.A。；Dellarocas，C.N。；科尔布鲁克，A。；Weihl，W.E.，《Proteus:一个高性能并行体系结构模拟器》，（MIT/LCS/TR-516技术报告（1991年9月），麻省理工学院计算机科学实验室）
[9] 布希，C。；Mavronicolas，M.，《平衡网络的组合处理》，（第13届美国计算机学会分布式计算原理研讨会，第13届澳大利亚计算机学会分布式计算机原理研讨会，加利福尼亚州洛杉矶（1994年8月）），206-215·Zbl 1377.68033号
[10] 布希，C。；Mavronicolas，M.，《计数网络深度和争用的新界限》（1995年10月），塞浦路斯大学，预印本
[11] 科尔曼，T.H。；Leiserson，C.E。；Rivest，R.L.，《算法导论》（1990），麻省理工学院出版社/麦格劳-希尔：麻省理学院出版社/麦格劳-希尔坎布里奇马萨诸塞州/纽约·Zbl 1158.68538号
[12] 费尔顿，E.W。；拉马卡，A。；Ladner，R.，用较大的平衡器构建计数网络，（技术报告TR-93-04-09（1993年4月），华盛顿大学）
[13] 古德曼，J.R。；弗农，M.K。；Woest，P.J.，《大规模缓存相干多处理机的高效同步原语》，（Proc.3rd Internat.Conf.on Architectural Support for Programming Languages and Operating Systems，Proc.3rdInternat.Conf.on Architectural Support for Programmming Language and Operating System，马萨诸塞州波士顿（1989年4月）），第64-75页
[14] 赫利希，M。；Lim，B.H。；Shavit，N.，（《ASM并行算法和体系结构（SPAA）研讨会》，第三届年会。程序。第三年。ASM交响乐。《并行算法和体系结构（SPAA）》，加利福尼亚州圣地亚哥（1992年7月），219-227，完整版作为DEC TR提供
[15] Herlihy，M。；北沙维特。；Waarts，O.，IEEE。带有实证结果的详细版本见MIT技术备忘录MIT/LCS/TM-459（1991年11月）
[16] Herlihy，M.P。；Wing，J.M.，线性化：并发对象的正确性条件，ACM Trans。程序设计语言系统，12，3，463-492（1990）
[17] 克鲁格曼，M。；Plaxton，C.G.，《小深度计数网络》（博士论文（1994），麻省理工学院：麻省理学院剑桥分校，马萨诸塞州02139）
[18] 克鲁格曼，M。；Plaxton，C.G.，《小深度计数网络》（Proc.24th ACM Symp.on Theory of Computing（STOC）（1992）），417-428
[19] Lamport，L.，《如何制作正确执行多进程程序的多处理器计算机》，IEEE Trans。计算机，C-28，9（1979）·Zbl 0419.68045号
[20] Mavronicolas，M。；Papatriantafilou，M。；Tsigas，P.，《计时对计数网络线性化能力的影响》，（第11届国际并行处理研讨会…第11届国内并行处理研讨会，瑞士日内瓦（1997）），即将出版
[21] Mellor-Crummey，J.M。；Scott，M.L.，（COMP TR90-114（1990年5月））
[22] Papadimitriou，C.H.，并发数据库更新的可序列化性，J.ACM，26，4，631-653（1979）·Zbl 0419.68036号
[23] 北沙维特。；Touitou，D.，Tel-Avi大学技术报告（1995年1月）
[24] 北沙维特。；Zemach，A.，衍射树，ACM Trans。计算。系统，14，4，385-428（1996）
[25] Vitanyi，P.M.B.，《阿基米德处理器环中的分布式选举》（第16届ACM计算机理论交响曲（1984）），542-547
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。