利用记录型信号量解决不会出现死锁的哲学家就餐问题-CSDN博客

网站介绍:文章浏览阅读1.3w次,点赞22次,收藏81次。试利用记录性信号量写出一个不会出现死锁的哲学家进餐问题的算法规定在拿到左侧的筷子后,先检查右面的筷子是否可用。如果不可用,则先放下左侧筷子,等一段时间再重复整个过程。分析:当出现以下情形,在某一个瞬间,所有的哲学家都同时启动这个算法,拿起左侧的筷子,而看到右侧筷子不可用,又都放下左侧筷子,等一会儿,又同时拿起左侧筷子……如此这样永远重复下去。对于这种情况,所有的程序都在..._记录型信号量解决哲学家就餐问题