操作系统哲学家就餐问题课程设计C语言(共11页).doc

《操作系统哲学家就餐问题课程设计C语言(共11页).doc》由会员分享，可在线阅读，更多相关《操作系统哲学家就餐问题课程设计C语言(共11页).doc（11页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、精选优质文档-倾情为你奉上题目: 用多线程同步方法解决哲学家就餐问题(Dining-Philosophers Problem)初始条件：1 操作系统：Linux2 程序设计语言：C语言3共有5个哲学家需用餐。只许4个哲学家入席且桌上有5支筷子。要求完成的主要任务: （包括课程设计工作量及其技术要求，以及说明书撰写等具体要求） 1技术要求：1）为每个哲学家产生一个线程，设计正确的同步算法2）每个哲学家取得一双筷子开始用餐后，即时显示“Dining”和该哲学家的自定义标识符以及餐桌上所有几位哲学家标识符及其所坐的位置。3）设定共有5个哲学家需用餐。每位用餐耗时10秒钟以上。4）多个哲学家须共享操作

2、函数代码。 2 设计说明书内容要求：1)设计题目与要求2)总的设计思想及系统平台、语言、工具等。3）数据结构与模块说明（功能与流程图）4）给出用户名、源程序名、目标程序名和源程序及其运行结果。（要注明存储各个程序及其运行结果的Linux主机IP地址和目录。）5）运行结果与运行情况（提示: (1)连续存储区可用数组实现。(2)编译命令可用：cc -lpthread -o 目标文件名源文件名(3)多线程编程方法参见附件。） 3. 调试报告：1) 调试记录2) 自我评析和总结上机时间安排：18周一 五 08：0 12：00 指导教师签名： 年 月 日系主任（或责任教师）签名： 年 月 日用多线程同步

3、方法解决哲学家就餐问题(Dining-Philosophers Problem)1设计题目与要求1.1设计题目描述：用多线程同步方法解决哲学家就餐问题(Dining-Philosophers Problem)1.2要求：1）为每个哲学家产生一个线程，设计正确的同步算法2）每个哲学家取得一双筷子开始用餐后，即时显示“Dining”和该哲学家的自定义标识符以及餐桌上所有几位哲学家标识符及其所坐的位置。3）设定共有5个哲学家需用餐。每位用餐耗时10秒钟以上。4）多个哲学家须共享操作函数代码。2总体设计思想及系统平台、语言、工具2.1总体设计思想哲学家就餐问题，即共有5个哲学家绕一个圆桌做在5个位置上

4、，他们每2个人中间有一只筷子，共5只筷子，只有当每个哲学家取得他左右两边的筷子时，哲学家才能开始就餐，其它时间，哲学家只能思考或等待筷子。为避免哲学家互相等待对方的筷子发生死锁，本次课程设计要求只许4个哲学家入席，以保证至少有一个哲学家能够进餐。本课程设计将room 作为信号量，将其初始化为4，以保证只允许4个哲学家同时入席就餐，这样就能保证至少有一个哲学家可以就餐。针对每个哲学家，通过共享操作函数代码，分别建立5个线程，以实现同步哲学家就餐，而申请进入餐厅的哲学家进入room 的等待队列，根据FIFO 的原则，总会进入到餐厅就餐，因此不会出现饿死和死锁的现象，针对5只筷子分别设置了5个互斥信

5、号量，以保证每只筷子每次只能被取得一次。2.2系统平台、语言及工具（1）操作系统：Linux（2）程序设计语言：C语言（3）工具：编辑工具Vi、编译器gcc3数据结构与模块说明线程创建函数pthread_create声明如下：#include int pthread_create (pthread_t *thread,pthread_attr_t *attr,Void* (*start_routine)(void *),void *arg);等待其它线程结束函数pthread_join声明如下： #include int pthread_join (pthread_t th,void *thr

6、ead_return); 信号量的数据类型为结构sem_t，它本质上是一个长整型的数。初始化信号量函数sem_init声明如下： #include sem_init (sem_t *sem, int pshared, unsigned int value);增加信号量值函数sem_post声明如下：#include Sem_post ( sem_t *sem );减少信号量值函数sem_wait声明如下#include Sem_wait ( sem_t *sem ); 主要数据结构声明：#define NUMBERS 5 /将哲学家人数NUMBERS定义为5sem_t chopsticsNUM

