实验四-进程的同步分析.docVIP

上海应用技术学院 程序设计语言实验报告 实验名称进程的同步实验序号实验四实验日期姓 名学 号指导教师专 业计算机科学与技术班 级 成 绩实验目的及要求 使用EOS的信号量编程解决生产者—消费者问题，理解进程同步的意义。 调试跟踪EOS的信号量的工作过程，理解进程同步的原理。 修改EOS的信号量算法，使之支持等待超时唤醒功能（有限等待），加深理解进程同步的原理。实验环境 Windows XP；Tevation OS Lab。三、实验内容 1 准备实验 按照下面的步骤准备本次实验： 新建一个EOS Kernel项目。如图1. 图1 2.分别使用Debug配置和Release配置生成此项目，从而在该项目文件夹中生成完全版本的EOS SDK文件夹，如图2、图3。 图2 图3 3.新建一个EOS应用程序项目，如图4。 图4 4.使用在第3步生成的SDK文件夹覆盖EOS应用程序项目文件夹中的SDK文件夹，使用Debug配置和Release配置生成此项目如图5、6，并重新生成此项目； 图5 图6 2 使用EOS的信号量解决生产者－消费者问题 使用pc.c文件中的源代码替换之前创建的EOS应用程序项目中的EOSApp.c文件内的源代码。 按F7生成修改后的EOS应用程序项目。 按F5启动调试。OS Lab会首先弹出一个调试异常对话框如图7。 图7 在调试异常对话框中选择“否”，继续执行。 立即激活虚拟机窗口查看生产者－消费者同步执行的过程，如图8。 图8 结束此次调试。 3 调试EOS的信号量的工作过程 3.1 创建信号量 按F5启动调试EOS应用项目。OS Lab会首先弹出一个调试异常对话框如图9。 图9 在调试异常对话框中选择“是”，调试会中断。 在main函数中创建Empty信号量的代码行（第77行） EmptySemaphoreHandle = CreateSemaphore(BUFFER_SIZE, BUFFER_SIZE, NULL);添加一个断点如图10。 图10 按F5继续调试，到此断点处中断如图11。 图11 按F11调试进入CreateSemaphore函数。可以看到此API函数只是调用了EOS内核中的PsCreateSemaphoreObject函数来创建信号量对象，如图12。 图12 按F11调试进入semaphore.c文件中的PsCreateSemaphoreObject函数。在此函数中会在由EOS内核管理的内存中创建一个信号量对象（分配一块内存），而初始化信号量对象的各个成员的操作是在PsInitializeSemaphore函数中完成的，如图13。 图13 在semaphore.c文件的顶部查找到PsInitializeSemaphore函数的定义（第19行），在此函数的第一行（第39行）代码处添加一个断点，如图14。 图14 按F5继续调试，到断点处中断，如图15。观察PsInitializeSemaphore函数中用来初始化信号量结构体成员的值，应该和传入CreateSemaphore函数的参数值是一致的。 图15 3.2 等待、释放信号量 3.2.1 等待信号量（不阻塞） 开始时所有的缓冲区都是空的，所以第一次调用WaitForSingleObject函数等待Empty信号量时，应该不需要阻塞就可以立即返回。按照下面的步骤调试： 删除所有的断点（防止有些断点影响后面的调试）。 在eosapp.c文件的Producer函数中，等待Empty信号量的代码行（第144行）（如图16） WaitForSingleObject(EmptySemaphoreHandle, INFINITE);添加一个断点。 图16 按F5继续调试，到断点处中断，如图17。 图17 WaitForSingleObject 函数最终会调用PsWaitForSemaphore函数完成等待操作。所以，在semaphore.c文件中PsWaitForSemaphore函数的第一行（第68行）代码处添加一个断点，如图18。 图18 按F5继续调试，到断点处中断，如图19。 图19 按F10单步调试，直到完成PsWaitForSemaphore函数中的所有操作。可以看到此次执行并没有进行等待，只是将Empty信号量的计数减少了1（由10变为了9）就返回了，如图20。 图20 3.2.2 释放信号量（不唤醒） 删除所有的断点（防止有些断点影响后面的调试）。 在eosapp.c文件的Producer函数中，释放Full信号量的代码行（第152行） ReleaseSemaphore(FullSemaphoreHandle, 1, NULL);