Chen，Marina C.（玛丽娜·C·陈）。;马丁·雷 资源争用中的死锁自由。 （英语） Zbl 0552.68018号 学报信息。 21, 585-598 (1985). 争夺稀缺资源使用的进程可能会陷入僵局。本文建立了在权宜分配策略下保证无死锁的两个充要条件。证明了它们的等价性。结果表明，死锁自由的条件只是König-Hall定理中所表示的已知存在不同代表系统的条件的另一种形式。对于二进制资源，死锁自由等价于超图中没有循环。更有趣的是，与早期的工作相比，在没有使用König-Hall或等效定理的情况下证明了死锁自由的条件。 MSC公司： 68N25号 操作系统理论 关键词：稀缺资源;权宜分配政策;死锁自由 PDF格式BibTeX公司 XML格式引用 \textit｛M.C.Chen｝和\textit｛M.Rem｝，Acta Inf.21585-598（1985；Zbl 0552.68018） 全文： 内政部 参考文献： [1] Berge，C.：图和超图。阿姆斯特丹：北荷兰1973·Zbl 0254.05101号 [2] Chen，M.C.，Graham，R.L.，Rem，M.：无死锁资源争用的特征。技术报告4684，加利福尼亚理工学院计算机科学系。加利福尼亚州帕萨迪纳市，1982 [3] Dijkstra，E.W.：合作顺序过程。摘自：《编程语言》，第43-112页。F.Genuys（编辑）。纽约：学术出版社1968 [4] Dijkstra，E.W.：顺序过程的层次排序。《学报》第1期，第115-138页（1971年）·doi:10.1007/BF00289519 [5] 哈伯曼，A.N.：防止系统死锁。Commun公司。ACM 12、373-377、385（1969）·Zbl 0184.20602号 ·doi:10.1145/363156.363160 [6] 霍尔，P.：关于子集的代表。J.隆德。数学。Soc.10，26-30（1935年）·Zbl 0010.34503号 ·doi:10.1112/jlms/s1-10.37.26 [7] 霍尔特：计算机系统的一些死锁特性。计算。Surv公司。4, 179-196 (1972) ·数字对象标识代码：10.1145/356603.356607 [8] Hopcroft，J.E.，Karp，R.M.：二部图中最大匹配的n 5/2算法。SIAM J.计算。2, 225-231 (1973) ·Zbl 0266.05114号 ·doi:10.1137/02019年2月20日 [9] Ibaraki，T.，Kameda，T.：有限数量进程的无死锁系统。IEEE传输。计算。31, 188-193 (1982) ·Zbl 0479.68023号 ·doi:10.1109/TC.1982.1675974 [10] Kameda，T.：测试计算机系统的死锁自由度。J.协会计算。机器。27, 270-280 (1980) ·Zbl 0431.68032号 [11] Mead，C.A.，Conway，L.A.：超大规模集成电路系统简介。雷丁，马萨诸塞州：艾迪森·韦斯利1980 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。