2011061324张耀(第五讲进程的同步).docVIP

操作系统 实 验 报 告 课程名称 操作系统实验 课程编号 0906553 实验项目名称 进程的同步 学号 2011061324 年级 2011 姓名 张耀 专业 计算机科学与技术 学生所在学院 计算机科学与技术 指导教师 印桂生 实验室名称地点 21B276 哈尔滨工程大学 计算机科学与技术学院 第五讲 进程的同步 一、实验概述 1. 实验名称 进程的同步 2. 实验目的 （1）使用EOS 的信号量，编程解决生产者—消费者问题，理解进程同步的意义； （2）调试跟踪 EOS 信号量的工作过程，理解进程同步的原理； （3）修改EOS 的信号量算法，使之支持等待超时唤醒功能（有限等待），加深理解进程同步的原理。 3. 实验类型 验证型和设计型实验 4. 实验内容 （1）准备实验 （2）使用 EOS 的信号量解决生产者－消费者问题 （3）调试 EOS 信号量的工作过程建信号量等待释放信号量等待信号量（不阻塞）释放信号量（不唤醒）等待信号量（阻塞）释放信号量（唤醒）修改 EOS 的信号量算法 （1）OSLab集成实验环境； （2）EOS操作系统； （2）C语言。 三、实验过程 1. 设计思路和流程图 图3.1.1 2. 需要解决的问题及解答 （1） 生产者在生产了13号产品后本来要继续生产14号产品，可此时生产者为什么必须等待消费者消费了4号产品后，才能生产14号产品呢？生产者和消费者是怎样使用同步对象来实现该同步过程的呢？ 答：因为临界资源的访问限制，程序中限定了缓冲池的大小为10，只有缓冲池有空余时生产者才能向里边放产品，同时只有缓冲池有产品时消费者才能向外取东西。当生产者生产了13号产品后，共生产了从0到13的14个产品，但是只消费了从0到3的4个产品，所以缓冲池中的10个缓冲区就都被占用了，所以不能继续生产14号产品，而要等到消费者消费掉一个产品后，缓冲池有空余位置，才能继续生产14号产品。当生产者线程生产了13号产品后，此时Full信号量的值为10，而Empty信号量的值为0，此时若生产者线程要再生产一个产品，先对Empty减1，此时Empty值小于零，生产者线程进入等待队列；而此时若有一个消费者线程要消费一个产品，先对Full减1，此时Full值为9，大于0，如果没有线程占用缓冲池，消费者可以消费一个产品。这样，生产者和消费者就能实现同步过程了。 生产者线程和消费者线程是如何使用Mutex、Empty信号量和 Full信号量来实现同步的？在两个线程函数中对这三个同步对象的操作能够改变顺序吗？ 答：Mutex、Empty、Full三个信号量的初始值分别为1、10、0，当存在一个生产者线程访问缓冲池时，首先对Empty减1，如果大于0，则说明还有剩余缓冲区可以让生产者放入产品，否则生产者线程进入等待队列；再对Mutex减1，如果大于等于0，则说明没有线程占用缓冲池，否则生产者线程进入等待队列。生产完产品后，对Mutex加1，解除封锁；再对Full加1，说明生产了一个产品占用了一个缓冲区。消费者线程同理，对信号量的操作顺序与生产者线程相反。不能对这三个同步对象的操作改变顺序，否则可能造成死锁。 （3）思考在ps/semaphore.c文件内的PsWaitForSemaphore和PsReleaseSemaphore函数中，为什么要使用原子操作？ 答：在执行PsWaitForSemaphore和PsReleaseSemaphore函数的时候，不允许cpu响应外部中断，如果此时cpu响应了外部中断，会产生不可预料的结果，无法正常完成函数的功能。 （4）绘制ps/semaphore.c文件内PsWaitForSemaphore和PsReleaseSemaphore函数的流程图。 PsWaitForSemaphore流程图： 图 3.2.1 PsReleaseSemaphore函数的流程图: 图 3.2.2 （5）根据本实验3.3.2节中设置断点和调试的方法，自己设计一个类似的调试方案来验证消费者线程在消费24号产品时会被阻塞，直到生产者线程生产了24号产品后，消费者线程才被唤醒并继续执行的过程。 答：调试方案如下： ① 删除所有的断点。 ② 按F5启动调试。OS Lab会首先弹出一个调试异常对话框。 ③ 在调试异常对话框中选择“是”，调试会中断。 ④ 在Consumer函数中等待Full信号量的代码行（第173行） WaitForSingleObject(FullSemaphoreHandle, INFINITE); 添加一个断点。 ⑤ 在“断点”窗口（按Alt