维姆·赫塞林克。 自由地址的有限延迟。 （英语） Zbl 0849.68031号 学报信息。 33，第3期，233-254（1996年）. 本文讨论了通过共享变量进行通信的并发进程问题。问题是让（n）进程在（m）个地址范围内并发地重复搜索空闲地址。搜索必须是无等待的：搜索过程在有限的步骤中查找地址。提出了三种解决方案。第一种具有较大的原子作用。只有当\（m\geq（r+1）\cdot n\），其中\（r）是使用的最大地址数时，第二个才是正确的。第三种解决方案总是部分正确的。如果\（m>r+2\cdot n\），则无需等待。该解决方案具有最坏情况下的二次等待时间和摊销等待时间，在活动进程的数量上是线性的，甚至是线性的。不变量用于证明算法的正确性。审核人：W.H.Hesselink（格罗宁根） 引用于2文件 MSC公司： 2010年第68季度 计算模式（非确定性、并行、交互式、概率性等） 68宽10 计算机科学中的并行算法 65年第68季度 算法和问题复杂性分析 68页第10页 搜索和排序 关键词：地址搜索;算法的正确性;并发进程;原子作用 软件：NQTHM公司;联合 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Hesselink}，《学报》第33期，第3期，第233--254页（1996年；Zbl 0849.68031） 全文： 内政部 链接 参考文献： [1] Apt，K.R。；Olderog，E.-R.，《顺序和并发程序的验证》（1991），纽约：Springer，纽约·Zbl 0733.68053号 [2] 阿提亚，H。；Bar-Noy，A。；多列夫，D。；佩莱格，D。；Reischuk，R.，《异步环境中的重命名》，J.ACM，37，524-548（1990）·Zbl 0699.68034号 ·doi:10.1145/79147.79158 [3] 背面，R.J.R。；塞雷，K。；van de Snepscheut，J.L.A.，动作系统的逐步细化，《程序构建数学》（1989），柏林：施普林格出版社，柏林 [4] Bar-Noy A.，Dolev，D.：异步分布式环境中的共享内存与消息传递。程序中。第八届ACM交响乐团。《分布式计算原理》，第307-3181989页 [5] Borowsky，E.，Gafni，A.：即时快照和快速重命名。In：程序。第12届ACM交响乐团。《分布式计算原理》，第41-52页，1993年·Zbl 1373.68078号 [6] 博伊尔，R.S。；Moore，J.，《计算逻辑手册》（1988），波士顿：学术出版社，波士顿·Zbl 0655.68117号 [7] 尚迪，K.M。；Misra，J.，并行程序设计，基金会（1988年），马萨诸塞州雷丁市：Addison-Wesley，马萨诸塞诸塞州雷丁市·Zbl 0717.68034号 [8] Dijkstra，E.W.：一类仅诱导有界延迟的分配策略。技术代表。，埃因霍温理工大学，EWD 3191971 [9] Herlihy，M.P.，无等待同步，ACM Trans。程序。语言系统，13，124-149（1991）·数字对象标识代码：10.1145/114005.102808 [10] Hesselink，W.H.，带断言证明的无等待线性化，分布式计算，8，65-80（1994）·Zbl 1448.68109号 ·doi:10.1007/BF02280829 [11] Hesselink，W.H.：机械证明的无等待线性化。计算科学笔记Groningen CS 9306，将出现在分布式计算中 [12] Owicki，S。；Gries，D.，并行程序的公理证明技术，Acta Inform，6319-340（1976）·兹伯利0312.68011 ·doi:10.1007/BF00268134 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。