进程的同步.doc

操作系统 实 验 报 告 课程名称 操作系统实验 实验项目名称 进程的同步 学号 2009142212 班级 姓名 刘欣卓 专业 计算机科学与技术 学生所在学院 计算机科学 与技术学院 指导教师 初妍 实验室名称地点 21#428 哈尔滨工程大学 计算机科学与技术学院 一、实验概述 1. 实验名称 第三讲 进程的同步 2. 实验目的 使用EOS的信号量，编程解决生产者—消费者问题，理解进程同步的意义。 调试跟踪EOS信号量的工作过程，理解进程同步的原理。 修改EOS的信号量算法，使之支持等待超时唤醒功能（有限等待），加深理解进程同步的原理。 实验类型 验证性实验、设计性试验 4. 实验内容 （1）准备实验OS Lab。新建一个EOS Kernel项目。 生成EOS Kernel项目，从而在该项目文件夹中生成SDK文件夹。 新建一个EOS应用程序项目。 使用在第3步生成的SDK文件夹覆盖EOS应用程序项目文件夹中的SDK文件夹。 （2）生产者－消费者同步执行的过程 使用pc.c文件中的源代码，替换之前创建的EOS应用程序项目中EOSApp.c文件内的源代码。按F7生成修改后的EOS应用程序项目。按F5启动调试。OS Lab会首先弹出一个调试异常对话框。 在调试异常对话框中选择“否”，继续执行。立即激活虚拟机窗口查看生产者－消费者同步执行的过程。待应用程序执行完毕后，结束此次调试。 调试EOS信号量的工作过程 I 创建信号量 F5启动调试EOS应用项目。OS Lab会首先弹出一个调试异常对话框。 在调试异常对话框中选择“是”，调试会中断。在main函数中创建Empty信号量的代码行（第77行）EmptySemaphoreHandle = CreateSemaphore(BUFFER_SIZE, BUFFER_SIZE, NULL); 添加一个断点。按F5继续调试，到此断点处中断。 按F11调试进入CreateSemaphore函数。可以看到此API函数只是调用了EOS内核中的PsCreateSemaphoreObject函数来创建信号量对象。按F11调试进入semaphore.c文件中的PsCreateSemaphoreObject函数。在此函数中，会在EOS内核管理的内存中创建一个信号量对象（分配一块内存），而初始化信号量对象中各个成员的操作是在PsInitializeSemaphore函数中完成的。在semaphore.c文件的顶部查找到PsInitializeSemaphore函数的定义（第19行），在此函数的第一行（第39行）代码处添加一个断点。按F5继续调试，到断点处中断。观察PsInitializeSemaphore函数中用来初始化信号量结构体成员的值，应该和传入CreateSemaphore函数的参数值是一致的。按F10单步调试PsInitializeSemaphore函数执行的过程，查看信号量结构体被初始化的过程。打开“调用堆栈”窗口，查看函数的调用层次。 II 等待、释放信号量 1、等待信号量（不阻塞） 删除所有的断点。在eosapp.c文件的Producer函数中，等待Empty信号量的代码行（第144行） WaitForSingleObject(EmptySemaphoreHandle, INFINITE); 添加一个断点。 按F5继续调试，到断点处中断。WaitForSingleObject 函数最终会调用内核中的PsWaitForSemaphore函数完成等待操作。所以，在semaphore.c文件中PsWaitForSemaphore函数的第一行（第68行）添加一个断点。按F5继续调试，到断点处中断。 按F10单步调试，直到完成PsWaitForSemaphore函数中的所有操作。 2、释放信号量（不唤醒） 删除所有的断点。在eosapp.c文件的Producer函数中，释放Full信号量的代码行（第152行） ReleaseSemaphore(FullSemaphoreHandle, 1, NULL); 添加一个断点。 按F5继续调试，到断点处中断。 按F11调试进入ReleaseSemaphore函数。继续按F11调试进入PsReleaseSemaphoreObject函数。先使用F10单步调试，当黄色箭头指向第269行时使用F11单步调试，进入PsReleaseSemaphore函数。 按F10单步调试，直到完成PsReleaseSemaphore函数中的所有操作。 3、等待信号量（阻塞） 结束之前的调试。删除所有的断点。按F5