操作系统的哲学家就餐问题

最新推荐文章于 2022-05-11 00:02:46 发布

萌小宏

最新推荐文章于 2022-05-11 00:02:46 发布

阅读量5.1k

点赞数 1

分类专栏：操作系统文章标签：操作系统

本文链接：https://blog.csdn.net/best_fiends_zxh/article/details/52742351

版权

本文探讨了哲学家就餐问题，这是一道经典的进程同步问题。当5位哲学家围坐一桌，只有拿到两支相邻筷子才能进食，可能会出现死锁情况。分析指出，最多两位哲学家能同时吃饭，而解决这个问题的方法有多种。

摘要由CSDN通过智能技术生成

今天我们来看一下哲学家就餐问题，这是很好的检测新设计出的进程同步原语的功能和性能。

问题：有5个哲学家，他们围坐在一张圆桌旁，哲学家只有三种状态，思考，等待筷子，吃面条。每个哲学家面前有一只空盘子，每两个哲学家之间有一支筷子，共五支筷子，每个人只能拿自己旁边的筷子，哲学家只能拿到两只筷子才能吃面条，当一个哲学家饿了，他就试图拿他最近的两支筷子，每次只能拿一支，次序不限，当他成功拿到两支筷子就可以吃面条了。

分析：显然，最多两个哲学家同时吃面，假如每个哲学家都拿起一只筷子，就会永久等待（死锁），哲学家问题解法有好几种，下面介绍一种比较好的方法。

typedef int Semaphore;       //定义信号量Semaphore类型是整型的别名
const int N = 5;             //定义哲学家的数目，该数目可以根据需要修改
const LEFT (i-1)%N;          //哲学家i的左邻
const RIGHT (i+1)%N;         //