哈尔滨工程大学操作系统实验四进程的同步

《哈尔滨工程大学操作系统实验四进程的同步》由会员分享，可在线阅读，更多相关《哈尔滨工程大学操作系统实验四进程的同步（25页珍藏版）》请在金锄头文库上搜索。

1、操作系统实验报告课程名称操作系统实验课程编号实验项目名称进程的同步学号20年级2013姓名徐大亮专业软件工程学生所在学院软件学院指导教师刘冈【J实验室名称地点计算机软件第实验室21#427哈尔滨工程大学软件学院第四讲 进程的同步、实验概述1. 实验名称 ：进程的同步2. 实验目的 ：(1) 使用EOS的信号量，编程解决生产者一消费者问题，理解进程同步的意义。(2) 调试跟踪 EOS 言号量的工作过程，理解进程同步的原理。(3) 修改 EOS 勺信号量算法，使之支持等待超时唤醒功能(有限等待)，加深理 解进程同步的原理。3. 实验类型 ：验证设计4. 实验内容1 ) 准备实验2) 使用 EOS

2、的信号量解决生产者消费者问题3) 调试 EOS 信号量的工作过程4) 修改 EOS 的信号量算法、实验环境操作系统： windows xp编译器： Bochs 模拟器语言： C 语言工具： OSLAB三、实验过程1 准备实验按照下面的步骤准备本次实验：1. 启动 OS Lab。2. 新建一个 EOS Kernel 项目3. 生成EOS KerneI项目，从而在该项目文件夹中生成SDK文件夹。4. 新建一个EOS应用程序项目。5. 使用在第3步生成的SDK文件夹覆盖EOS应用程序项目文件夹中的SDK文件夹。2 使用 EOS 的信号量解决生产者消费者问题在本实验文件夹中，提供了使用EOS的信号量解

3、决生产者-消费者问题的参考源代码文件pcc。使用OS Lab打开此文件（将文件拖动到OS Lab窗中释放即可打开），仔细阅读此文件中的 源代码和注释，各个函数的流程图可以参见图13-1。思考在两个线程函数（Producer和Consumer）中，哪 些是临界资源？哪些代码是临界区？哪些代码是进入临界区？哪些代码是退出临界区？进入临界区和退出临界区的代码是否成对出现？按照下面的步骤查看生产者消费者同步执行的过程：1. 使用pcc文件中的源代码，替换之前创建的EOS应用程序项目中EOSAppc文 件内的源代码。2按F7生成修改后的EOS应用程序项目。3. 按 F5 启动调试。 OS Lab 会首先

4、弹出一个调试异常对话框。4. 在调试异常对话框中选择“否” ，继续执行。5. 立即激活虚拟机窗查看生产者-消费者同步执行的过程，如图13-2。6. 待应用程序执行完毕后，结束此次调试。3调试EOS信号量的工作过程3.1 创建信号量信号量结构体（SEMAPHORE ）中的各个成员变量是由API函数CreateSem aphoreB勺对应参数初始化的，查看main函数中创建Empty和Full信号量使用的参数有哪些不同，又有哪些相同，思考 其中的原因。按照下面的步骤调试信号量创建的过程：1. 按F5启动调试EOS应用项目。OS Lab会首先弹出一个调试异常对话框。2. 在调试异常对话框中选择“是”

5、 ，调试会中断。3. 在main函数中创建Empty信号量的代码行（第77 行）EmptySemaphoreHandle = CreateSemaphore（BUFFER_SIZE, BUFFER_SIZE, NULL）;添加一个断点。4. 按F5继续调试，到此断点处中断。5. 按F11调试进入CreateSemaphore函数。可以看到此API函数只是调用了EOS 内核中的PsCreateSemaphoreObjec函数来创建信号量对象。6. 按 F11 调试进入 semaphore.c 文件中的 PsCreateSemaphoreObject 函数。在 此 函数中，会在 EOS内核管理的内

6、存中创建一个信号量对象（分配一块内存），而初始化信号量对象中各个成 员的操作是在PsInitializeSemaphore函数中完成的。7. 在semaphore.c文件的顶部查找到PsInitializeSemaphore函数的定义（第19 行），在此函数的第一行（第 39行）代码处添加一个断点。8. 按F5继续调试，到断点处中断。观察PsInitializeSemaphore函数中用来初始 化信号量结构体成员的值，应该和传入 CreateSemaphore 函数的参数值是一致的。9. 按 F10 单步调试 PsInitializeSemaphore 函数执行的过程，查看信号量结构 体被初始

7、化的过程。打开“调用堆栈”窗口，查看函数的调用层次。3.2 等待、释放信号量3.2.1 等待信号量（不阻塞） 生产者和消费者刚开始执行时， 用来放产品的缓冲区都是空 的， 所以生产者在第 一次调用WaitForSingleObject 函数等待 Empty 信号量时，应该不需要阻塞就可以立即返 回。按照 下面的步骤调试：1. 删除所有的断点（防止有些断点影响后面的调试） 。2. 在 eosapp.c 文件的 Producer 函数中，等待 Empty 信号量的代码行（第 144 行）WaitForSingleObject（EmptySemaphoreHandle, INFINITE）;添加一个

