哲学家进餐问题：阻塞第五人预防死锁伪代码

最新推荐文章于 2021-04-01 22:37:26 发布
最新推荐文章于 2021-04-01 22:37:26 发布
阅读量470 收藏 2
点赞数
分类专栏： # Java高并发编程
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/weixin_43553694/article/details/105430243
版权
本文介绍了哲学家进餐问题，一种经典的死锁例子。通过分析，提出了防止死锁的解决方案，并提供了相关伪代码，源自中国大学MoOC的《计算机操作系统》课程。
摘要由CSDN通过智能技术生成 
Program diningphilosophers;
Var fork:array [0...4] of semaphone (:=1);
	room : semaphore (:=4);
i: Integer;
procedure philosopher
最低0.47元/天 解锁文章
「已注销」
关注
  • 0
    点赞
  • 踩
  • 2
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
线程---死锁-哲学家进餐
nn1__2970的博客
05-09 500
哲学家进餐 问题描述：  哲学家进餐问题描述有五个哲学家，他们的生活方式是交替地进行思考和进餐，哲学家们共用一张圆桌，分别坐在周围的五张椅子上，在圆桌上有五个碗和五支筷子，平时哲学家进行思考，饥饿时便试图取其左、右最靠近他的筷子，只有在他拿到两支筷子时才能进餐，进餐完毕，放下筷子又继续思考。 约束条件： (1)只有拿到两只筷子时，哲学家才能吃饭。 (2)如果筷子已被别人拿走，则必须等别人吃完之后...
Java多线程 哲学家就餐死锁问题代码演示
Java持续实践
09-12 844
文章目录哲学家就餐问题 哲学家就餐问题 哲学家就餐问题 如下图所示. 哲学家就餐的餐位上, 左手边和右手边分别只有一只筷子. 如果要就餐, 就必须拿到左手边和右手边的筷子. 流程如下: 先拿起左手的筷子 再拿起右手的筷子 如果筷子被人使用了, 那就等别人用完 吃完后, 把筷子放回原位 哲学家就餐流程的伪代码如下: 就餐问题的死锁风险 : 如果某个时刻, 每个哲学家都拿着左手边的筷子, 那么就会永远等待右手边的筷子, ...
多线程“死锁”之“哲学家就餐”代码实现
niki_yang
07-22 653
死锁：就是两个或者两个以上的线程相互占用对方的需要的资源，而不进行释放，导致彼此都在等待对方释放资源，产生了无限制的等待的现象。 “哲学家就餐”的问题不在赘述，可以自行百度或者Google，以下是代码。 package com.yarm.test; /** * * @ClassName: DeadLock * @Description: 死锁模拟 * @Company:小松鼠课堂...
操作系统 实验报告（含代码） 死锁和饥饿2 哲学家就餐问题
12-13
哲学家的生活就是思考和吃饭，即思考，饿了就餐，再思考，循环往复。要求是： 每一个哲学家只有在拿到位于他左右的筷子后，才能够就餐；哲学家只能先拿左边的筷子，再去拿右边的筷子，而不能同时去抓他两边的筷子，也不能从其他哲学家手中抢夺筷子；哲学家每次就餐后必须放下他手中的两把筷子后恢复思考，不能强抓住餐具不放。设计一个程序，能够显示当前各哲学家的状态和桌上餐具的使用情况，并能无死锁的推算出下一状态各哲学家的状态和桌上餐具的使用情况。即设计一个能安排哲学家正常生活的程序。 3.2 问题描述 可能出现死锁问题，因为当五个哲学家都饥饿时，都拿着一支筷子，这样就可能五个哲学家都用不上餐。 3.3 解决方案（以下解决方案均可，实现一种） 3.3.1 最多允许4个哲学家同时坐在桌子周围。 3.3.2 给所有哲学家编号，奇数号的哲学家必须首先拿左边的筷子，偶数号的哲学家则反之。 3.3.3 为了避免死锁，把哲学家分为三种状态，思考，饥饿，进食，仅当一个哲学家左右两边的筷子都可用时，才允许他拿筷子，并且一次拿到两只筷子，否则不拿。
多线程22-死锁
angel56789的博客
03-08 113
死锁 多个线程各自占有一些共享资源，并且相互等待其他线程占有的资源才能运行，而导致两个或者多个线程都在等待对方释放资源，都停止执行的情形，某一个同步块同时拥有“两个以上对象的锁"时，就可能会发生”死锁“的问题 package com.faq.syn; //死锁：多个线程相互抱着对方需要的资源，然后形成僵持 public class DeadLock { public static void main(String[] args) { Makeup g1 = new Makeup(0
哲学家进餐(避免死锁)
qq_38732834的博客
05-09 758
这题的考察点是避免死锁(一个叉子就是一把锁)，假设不加限制让线程自由的获取锁，那么大家都先拿位于自己左侧的叉子再拿右侧的叉子，由于是个圆桌，相邻的俩人前一个人左侧就是下一个人的右侧(逆时针方向)，如果大家都拿了左侧的叉子那完犊子，都饿死吧。 要解决死锁首先先明确下死锁造成的原因 有兴趣阔以看看这篇生活中的死锁 1.互斥条件： 资源不能被共享。(互相喂?这也太哲学了吧) 2.请求与保持条件： 已经得到资源的进程可以再次申请新的资源。(其实我觉得单个叉子吃也不是不可以，哲学家就是麻烦) 3.非剥夺条件： 已..
利用管程概念求解哲学家进餐问题1
08-03
在哲学家进餐问题的场景中，五位哲学家围绕圆桌而坐，每两人间有一双筷子，每位哲学家在思考与饥饿间交替，需要拿起左右两边的筷子才能进食。如果不加以控制，可能导致每个哲学家都持有单支筷子，形成死锁。死锁的四...
哲学家就餐问题及其实现
Shine__Wong的博客
09-30 4627
哲学家就餐问题描述 哲学家就餐问题是指，有五个哲学家围坐一桌，每两个哲学家之间都有一只叉子，一共有五只叉子。每个哲学家都只有两个动作，即思考和就餐，哲学家思考的时候不需要任何的资源，但只有同时拿起他左右的两只叉子，才能开始进餐。进餐完毕后将叉子放归原位。这个问题在于，应该如何保证哲学家们的动作有序进行，如不会出现有人永远拿不到叉子的情况。 一些初步的尝试 第一次尝试 对哲学家就餐问题进行分析，可以...
哲学家用餐问题
weixin_43036882的博客
06-26 4413
1. 条件语句的原子性 你可能会有点疑惑，这不是讲哲学家用餐问题的吗，为什么一上来你先甩一张毫无相干的图，这里又提条件语句的原子性？ 别着急，一会儿你就会看到原因了。 我们先来看看上面的图，右上角是java语言写的语句；左下角是经javap得到的汇编代码。使用箭头将对应部分连接了起来。 可以看到一个最简单的if条件语句（图中蓝色框）都至少要两条指令，一条用于取操作数（在i > 0这个比较中0是个常量，不需要取操作），一条用于比较转移（即如果不成功跳转到哪一步执行，因为如果成功直接顺序执行即可）。如果.
哲学家就餐问题与死锁问题
01-03
操作系统死锁问题 C语言实现 有详细代码 都能实现
哲学家就餐问题与死锁
12-28
理解死锁的概念，掌握死锁预防方法。 死锁是进程并发执行过程中可能出现的现象，哲学家就餐问题是描述死锁的经典例子。假设有几位哲学家围坐在一张餐桌旁，桌上有吃不尽的食品，每两位哲学家之间摆放着一根筷子，筷子的个数与哲学家的数量相等，每一位哲学家要么思考，要么等待，要么拿起左右两根筷子进餐。本设计假设有五个哲学家和五根筷子，它们的编号都是从0到4。 如果每位哲学家都拿起左边的筷子，就会发生死锁。 为了防止死锁，可以采用资源预分配法或者资源按序分配法。资源预分配法是指进程在运行前一次性地向系统申请它所需要的全部资源，如果系统当前不能够满足进程的全部资源请求，则不分配资源, 此进程暂不投入运行，如果系统当前能够满足进程的全部资源请求, 则一次性地将所申请的资源全部分配给申请进程。资源按序分配法是指事先将所有资源类全排序, 即赋予每一个资源类一个唯一的整数，规定进程必需按照资源编号由小到大的次序申请资源。 在哲学家就餐问题中，要采用资源预分配法只需让每个哲学家同时申请左右两根筷子。要采用资源按序分配法只需规定每个哲学家先申请左右两根筷子中编号小的筷子，再申请编号大的筷子。
信号量同步实验报告（哲学家进餐问题避免死锁的三种方法）
04-15
操作系统初学，关于信号量同步的实验报告，用三种方法避免哲学家进餐问题死锁，a:and信号量，b:控制进餐人数，c设置条件
哲学家就餐（死锁与非死锁解法）（图形界面）
05-06
哲学家就餐问题图形界面(代码教程见博客：https://blog.csdn.net/zsh1184528359/article/details/105944143) 在 windows 环境下，利用高级语言编程环境（限定为 VS 环境或 VC 环境或QT）调用 CreateThread 函数哲学家就餐问题的演示。要求：（1）提供死锁的解法和非死锁的解法；（2）有图形界面直观显示哲学家取筷子，吃饭，放筷子，思考等状态。（3）为增强结果的随机性，各个状态之间的维持时间采用随机时间，例如100ms-500ms 之间。
哲学家进餐源代码
03-30
实验一 进程同步互斥——不死锁的哲学家问题　　 (1)输入的形式和输入值的范围； 　　由于这个是一个按钮实现监控，界面提供视图的程序，所以并不需要别的附加的输入，只需要点击相应的按钮即可。按钮有开始、暂停、结束（退出）。实验只需要按动开始键，即可以直观形象地看到哲学家吃面条问题在随机时间下的解决情况，方便用户查看。 　　输出的形式； 　　输出的形式，是以可视化界面的形式，哲学家和筷子的状态以图片的形式显示出来，可以看到是饥饿还是进餐或思考状态。而提示输出是以String的形式显示在界面右下角的位置的。方便用户更客观的查看进程的运行情况。 　　程序所能达到的功能； 　　该程序能解决经典的哲学家吃面条问题的问题，即死锁问题。在此题中，筷子是一个共享的但是要互斥使用的临界资源 ，当前筷子是否被占用，其他哲学家的状态，都是需要进行交互的，于是涉及同步互斥的问题。该程序能解决死锁问题及将哲学家的状态用可视化的界面显示出来，所以比较客观的让我们理解了这个问题的实现。
哲学家就餐问题
dlx_handsome的博客
04-01 204
问题描述 一张圆桌坐着五个哲学家,每两位哲学家之间放着一根筷子,两根筷子之间放着一碗米饭.当哲学家饥饿时会试图拿起左,右两根筷子(一根一根拿).如果筷子在别人手上,则需要等待.饥饿的哲学家只有同时拿到两根筷子才可以进餐.吃完之后放下筷子继续思考. 问题分析 哲学家对筷子的访问是互斥的. 哲学家只能一根一根的拿筷子. 死锁发生的情况 互斥 某个资源在一段时间内只能由一个进程持有. 不可剥夺 进程无法被抢占. 请求保持 进程已经获得了一部分资源,但又提出新的资源申请,该申请无法被满
哲学家就餐（避免死锁）（多进程版）
weixin_42149007的博客
02-23 269
哲学家就餐（避免死锁）（多进程版） 哲学家就餐利用信号量在多进程之间实现 下面展示一些代码片段 #include <stdio.h> #include <unistd.h> #include <stdlib.h> #include <sys/wait.h> #include <sys/types.h> #include <sys/mman.h> #include <semaphore.h> int main() {
利用Java实现哲学家进餐问题并提供解决方案~
开开心心，努力生活
11-11 432
哲学家进餐问题，是并发执行共享资源的代表性问题。 某天有五位哲学家围在一张桌子上吃饭，桌子上有五根筷子，每个人的左手边都有一只筷子。 吃饭嘛就得有两根筷子才能吃，但是每个人都先抢左手筷子再抢右手筷子，抢完左手筷子体力不行了休息一秒再接着抢，不出所料，右手筷子已经被别人给抢了，总所周知每个哲学家都轴得很就是不让，大不了一起“饿死”。此时就产生了死锁。 如何用java重现这个场景呢？ 通过面向对象的思想就很简单。这个场景中，主要有了两个对象，筷子与哲学家。 public class ChopSticks.
解决哲学家进餐问题：同步与死锁避免策略
"这篇资源主要讨论了如何通过算法改善解决著名的哲学家进餐问题，确保在并发环境中哲学家们能避免死锁并有序地进餐。" 在计算机科学和操作系统领域，"哲学家进餐问题"是一个经典的多线程同步问题，由Edsger ...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值