操作系统哲学家就餐问题课程设计c语言

4．用户名、源程序名、目标程序名和源程序
4.1 用户名、源程序名、目标程序名
用户名： 源程序名： 目标程序名：
4.2 源程序
#include <stdio.h> #include <unistd.h> #include <pthread.h> #include <semaphore.h> #define NUMBERS 5 sem_t chopstics[NUMBERS]; sem_t room; sem_t mutex; int flag[NUMBERS]={0,0,0,0,0};
2．总体设计思想及系统平台、语言、工具
2.1 总体设计思想
哲学家就餐问题，即共有 5 个哲学家绕一个圆桌做在 5 个位置上，他们每 2 个人中间有一只筷子， 共 5 只筷子， 只有当每个哲学家取得他左右两边的筷子时， 哲学家才能开始就餐，其它时间，哲学家只能思考或等待筷子。为避免哲学家互 相等待对方的筷子发生死锁， 本次课程设计要求只许 4 个哲学家入席，以保证至 少有一个哲学家能够进餐。 本课程设计将 room 作为信号量，将其初始化为 4，以保证只允许 4 个哲学家 同时入席就餐，这样就能保证至少有一个哲学家可以就餐。针对每个哲学家，通 过共享操作函数代码，分别建立 5 个线程，以实现同步哲学家就餐，而申请进入 餐厅的哲学家进入 room 的等待队列，根据 FIFO 的原则，总会进入到餐厅就餐， 因此不会出现饿死和死锁的现象，针对 5 只筷子分别设置了 5 个互斥信号量，以 保证每只筷子每次只能被取得一次。
增加信号量值函数 sem_post 声明如下： #include <semaphore.h> Sem_post ( sem_t *sem );
减少信号量值函数 sem_wait 声明如下 #include <semaphore.h> Sem_wait ( sem_t *sem );
主要数据结构声明： #define NUMBERS 5 sem_t chopstics[NUMBERS] sem_t room //将哲学家人数 NUMBERS 定义为 5 //定义 5 只筷子的互斥信号量 chopstics //定义避免死锁的同步信号量 room
线程共享函数伪代码：
2
武汉理工大学《操作系统》课程设计
void *Share(int i) { think(); wait(room); wait(chopstick[i]); wait(chopstick[(i+1)%5]); eat(); signal(chopstick[i]); signal(chopstick[(i+1)%5]); signal(room); } //释放左手边的筷子 //释放右手边的筷子 //退出席位释放信号量 chairs //请求入席进餐 //请求左手边的筷子 //请求右手边的筷子
要求完成的主要任务:
体要求）
（包括课程设计工作量及其技术要求，以及说明书撰写等具
1．技术要求： 1）为每个哲学家产生一个线程，设计正确的同步算法 2）每个哲学家取得一双筷子开始用餐后，即时显示“Dining…”和该哲 学家的自定义标识符以及餐桌上所有几位哲学家标识符及其所坐 的位置。 3）设定共有 5 个哲学家需用餐。每位用餐耗时 10 秒钟以上。 4）多个哲学家须共享操作函数代码。
武汉理工大学《操作系统》课程设计
题 目 : 用 多 线 程 同 步 方 法 解 决 哲 学 家 就 餐 问 题 (Dining-Philosophers
Problem)
初始条件：
1．操作系统：Linux 2．程序设计语言：C 语言 3．共有 5 个哲学家需用餐。只许 4 个哲学家入席且桌上有 5 支筷子。
2． 设计说明书内容要求：
1)设计题目与要求 2)总的设计思想及系统平台、语言、工具等。 3）数据结构与模块说明（功能与流程图） 4） 给出用户名、 源程序名、 目标程序名和源程序及其运行结果。 （要 注明存储各个程序及其运行结果的 Linux 主机 IP 地址和目录。 ） 5）运行结果与运行情况 （提示: (1)连续存储区可用数组实现。 (2)编译命令可用： cc (3)多线程编程方法参见附件。 ）
3. 调试报告：
-lpthread
-o 目标文件名
源文件名
1) 调试记录 2) 自我评析和总结
上机时间安排：
18 周一 ~ 五 08：0 － 12：00
指导教师签名： 系主任（或责任教师）签名：
年 年
月 月
日 日
用多线程同步方法解决哲学家就餐 问题
武汉理工大学《操作系统》课程设计
(Dining-Philosophers Problem)
2.2 系Βιβλιοθήκη Baidu平台、语言及工具
（1）操作系统：Linux （2）程序设计语言：C 语言 （3）工具：编辑工具 Vi、编译器 gcc
1
武汉理工大学《操作系统》课程设计
3．数据结构与模块说明
线程创建函数 pthread_create 声明如下： #include <pthread.h> int pthread_create (pthread_t *thread,pthread_attr_t *attr,Void* (*start_routine)(void *),void *arg);
1．设计题目与要求
1.1 设计题目描述：
用多线程同步方法解决哲学家就餐问题(Dining-Philosophers Problem)
1.2 要求：
1）为每个哲学家产生一个线程，设计正确的同步算法 2）每个哲学家取得一双筷子开始用餐后，即时显示“Dining…”和该哲学 家的自定义标识符以及餐桌上所有几位哲学家标识符及其所坐的位置。 3）设定共有 5 个哲学家需用餐。每位用餐耗时 10 秒钟以上。 4）多个哲学家须共享操作函数代码。
等待其它线程结束函数 pthread_join 声明如下： #include <pthread.h> int pthread_join (pthread_t th,void *thread_return);
信号量的数据类型为结构 sem_t，它本质上是一个长整型的数。 初始化信号量函数 sem_init 声明如下： #include <semaphore.h> sem_init (sem_t *sem, int pshared, unsigned int value);