8、断点。3. 按 F5 继续调试，到断点处中断。4. WaitForSi ngleObject 函数最终会调用内核中的 PsWaitForSem aphore 函数完 成等待操作。所以，在 semaphore.c 文件中 PsWaitForSemaphore 函数的第一行（第 68 行）添加一个 断 点。5. 按 F5 继续调试，到断点处中断。6. 按 F10 单步调试，直到完成 PsWaitForSemaphore 函数中的所有操作。可以 看到此 次执行并没有进行等待，只是将 Empty 信号量的计数减少了 1（由 10 变为了 9）就返回了。3.2.2 释放信号量（不唤醒）1. 删除所有的断

9、点（防止有些断点影响后面的调试） 。2. 在 eosapp.c 文件的 Producer 函数中，释放 Full 信号量的代码行（第 152 行）ReleaseSemaphore（FullSemaphoreHandle, 1, NULL）;添加一个断点。3. 按F5继续调试，到断点处中断。4. 按 F11 调试进入 ReleaseSemaphore 函数。5. 继续按 F11 调试进入 PsReleaseSemaphoreObjec 函数。6先使用F10单步调试，当黄色箭头指向第269行时使用F11单步调试，进入 PsReleaseSemaphore函数。7. 按F10单步调试，直到完成PsR

10、eleaseSemaphore函数中的所有操作。可以看到此次 执行没有唤醒其它线程（因为此时没有线程在Full信号量上被阻塞），只是将Full信号量的计数增加 了1（由 0变为了 1）。生产者线程通过等待Empty信号量使空缓冲区数量减少了 1,通过释放Full信号量使满 缓冲区数量增加了 1,这样就表示生产者线程生产了一个产品并占用了一个缓冲区。3.2.3 等待信号量（阻塞）由于开始时生产者线程生产产品的速度较快,而消费者线程消费产品的速度较慢,所以当缓 冲池中所有的缓冲区都被产品占用时,生产者在生产新的产品时就会被阻塞,下面调试这种情况。1. 结束之前的调试。2. 删除所有的断点。3. 按

11、F5重新启动调试。OS Lab会首先弹出一个调试异常对话框。4. 在调试异常对话框中选择“是” ,调试会中断。5. 在 semaphore.c文件中的 PsWaitForSemaphore 函数的PspWait（&Semaphore-WaitListHead, INFINITE）;代码行（第 78行）添加一个断点。6按F5继续调试，并立即激活虚拟机窗查看输出。开始时生产者、消费者都不会被信 号量阻塞,同步执行一段时间后才在断点处中断。7. 中断后，查看“调用堆栈”窗口，有 Producer 函数对应的堆栈帧，说明此 次调用是从 生产者线程函数进入的。8. 在“调用堆栈”窗口中双击 Produc

12、er 函数所在的堆栈帧，绿色箭头指向等 待 Empty 信号量的代码行，查看Producer函数中变量i的值为14,表示生产者线程正在尝试生产14号产品。9. 在“调用堆栈”窗口中双击 PsWaitForSemaphore 函数的堆栈帧，查看 Empty 信号 量计数(Semaphore-Coun)的值为-1,所以会调用PspWait函数将生产者线程放入Empty信 号量的等待队列中进行等待(让出 CPU)。10. 激活虚拟机窗口查看输出的结果。生产了从 0到 13的 14 个产品，但是只消 费了从 0 到 3 的 4 个产品，所以缓冲池中的 1 0 个缓冲区就都被占用了，这与之前调试的结果是

13、一致 的。3.2.4 释放信号量(唤醒)只有当消费者线程从缓冲池中消费了一个产品， 从而产生一个空缓冲区后， 生产 者线程才 会被唤醒并继续生产 14 号产品。可以按照下面的步骤调试：1. 删除所有断点。2. 在eosapp.c文件的Consumer函数中，释放Empty信号量的代码行(第180 行)ReleaseSemaphore(EmptySemaphoreHandle, 1, NULL);添加一个断点。3. 按F5继续调试，到断点处中断。4. 查看 Consumer 函数中变量 i 的值为 4,说明已经消费了 4 号产品。5. 按照332.2中的方法使用F10和F11调试进入PsRele

14、aseSemaphor函数。6 查看PsReleaseSemaphore函数中Empty信号量计数(Semaphore-Coun)的值为-1 ，和生产者线程被阻塞时的值是一致的。7.按 F10 单步调试 PsReleaseSemaphor 函数，直到在代码行（第 132 行）PspWakeThread（&Semaphore-WaitListHead, STATUS_SUCCESS）;处中断 。此时 Empty 信 号量 计数 的值已经 由-1 增加 为了 0， 需要调用 PspWakeThreac 函数唤醒阻塞在 Empty 信号量等待队列中的生产者线程（放入就绪队列中） ，然后调用 PspS

15、chedule 函数执行调度，这样生产者线程就得以继续执行。按照下面的步骤验证生产者线程被唤醒后，是从之前被阻塞时的状态继续执行 的：1. 在 semaphore.c 文件中 PsWaitForSemaphore 函数的最后一行（第 83 行） 代 码处添加一个断点。2. 按 F5 继续调试，在断点处中断。3. 查 看 PsWaitForSemaphore 函 数 中 Empty 信 号 量 计 数（ Semaphore-Coun） t 的值为 0，和生产者线 程被唤醒时的值是一致的。4. 在“调用堆栈”窗口中可以看到是由 Producer 函数进入的。激活 Producer 函数 的堆栈帧，查看Producer 函数中变量 i 的值为 14，表明之前被阻塞的、正在尝试生产 14 号产品 的生产者 线程已经从 PspWait 函数返回并继续执行了。5. 结束此次调试。4 修改 EOS 勺信号量算法1 ） 根据文档修改的代码如下：PsWaitForSemaphore 函