范例课程设计哲学家进餐问题.docx

上传人:b****3 文档编号:24781294 上传时间:2023-06-01 格式:DOCX 页数:16 大小:143.58KB
下载 相关 举报
范例课程设计哲学家进餐问题.docx_第1页
第1页 / 共16页
范例课程设计哲学家进餐问题.docx_第2页
第2页 / 共16页
范例课程设计哲学家进餐问题.docx_第3页
第3页 / 共16页
范例课程设计哲学家进餐问题.docx_第4页
第4页 / 共16页
范例课程设计哲学家进餐问题.docx_第5页
第5页 / 共16页
点击查看更多>>
下载资源
资源描述

范例课程设计哲学家进餐问题.docx

《范例课程设计哲学家进餐问题.docx》由会员分享,可在线阅读,更多相关《范例课程设计哲学家进餐问题.docx(16页珍藏版)》请在冰豆网上搜索。

范例课程设计哲学家进餐问题.docx

范例课程设计哲学家进餐问题

衡阳师范学院

《操作系统》

 

课程设计报告

 

 

目:

级:

号:

哲学家进餐问题

0903

0919031709190319

作者姓名:

罗文涛彭威

壬玉奇

指导教师:

2011年12月26日

1.设计题目与要求1

1.1实验目的1

1.2设计要求1

1.3初始条件1

2.总体设计思想及相关知识2

2.1总体设计思想2

2.2临界区互斥编程原理.2

2.3开发环境与工具3

3.数据结构与模块说明3

3.1数据结构3

3.2程序各模块流程图4

3.2.1主程序模块4

3.2.3返回哲学家状态模块.6

3.2.4返回餐具状态模块.6

4.源程序代码7

5.测试及结果11

6.课设总结14

7.参考文献15

1.设计题目与要求

1.1实验目的

通过实现哲学家进餐问题的同步深入了解和掌握进程同步和互斥的原理。

1.2设计要求

哲学家有N个,也定全体到达后开始讨论:

在讨论的间隙哲学家进餐,每人进餐时都需使用刀、叉各一把,所有哲学家刀和叉都拿到后才能进餐。

哲学家的人数、餐桌上的布置自行设定,实现刀和叉的互斥使用算法的程序实现。

1.3初始条件

(1)操作系统:

windows

(2)程序设计语言:

C++

(3)设定圆桌上有六个哲学家,三对刀叉,如下图摆放:

哲学家编号

2号叉囹2号刀

图1-1哲学家进餐问题设定图

2.总体设计思想及相关知识

2.1总体设计思想

哲学家的生活就是思考和吃饭,即思考,饿了就餐,再思考,循环往复。

要求是:

每一个哲学家只有在拿到位于他左右的刀叉后,才能够就餐;哲学家只能先拿一把刀或叉,再去拿另一把刀或叉,而不能同时去抓他旁边的两把餐具,也不能从其他哲学家手中抢夺餐具;哲学家每次就餐后必须放下他手中的两把餐具后恢复思考,不能强抓住餐具不放。

设计一个程序,能够显示当前各哲学家的状态和桌上餐具的使用情况,并能无死锁的推算出下一状态各哲学家的状态和桌上餐具的使用情况。

即设计一个能安排哲学家正常生活的程序。

为哲学家设计3种状态,即“等待”“进餐”“思考”。

每个哲学家重复进行“等待”->“进餐”->“思考”的行动循环。

其中:

“等待”->“进餐”:

只有一个哲学家处于等待进餐状态,且左右手两边的餐具都处于“空闲”状态时,可以发生这种状态改变。

此状态改变发生后,哲学家拿起左右手两边的餐具。

“进餐”->“思考”:

此状态改变发生后,哲学家放下左右手上的餐具。

餐具状态由“使用中”转变为“空闲”。

“思考”->“等待”:

哲学家思考结束后,无条件转入等待状态。

由上所述,程序中应设置6个元素的信号量数组,tools[6],用来保持哲学家之间的同步。

2.2临界区互斥编程原理

不论是硬件临界资源,还是软件临界资源,多个进程必须互斥地对它进行访问。

每个进程中访问临界资源的那段代码称为临界区(CriticalSection)。

每个进程中访问临界资源的那段程序称为临界区(CriticalSection)(临界资源

是一次仅允许一个进程使用的共享资源)。

每次只准许一个进程进入临界区,进入后不允许其他进程进入。

不论是硬件临界资源,还是软件临界资源,多个进程必须互斥地对它进行访问。

本程序主要使用了EnterCriticalSection(&cs)和LeaveCriticalSection(&cs)

两个函数实现临界区互斥。

用来进入临界区,LeaveCriticalSection(&cs)用来

EnterCriticalSection(&cs)

离开临界区。

2.3开发环境与工具

系统平台:

WINDOWS境

实现语言:

C++

开发工具:

VC++6.0

3.数据结构与模块说明

3.1数据结构

Philosopher

-number:

int

-status:

int

+Philosopher(innum:

int)

+find()const:

int

+getinfo()const:

int

+Change():

void

图3-1哲学家类的UMia

程序中定义一个哲学家类,包含两个私有对象和四个公有对象。

Number对象:

报讯哲学家的编号。

Status对象:

用于保存当前该哲学家的状态,0表示正在等待(即处于饥饿状态)

1表示得到餐具正在吃饭,2表示正在思考

Philosopher(intnum)方法:

哲学家类构造函数,参数num表示哲学家编号

find()const方法:

返回该哲学家编号

getinfo()const方法:

返回哲学家当前状态

Change()方法:

根据题目要求改变哲学家的状态(等待->进餐->思考->等

待)

另外,程序中包含一个公有对象,bool类型数组tools[6],用来保存6把餐当前状态:

