哲学家就餐问题

boolchopsticks[5];//全局变量，用餐工具
CRITICAL_SECTION cs;//信号量,在线程中使用，临界区
classPhilosopher
{
private:
intnumber;
intstatus;/*标记当前哲学家的状态,0表示正在等待(即处于饥饿状态),1表示得到两支筷子正在吃饭,2表示正在思考*/
{
//pA->Change();
inti=pA->getinfo();
string str;
if(i==0)
str="等待";
elseif(i==1)
str="就餐";
elsestr="思考";
returnstr;
}
string chopstickstatus(boola)//返回筷子状态
{
string state;
cout<<""<<"筷子的状态"<<endl;
cout<<"哲学家号的状态"<<""<<"筷子的状态"<<""<<"筷子的状态"<<""<<"哲学家号的状态"<<endl;
cout<<""<<"哲学家号的状态"<<""<<endl;
cout<<"筷子的状态，“用”表示使用中，“闲”表示空闲中。"<<endl;
cout<<""<<P5.find()<<print(&P5)<<""<<endl;
cout<<"--------------------------"<<endl;
cout<<"若要继续下一状态，输入y；输入其他，结束程序：";
cin>>con;
Sleep(20);
}
DeleteCriticalSection (&cs) ;//退出资源区
设计一个程序，能够显示当前各哲学家的状态和桌上餐具的使用情况，并能无死锁的推算出下一状态各哲学家的状态和筷子的使用情况。即设计一个能安排哲学家正常生活的程序。
为哲学家设计3种状态，即“等待”“进餐”“思考”。每个哲学家重复进行“等待”->“进餐”->“思考”的行动循环。其中：
“等待”->“进餐”：只有一个哲学家处于等待进餐状态，且左右手两边的筷子都处于“空闲”状态时，可以发生这种状态改变。此状态改变发生后，哲学家拿起左右手两边的筷子。
cout<<"--------------------------"<<endl;
cout<<"哲学家们开始生活："<<endl;
cout<<endl;
cout<<endl;
while(con=='y')
{
P1.Change();
P2.Change();
P3.Change();
P4.Change();
在多道程序设计环境下，进程同步问题十分重要，其中“哲学家进餐问题”是较有代表性的。通过对该问题的研究学习和实践，可以帮助我们更好的理解和掌握临界资源、进程同步的概念和实现方法。
1.2
本课题主要的目的通过实现哲学家进餐问题的同步深入了解和掌握进程同步和互斥的原理。
2.
2.1
哲学家的生活就是思考和吃饭，即思考，饿了就餐，再思考，循环往复。要求是：每一个哲学家只有在拿到位于他左右筷子，才能够就餐；哲学家只能先拿一只筷子，再去拿另一只筷子，而不能同时去抓他旁边的两只筷子，也不能从其他哲学家手中抢夺筷子；哲学家每次就餐后必须放下他手中的两只筷子后恢复思考，不能强抓住筷子不放。
public:
Philosopher(intnum=1): status(2), number(num) { }
intfind()//定义常成员函数返回该哲学家编号
const
{
returnnumber;
}
intgetinfo()//定义常成员函数返回哲学家当前状态
const
{
returnstatus;
6
首先进入Visual Studio 2008，进入源程序。生成称解决方案，然后运行。
图6-1哲学家开始状态1
图6-2哲学家状态2
图6-3哲学家状态3
图6-4哲学家状态4
8结论
对自己完成的题目进行总结，包括程序的功能、创新点（与众不同的地方）及程序存在的问题和修改对策。
通过本次课程设计的过程，我了解了金典的同步问题哲学家就餐问题。发现自己对互斥变量把握不太清楚。及在编程过程中自己对C++语法的不熟悉。
数学与计算机学院
课程设计说明书
课 程 名 称:操作系统原理-课程设计
课 程 代 码:8404061
题 目:哲学家就餐问题模拟
年级/专业/班:09级信息与计算科学三班
学 生 姓 名:徐磊
学 号:312009070102301
开 始 时 间:2012年05月14日
完 成 时 间:2012年05月31日
课程设计成绩：
chopsticks[number%5]=false;//拿起左边的筷子
chopsticks[(number+1)%5]=false;//拿起右边的筷子
status=1;
}
}
LeaveCriticalSection (&cs) ;//释放临界区
}
string print(Philosopher *pA)//返回哲学家状态
P5.Change();
//P6.Change();
cout<<"当前状态为："<<endl;
cout<<P1.find()<<print(&P1)<<""<<chopstickstatus(chopsticks[1])<<""<<chopstickstatus(chopsticks[2])<<""<<P2.find()<<print(&P2)<<endl;
“进餐”->“思考”：此状态改变发生后，哲学家放下左右手上的筷子。筷子状态由“使用中”转变为“空闲”。
“思考”->“等待”：哲学家思考结束后，无条件转入等待状态。
由上所述，程序中应设置5个元素的信号量数组，chopsticks[5]，用来保持哲学家之间的同步。
2.2
不论是硬件临界资源，还是软件临界资源，多个进程必须互斥地对它进行访问。每个进程中访问临界资源的那段代码称为临界区（Critical Section）。
}
voidChange() ;//状态改变函数
};
voidPhilosopher::Change()
{
EnterCriticalSection (&cs) ;//进入临界区
if(status==1)//正在进餐
{
chopsticks[(number)%5]=true;//放下左手工具
chopsticks[(number+1)%5]=true;//放下右手工具
Philosopher(intnum)方法：哲学家类构造函数，参数num表示哲学家编号
find() const方法：返回该哲学家编号
getinfo() const方法：返回哲学家当前状态
Change()方法：根据题目要求改变哲学家的状态（等待->进餐->思考->等待…………）
另外，程序中包含一个公有对象，bool类型数组chopsticks[5]，用来保存5只筷子当前状态：true表示该餐具当前空闲，false表示该餐具当前正被使用。
每个进程中访问临界资源的那段程序称为临界区（Critical Section）（临界资源是一次仅允许一个进程使用的共享资源）。每次只准许一个进程进入临界区，进入后不允许其他进程进入。不论是硬件临界资源，还是软件临界资源，多个进程必须互斥地对它进行访问。
本程序主要使用了EnterCriticalSection (&cs)和LeaveCriticalSection (&cs)两个函数实现临界区互斥。
cout<<""<<chopstickstatus(chopsticks[5])<<""<<endl;
cout<<P3.find()<<print(&P3)<<""<<chopstickstatus(chopsticks[3])<<""<<chopstickstatus(chopsticks[4])<<""<<P4.find()<<print(&P4)<<endl;
InitializeCriticalSection (&cs) ;//初始化初始化临界区
cout<<"-----------------------状态说明示意图：-----------------------"<<endl;