死锁和饥饿-哲学家就餐问题

哲学家就餐问题

背景:

假设5位哲学家住在一起(可以推广到n),每天生活就是思考和吃饭,每位哲学家需要2把叉子来吃意大利面.

就餐安排: 一张圆桌,5个板凳,5个盘子,5把叉子,每个想吃饭的哲学家做到椅子上,使用盘子2侧的叉子来吃面条,

问题: 设计算法 保证互斥(2位哲学家不能使用相邻的叉子),同时还要避免死锁(每个哲学家都在等待叉子,且占用了叉子)和饥饿

信号量解决方案

规定: 每位哲学家首先拿起左边的叉子,然后拿起右边的叉子

semaphore fork[5] = {1};
int i;
void philosopher (int i) {while (true) {think();wait(fork[i]); //等待左边的叉子wait(fork[(i+1) % 5]; // 等待右边的叉子eat();signal(fork[(i+1) % 5]); // 放回右边的叉子signal(fork[i]; //放回左边的叉子 (增加信号量)}
}
void mian() {parbegin(philosopher(0),philosopher(1).....philosopher(4));
}

此方案会导致死锁: 所有哲学家同时坐下来,都拿起左边的叉子,都去伸手拿右边的叉子,却都没有拿到

对上面死锁危险的解决方案:

再增加5把叉子,
哲学家学会只使用一把叉子吃面
增加服务员： 限制每次最多只能4个哲学家坐下来,那么至少有一个哲学家能够拿到2把叉子

增加服务员方案

一个信号量room表示 : 限制每次哲学家同时坐下的数量

semaphore fork[5] = {1};
semaphore room = 4;
int i;
void philosopher (int i) {while (true) {think();wait(room);wait(fork[i]);wait(fork[(i+1) % 5]);eat();signal(fork[(i+1) % 5]);signal(fork[i]);signal(room);}
}
void main() {parbegin(philosopher(0),philosopher(1).....philosopher(4));
}

基于管程的解决方案

定义 5个管程的条件变量, 每把叉子对应一个条件变量,用来标识哲学家等待的叉子可用情况,

开一个bool数组记录每把叉子是否可用(true/false)

管程包含2个过程：

get_forks : 表示取哲学家左右的叉子, 如果至少有1把不可以用,那么在条件变量队列中等待,使得其他哲学家进程进入管程

release_forks : 标识2把叉子可用

与信号量方案类似,都是首先拿起左边的叉子,然后拿起右边的叉子

monitor dining_controller; // 声明管程
cron ForkReady[5];  //  管程的条件变量
bool fork[5] = {true}; // 标记叉子是否可用void get_forks(int pid) { // pid既代表哲学家又代表叉子int left = pid;int right = (pid + 1) % 5;if (!fork[left]) // 左边叉子被使用,则等待条件变量cwait(ForkReady[left]);fork[left] = false;//左边叉子现在可以归我们用了,再次标记为不能用if (!fork[right])cwait(ForkReady[right]);fork[right] = false;
}void release_forks(int pid) {int left = pid;int right= (pid + 1) % 5;if (empty(ForkReady[left])) // 没有哲学家在该队列上等待,则该叉子可以使用fork[left] = true;else //如果还有等待,增加信号量csignal(ForkReady[left]);/* 释放右边的叉子 */if (empty(ForkReady[right]))fork[right] = true;elsecsignal(ForkReady[right]);
}void philosopher(int i) {while (true) {think();get_forks(i);eat();release_forks(i);}
}
void main() {parbegin(philosopher(0),philosopher(1).....philosopher(4));
}

死锁和饥饿-哲学家就餐问题相关推荐

Thinking in Java---从哲学家就餐问题看死锁现象
我们知道一个对象可以有synchronized方法或其他形式的加锁机制来防止别的线程在互斥还没释放的时候就访问这个对象.而且我们知道线程是会变成阻塞状态的(挂起),所以有时候就会发生死锁的情况:某个任 ...
哲学家就餐与死锁问题，死锁产生的条件以及解决方案
请结合经典案例-哲学家就餐,来谈谈你对死锁的理解,以及怎么预防和解除死锁? 哲学家就餐描述:在一张圆桌上,有n个哲学家,n支筷子,他们的生活方式只是交替地进行思考和进餐,饥饿时便试图取其左.右最靠近 ...
Java多线程学习四十二：有哪些解决死锁问题的策略和哲学家就餐问题
线上发生死锁应该怎么办如果线上环境发生了死锁,那么其实不良后果就已经造成了,修复死锁的最好时机在于"防患于未然",而不是事后补救.就好比发生火灾时,一旦着了大火,想要不造成损失去 ...
哲学家就餐问题python_哲学家就餐问题与死锁
问题描述哲学家就餐问题(Dining philosophers problem)是在计算机科学中的一个经典问题,用来演示在并发计算中多线程同步(Synchronization)时产生的问题. 哲学家 ...
哲学家就餐问题--信号量和互斥量预防死锁
哲学家就餐问题可以采取预防死锁的方案,就是使用互斥量和信号量锁定资源. 互斥量: 对资源进行锁定的意思就是说,当一个哲学家使用叉子的时候,他首先要先把叉子锁定,然后,拿起来.这个时候如果别的哲学家也来 ...
哲学家就餐（避免死锁）（多进程版）
哲学家就餐(避免死锁)(多进程版) 哲学家就餐利用信号量在多进程之间实现下面展示一些代码片段 #include <stdio.h> #include <unistd.h> # ...
哲学家就餐问题（如何避免死锁）（多线程版）
哲学家就餐问题多线程编程中,常常会遇到线程间访问共享资源的问题,如果处理不当则会发生死锁,某一个线程可能永远访问不到共享资源. 为了避免死锁的发生,提出哲学家就餐问题. 下面展示一些代码片段 #in ...
哲学家就餐问题的三种避免死锁的解法（PV操作）
哲学家就餐问题的三种避免死锁的解法(PV操作) 方案一:最多允许有四位哲学家同时去拿左边的筷子,然后再拿右边的筷子,最终保证至少有一位哲学家能够进餐,并在就餐完毕时同时释放他用过的两只筷子,从而使更多 ...
多线程“死锁”之“哲学家就餐”代码实现
死锁:就是两个或者两个以上的线程相互占用对方的需要的资源,而不进行释放,导致彼此都在等待对方释放资源,产生了无限制的等待的现象. "哲学家就餐"的问题不在赘述,可以自行百度或者Go ...

死锁和饥饿-哲学家就餐问题

哲学家就餐问题

信号量解决方案

对上面死锁危险的解决方案:

增加服务员方案

基于管程的解决方案

死锁和饥饿-哲学家就餐问题相关推荐

最新文章

热门文章