true表示该餐具当前空闲,false表示该餐具当前正被使用。

程序中还包含两个公有函数:

print和toolstatus。

Print用来返回一个哲学家的状态,toolstatus用来返回一个餐具的状态。

3.2程序各模块流程图

3.2.1主程序模块

 

结東

图3-2主程序模块流程

 

322状态改变模块

 

 

图3-3状态改变模块Change()流程图

323返回哲学家状态模块

图3-4返回哲学家状态模块print()流程图

324返回餐具状态模块

图3-5返回餐具状态模块toolstatus(boola)流程图

4.源程序代码

//实验目的:

通过实现哲学家进餐问题的同步深入了解和掌握进程同步和互斥的原理。

//设计要求:

哲学家有N个,也定全体到达后开始讨论:

在讨论的间隙哲学家进餐,

//每人进餐时都需使用刀、叉各一把,所有哲学家刀和叉都拿到后才能进餐。

哲学家的人数、

//餐桌上的布置自行设定,实现刀和叉的互斥使用算法的程序实现。

#include

#inelude

#inelude

#include#include

usingnamespacestd;

booltools[6];

booltools[6];//全局变量,用餐工具

CRITICAL_SECTIONcs;//信号量,在线程中使用,临界区

classPhilosopher

{

private:

intnumber;

intstatus;/*标记当前哲学家的状态,0表示正在等待(即处于饥饿状态),1表示得到两支筷子正在吃饭,2表示正在思考*/

public:

Philosopher(intnum=0):

status

(2),number(num){}

intfind()const{returnnumber;}

intgetinfo()const{returnstatus;}

voidChange();//状态改变函数

};

voidPhilosopher:

:

Change()

{

EnterCriticalSection(&cs);//进入临界区

if(status==1)//正在进餐

{

放下右手工具

tools[number%6]=true;//放下左手工具

tools[(number-1)%6]=true;//

status=2;

//改变状态为思考

elseif(status==2)

//思考中

status=0;

//

改变状态为等待

elseif(status==0)

//等待中

{if(tools[number%6]&&tools[(number-1)%6])//左右手两边工具均为空闲状态

{tools[number%6]=false;//拿起左手工具tools[(number-1)%6]=false;//拿起右手工具status=1;

}

}

LeaveCriticalSection(&cs);}stringprint(Philosopher*pA){

//pA->Change();

inti=pA->getinfo();stringstr;

if(i==0)

str="等待";

elseif(i==1)str="就餐";

elsestr="思考";

returnstr;

}

stringtoolstatus(boola){

stringstate;if(a==true)state="闲";

if(a==false)

state="用";

returnstate;

}

intmain()

{

charcon='y';//判断是否继续

for(inti=0;i<6;i++)

tools[i]=true;//3组刀叉都未使用,初始化

PhilosopherP1

(1),P2

(2),P3(3),P4(4),P5(5),P6(6);

InitializeCriticalSection(&cs);//初始化初始化临界区

cout<<"

状态说明

示意

"<

cout<<""<<"哲学家

0号的状态"<<"

"<

cout<<"哲学家5号的状态"<<"

"<<"叉3的状态"<<"

"<<"刀

1

的状

态"<<""<<"哲学家1号的状态"<

cout<<""<<"刀3的状态"<<"

"<<"叉

1

的状

态"<

cout<<"哲学家4号的状态"<<"

"<<"叉2的状态"<<"

"<<"刀

2

的状

态"<<""<<"哲学家2号的状态"<

cout<<""<<"哲学家3号的状态"<<""<

cout<<"餐具的状态,“用”表示使用中,“闲”表示空闲中。

"<

cout<<"哲学家们开始生活:

"<

cout<

cout<

while(con=='y')

{

P1.Change();

P2.Change();

P3.Change();

P4.Change();

P5.Change();

P6.Change();

cout<<"当前状态为:

"<

cout<<""<

cout<<""<

cout<

cout<<""<

cout<<""<

coutvv"若要继续下一状态,输入y;输入其他,结束程序:

";

cin>>con;

Sleep(20);

}

DeleteCriticalSection(&cs);//退出资源区

return0;

}

5.测试及结果

图5-1程序运行开始界面

 

图5-2哲学家状态1

 

图5-3哲学家状态2

图5-4哲学家状态3

 

图5-5哲学家状态4

图5-6退出程序

6.课设总结

经过了前后共2周的时间,我完成了这次课程设计。

通过这次课程设计,我学到了许多课本上学不到的知识,注意到了许多课本上没有提到的东西。

而且,通过这次设计,我得到了一个很好的理论联系实际的机会,锻炼了通过理论解决实际问

题的能力。

正所谓“实践出真知”,有些代码看上去没什么问题,但是实际运行起来就是不出正确结

果。

代码内部可能存在逻辑或语法等方面我们平时不会注意到的小问题,通过这次课程设计,我积累了不少这样小问题的解决方法。

设计中总会遇到这样那样的问题,遇到问题势必要自己分析问题,通过各种渠道解决问题,比如利用互联网。

这次课程设计也加强了我上网查数检索问题的能力。

有些时候,学习到的知识是次要的,重要的是学习知识的方法。

7.参考文献

[1]宗大华,宗涛,陈吉人著.操作系统.北京:

人民邮电出版社,2009。

[2]李爱华,程磊著.面相对象程序设计(C++语言).北京:

清华大学出版社,2010。

欢迎您的下载,

资料仅供参考!

致力为企业和个人提供合同协议,策划案计划书,学习资料等等

打造全网一站式需求

展开阅读全文
相关资源
猜你喜欢
相关搜索

当前位置:首页 > 人文社科 > 法律资料

copyright@ 2008-2022 冰豆网网站版权所有

经营许可证编号:鄂ICP备2022015515号-1