7、BERS /定义5只筷子的互斥信号量chopsticssem_t room /定义避免死锁的同步信号量room线程共享函数伪代码：void *Share(int i)think();wait(room); /请求入席进餐 wait(chopsticki); /请求左手边的筷子 wait(chopstick(i+1)%5); /请求右手边的筷子eat(); signal(chopsticki); /释放左手边的筷子signal(chopstick(i+1)%5); /释放右手边的筷子 signal(room); /退出席位释放信号量chairs 4用户名、源程序名、目标程序名和源程序4.1用户名

8、、源程序名、目标程序名用户名： 源程序名： 目标程序名：4.2源程序#include #include #include #include #define NUMBERS 5 sem_t chopsticsNUMBERS;sem_t room; sem_t mutex;int flagNUMBERS=0,0,0,0,0;int chairsNUMBERS=0,1,2,3,4;int i,j;void *Share(int threadid);int main()int error;pthread_t threadsNUMBERS;for(i=0;iNUMBERS;i+)sem_init(&ch

9、opsticsi,0,1);sem_init(&room,0,NUMBERS-1);sem_init(&mutex,0,1);for(i=0;iNUMBERS;i+)error = pthread_create(&threadsi,NULL,(void*)Share,(void *)i);if(error)printf(ERROR: thread create failed!);/exit(-1);for(i=0;iNUMBERS;i+)pthread_join(threadsi,NULL);void *Share(int threadid)int i = threadid;sem_wait(

10、&room); flagi=1;sem_wait(&chopsticsi);printf(philosopher %d get chopstics %dn,i,i);sem_wait(&chopstics(i+1)%NUMBERS);printf(philosopher %d get chopstics %dn,i,(i+1)%NUMBERS);sem_wait(&mutex);printf(n*n); printf(Dining.n); printf(philosopher: %d ,on chairs %d and eatingn,i,chairsi); for(j=0;jNUMBERS;

11、j+) if(j!=i)&flagj) printf(philosopher %d ,on chairs %d and hungryn,j,chairsj); sleep(3);sem_post(&mutex);sem_post(&chopsticsi);sem_post(&chopstics(i+1)%NUMBERS);printf(philosopher %d is full and put down chopstics %d and %d and leftn,i,i,(i+1)%NUMBERS);printf(*nn); flagi=0;sem_post(&room);5运行结果6调试记

12、录（1）将写好的代码进行编译，出现如下错误提示：1.c:(.text+0x37): undefined reference to sem_init1.c:(.text+0x6a): undefined reference to sem_init1.c:(.text+0x86): undefined reference to sem_init1.c:(.text+0xc8): undefined reference to pthread_create1.c:(.text+0x108): undefined reference to pthread_join/tmp/ccq8XD3O.o: In

13、function Share:1.c:(.text+0x13f): undefined reference to sem_wait1.c:(.text+0x160): undefined reference to sem_wait1.c:(.text+0x1b0): undefined reference to sem_wait1.c:(.text+0x1f7): undefined reference to sem_wait1.c:(.text+0x2ad): undefined reference to sem_post1.c:(.text+0x2c0): undefined refere

14、nce to sem_post1.c:(.text+0x2f5): undefined reference to sem_post1.c:(.text+0x35d): undefined reference to sem_postcollect2: ld returned 1 exit status检查发现，pthread库不是Linux系统默认的库，连接时需要使用库libpthread.a,所以在使用pthread_create创建线程时，在编译中 要加-lpthread参数:gcc -lpthread -o 1 1.c（2）重新编译代码，出现如下错误提示：1.c:9: error: inv

15、alid initializer1.c:10: error: invalid initializer1.c: In function main:1.c:35: warning: incompatible implicit declaration of built-in function exit1.c: In function Share:1.c:48: error: incompatible types when assigning to type sem_t from type int1.c:71: error: expected ; before sem_post1.c:76: erro

