哲学家就餐问题PV原语

题目分析并描述：

描述：

有五个哲学家，他们共用一张圆桌，分别坐在五张椅子上。在圆桌上有五支叉子，平时一个哲学家进行思考，饥饿时便试图取用其左、右最靠近他的叉子，只有在他拿到两支叉子时才能进餐，每个哲学家不能同时拿到两个叉子，进餐完毕，放下叉子又继续思考。

分析：

经分析可知，放在桌子上的叉子是临界资源，在一段时间内只允许一位哲学家使用，为了实现对叉子的互斥使用，可以用一个信号量表示一只叉子，由这五个信号量组成信号量数组。当哲学家饥饿时总是先拿其左边的叉子，成功后，再去拿右边的叉子，又成功后方可就餐。进餐完，又先放下他左边的叉子，再放下右边叉子。这个算法可以保证不会有两个相邻的哲学家同时就餐，但有可能引起死锁。对于死锁问题可采取至多只允许四个哲学家同时进餐，以保证至少有一个哲学家可以进餐，最终总会释放出他所用过的两只叉子，从而可使更多的哲学家进餐的方法进行解决。

哲学家就餐问题程序代码：

package system;

import java.util.concurrent.Semaphore;

public class PhilosopherThread {

//一次只允许四个人抢叉子

static final Semaphore count = new Semaphore(4);

//五只叉子

static final Semaphore[] mutex = {new Semaphore(1),

new Semaphore(1),

new Semaphore(1)};

static class Philosopher extends Thread {

Philosopher(String name) {

super.setName(name);

}

@Override

public void run() {

do {

try {

//只有四个人有抢叉子的资格

count.acquire();

Integer i = Integer.parseInt(super.getName());

//规定都先拿左手边的叉子，于是四个人左手都有叉子

mutex[i].acquire();

//大家开始抢右边的叉子

mutex[(i + 1) % 5].acquire();

//谁先抢到谁第一个开吃

System.out.println("哲学家" + i + "号吃饭！");

//吃完放下左手的叉子，对于左边人来说，就是他的右叉子，直接开吃

mutex[i].release();

//再放下右手的叉子

mutex[(i + 1) % 5].release();

//吃完了，开始思考，由于放下了右手的叉子，相当于给一个叉子没有的哲学家一个左叉子

count.release();

//模拟延迟

Thread.sleep(2000);

} catch (InterruptedException e) {

System.out.println("异常");

}

} while (true);

}

public static void main(String[] args) {
// TODO Auto-generated method stub
//五个哲学家
Philosopher p0 = new Philosopher("0");
Philosopher p1 = new Philosopher("1");
Philosopher p2 = new Philosopher("2");
Philosopher p3 = new Philosopher("3");
Philosopher p4 = new Philosopher("4");

p0.start();
p1.start();
p2.start();
p3.start();
p4.start();
}
}

哲学家就餐问题PV原语相关推荐

哲学家就餐问题的三种避免死锁的解法（PV操作）
哲学家就餐问题的三种避免死锁的解法(PV操作) 方案一:最多允许有四位哲学家同时去拿左边的筷子,然后再拿右边的筷子,最终保证至少有一位哲学家能够进餐,并在就餐完毕时同时释放他用过的两只筷子,从而使更多 ...
哲学家就餐问题实验报告
哲学家就餐问题两个地方应该是pv操作,pv都是操作元语,不可中断 p操作是将信号量-1 v操作是将信号量+1 pv一定要配对使用哲学家进餐可以通过信号量机制解决,避免死锁注释如下: test(i ...
哲学家进餐问题pv_【jMiniLang】哲学家就餐问题
演示GIF(1.57MB),控制台输出效果(还有parser/vm/ui)自己实现: 信号量与PV原语信号量为正数代表有空闲资源,为零与负数代表没有空闲资源.负数的绝对值代表等待的进程个数.信号量用 ...
进程间通信、死锁、信号量、PV原语
文章目录进程间通信(Inter-Process Communication, IPC) 顺序程序与并发程序的特征进程互斥.临界资源.临界区同步的细分进程间通信目的进程间通信发展进程间通信分 ...
【操作系统/OS笔记14】经典同步问题：读者-写者问题、哲学家就餐问题
本次笔记内容: 10.6 经典同步问题-1 10.7 经典同步问题-2 10.8 经典同步问题-3 10.9 经典同步问题-4 10.10 经典同步问题-5 10.11 经典同步问题-6 文章目录读 ...
哲学家就餐问题（条件变量）
1965年,著名计算机科学家艾兹格·迪科斯彻,提出并解决了一个他称之为哲学家就餐的同步问题. 从那时起,每个发明同步原语的人,都希望通过解决哲学家就餐问题来展示其同步原语的精妙之处. 这个问题可以简单 ...
php 哲学家进餐,IPC问题-哲学家就餐(示例代码)
如上图,有五位哲学家,盘中的食物只有左右两个叉子都拿起才能吃.哲学家在桌上只有思考(等待)和吃面(执行).看起来最多是只有2个人能同时吃. 版本一:这个思路的最糟糕的就是都拿起左边叉子,那样都没法吃了 ...
哲学家就餐问题c语言_哲学家就餐问题的一种Python解决方案
哲学家就餐问题一直是多线程同步问题的经典案例,本文中展示了多线程竞争共享资源带来的死锁问题,并介绍了一种简单的解决方案. 哲学家就餐问题哲学家最擅长的就是思考和吃饭 ,当他们感觉累的时候,就会拿起一 ...
进程的同步、互斥以及PV原语
在处理进程间的同步与互斥问题时,我们离不开信号量和PV原语,使用这两个工具的目的在于打造一段不可分割不可中断的程序.应当注意的是,信号量和PV原语是解决进程间同步与互斥问题的一种机制,但并不是唯一的机 ...

哲学家就餐问题PV原语

哲学家就餐问题PV原语相关推荐

最新文章

热门文章