关于广义就餐哲学家问题
摘要：在任意连接拓扑结构下，我们考虑了餐馆哲学家问题的一个推广。我们专注于对称的、完全分布式的系统，并通过使用随机算法解决在存在对手调度器的情况下保证进展和避免死锁的问题。我们证明了Lehmann和Rabin的著名算法在推广情况下不起作用，并提出了一种基于让哲学家为其相邻的叉子分配随机优先级的替代算法。
作者：Oltea Mihaela Herescu and Catuscia Palamidessi
论文ID：cs/0109003
分类：Programming Languages
分类简称：cs.PL
提交时间：2007-05-23