预览加载中,请您耐心等待几秒...
1/8
2/8
3/8
4/8
5/8
6/8
7/8
8/8

在线预览结束,喜欢就下载吧,查找使用更方便

如果您无法下载资料,请参考说明:

1、部分资料下载需要金币,请确保您的账户上有足够的金币

2、已购买过的文档,再次下载不重复扣费

3、资料包下载后请先用软件解压,在使用对应软件打开

实验三:进程同步实验一、实验任务:(1)掌握操作系统得进程同步原理;(2)熟悉linux得进程同步原语;(3)设计程序,实现经典进程同步问题。二、实验原理:(1)P、V操作ﻩPV操作由P操作原语与V操作原语组成(原语就是不可中断得过程),对信号量进行操作,具体定义如下:P(S):①将信号量S得值减1,即S=S-1;②如果S³0,则该进程继续执行;否则该进程置为等待状态,排入等待队列。V(S):①将信号量S得值加1,即S=S+1;②如果S>0,则该进程继续执行;否则释放队列中第一个等待信号量得进程。(2)信号量ﻩ信号量(semaphore)得数据结构为一个值与一个指针,指针指向等待该信号量得下一个进程。信号量得值与相应资源得使用情况有关。当它得值大于0时,表示当前可用资源得数量;当它得值小于0时,其绝对值表示等待使用该资源得进程个数。注意,信号量得值仅能由PV操作来改变。一般来说,信号量S³0时,S表示可用资源得数量。执行一次P操作意味着请求分配一个单位资源,因此S得值减1;当S<0时,表示已经没有可用资源,请求者必须等待别得进程释放该类资源,它才能运行下去。而执行一个V操作意味着释放一个单位资源,因此S得值加1;若S£0,表示有某些进程正在等待该资源,因此要唤醒一个等待状态得进程,使之运行下去。(3)linux得进程同步原语①wait();阻塞父进程,子进程执行;②#include<sys/types、h>#include<sys/ipc、h>key_tftok(char*pathname,charproj);它返回与路径pathname相对应得一个键值。③intsemget(key_tkey,intnsems,intsemflg)参数key就是一个键值,由ftok获得,唯一标识一个信号灯集,用法与msgget()中得key相同;参数nsems指定打开或者新创建得信号灯集中将包含信号灯得数目;semflg参数就是一些标志位。参数key与semflg得取值,以及何时打开已有信号灯集或者创建一个新得信号灯集与msgget()中得对应部分相同。该调用返回与健值key相对应得信号灯集描述字。调用返回:成功返回信号灯集描述字,否则返回-1。④intsemop(intsemid,structsembuf*sops,unsignednsops);semid就是信号灯集ID,sops指向数组得每一个sembuf结构都刻画一个在特定信号灯上得操作。nsops为sops指向数组得大小。⑤intsemctl(intsemid,intsemnum,intcmd,unionsemunarg)该系统调用实现对信号灯得各种控制操作,参数semid指定信号灯集,参数cmd指定具体得操作类型;参数semnum指定对哪个信号灯操作,只对几个特殊得cmd操作有意义;arg用于设置或返回信号灯信息。三、实验源程序:#include<sys/types、h>#include<sys/ipc、h>#include<sys/sem、h>#include<errno、h>#include<stdlib、h>#include<stdio、h>#include<fcntl、h>#include<unistd、h>#include<string、h>#include<sys/stat、h>#include<sys/types、h>#include<sys/ipc、h>#include<sys/shm、h>#definePERMS_IRUSR|S_IWUSR#defineSEMKEY(key_t)0x200typedefunion_senum{intval;structsemid_ds*buf;ushort*array;}semun;intsemid;staticintcount=0;FILE*fp,*fp1,*fp2;structsembufprmutex={0,-1,0},pwmutex={1,-1,0},ps={2,-1,0};structsembufvrmutex={0,1,0},vwmutex={1,1,0},vs={2,1,0};intinitsem(){semunx;x、val=1;if((semid=semget(SEMKEY,3,0600|IPC_CREAT|IPC_EXCL))==-1){if(errno==EEXIST)semid=semget(SEMKEY,3,0);}if(semctl(semid,0,SETVAL,x)==-1){perror("semctlfailed\n");return(-1);}if(semctl(semid,1,SETVAL,x)==-1){perror("semctlfailed\n");return(-1);}if(semc