河南农业大学计机操作系统实验报告四进程的同步.docVIP

信息与管理科学学院计算机系 实验报告 课程名称： 计算机操作系统 实验名称： 进程的同步 姓 名： 张瑞芳 班 级： 指导教师： 刘羿 学 号： 实 验 室： 菊潭机房二 日 期： 2012.11.12  一、实验目的 使用EOS的信号量编程解决生产者—消费者问题，理解进程同步的意义。 二、实验环境 EOS环境 三、实验内容 调试跟踪EOS的信号量的工作过程，修改EOS的信号量算法，使之支持等待超时唤醒功能（有限等待），加深理解进程同步的原理。 四、实验操作过程 1 准备实验 启动OS Lab。 新建一个EOS Kernel项目。 分别使用Debug配置和Release配置生成此项目，从而生成完全版本的EOS SDK文件夹。 新建一个EOS应用程序项目。 使用在第三步生成的SDK文件夹覆盖应用程序项目文件夹中的SDK文件夹。 2 使用EOS的信号量解决生产者－消费者问题 将pc.c文件中的源代码移动到3.1节创建的EOS应用程序项目中。 按F7生成修改后的EOS应用程序项目。 成功生成项目后按F5启动调试。 应用程序开始执行后，OS Lab会弹出一个调试异常对话框选择“”继续调试。 立即激活虚拟机窗口查看生产者－消费者同步执行的过程。 3 跟踪调试EOS的信号量的工作过程 3.1 创建信号量 按F5启动调试EOS应用项目。 应用程序开始执行后，OS Lab会弹出一个调试异常对话框选择“是”， EmptySemaphoreHandle = CreateSemaphore(BUFFER_SIZE, BUFFER_SIZE, NULL);添加一个断点。 按F5继续调试，到此断点处中断。 按F11调试进入CreateSemaphore函数。可以看到此API函数只是调用了PsCreateSemaphoreObject函数来创建信号量对象。 按F11调试进入PsCreateSemaphoreObject函数。 3.2 等待、释放信号量 3.2.1 等待信号量（不阻塞） 删除所有的断点（防止有些断点影响后面的调试）。 在EOS应用项目的生产者线程函数中，找到等待Empty信号量的代码行 WaitForSingleObject(EmptySemaphoreHandle, INFINITE);并在此行代码处添加一个断点。 按F5继续调试，到此断点处中断。 3.2.2 释放信号量（不唤醒） 删除所有的断点（防止有些断点影响后面的调试）。 在生产者线程函数中释放Full信号量的代码行 ReleaseSemaphore(FullSemaphoreHandle, 1, NULL);添加一个断点。 按F5继续调试，到此断点处中断。 按F11调试进入ReleaseSemaphore函数。 继续按F11调试进入PsReleaseSemaphoreObject函数。 配合使用F10和F11功能，调试进入PsReleaseSemaphore函数。 3.2.3 等待信号量（阻塞） 由于开始时生产者线程生产产品的速度较快，而消费者线程消费产品的速度较慢，所以当缓冲池中所有的缓冲区都被产品占用时，生产者再生产新的产品就会被阻塞（也就是在减少空缓冲区数量时会被阻塞），下面调试这种情况。 停止之前的调试。 删除所有的断点。 按F5重新启动调试。 应用程序开始执行后，OS Lab会弹出一个调试异常对话框选择“是”，PsWaitForSemaphore函数的 PspWait(Semaphore-WaitListHead, INFINITE);代码行添加一个断点。 按F5继续调试，并立即激活虚拟机窗口查看输出。 此时生产者、消费者都不会被阻塞，同步执行一段时间后才到此断点处中断。 激活虚拟机窗口查看输出的结果，可以看到声产了从0到13的14个产品，但是只消费了从0到3的4个产品，有10个产品没有被消费，所以缓冲池中的10个缓冲区就都被占用了，这与之前调试的结果是一致的。 3.2.4 释放信号量（唤醒） 由于只有当消费者线程从缓冲池中消费了一个产品从而产生了一个空缓冲区后，生产者线程才会被唤醒从而继续生产14号产品，按照下面的步骤操作： 删除所有断点。 在消费者线程函数的释放Empty信号量的代码行 ReleaseSemaphore(EmptySemap