14.1.6 死锁

Coffman et al.,“System Deadlocks”

该文简要介绍了死锁、死锁的产生原因以及如何预防和检测。

Holt,“Some Deadlock Properties of Computer Systems”

广告:个人专属 VPN,独立 IP,无限流量,多机房切换,还可以屏蔽广告和恶意软件,每月最低仅 5 美元

该文围绕死锁进行了讨论。Holt引入了一个可用来分析某些死锁情况的有向图模型。

Isloor and Marsland,“The Deadlock Problem:An Overview”

这是关于死锁的入门教程,重点放在了数据库系统,也介绍了多种模型和算法。

Shub,“A Unified Treatment of Deadlock”

这是一部关于死锁产生和解决的简短综述,同时也给出了一些在教学时应当强调内容的建议。