南昌大学操作系统实验报告二编程模拟进程间的同步和互斥_第1页
南昌大学操作系统实验报告二编程模拟进程间的同步和互斥_第2页
南昌大学操作系统实验报告二编程模拟进程间的同步和互斥_第3页
南昌大学操作系统实验报告二编程模拟进程间的同步和互斥_第4页
南昌大学操作系统实验报告二编程模拟进程间的同步和互斥_第5页
已阅读5页,还剩6页未读 继续免费阅读

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

1南昌大学实验报告(2)编程模拟进程间的同步和互斥学生姓名张皓然学号5501215001专业班级本硕151实验类型验证综合设计创新实验日期201755实验成绩一、实验目的通过实验加强对进程同步和互斥的理解,并掌握进程(线程)的创建和调用方法。学会使用信号量解决资源共享问题。学生可以自己选择在WINDOWS或LINUX系统下编写。二、实验内容(一)以下为LINUX系统下参考程序,请编译、运行并观察程序的输出,并分析实验结果,写出实验报告。INCLUDE/标准输入输出头文件INCLUDE/STANDARDLIBRARY标准库头文件INCLUDE/POSIX标准定义的UNIX类系统定义符号常量的头文件,包含了许多UNIX系统服务的函数原型,例如READ函数、WRITE函数和GETPID函数。INCLUDE/TIMEH是C标准库头文件,主要是一些和时间相关的函数INCLUDE/基本系统数据类型INCLUDE/DECLARATIONSFORWAITINGINCLUDE/SEMAPHOREOPERATIONFLAGSDEFINENUM_PROCS5/5个子进程DEFINESEM_ID250/信号量DEFINEFILE_NAME“/TMP/SEM_AAA“DEFINEDELAY4000000VOIDUPDATE_FILEINTSEM_SET_ID,CHARFILE_PATH,INTNUMBERSTRUCTSEMBUFSEM_OPFILEFILE/建立一个文件指针/等待信号量的数值变为非负数,此处设为负值,相当于对信号量进行P操作SEM_OPSEM_NUM0SEM_OPSEM_OP1SEM_OPSEM_FLG0SEMOPSEM_SET_ID,/操作一组信号,进程的标识符号为SEM_SET_ID,SEM_OP是结构指针。SEM_OP如果其值为正数,该值会加到现有的信号内含值中,通常用于释放所控资源的使用权;如果SEM_OP的值为负数,而其绝对值又大于信号的现值,操作将会阻塞,直到信号值大于或等于SEM_OP的绝对值,通常用于获取资源的使用权;如果SEM_OP的值为0,则操作将暂时阻塞,直到信号的值变为0。/写文件,写入的数值是当前进程的进程号FILEFOPENFILE_PATH,“W“/写文件,若成功则返回文件起始地址;否则置02IFFILE/临界区FPRINTFFILE,“DN“,NUMBER/将进程号写入FILE处PRINTF“DN“,NUMBER将当前的进程号输到标准输出里。FCLOSEFILE/关闭文件/发送信号,把信号量的数值加1,此处相当于对信号量进行V操作SEM_OPSEM_NUM0SEM_OPSEM_OP1SEM_OPSEM_FLG0SEMOPSEM_SET_ID,/子进程写文件VOIDDO_CHILD_LOOPINTSEM_SET_ID,CHARFILE_NAMEPID_TPIDGETPIDINTI,J/取得目前进程的识别码,返回当前的进程的标识符FORI0IINCLUDEINCLUDE/系统读写安全相关函数INCLUDEINCLUDEINCLUDE/该头文件内包含了通过错误码来回报错误资讯的宏INCLUDEINCLUDEDEFINEMAXSEM5/声明三个信号灯IDINTFULLIDINTEMPTYID5INTMUTXIDINTMAIN/在SEMBUF结构中,SEM_NUM是相对应的信号量集中的某一个资源,所以其值是一个从0到相应的信号量集的资源总数(IPC_PERMSEM_NSEMS)之间的整数。SEM_OP指明所要执行的操作,SEM_FLG说明函数SEMOP的行为。SEM_OP的值是一个整数释放相应的资源数,将SEM_OP的值加到信号量的值上/STRUCTSEMBUFP,VUNIONSEMUNARG/声明共享主存INTARRAYINTSUMINTSETINTGET/映射共享主存/MMAP是一种内存映射文件的方法,即将一个文件或者其它对象映射到进程的地址空间实现文件磁盘地址和进程虚拟地址空间中一段虚拟地址的一一对映关系。实现这样的映射关系后,进程就可以采用指针的方式读写操作这一段内存而系统会自动回写脏页面到对应的文件磁盘上即完成了对文件的操作而不必再调用READ,WRITE等系统调用函数。相反,内核空间对这段区域的修改也直接反映用户空间从而可以实现不同进程间的文件共享。/ARRAYINTMMAPNULL,SIZEOFINTMAXSEM,PROT_READ|PROT_WRITE,MAP_SHARED|MAP_ANONYMOUS,1,0SUMINTMMAPNULL,SIZEOFINT,PROT_READ|PROT_WRITE,MAP_SHARED|MAP_ANONYMOUS,1,0GETINTMMAPNULL,SIZEOFINT,PROT_READ|PROT_WRITE,MAP_SHARED|MAP_ANONYMOUS,1,0SETINTMMAPNULL,SIZEOFINT,PROT_READ|PROT_WRITE,MAP_SHARED|MAP_ANONYMOUS,1,0SUM0GET0SET0/创建信号量、生成信号灯FULLIDSEMGETIPC_PRIVATE,1,IPC_CREAT|00666EMPTYIDSEMGETIPC_PRIVATE,1,IPC_CREAT|00666MUTXIDSEMGETIPC_PRIVATE,1,IPC_CREAT|00666/为信号灯赋值ARGVAL0IFSEMCTLFULLID,0,SETVAL,ARG1PERROR“SEMCTLSETVALERROR“ARGVALMAXSEMIFSEMCTLEMPTYID,0,SETVAL,ARG1PERROR“SEMCTLSETVALERROR“ARGVAL16IFSEMCTLMUTXID,0,SETVAL,ARG1PERROR“SETCTLSETVALERROR“/初始化P,V操作VSEM_NUM0VSEM_OP1VSEM_FLGSEM_UNDOPSEM_NUM0PSEM_OP1PSEM_FLGSEM_UNDO/生产者进程IFFORK0INTI0WHILEI100/SEMOP信号量,资源,数目SEMOPEMPTYID,/MUTEX实现临界资源的互斥使用SEMOPMUTXID,ARRAYSETMAXSEMI1PRINTF“PRODUCERDN“,ARRAYSETMAXSEM/生产产品的标号1SETSEMOPMUTXID,SEMOPFULLID,ISLEEP10PRINTF“PRODUCERISOVER“EXIT0ELSE/CONSUMERA进程IFFORK0WHILE1SEMOPFULLID,SEMOPMUTXID,/判断是否所有产品都被消费了IFGET100BREAKSUMARRAYGETMAXSEMPRINTF“THECOMSUMERAGETNUMBERDN“,ARRAYGETMAXSEMGET/判断这次消费是否为最后一次消费IFGET1007PRINTF“THESUMISDN“,SUMSEMOPMUTXID,SEMOPEMPTYID,SLEEP1PRINTF“CONSUMERAISOVER“EXIT0ELSE/CONSUMERB进程IFFORK0WHILE1SEMOPFULLID,SEMOPMUTXID,IFGET100BREAKSUMARRAYGETMAXSEMPRINTF“THECOMSUMERBGETNUMBERDN“,ARRAYGETMAXSEMGETIFGET100PRINTF“THESUMISDN“,SUMSEMOPMUTXID,SEMOPEMPTYID,SLEEP1PRINTF“CONSUMERBISOVER“EXIT0/SLEEP20RETURN089要解决该问题,就必须让生产者在缓冲区满时休眠(要么干脆就放弃数据),等到下次消费者消耗缓冲区中的数据的时候,生产者才能被唤醒,开始往缓冲区添加数据。同样,也可以让消费者在缓冲区空时进入休眠,等到生产者往缓冲区添加数据之后,再唤醒消费者。通常采用进程间通信的方法解决该问题,常用的方法有信号灯法等。如果解决方法不够完善,则容易出现死锁的情况。出现死锁时,两个线程都会陷入休眠,等待对方唤醒自己。该问题也能被推广到多个生产者和消费者的情形。思考1、关于SLEEP()SLEEP函数对于指定的时间间隔挂起当前的执行线程。格式VOIDSLEEP(DWORDDWMILLISECONDS)DWMILLISECONDS定义挂起执行线程的时间,以毫秒MS为单位。取值为0时,该线程将余下的时间片交给处于就绪状态的同一优先级的其他线程。若没有处于就绪状态的同一优先级的其他线程,则函数立即返回,该线程继续执行。若取值为INFINITE则造成无限延迟。2关于SEMOP在LINUX下,PV操作通过调用SEMOP函数来实现。该函数定义在头文件SYS/SEMH中,原型如下INTSEMOP(INTSEMID,STRUCTSEMBUFSOPS,SIZE_TNSOPS);流程图10(三)第三个程序没有调试好11(四)心得

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论