山大操作系统实验五.docx
- 文档编号:25043292
- 上传时间:2023-06-04
- 格式:DOCX
- 页数:22
- 大小:20.20KB
山大操作系统实验五.docx
《山大操作系统实验五.docx》由会员分享,可在线阅读,更多相关《山大操作系统实验五.docx(22页珍藏版)》请在冰豆网上搜索。
山大操作系统实验五
大学软件学院操作系统实验报告
实验题目:
进程互斥实验
实验目的:
进一步研究和实践操作系统中关于并发进程同步与互斥操作的一些经典问题的解法,加深对于非对称性互斥问题有关概念的理解。
观察和体验非对称性互斥问题的并发控制方法。
进一步了解Linux系统中IPC进程同步工具的用法,训练解决对该类问题的实际编程、调试和分析问题的能力。
实验要求:
理发店问题:
假设理发店的理发室中有3个理发椅子和3个理发师,有一个可容纳4个顾客坐等理发的沙发。
此外还有一间等候室,可容纳13位顾客等候进入理发室。
顾客如果发现理发店中顾客已满(超过20人),就不进入理发店。
在理发店,理发师一旦有空就为坐在沙发上等待时间最长的顾客理发,同时空出的沙发让在等候室中等待时间最长的的顾客就坐。
顾客理完发后,可向任何一位理发师付款。
但理发店只有一本现金登记册,在任一时刻只能记录一个顾客的付款。
理发师在没有顾客的时候就坐在理发椅子上睡眠。
理发师的时间就用在理发、收款、睡眠上。
请利用linux系统提供的IPC进程通信机制实验并实现理发店问题的一个解法。
总结和分析示例实验和独立实验中观察到的调试和运行信息,说明您对与解决非对称性互斥操作的算法有哪些新的理解和认识?
为什么会出现进程饥饿现象?
本实验的饥饿现象是怎样表现的?
怎样解决并发进程间发生的饥饿现象?
您对于并发进程间使用消息传递解决进程通信问题有哪些新的理解和认识?
根据实验程序、调试过程和结果分析写出实验报告。
硬件环境:
CPU:
P4/1.8MHz存:
256MB硬盘:
10GB
软件环境:
Ubuntu08.4-Linux操作系统
Gnome桌面2.18.3
BASH_VERSION='3.2.33
(1)-release
gccversion4.1.2
vi3.1.2
gedit2.18.2
OpenOffice2.3
实验步骤:
1.问题分析
假设理发店的理发室中有3个理发椅子和3个理发师,有一个可容纳4个顾客坐等理发的沙发。
此外还有一间等候室,可容纳13位顾客等候进入理发室。
顾客如果发现理发店中顾客已满(超过20人),就不进入理发店。
在理发店,理发师一旦有空就为坐在沙发上等待时间最长的顾客理发,同时空出的沙发让在等候室中等待时间最长的的顾客就坐。
顾客理完发后,可向任何一位理发师付款。
但理发店只有一本现金登记册,在任一时刻只能记录一个顾客的付款。
理发师在没有顾客的时候就坐在理发椅子上睡眠。
理发师的时间就用在理发、收款、睡眠上。
2.算法设计说明
该解法利用消息队列的每条消息代表每个顾客,将进入等候室的顾客组织到一个队列,将坐入沙发的顾客组织到另一个队列。
理发师从沙发队列请出顾客,空出的沙发位置再从等候室请入顾客进入沙发队列。
三个理发师进程使用相同的程序段上下文,所有顾客使用同一个程序段上下文。
这样可避免产生太多进程,以便节省系统资源。
intsem_p(intsemid,intindex,intipc_nowait){//P操作
structsembufbuf={0,-1,0};
buf.sem_num=index;
buf.sem_flg=ipc_nowait?
IPC_NOWAIT:
0;
if(semop(semid,&buf,1)==-1){
if(ipc_nowait&&errno==EAGAIN){
return-2;
}else{
perror("awrongoperationtosemaphoreoccured!
");
return-1;
}
}
return0;
}
intsem_v(intsemid,intindex,intipc_nowait){//V操作
structsembufbuf={0,1,0};
buf.sem_num=index;
buf.sem_flg=ipc_nowait?
IPC_NOWAIT:
0;
if(semop(semid,&buf,1)==-1){
if(ipc_nowait&&errno==EAGAIN){
return-2;
}else{
perror("awrongoperationtosemaphoreoccured!
");
return-1;
}
}
return0;
}
Costumo:
if((pid=fork())<0){
perror("forkerror!
");
exit(EXIT_FAILURE);
}elseif(pid==0){//childprocess
while
(1){
sem_p(wait_lock_semid,1,0);//等待沙发上有人
sem_p(wait_semid,0,0);//等待理发师有空
if(msg_get(wait_msg,&msg,WAIT_ID_SOFA,0)<0){
perror("messagegeterror!
");
exit(-1);
}
msg_send(wait_msg,WAIT_ID_CHAIR,msg.id,0);
printf("theconsumer%d==>chair,wait%dseconds\n",msg.id,(time(NULL)-msg.timestamp));
//sofa==>chair
sem_v(wait_semid,1,0);//沙发上有空位了
sem_v(wait_lock_semid,0,0);//通知有人来理发了
}
return0;
}
if((pid=fork())<0){
perror("forkerror!
");
exit(EXIT_FAILURE);
}elseif(pid==0){//childprocess
while
(1){
sem_p(wait_lock_semid,2,0);//等待室有人
sem_p(wait_semid,1,0);//沙发上有空位
if(msg_get(wait_msg,&msg,WAIT_ID_ROOM,0)<0){
perror("messagegeterror!
");
exit(-1);
}
msg_send(wait_msg,WAIT_ID_SOFA,msg.id,0);
printf("theconsumer%d==>sofa,wait%dseconds\n",msg.id,(time(NULL)-msg.timestamp));
//room==>sofa
sem_v(wait_semid,2,0);//等待室空出1个位子
sem_v(wait_lock_semid,1,0);//通知沙发上有人了
}
return0;
}
while
(1){
if((pid=fork())<0){
perror("forkerror!
");
exit(EXIT_FAILURE);
}elseif(pid==0){//
if((consumer_status=sem_p(wait_semid,2,1))==-2){//检查理发店(等待室)是否已满
printf("我是顾客%d,理发店满了,我走人了。
。
。
\n",getpid());//full
}elseif(consumer_status==0){//仍然有空间
printf("我是顾客%d,进入理发店\n",getpid());
printf("我是顾客%d,正在等待室等待\n",getpid());
msg_send(wait_msg,WAIT_ID_ROOM,getpid(),0);//进入等待室
sem_v(wait_lock_semid,2,0);//通知等待室有人了
}
exit(0);
}
sleep(3);//
}
Baker:
if(pid[2]==0){
while
(1){
if(barber_status==0){
if(sem_p(wait_lock_semid,0,1)==-2){//等待有人来理发或需要收银
printf("我是%d号理发师,正在睡觉。
。
。
zzzZZZ\n",barber_id);
sem_p(wait_lock_semid,0,0);
}
if(sem_p(wait_lock_semid,3,1)==0){//如果是需要收银
barber_status=2;
if(msg_get(wait_msg,&msg,WAIT_ID_CASH,1)<0){
perror("message1geterror!
");
exit(-1);
}
barber_consumer=msg.id;
}else{
barber_status=1;
if(msg_get(wait_msg,&msg,WAIT_ID_CHAIR,1)<0){
perror("message2geterror!
");
exit(-1);
}
barber_consumer=msg.id;
}
}elseif(barber_status==1){
printf("我是%d号理发师,正在为%d进行理发。
。
。
\n",barber_id,barber_consumer);
sleep(15);
barber_status=0;
sem_v(wait_lock_semid,3,0);//需要收银
msg_send(wait_msg,WAIT_ID_CASH,barber_consumer,0);
sem_v(wait_lock_semid,0,0);
}else{
sem_p(cash_semid,0,0);//收银本的互斥锁
printf("我是%d号理发师,正在为%d进行收银。
。
。
\n",barber_id,barber_consumer);
sem_v(cash_semid,0,0);
barber_status=0;
sem_v(wait_semid,0,0);//通知理发师有空了
}
}
}else{
signal(SIGINT,handler_exit);
wait();
}
3.某种方法的伪代码
理发师程序(Barber)
{
建立一个互斥帐本信号量:
s_account,初值=1;
建立一个同步顾客信号量:
s_customer,初值=0;
建立沙发消息队列:
q_sofa;
建立等候室消息队列:
q_wait;
建立3个理发师进程:
b1_pid,b2_pid,b3_pid;
每个理发师进程作:
while
(1)
{
以阻塞方式从沙发队列接收一条消息,
如果有消息,则消息出沙发队列(模拟一顾客理发);
唤醒顾客进程(让下一顾客坐入沙发)。
用进程休眠一个随机时间模拟理发过程。
理完发,使用帐本信号量记账。
互斥的获取账本
记账
唤醒用账本理发师者
否则没有消息(沙发上无顾客)
则理发师进程在沙发队列上睡眠;
当沙发队列有消息时被唤醒(有顾客坐入沙发)。
}
}
顾客程序(customer)
{
while
(1)
{
取沙发队列消息数(查沙发上顾客数);
如果消息数小于4(沙发没座满)
以非阻塞方式从等候室队列接收一条消息(查等候室有顾客否),
如果有消息将接收到的消息发送到沙发队列(等候室顾客坐入沙发);
否则发送一条消息到沙发队列(新来的顾客直接坐入沙发);
否则(沙发坐满)
取等候室队列消息数(查等候室顾客数);
如果消息数小于13
发送一条消息到等候室队列(等候室没满,新顾客进等候室);
否则
在顾客同步信号量上睡眠(等候室满暂不接待新顾客);
用进程休眠一个随机时间模拟顾客到达的时间间隔。
}
}
4.实验收获
通过本次试验,使我加深了对进程互斥概念的理解,体验到了共享存、信号灯数组以及消息队列的功能。
基本已经掌握了如何用消息队列控制和堵塞进程,实现对共享存的有序访问。
另外,是我加深了对理发师算法的理解,找到了它与读者写者问题的共同之处:
1.进程间的互斥2.理发师类似读者进程,顾客类似写者进程。
最后,通过不断的调试,使我熟练了在Linux环境下编程的技巧,对进程的创建与控制更加熟悉。
附录A:
本实验全部程序源代码及注释
IPC.H
#ifndefCZW_IPC_H_INCLUDED
#defineCZW_IPC_H_INCLUDED
#include
#include
#include
intsem_create(constchar*pathname,intproj_id,intnsems,intinit_value){
key_tkeyid;
intsemid,i;
if((keyid=ftok(pathname,proj_id))==-1){
perror("ftokerror!
");
return-1;
}
if((semid=semget(keyid,nsems,IPC_CREAT|0666))<0){
perror("semgeterror!
");
return-1;
}
for(i=0;i semctl(semid,i,SETVAL,init_value); } returnsemid; } intsem_delete(constchar*pathname,intproj_id){ key_tkeyid; intsemid,i; if((keyid=ftok(pathname,proj_id))==-1){ perror("ftokerror! "); return-1; } if((semid=semget(keyid,0,0666))<0){ perror("semgeterror! "); return-1; } if(semctl(semid,0,IPC_RMID)<0){ perror("semdeletefail! "); return-1; } return1; } intsem_set(intsemid,intindex,intvalue){ if(index==-1){ //todosetall }else{ if(semctl(semid,index,SETVAL,value)<0){ perror("semseterror! "); return-1; } } return0; } intsem_p(intsemid,intindex,intipc_nowait){//P操作 structsembufbuf={0,-1,0}; buf.sem_num=index; buf.sem_flg=ipc_nowait? IPC_NOWAIT: 0; if(semop(semid,&buf,1)==-1){ if(ipc_nowait&&errno==EAGAIN){ return-2; }else{ perror("awrongoperationtosemaphoreoccured! "); return-1; } } return0; } intsem_v(intsemid,intindex,intipc_nowait){//V操作 structsembufbuf={0,1,0}; buf.sem_num=index; buf.sem_flg=ipc_nowait? IPC_NOWAIT: 0; if(semop(semid,&buf,1)==-1){ if(ipc_nowait&&errno==EAGAIN){ return-2; }else{ perror("awrongoperationtosemaphoreoccured! "); return-1; } } return0; } intsem_show(intsemid,intindex){ returnsemctl(semid,index,GETVAL); } void*smh_create(constchar*pathname,intproj_id,size_tsize){ key_tkeyid; intshmid; intflags=IPC_CREAT|0666; if((keyid=ftok(pathname,proj_id))==-1){ perror("ftokerror! "); return(char*)-1; } if((shmid=shmget(keyid,size,flags))==-1){ perror("shmgeterror! "); return(char*)-1; } returnshmat(shmid,NULL,0); } intmsg_create(constchar*pathname,intproj_id){ key_tkeyid; intmsgid; intflags=IPC_CREAT|0666; if((keyid=ftok(pathname,proj_id))==-1){ perror("ftokerror! "); return-1; } if((msgid=msgget(keyid,flags))==-1){ perror("msggeterror! "); return-1; } returnmsgid; } intmsg_delete(constchar*pathname,intproj_id){ key_tkeyid; intmsgid,i; if((keyid=ftok(pathname,proj_id))==-1){ perror("ftokerror! "); return-1; } if((msgid=msgget(keyid,0666))<0){ perror("msggeterror! "); return-1; } if(msgctl(msgid,IPC_RMID)<0){ perror("msgdeletefail! "); return-1; } return1; } #endif//CZW_IPC_H_INCLUDED EX5_H #ifndefEX5_H_INCLUDED #defineEX5_H_INCLUDED #include #include"ipc.h" #defineWAIT_ID_SOFA1 #defineWAIT_ID_ROOM2 #defineWAIT_ID_CHAIR3 #defineWAIT_ID_CASH4 structex5msgbuf{ longmtype; intid; time_ttimestamp; }; intmsg_send(intmsgid,intmsgtype,intid,intipc_nowait){ structex5msgbufmsg; msg.mtype=msgtype; msg.id=id; msg.timestamp=time(NULL); if(msgsnd(msgid,&msg,sizeof(structex5msgbuf)-4,ipc_nowait? IPC_NOWAIT: 0)<0){ if(ipc_nowait&&errno==EAGAIN){ return-2; }else{ perror("msgsenderror! "); return-1; } } return0; } intmsg_get(intmsgid,structex5msgbuf*msg,longmsgtype,intipc_nowait){ returnmsgrcv(msgid,msg,sizeof(structex5msgbuf)-4,msgtype,(ipc_nowait? IPC_NOWAIT: 0)); } #endif//EX5_H_INCLUDED Baker: #include #include #include"ex5.h" constintdebug=0; voidhandler_exit(intsigno){ sem_delete(".",10); sem_delete(".",11); msg_delete(".",31); sem_delete(".",110); exit(0); } intmain(){ intwait_semid=sem_create(".",10,3,0); intwait_lock_semid=sem_create(".",11,4,0); intwait_msg=msg_create(".",31); intcash_semid=sem_create(".",110,1,1); debug&&printf("\twait_semidis%d\n",wait_semid); debug&&printf("\twait_lock_semidis%d\n",wait_lock_semid); debug&&printf("\twait_msgis%d\n",wait_msg); debug&&printf("\tcash_semidis%d\n",cash_semid); s
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 操作系统 实验