问题：
有五个哲学家，
每个哲学家面前有一盘面
每个哲学家左右各有一只筷子
哲学家有2个状态，思考或者拿起筷子吃饭。
如果哲学家拿到一只筷子，不能吃饭，拿到2只才能吃饭。
一，考虑第一种自然情况：
解法：所有哲学家拿起一只筷子，再拿旁边的一只，如果拿不到就等，等到可以拿了再拿
问题：所有哲学家都拿起一只筷子，那就都吃不到饭，就是死锁
二，解决上边的问题
解法：每个哲学家先拿左边的筷子，再拿右边的筷子，如果拿不到右边的筷子，就放弃左边的筷子，等待一段时间再试
问题：试想所有哲学家同时拿起筷子，同时放弃，再同时拿起，同时放弃。。如此就进入了另外一种死循环
三，解决上边的问题：
解法：在上边的情况下，每次等待的时间变成随机一段时间，这样基本能解决问题，例如以太网的工作方式就是这样
问题：再极少数情况下，还是会出现冲突，在一些要求较高的情况，例如核电站的安全系统，这种情况试不允许出现的
四，最终解决方法：
解法：使用多个互斥信号量，每个哲学家在想取筷子前先执行mutex，然后判断一下左右的筷子是否有人用，如果没有就拿起筷子，否则就不拿筷子
共2条
1/1 1 跳转至页
实现程序：
#define N 5
#define Left (i+N-1)%N
#define Right (i+1)%N
#define THINKING 0
#define HUNGRY 1
#define EATING 2
typedef int semaphore;
int state(N);
semapore mutex =1;
semaphore s(N);
void philosopher(int i){
while(TRUE){
think();
take_forks(i);
eat();
put_forks(i);
}
}
void tak_forks(int i){
down(&mutex);
state(i)=HUNGRY;
test(i);
up(&mutex);
down(&s);
}
void put_forks(int i){
down(&mutex);
state(i)=THINK;
test(LEFT);
test(RIGHT);
up(&mutex);
}
void test(i){
if(state(i)==HUNGRY && state(LEFT)!=EATING && state(RIGHT)!=EATING){
state(i)=EATING;
up(&s)
}
}
#define N 5
#define Left (i+N-1)%N
#define Right (i+1)%N
#define THINKING 0
#define HUNGRY 1
#define EATING 2
typedef int semaphore;
int state(N);
semapore mutex =1;
semaphore s(N);
void philosopher(int i){
while(TRUE){
think();
take_forks(i);
eat();
put_forks(i);
}
}
void tak_forks(int i){
down(&mutex);
state(i)=HUNGRY;
test(i);
up(&mutex);
down(&s);
}
void put_forks(int i){
down(&mutex);
state(i)=THINK;
test(LEFT);
test(RIGHT);
up(&mutex);
}
void test(i){
if(state(i)==HUNGRY && state(LEFT)!=EATING && state(RIGHT)!=EATING){
state(i)=EATING;
up(&s)
}
}
共2条
1/1 1 跳转至页
回复
| 有奖活动 | |
|---|---|
| 【有奖活动】智能可穿戴设备AR/VR如何引领科技新潮流！ | |
| 奖！发布技术笔记，技术评测贴换取您心仪的礼品 | |
| 【有奖活动】震撼来袭！这场直播将直击工程师的心灵！ | |
| “我想要一部加热台”活动，不花钱赢取开发好工具！活动开始了哦 | |
| 【有奖活动】伙伴们：您的“需求”解决了吗？ | |
| 打赏帖 | |
|---|---|
| 如何实现基于NXPiMX.RT1021的BH1730采集被打赏50分 | |
| 【换取手持数字示波器】AHT10温度检测分享被打赏40分 | |
| 【换取手持数字示波器】ACM32F070开发板点亮LCD屏和触控按键，串口，ADC被打赏40分 | |
| 【换取手持数字示波器】ACM32F070LCD屏和触控按键功驱动蜂鸣器分享被打赏40分 | |
| 【换取手持数字示波器】国民技术PWM功能知识分享被打赏40分 | |
| 【换取手持数字示波器】放大器运放知识分享被打赏40分 | |
| 【分享评测，赢取加热台】+开关电源AC输入知识分享被打赏30分 | |
| 【换取手持数字示波器】N32G430点亮数码管与串口打印、ADC被打赏40分 | |
| 老胖子聊电路--分析一个反馈电路被打赏50分 | |
| 【换取手持数字示波器】+点亮WS2812RGB灯被打赏50分 | |
STM32
MCU
通讯及无线技术
物联网技术
电子DIY
板卡试用
基础知识
软件与操作系统
我爱生活
小e食堂