操作系统课程设计说明书基于Linux的进程之间通信.docx
《操作系统课程设计说明书基于Linux的进程之间通信.docx》由会员分享,可在线阅读,更多相关《操作系统课程设计说明书基于Linux的进程之间通信.docx(21页珍藏版)》请在冰豆网上搜索。
操作系统课程设计说明书基于Linux的进程之间通信
操作系统课程设计说明书-基于Linux的进程之间通信
中北大学
操作系统课程设计
说明书
学院、系:
软件学院
专业:
软件工程
学生姓名:
学号:
设计题目:
基于Linux的进程之间通信
实现信号量通信机制(哲学家进餐)
起迄日期:
2015年12月28日-2016年1月8日
指导教师:
何志英
2015年12月25日
1需求分析
1.1小组的拿到的任务是:
设计内容:
(1)实现管道通信,要求见P183习题(3)。
(2)实现信号量通信机制,要求见P191习题(3)。
(3)实现消息缓冲通信机制,要求见P197习题。
(4)实现共享内存区通信机制,要求见P201习题
(2)。
要求:
(1)用Linux中进程控制系统调用函数来创建进程(线程)。
(2)输出进程通信时同步的说明信息。
1.2小组分工我拿到的题目是:
(2)实现信号量通信机制,要求见P191习题(3)。
1.3题目的要求如下:
1.3.1.哲学家进餐问题描述:
设有5个哲学家,共享一张放有5把椅子和5把叉子的圆桌,每人分得一把椅子。
哲学家们在肚子饥饿时才试图分两次从两边捡起两把叉子就餐。
条件:
1.每个人只有拿到两把叉子时,哲学家才能吃饭
2.如果叉子已在他人手上,则哲学家必须等到他人吃完后才能拿起叉子
3.任性的哲学家在自己未拿到两把叉子吃饭之前,绝不放下自己手中的叉子
1.3.2问题:
1.什么情况下5个哲学家全部都吃不上饭?
答:
当5个哲学家每人手中都拿到了1把叉子(共5把),即不肯放下自己手中的叉子又想要得到左右邻居的叉子时,每个哲学家永远拿不到两把叉子,所有哲学家都在等待另一把叉子,就会导致这5个哲学家谁都吃不上饭。
也就是产生死锁后的情况。
2.编程实现没有人饿死(永远拿不到两个叉子)的算法。
答:
程序请看代码实现。
分析:
没有人饿死,就是不允许出现死锁的情况(5个哲学家每人1把叉子)
1.3.3解决死锁的方法有三种:
1.至多允许四位哲学家同时去拿左边的叉子,最终保证至少有一位哲学家能够进餐,并且在用毕时能释放出他用过的两只叉子,从而使更多哲学家能够进餐;
2.规定当哲学家的左右两只叉子均可用时,才允许他拿起叉子进餐;
3.规定奇数号的哲学家先拿他左边的叉子,然后再去拿他右边的叉子,而偶数号哲学家则相反。
五位哲学家都先竞争奇数号叉子,获得后再竞争偶数号叉子,最终总有一位哲学家会因为获得两只叉子而进餐。
1.3.4我采用的解决死锁问题的方法
我采用的解决死锁的方法是第二种,即在哲学家拿起叉子前先判断他左右邻居的情况,只要左右邻居中有一位正在进餐(叉子已经被邻居拿到,邻居进餐结束前自己无法获得其叉子),就不允许其拿起叉子进餐,这就可以预防死锁的情况发生。
1.4软件需要完成的功能:
按照题目要求,需要调用Linux操作系统函数使用信号量机制完成对哲学家进餐问题的求解,要求所有哲学家都能吃到食物,并且要防止哲学家在竞争叉子过程发生死锁。
程序应该包含如下功能:
1.哲学家思考功能:
哲学家在进餐前和进餐后处于思考状态;
2.哲学家拿起叉子动能:
哲学家进餐前需要拿起叉子,在这个过程中可能发生死锁,所以要在这个功能中编写防止死锁的方法;
3.哲学家进餐功能:
哲学家拿起叉子后开始进餐;
4.哲学家放下叉子功能:
哲学家用餐完毕,放下叉子,并通知其左右邻居;
5.执行P、V操作功能:
由于要使用信号量机制,肯定会涉及到P、V操作
6.创建工作环境功能:
包括建立共享内存区、连接进程和共享内存区、创建并初始化信号量集、创建子进程模拟5个哲学家等。
1.5软件设计的目的:
完成对哲学家进餐问题的求解,解决死锁问题。
1.6最终成果:
最终要提交的成果是:
说明书、源程序(cpp文件)
2总体设计
2.1程序模块结构图:
图1哲学家进餐问题程序模块结构图
2.2程序流程图
2.2.1总体流程图
图2总体程序流程图
2.2.2哲学家进餐问题解决方案流程图
图3哲学家进餐问题解决方案流程图
3.详细设计
3.1包含必要的头文件
由于要调用Linux系统函数,所以要导入必要的头文件,需要导入的头文件如下:
#include//使用了shmat函数
#include
#include//使用了semget函数
#include//使用了wait函数
#include//使用了shmget、shmat、shmctl、shmdt四个函数
#include//使用了printf函数
#include
#include
#include//使用了exit函数
3.2所有用到的常量、全局变量及宏定义
//----------------------------宏定义----------------------------------
#defineN5//哲学家的人数(叉子个数)
#defineLEFT(i+N-1)%N//i的左边邻居编号
#defineRIGHT(i+1)%N//i的右边邻居编号
#defineTHINKING0//哲学家在思考
#defineHUNGRY1//哲学家试图拿起叉子
#defineEATING2//哲学家进餐
//--------------------------全局变量的定义--------------------------------
intmutex;//缓冲区信号量(含有1个)
intsemphilosopher;//哲学家状态信号量(含有5个,用于标记哲学家)
char*state;//哲学家状态
intshmid;//共享内存区的标识号
3.3联合体semun的定义
联合体semun用于在对信号量设置和修改值的时候作为semctl函数的最后一个参数。
unionsemun{//对信号量控制的命令参数semun
intval;//信号量的值
structsemid_ds*buf;//IPC_STAT和IPC_SET的缓冲区
ushort*array;//为获得GETALL和设置SETALL信号量值的数组
}arguement;
3.4创建并初始化工作环境模块
3.4.1涉及到的Linux系统函数
在这个模块中,涉及到很多Linux系统函数的调用,以下是这些重要函数的解释:
(1)shmget函数说明:
函数原型:
intshmget(key_tkey,size_tsize,intshmflg)
函数作用:
得到一个共享内存标识符或创建一个共享内存对象并返回共享内存标识符。
参数含义:
key:
0(IPC_PRIVATE):
会建立新共享内存对象
大于0的32位整数:
视参数shmflg来确定操作。
size:
大于0的整数:
新建的共享内存大小,以字节为单位
0:
只获取共享内存时指定为0
shmflg:
0:
取共享内存标识符,若不存在则函数会报错
IPC_CREAT:
当shmflg&IPC_CREAT为真时,如果内核中不存在键值与key相等的共享内存,则新建一个共享内存;如果存在这样的共享内存,返回此共享内存的标识符
IPC_CREAT|IPC_EXCL:
如果内核中不存在键值与key相等的共享内存,则新建一个共享内存;如果存在这样的共享内存则报错
返回值:
成功:
返回共享内存的标识符出错:
-1,错误原因存于error中
(2)shmat函数说明:
函数原型:
void*shmat(intshmid,constvoid*shmaddr,intshmflg)
函数作用:
连接共享内存标识符为shmid的共享内存,连接成功后把共享内存区对象映射到调用进程的地址空间,随后可像本地空间一样访问
参数含义:
shmid共享内存标识符
shmaddr指定共享内存出现在进程内存地址的什么位置,直接指定为NULL让内核自己决定一个合适的地址位置
shmflgSHM_RDONLY:
为只读模式,其他为读写模式
返回值:
成功:
附加好的共享内存地址出错:
-1,错误原因存于errno中
(3)semget函数说明:
函数原型:
intsemget(key_tkey,intnsems,intsemflg);
函数作用:
获取与某个键关联的信号量集标识
参数含义:
key:
所创建或打开信号量集的键值。
nsems:
创建的信号量集中的信号量的个数,该参数只在创建信号量集时有效。
semflg:
调用函数的操作类型
返回值:
成功返回信号量集的IPC标识符,失败返回-1
(4)信号量操作模板sem_op定义:
structsembuf{
unsignedshortsem_num;
shortsem_op;
shortsem_flg;
};
当sem_op.sem_op为-1时表示执行P操作,sem_op为1时表示执行V操作
3.4.2申请共享内存区
/*函数功能:
申请一块新的共享内存区
参数:
无
返回值:
int,含义是创建共享内存区的结果(成功为1,失败为0)*/
intnewshm(){
shmid=shmget(IPC_PRIVATE,N,IPC_CREAT|0660);//申请共享内存区
if(shmid<0){//shmget函数返回值为-1表示申请失败
return0;//申请失败,返回0
}
return1;//申请成功,返回1
}
3.4.3连接共享内存区和进程
/*函数功能:
把共享段与本进程连接在一起
参数:
无
返回值:
int类型,含义是连接操作的结果(成功为1,失败为0)*/
intdoshmat(){
state=(char*)shmat(shmid,0,0);//将共享段与本进程连接
if(state==(void*)-1){//连接过程中出错
return0;//操作失败,返回0
}
return1;//操作成功,返回1
}
3.4.4创建信号量集并初始化信号量
/*函数功能:
创建信号量集并为每个哲学家初始化信号量
参数:
无
返回值:
int类型,含义是操作的结果(成功为1,失败为0)*/
intnewsem(){
//将每个哲学家信号量值初始化为0
arguement.val=0;
//创建一个含有N个哲学家信号量集
semphilosopher=semget(IPC_PRIVATE,N,IPC_CREAT|0660);
if(semphilosopher==-1){//创建信号量集失败
printf("创建哲学家信号量集失败!
\n");
return0;//操作失败,返回0
}
printf("->创建哲学家信号量集成功!
\n");
//将每个哲学家信号量的值设置为0
for(inti=0;iif(semctl(semphilosopher,i,SETVAL,arguement)<0){
printf("设置第%d个哲学家的信息失败!
\n",i+1);
return0;//操作失败,返回0
}
}
//为了使得访问哲学家信号量集的进程互斥地操作,设置互斥信号量mutex
//缓冲区的信号量初始化为1
arguement.val=1;
mutex=semget(IPC_PRIVATE,1,IPC_CREAT|0660);//取得信号量集合标志
if(mutex<0)
return0;//取得操作失败,返回0
if(semctl(mutex,0,SETVAL,arguement)<0)
return0;//设置信号量值操作失败,返回0
return1;//操作成功
}
3.5实现P、V操作
3.5.1涉及到的Linux系统函数
(1)semop函数说明:
函数原型:
intsemop(intsemid,structsembuf*sops,unsignednsops);
函数作用:
对信号量执行P、V操作
参数含义:
semid:
信号集的识别码,可通过semget获取(semget返回值)。
sops:
信号量操作模板
nsops:
信号操作结构的数量,恒大于或等于1
返回值含义:
操作结果,正常返回值为0,错误返回-1
3.5.2实现P操作
/*函数功能:
对semid信号量集合的第member个信号量执行P操作
参数:
semid信号量集合的关键字
member信号量集合中中要操作信号量的索引
返回值:
无
*/
voidp_operator(intsemid,intmember){
//初始化信号量操作模板sem_op
structsembufsem_op={member,-1,SEM_UNDO};
semop(semid,&sem_op,1);//执行对信号量的P操作
}
3.5.3实现V操作
/*函数功能:
对semid信号量集合的第member个信号量执行V操作
参数:
semid信号量集合的关键字
member信号量集合中中要操作信号量的索引
返回值:
无*/
voidv_operator(intsemid,intmember){
//初始化sem_op,当sem_op.sem_op为1时表示执行V操作
structsembufsem_op={member,1,SEM_UNDO};
semop(semid,&sem_op,1);//执行对信号量的V操作
}
3.6实现哲学家进餐问题解决方案的主要算法
3.6.1涉及到的linux系统函数
(1)sleep函数
函数原型:
sleep(unsignedlong);
函数作用:
执行挂起一段时间
注意:
sleep()单位为秒
3.6.2实现哲学家思考功能
/*函数功能:
实现第i个哲学家思考的功能
参数:
i第i个哲学家(索引)
返回值:
无*/
voidthink(inti){
state[i]=THINKING;//修改哲学家的状态为思考
printf("哲学家%d正在思考!
\n",i+1);
sleep(3);//程序暂停执行3秒
}
3.6.2实现哲学家进餐功能
/*函数功能:
实现第i个哲学家进餐的功能
参数:
i第i个哲学家(索引)
返回值:
无*/
voideat(inti){
printf("哲学家%d正在进餐!
\n",i+1);
sleep(3);//程序暂停执行3秒
}
3.6.3实现哲学家拿起叉子功能
3.6.3.1实现拿起叉子前的试探操作(防止死锁算法)
/*函数功能:
实现第i个哲学家进餐前的试探功能(防止死锁)
参数:
i第i个哲学家(索引)
返回值:
无*/
voidtest(inti){
if(state[i]==HUNGRY&&state[LEFT]!
=EATING
&&state[RIGHT]!
=EATING){//左右邻居无人在进餐且哲学家需要进餐
state[i]=EATING;//修改哲学家的状态为进餐
printf("哲学家%d拿起两把叉子准备进餐!
\n",i+1);
v_operator(semphilosopher,i);//释放对信号量集的控制权
}
}
3.6.3.2实现拿起叉子功能
/*函数功能:
实现第i个哲学家拿起叉子功能(P操作)
参数:
i第i个哲学家(索引)
返回值:
无
*/
voidtake_forks(inti){
p_operator(mutex,0);//申请对互斥信号量的控制权(P)
state[i]=HUNGRY;//修改哲学家的状态为饥饿
test(i);//哲学家试探拿起两把叉子
v_operator(mutex,0);//释放对互斥信号量的控制权(V)
p_operator(semphilosopher,i);//申请对信号量集的控制权
}
3.6.4实现放下叉子功能
/*函数功能:
实现第i个哲学家放下叉子功能(V操作)
参数:
i第i个哲学家(索引)
返回值:
无*/
voidput_forks(inti){
p_operator(mutex,0);//申请对互斥信号量的控制权(P)
state[i]=THINKING;//修改状态为“思考”
printf("哲学家%d用餐完毕,放下手中的叉子!
\n",i+1);
test(LEFT);//通知左邻居可以进餐了
test(RIGHT);//通知右邻居可以进餐了
v_operator(mutex,0);//释放对互斥信号量的控制权(V)
}
3.6.5将上述功能整合起来
/*函数功能:
实现第i个哲学家进餐问题,调用相关功能的子函数
参数:
i第i个哲学家(索引)
返回值:
无*/
voidphilosopher(inti){
think(i);//思考
take_forks(i);//拿起叉子
eat(i);//进餐
put_forks(i);//放下叉子
think(i);//继续思考
}
3.7将所有模块连接在一起,形成一套完整的程序
为了方便最终的整合,将所有模块的整合调用放进一个单独的函数,供主函数调用,最终程序整合只需调用这个方法。
/*函数功能:
为方便最终程序的整合,将功能调用单独做成函数,供主函数调用
参数:
无
返回值:
无*/
intphilosopherEatingProblem(){
printf("---------------实现信号量通信机制——哲学家进餐问题-----------------\n");
printf("---------------作者:
-----------------\n");
intcurrent,pc;
//1.首先创建一块共享内存区
if(newshm()==0){
printf("创建共享内存区失败!
\n");
return1;
}
//2.将创建的共享段与进程连接起来,使得进程能操作共享内存区
if(doshmat()==0){
printf("共享段与进程连接失败!
\n");
return1;
}
//3.创建一个含有5个信号量的信号量集并完成其初始化操作
if(newsem()==0){
printf("创建信号量集或对其操作过程中出现错误!
\n");
return1;
}
//4.创建N个(哲学家人数)子进程
for(inti=0;iwhile((pc=fork())<0);//not-1
if(pc==0){
current=i;
break;
}
}
//5.执行哲学家进餐问题的解决方案
if(pc>0){
wait(state);
//删除与第一个参数对应的物理存储空间
shmctl(mutex,IPC_RMID,0);
shmctl(semphilosopher,IPC_RMID,0);
//切断逻辑地址与内存的联系
shmdt(state);
shmctl(shmid,IPC_RMID,0);
}
else//对哲学家进餐问题进行求解
philosopher(current);
}
3.8编写主函数
/*函数功能:
调用子函数完成对整个问题的求解
参数:
无
返回值:
int类型,返回0表示程序执行完毕正常退出*/
intmain(){
philosopherEatingProblem();
return0;
}
3.9编写菜单
intmain(){
boolflag1=true;//定义标志,用以控制菜单执行
charch;
charMainMenu[]="\n\t\t操作系统课程设计:
基于Linux的进程之间通信\n\n"
"*****************************************\n\n"
"\t\t\t1.实现管道通信P183\n"
"\t\t\t2.实现信号量通信机制P191\n"
"\t\t\t3.实现消息缓冲通信机制P197\n"
"\t\t\t4.实现共享内存区通信机制P201
(2)\n"
"\t\t\t5.退出系统\n\n"
"*****************************************\n"
"请选择您想要执行的操作:
(请输入1-5中任意一个整数,并按回车确定)";
while(flag1){
printf(MainMenu);
//switch(ch=getchar(),getchar(),ch){
switch(ch=getchar(),ch){
case'1':
{
hnfifo();
break;
}//case
case'2':
{
philosopherEatingProblem();
break;
}//case
case'3':
{
msgbufferQueue();break;
}//case
case'4':
{
sharememory();break;
}//case
case'5':
{
printf("\t\t\t\t谢谢使用,再见!
\n");//退出功能
exit(0);
}//case
default:
{
printf("您输入了非法信息,请重新输入!
\n");//提示用户输入非法
break;
}//default
}//switch
getchar();getchar();
fflush(stdin);//清空缓冲区,避免多输入的字符影响菜单运行
}//while
return0;
}//main
3.10运行结果
使用终端编