×

读写锁的公平银行家算法。 (英语) Zbl 0787.68023号

概述:银行家算法是一种自由的死锁避免算法,用于规范对串行可重用、非可抢占资源的访问。这类资源通常包括打印机和磁带机。我们展示了如何扩展Banker算法,以允许进程使用读写锁获得对资源的独占或共享访问。我们激发了延期的需求。最后,我们进一步扩展了这些算法以包括公平性,也就是说,我们不允许请求写锁的进程饿死。

MSC公司:

68N25号 操作系统理论
68宽10 计算机科学中的并行算法
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Asratyan,R.E。;Makarov,V.A.,集体占用资源的死锁预防,自动化。遥控器,46、5、664-667(1985)·Zbl 0591.68029号
[2] Courtois,P。;Parnas,D.,《读者和作者的并发控制》,ACM委员会,第14、10、667-668页(1971年)
[3] Dijkstra,E.W.,《合作时序过程》(Genuys,F.,《编程语言》(1968),学术出版社:纽约学术出版社),103-110
[4] Eswaran,K.P。;格雷,J.N。;Lorie,R.A。;Traiger,I.L.,数据库系统中一致性和谓词锁的概念,Comm.ACM,19,11,624-633(1976)·Zbl 0341.68023号
[5] Finkel,R.A.,《操作系统VADE MECUM》(1988),新泽西州普伦蒂斯·霍尔
[6] Habermann,A.N.,《防止系统死锁》,美国计算机学会通讯,12,7,373-377(1969)·Zbl 0184.20602号
[7] Havender,J.W.,《避免多任务系统中的死锁》,IBM systems J.,7,2,74-84(1968)
[8] 霍尔特,R.C.,计算机系统的一些死锁特性,ACM计算。调查,4,3,179-196(1972)
[9] Madduri,H。;Finkel,R.,分布式系统中资源分配银行家算法的扩展,Inform。过程。莱特。,19, 1, 1-8 (1984) ·Zbl 0544.68022号
[10] Moser,L.E。;梅利亚·史密斯,P.M.,《世界银行家的算法》,J.并行分布式计算。,9, 4, 369-373 (1990)
[11] Sims,D.L。;Hensgen,D.A.,《自动将顺序对象映射到并发对象:互斥问题》,Proc。1993年国际。并行处理会议(1993)
[12] Sims,D.L。;Hensgen,D.A.,《自动将顺序对象映射到并发对象:同步问题》(技术报告143/2/93/ECE(修订)(1993年),辛辛那提大学电气与计算机工程系)
[13] Sims,D.L。;Hensgen,D.A。;Moore,L.,从顺序对象自动生成的并发对象的性能,Proc。交响乐团。分布式和多处理器系统的经验(1993)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。