哲学家不会吃饭了，我们快来帮帮他们（C语言、进程通信）_哲学家进餐问题c语言实现-程序员宅基地
技术标签： 算法 c++ c语言 操作系统 海小皮操作系统学习记录 嵌入式
哲学家不会吃饭了，我们快来帮帮他们
皮老师课堂开课啦
皮老师：同学们，今天我们来讨论讨论哲学家吃饭问题，哲学家吃法问题是由大名鼎鼎的Dijkstra提出的，大家看黑板，看看什么是哲学家吃饭问题。
每个哲学家面前一碗面条子，每碗面间有一根筷子
哲学家就会干两件事，吃饭、思考
哲学家吃饭的时候要依次把左右两侧的筷子拿起来(不分次序)才能吃面
吃完了把筷子放回去继续思考
皮老师：如何才能不发生死锁呢？
张三同学抢答：拿不到筷子就等着呗，等别旁边的吃完了不就拿到了么？
皮老师：假如五个人都同时拿起了自己左侧的筷子，哲学家全都饿死也不会吃到面条！这就是死锁了！我们拿一段代码来体会一下
void philosopher(int i)// i 为哲学家编号 0-4
{
while(1)
{
think();// 思考
take_fork(i);// 拿左边筷子(拿不到就阻塞)
take_fork((i+1)%N);// 拿右边筷子(拿不到就阻塞)
eat();// 吃面条子
put_fork(i);// 放筷子
put_fork((i+1)%N);
}
}
李四同学站了起来：那我先拿起左边的，看看右边有没有，右边没有我就把左边的筷子放回去，等会再重复一遍，直到拿到右边的筷子。
皮老师：李四同学，你和张三同学犯了相同的错误，如果五个哲学家执行相同的步骤，此时他们同时拿起了左边的筷子，都发现右边没有筷子，全都把左边的筷子放下，一会又同时拿起了左边的筷子又放下，这就出现了饥饿(starvation)。
王五同学有话说：那就让每个人等待的时间是随机的就行了！
皮老师：很好很好，看来王五同学很懂嘛！我们的网络通信中就有类似的解决之道。两个终端同时向一个总线上发送数据包，会发生碰撞，这时两个终端都会停止发送，等待一个随机的时间重新发送！这种办法在大部分的应用中都是可行的，但在一些军事场合或核电站安全控制场合，这些场合是要求高实时性的，随机数字带来的错误可能是致命的！上面的症结都出现在同时拿筷子这件事上，那么我们就不让哲学家同时拿筷子，这不就是临界区问题嘛，下面我给大家将一个在前面基础上改进的思路，既不会死锁也不会饥饿，不过这用到了我们之前有关信号量的知识。
信号量相关的知识忘记的话可以点击传送门复习一下_
下面我们上一段代码
#define N 5
#define LEFT(i) (i+N-1)%N //i 哲学家左侧的哲学家编号
#define RIGHT(i) (i+1)%N //i 哲学家右侧的哲学家编号
#define THINKING 0 //思考状态
#define HUNGRY 1 //饥饿状态，试图拿起筷子
#define EATING 2 //吃面条状态
typedef int semaphore; //信号量的类型定义
int state[N]; //跟踪哲学家状态
semaphore mutex = 1; //临界区互斥量
semaphore s[N]; //每个哲学家一个信号量
void philosopher(int i)
{
while(1);
{
think();// 思考
take_fork(i);// 拿左边筷子
take_fork((i+1)%N);// 拿右边筷子
eat();// 吃面条子
put_fork(i);// 放筷子
put_fork((i+1)%N);
}
}
void take_fork(int i)
{
down(&mutex); //检查互斥量，进入临界区
state[i] = HUNGRY; //记录饥饿状态
test(i); //尝试获取第二把筷子
up(&mutex); //离开临界区
down(&s[i]); //不可以吃饭就sleep
}
void put_fork(int i)
{
down(&mutex); //进入临界区
state[i] = THINKING; //就餐完毕开始思考
test(LEFT(i)); //把左边筷子放下，并让左边的兄弟看看能吃了么
test(RIGHT(i)); //把右边筷子放下，并让右边的兄弟看看能吃了么
up(&mutex); //退出临界区
}
void test(int i)
{
if(state[i] == HUNGRY && state[LEFT(i)]!=EATING && state[RIGHT(i)]!=EATING)
{
state[i] = EATING;
up[&s[i]]; //可以吃饭，如果sleep了就唤醒
}
}
皮老师：同学们仔细研究研究，不懂的在课后讨论组讨论吧！
这里是海小皮！我们一同进步！！
智能推荐
oracle 12c 集群安装后的检查_12c查看crs状态-程序员宅基地
文章浏览阅读1.6k次。安装配置gi、安装数据库软件、dbca建库见下：http://blog.csdn.net/kadwf123/article/details/784299611、检查集群节点及状态：[root@rac2 ~]# olsnodes -srac1 Activerac2 Activerac3 Activerac4 Active[root@rac2 ~]_12c查看crs状态
解决jupyter notebook无法找到虚拟环境的问题_jupyter没有pytorch环境-程序员宅基地
文章浏览阅读1.3w次，点赞45次，收藏99次。我个人用的是anaconda3的一个python集成环境，自带jupyter notebook，但在我打开jupyter notebook界面后，却找不到对应的虚拟环境，原来是jupyter notebook只是通用于下载anaconda时自带的环境，其他环境要想使用必须手动下载一些库：1.首先进入到自己创建的虚拟环境(pytorch是虚拟环境的名字)activate pytorch2.在该环境下下载这个库conda install ipykernelconda install nb__jupyter没有pytorch环境
国内安装scoop的保姆教程_scoop-cn-程序员宅基地
文章浏览阅读5.2k次，点赞19次，收藏28次。选择scoop纯属意外，也是无奈，因为电脑用户被锁了管理员权限，所有exe安装程序都无法安装，只可以用绿色软件，最后被我发现scoop，省去了到处下载XXX绿色版的烦恼，当然scoop里需要管理员权限的软件也跟我无缘了（譬如everything）。推荐添加dorado这个bucket镜像，里面很多中文软件，但是部分国外的软件下载地址在github，可能无法下载。以上两个是官方bucket的国内镜像，所有软件建议优先从这里下载。上面可以看到很多bucket以及软件数。如果官网登陆不了可以试一下以下方式。_scoop-cn
Element ui colorpicker在Vue中的使用_vue el-color-picker-程序员宅基地
文章浏览阅读4.5k次，点赞2次，收藏3次。首先要有一个color-picker组件 <el-color-picker v-model="headcolor"></el-color-picker>在data里面data() { return {headcolor: ’ #278add ’ //这里可以选择一个默认的颜色} }然后在你想要改变颜色的地方用v-bind绑定就好了，例如：这里的:sty..._vue el-color-picker
迅为iTOP-4412精英版之烧写内核移植后的镜像_exynos 4412 刷机-程序员宅基地
文章浏览阅读640次。基于芯片日益增长的问题，所以内核开发者们引入了新的方法，就是在内核中只保留函数，而数据则不包含，由用户（应用程序员）自己把数据按照规定的格式编写，并放在约定的地方，为了不占用过多的内存，还要求数据以根精简的方式编写。boot启动时，传参给内核，告诉内核设备树文件和kernel的位置，内核启动时根据地址去找到设备树文件，再利用专用的编译器去反编译dtb文件，将dtb还原成数据结构，以供驱动的函数去调用。firmware是三星的一个固件的设备信息，因为找不到固件，所以内核启动不成功。_exynos 4412 刷机
Linux系统配置jdk_linux配置jdk-程序员宅基地
文章浏览阅读2w次，点赞24次，收藏42次。Linux系统配置jdkLinux学习教程，Linux入门教程（超详细）_linux配置jdk
随便推点
matlab(4)：特殊符号的输入_matlab微米怎么输入-程序员宅基地
文章浏览阅读3.3k次，点赞5次，收藏19次。xlabel('\delta');ylabel('AUC');具体符号的对照表参照下图：_matlab微米怎么输入
C语言程序设计-文件(打开与关闭、顺序、二进制读写)-程序员宅基地
文章浏览阅读119次。顺序读写指的是按照文件中数据的顺序进行读取或写入。对于文本文件，可以使用fgets、fputs、fscanf、fprintf等函数进行顺序读写。在C语言中，对文件的操作通常涉及文件的打开、读写以及关闭。文件的打开使用fopen函数，而关闭则使用fclose函数。在C语言中，可以使用fread和fwrite函数进行二进制读写。 Biaoge 于2024-03-09 23:51发布 阅读量：7 ️文章类型：【 C语言程序设计 】在C语言中，用于打开文件的函数是____，用于关闭文件的函数是____。
Touchdesigner自学笔记之三_touchdesigner怎么让一个模型跟着鼠标移动-程序员宅基地
文章浏览阅读3.4k次，点赞2次，收藏13次。跟随鼠标移动的粒子以grid（SOP）为partical（SOP）的资源模板，调整后连接【Geo组合+point spirit（MAT)】，在连接【feedback组合】适当调整。影响粒子动态的节点【metaball(SOP)+force(SOP)】添加mouse in（CHOP)鼠标位置到metaball的坐标，实现鼠标影响。..._touchdesigner怎么让一个模型跟着鼠标移动
【附源码】基于java的校园停车场管理系统的设计与实现61m0e9计算机毕设SSM_基于java技术的停车场管理系统实现与设计-程序员宅基地
文章浏览阅读178次。项目运行环境配置：Jdk1.8 + Tomcat7.0 + Mysql + HBuilderX（Webstorm也行）+ Eclispe（IntelliJ IDEA,Eclispe,MyEclispe,Sts都支持）。项目技术：Springboot + mybatis + Maven +mysql5.7或8.0+html+css+js等等组成，B/S模式 + Maven管理等等。环境需要1.运行环境：最好是java jdk 1.8，我们在这个平台上运行的。其他版本理论上也可以。_基于java技术的停车场管理系统实现与设计
Android系统播放器MediaPlayer源码分析_android多媒体播放源码分析 时序图-程序员宅基地
文章浏览阅读3.5k次。前言对于MediaPlayer播放器的源码分析内容相对来说比较多，会从Java-&amp;gt;Jni-&amp;gt;C/C++慢慢分析，后面会慢慢更新。另外，博客只作为自己学习记录的一种方式，对于其他的不过多的评论。MediaPlayerDemopublic class MainActivity extends AppCompatActivity implements SurfaceHolder.Cal..._android多媒体播放源码分析 时序图
java 数据结构与算法 ——快速排序法-程序员宅基地
文章浏览阅读2.4k次，点赞41次，收藏13次。java 数据结构与算法 ——快速排序法_快速排序法