操作系统实验5.docx

操作系统 实 验 报 告 课程名称 操作系统实验 实验项目名称 进程的同步 学号 2012201425 班级姓名 颜凡腾 专业 软件工程 学生所在学院 软件学院 指导教师 曹雪 实验室名称地点 21b 哈尔滨工程大学 软件学院 0/19 . 一、实验概述 实验名称进程的同步 实验目的 使用 EOS 的信号量， 编程解决生产者—消费者问题，理解进程同步的意义。 调试跟踪 EOS信号量的工作过程，理解进程同步的原理。修改 EOS 的信号量算法，使之支持等待超时唤醒功能（有限等待），加深理解进程同步的原理。 实验类型 设计 二、实验环境 OS Lab 三、实验过程 使用 EOS的信号量解决生产者—消费者问题： 立即激活虚拟机窗口查看生产者－消费者同步执行的过程 调试 EOS信号量的工作过程： 0/19 . 创建信号量 1/19 . 按 F5 继续调试，到断点处中断。观察 PsInitializeSemaphore 函数中用来初 始化信号量结构体成员的值，应该和传入 CreateSemaphore 函数的参数值是一致的 按 F10 单步调试 PsInitializeSemaphore 函数执行的过程，查看信号量结构体 被初始化的过程。打开“调用堆栈”窗口，查看函数的调用层次。 2/19 . 等待、释放信号量： 等待信号量（不阻塞） 按 F10 单步调试，直到完成 PsWaitForSemaphore 函数中的所有操作。可以看到此次执行并没有进行等待，只是将 Empty 信号量的计数减少了 1 （由 10 变为了 9 ）就返回了。 3/19 . 释放信号量（不换醒） 按 F10 单步调试，直到完成 PsReleaseSemaphore 函数中的所有操作。可以看到此次执行没有唤醒其它线程（因为此时没有线程在 Full 信号量上被阻塞），只是将 Full 信号量的计数增加了 1 （由 0 变为了 1 ）。 4/19 . 5/19 . 等待信号量（阻塞） 由于开始时生产者线程生产产品的速度较快，而消费者线程消费产品的速度 较慢，所以当缓冲池中所有的缓冲区都被产品占用时， 生产者在生产新的产品时就会被阻塞 . 在“调用堆栈”窗口中双击 Producer 函数所在的堆栈帧，绿色箭头指向等待 Empty 信号量的代 码行，查看 Producer 函数中变量 i 的值为 14 ，表示生产者线程正在尝试生产 号产品。 6/19 . 在“调用堆栈”窗口中双击 PsWaitForSemaphore 函数的堆栈帧，查看 Empty 信号量计数（ Semaphore->Count）的值为 -1 ，所以会调用 PspWait 函数将生产者线程放入 Empty 信号量的等待队列中进行等待（让出 CPU）。 激活虚拟机窗口查看输出的结果。生产了从 0 到 13 的 14 个产品，但是只消费了从 0 到 13 的 14 个产品，所以缓冲池中的 10 个缓冲区就都被占用了，这与之前调试的结果是一致的。 7/19 . 释放信号量（唤醒） 只有当消费者线程从缓冲池中消费了一个产品， 从而产生一个空缓冲区后， 生产者线程才会被唤醒并继续生产 14 号产品。 查看 Consumer 函数中变量 i 的值为 4 。 查看 PsReleaseSemaphore 函数中 Empty 信号量计数（ Semaphore->Count）的值为 -1 ，和生产者线程被阻塞时的值是一致的。 8/19 . 按 F10 单步调试 PsReleaseSemaphore 函数，直到在代码行（第 132 行） PspWakeThread(&Semaphore->WaitListHead, STATUS_SUCCESS)处中断。此时 Empty 信号量计数的值已经由 -1 增加为了 0 ，需要调用 PspWakeThread 函数唤醒阻塞在 Empty 信号量等待队列中的生产者线程（放入就绪队列中），然后调 用 PspSchedule 函数执行调度，这样生产者线程就得以继续执行。 查看 PsWaitForSemaphore 函数中 Empty 信号量计数（ Semaphore->Count）的值为 0 ，和生产者线程被唤醒时的值是一致的。 9/19 . 在“调用堆栈”窗口中可以看到是由 Producer 函数的堆栈帧，查看 Producer 函数中变量 i 正在尝试生产 14 号产品的生产者线程已经从了。  函数进入的。 激活 Producer 的值为 14 ，表明之前被阻塞的、 PspWait 函数返回并继续执行 修改 EOS的信号量算法 在目前 EOS Kernel 项目的 ps/semaphore.c 文件中， PsWaitForSemaphore 函数的 Mi