操作系统实验5概要1.docVIP

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