重新审视死锁预防：一种概率方法
分布式、并行与集群计算
2014-01-07 v1 操作系统
摘要
我们通过关注优先级有向图而非传统的等待图，重新审视了死锁预防问题。这使得我们能够将死锁预防表述为禁止有向环的出现，即使是在最一般的等待模型（即所谓的AND-OR模型，在该模型中禁止等待有向环通常过于严格）中也是如此。对于优先级有向图有所简化的一种特定情况，我们引入了一种拉斯维加斯(Las Vegas)概率机制用于资源授予，并详细分析了其关键方面。
引用
@article{arxiv.1010.4411,
title = {Revisiting deadlock prevention: a probabilistic approach},
author = {Fabiano de S. Oliveira and Valmir C. Barbosa},
journal= {arXiv preprint arXiv:1010.4411},
year = {2014}
}