16、r: incompatible types when assigning to type sem_t from type int仔细查看代码，发是对信号灯初始不能在定义的时候直接初始化，改用sem_init()函数对room,mutex 和flag进行初始化，去掉exit()函数，找到缺少；的地方，添加；（3）重新编译、连接、运行程序，出现如下错误提示：1.c: In function Share:1.c:48: error: incompatible types when assigning to type sem_t from type int1.c:76: error: incompat

17、ible types when assigning to type sem_t from type int查看代码，发现对信号灯flag使用出错，将flagi=1改为sem_wait(&flagi)；flagi=0改为sem_post(&flagi)（4）重新编译、连接、运行程序，没有错误提示，但是结果有误：philosopher 0 get chopstics 0Im philosopher 0 get chopstics 0程序程出现死锁，无法正常进行，查看代码，发现不应该把flag设置为信号（5）改正后，重新编译、连接，运行程序，得到正确结果philosopher 0 get chops

18、tics 0philosopher 1 get chopstics 1philosopher 2 get chopstics 2philosopher 3 get chopstics 3philosopher 3 get chopstics 4*Dining.philosopher: 3 ,on chairs 3 and eatingphilosopher 0 ,on chairs 0 and hungryphilosopher 1 ,on chairs 1 and hungryphilosopher 2 ,on chairs 2 and hungryphilosopher 3 is full

19、 and put down chopstics 3 and 4 and left*philosopher 2 get chopstics 3*Dining.philosopher: 2 ,on chairs 2 and eatingphilosopher 0 ,on chairs 0 and hungryphilosopher 1 ,on chairs 1 and hungryphilosopher 4 ,on chairs 4 and hungryphilosopher 4 get chopstics 4philosopher 2 is full and put down chopstics

20、 2 and 3 and left*philosopher 1 get chopstics 2*Dining.philosopher: 1 ,on chairs 1 and eatingphilosopher 0 ,on chairs 0 and hungryphilosopher 4 ,on chairs 4 and hungryphilosopher 1 is full and put down chopstics 1 and 2 and left*philosopher 0 get chopstics 1*Dining.philosopher: 0 ,on chairs 0 and ea

21、tingphilosopher 4 ,on chairs 4 and hungryphilosopher 0 is full and put down chopstics 0 and 1 and left*philosopher 4 get chopstics 0*Dining.philosopher: 4 ,on chairs 4 and eatingphilosopher 4 is full and put down chopstics 4 and 0 and left7自我评析与总结 通过本次课程设计，我对哲学家就餐这一操作系统经典问题有了进一步的了解，尤其是在设计进程同步算法方面有了新

22、的认识。通过亲自动手和查询资料，我知道了通过Linux系统的线程机制和信号量控制来实现哲学家就餐问题的并发控制。在这次课程设计中，由于没有掌握好进程同步中的一些关键知识，导致在实际操作中遇到了很多问题，比如说对信号灯初始化，可以用sem_init函数来很好的实现，而不需要在定义的时候就进行初始化。在整个程序设计和完善中，遇到很多问题，有些是由于对知识不了解引起的，有些是由于粗心引起的。此次课程设计使我明白，在程序设计中，我们需要有一个清晰的整体结构，然后针对每个模块逐步实现其功能，在设计中也需要有严谨和认真的态度，才会更好的完成一项任务。8参考文献1操作系统概念(第七版) ，Abraham S

23、ilberschatz等著，高等教育出版社出版2Linux C 编程实践，童永清著，人民邮电出版社3操作系统（第3版）（中译本），OPERATING SYSTEMS(3RD EDITION),（美）HARVETM.DEITEL;PAUL J.DEITEL;DAVID R.CHOFFNES,清华大学出版社本科生课程设计成绩评定表班级：姓名： 学号：序号评分项目满分实得分1学习态度认真、遵守纪律102设计分析合理性103设计方案正确性、可行性、创造性204设计结果正确性405设计报告的规范性106设计验收10总得分/等级评语：注：最终成绩以五级分制记。优（90-100分）、良（80-89分）、中（70-79分）、及格（60-69分）、60分以下为不及格 指导教师签名： 200 年月日专心-专注-专业