进程的同步实验报告汇总.docxVIP

操作系统 实验报告 课程名称 操作系统实验 实验项目名称 进程的同步 学号 班级姓名 专业 计算机科学 与技术 学生所在学院 计算机科学与技 术学院 指导教师 实验室名称地点 计算机基础第七实验室 21B475 哈尔滨工程大学 计算机科学与技术学院 PAGE PAGE # 一、实验概述 实验名称 进程的同步 实验目的 ⑴使用EOS勺信号量，编程解决生产者 消费者问题，理解进程同步的意义 ⑵调试跟踪EO信号量的工作过程，理解进程同步的原理。 ⑶修改EOS勺信号量算法，使之支持等待超时唤醒功能（有限等待），加深 理解进程同步的原理。 实验类型 验证+设计 实验内容 ⑴准备实验 ⑵使用EOS的信号量解决生产者-消费者问题 ⑶调试EOS信号量的工作过程 创建信号量 等待释放信号量 等待信号量（不阻塞） 释放信号量（不唤醒） 等待信号量（阻塞） 释放信号量（唤醒） ⑷修改EOS的信号量算法 二、实验环境 WindowsXP + EOS 集成实验环境 三、实验过程 设计思路和流程图 准备实验 图4-1.整体试验流程图 等待生产者线程和消费者线程结束关闭句柄1 r 等待生产者线程和消 费者线程结束 关闭句柄 1 r —r main函数结束 图4-2.Main函数流程图、生产者消费、消费者流程图 算法实现 需要解决的问题及解答 . 思考在 ps/semaphore.c 文件内的 PsWaitForSemaphore和 PsReleaseSemaphore函数中，为什么要使用原子操作？ 答：在执行等待信号量和释放信号量的时候， 是不允许cpu响应外部中断的， 如果此时cpu响应了外部中断，会产生不可预料的结果，无法正常完成原子操作。 . 绘制 ps/semaphore.c 文件内 PsWaitForSemaphore和 PsReleaseSemaphore函数的流程图。 . P143生产者在生产了 13号产品后本来要继续生产14号产品，可此时生 产者为什么必须等待消费者消费了 4号产品后，才能生产 14号产品呢？生产者和 消费者是怎样使用同步对象来实现该同步过程的呢？ 答：这是因为临界资源的限制。临界资源就像产品仓库，只有“产品仓库”空闲 生产者才能生产东西，有权向里面放东西。所以它必须等到消费者，取走产品， “产品空间”(临界资源)空闲时，才继续生产 14号产品。 . 根据本实验 3.3.2 节中设置断点和调试的方法， 自己设计一个类似的调 试方案来验证消费者线程在消费 24号产品时会被阻塞， 直到生产者线程生产了 24 号产品后，消费者线程才被唤醒并继续执行的过程。 答：可以按照下面的步骤进行调试 (1) 删除所有的断点。 ⑵ 按F5启动调试。OS Lab会首先弹出一个调试异常对话框。 (3) 在调试异常对话框中选择 “是”，调试会中断。 ⑷ 在Consume函数中等待Full信号量的代码行(第173行) WaitForSingleObject(FullSemaphoreHandle, INFINITE); 添加一个断点。 在“断点”窗口(按 Alt+F9 打开)中此断点的名称上点击右键。 在弹出的快捷菜单中选择 “条件”。 在 断点条件”对话框(按F1获得帮助)的表达式编辑框中，输入表达式“== 24”。 点击“断点条件 ”对话框中的 “确定”按钮。 按F5继续调试。只有当消费者线程尝试消费24号产品时才会在该条件断点处 中断。 主要数据结构、实现代码及其说明 修改 PsWaitForSemaphore函数 if (Semaphore-Count0){ Semaphore-Count--; flag=STATUS_SUCCESS; }// 如果信号量大于零，说明尚有资源，可以为线程分配 else flag=PspWait(Semaphore-WaitListHead, Milliseconds); KeEnableInterrupts(IntState); // 原子操作完成，恢复中断。 return flag; }// 否则，说明资源数量不够，不能再为线程分配资源，因此要使线程等待 修改 PsReleaseSemaphore 函数 if (Semaphore-Count + ReleaseCount Semaphore-MaximumCount) { Status = STATUS_SEMAPHORE_LIMIT_EXCEEDED; } else { // 记录当前的信号量的值。 if (NULL != PreviousCount) { *PreviousCount = Semaphore-Count; } int mm=Semaphore-Count; // 目前仅实现了标准记录型信号量，每执行一