admin 管理员组文章数量: 1086019
哲学家进餐问题(图文详解)
1、哲学家进餐问题描述
哲学家进餐问题说的是:有五个哲学家,他们的生活方式是交替地进行思考和进餐,哲学家们共用一张圆桌,分别坐在周围的五张椅子上,在圆桌上有五个碗和五支筷子,平时哲学家进行思考,饥饿时便试图取其左、右最靠近他的筷子,只有在他拿到两支筷子时才能进餐,该哲学家进餐完毕后,放下左右两只筷子又继续思考。这个问题是由荷兰学者Dijkstra提出的经典的同步问题之一。哲学家进餐问题是一大类并发控制问题的典型例子,涉及信号量机制、管程机制以及死锁等操作系统中关键问题的应用,在操作系统文化史上具有非常重要的地位。对该问题的剖析有助于深刻地理解计算机系统中的资源共享、进程同步机制、死锁等问题,并能熟练地将该问题的解决思想应用于生活中的控制流程。
2、哲学家进餐问题算法的基本思想
用PV操作信号量来实现这个算法,当哲学家饥饿时,只能拿左边右边的筷子,拿到2个筷子才能进餐,且不能同时拿两边的筷子,我的思想是先让哲学家去拿他左边的筷子,执行Wait方法,成功后,再去拿他右边的筷子,执行Wait方法,成功后便可进餐。进餐毕,先放下他左边的筷子,然后再放下右边的筷子,但是可能会出现最坏的一种情况,就是大家同时都拿起左边筷子,造成死锁。为防止这个情况的发生,我将5个哲学家从1到5编号,奇数号的哲学家先拿起左边的筷子,再拿起右边的筷子。偶数号的哲学家先拿起右边的筷子,再拿起左边的筷子。从而使得,只有1号和2号哲学家会同时竞争1号的筷子,3号和4四号的哲学家会同时竞争3号的筷子,即这5位哲学家会先竞争奇数号的筷子,再去竞争偶数号的筷子,最后总会有一个哲学家可以进餐成功。这样就打破了死锁的循环等待条件,从而避免了死锁的发生!
注:(实际程序中我是从0到4给哲学家和筷子编的号 程序中判断奇数偶数时用的ID+1)
3、算法实现流程图
…流程差不多就是这样(可能会画的不是特别准确,但理解大概思路就好)
4、你要的程序它来了!
注:看代码前最好对线程 和 PV操作信号量有些了解 代码总体简要说明:
用PV操作信号量来实现这个算法,init()方法初始化每个筷子信号量,创建五个哲学家进程执行start()方法,当线程调用了run()方法后,对进入该方法的哲学家进行判断,奇数号的哲学家先拿起左边的筷子,再拿起右边的筷子。偶数号的哲学家先拿起右边的筷子,再拿起左边的筷子,(拿筷子前执行Wait方法,成功后,再去拿他另一个筷子,执行Wait方法,成功后便可进餐)放筷子也按拿筷子时的左右顺序放下从而避免死锁。当run()执行到第30次后退出程序。
本人代码 PV操作信号量的详细说明:
说的通俗点就是 哲学家在使用筷子时,筷子信号量本是1但由于这位哲学家的使用使信号量-1,为0,按本人代码来看的话 下次在有人想抢这个筷子的时候 会先执行信号量-1的操作,当发现(count < 0)了 也是信号量小于0了 ,就说明这个筷子你没抢上 正有哲学家在用,他就要等待notify函数将其唤醒, 那么某时抢到这个筷子的哲学家sleep()完了 也就是吃完了 那么信号量就要加1,此时再一个判断count<=0 ?,正常来说,他用之前信号量是1,吃完饭执行PV操作后这个筷子的信号量还应该是1。但如果如果count<=0为真的话就是说 在他使用的这个筷子期间还有人想使用这个筷子 但是没抢上 所以现在要做的是PV操作这个筷子的信号量+1,可以notify他 了也就是将其唤醒。使之运行下去。
package zhexuejiajincan;
public class Main {
public static void main(String[] args) {
Init init = new Init(); // 先初始化每个筷子的信号量,该方法内用一个信号量表示一个筷子
Man man[] = new Man[5]; // 创建5个哲学家
int i;
for (i = 0; i < 5; i++) {
man[i] = new Man(i);
}
Thread[] t = new Thread[5]; // 创建5个线程
for (i = 0<
版权声明:本文标题:PV操作解决哲学家进餐问题(图文详解) 内容由网友自发贡献,该文观点仅代表作者本人, 转载请联系作者并注明出处:http://roclinux.cn/b/1740141282a2141234.html, 本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌抄袭侵权/违法违规的内容,一经查实,本站将立刻删除。
发表评论