实验四-进程的同步概要.doc

上海应用技术学院 程序设计语言实验报告 实验名称 进程的同步 实验序号 实验四 实验日期 姓 名 学 号 指导教师 专 业 计算机科学与技术 班 级 成 绩 实验目的及要求 使用EOS的信号量编程解决生产者—消费者问题，理解进程同步的意义。 调试跟踪EOS的信号量的工作过程，理解进程同步的原理。 修改EOS的信号量算法，使之支持等待超时唤醒功能（有限等待），加深理解进程同步的原理。 实验环境 Windows XP；Tevation OS Lab。 三、leaseSemaphore函数中的所有操作。可以看到此次执行没有唤醒其它线程（因为此时没有线程在Full信号量上被阻塞），只是将Full信号量的计数增加了1（由0变为了1），如图27。 图27 生产者线程通过等待Empty信号量使空缓冲区数量减少了1，通过释放Full信号量使满缓冲区数量增加了1，这样就表示生产者线程生产了一个产品并占用了一个缓冲区。 3.2.3 等待信号量（阻塞） 停止之前的调试。 删除所有的断点。 按F5重新启动调试。OS Lab会首先弹出一个调试异常对话框。 在调试异常对话框中选择“是”，调试会中断。 在semaphore.c文件中的PsWaitForSemaphore函数的，如图28. PspWait(Semaphore-WaitListHead, INFINITE);代码行（第78行）添加一个断点。 图28 按F5继续调试，并立即激活虚拟机窗口查看输出。开始时生产者、消费者都不会被阻塞，同步执行一段时间后才在断点处中断，如图29。 图29 中断后，查看“调用堆栈”窗口，有Producer函数对应的堆栈帧，说明此次调用是从生产者线程函数进入的，如图30。 图30 在“调用堆栈”窗口中双击Producer函数所在的堆栈帧，绿色箭头指向等待Empty信号量的代码行，查看Producer函数中变量i的值为14，表示生产者线程正在尝试生产14号产品，如图31。 图31 在“调用堆栈”窗口中双击PsWaitForSemaphore函数的堆栈帧，查看Empty信号量计数（Semaphore-Count）的值为-1，所以会调用PspWait函数将生产者线程放入Empty信号量的等待队列中进行等待（让出CPU），如图32。 图32 激活虚拟机窗口查看输出的结果。生产了从0到13的14个产品，但是只消费了从0到3的4个产品，所以缓冲池中的10个缓冲区就都被占用了，这与之前调试的结果是一致的，如图33。 图33 3.2.4 释放信号量（唤醒） 删除所有断点。 在eosapp.c文件的Consumer函数中，释放Empty信号量的代码行（第180行） ReleaseSemaphore(EmptySemaphoreHandle, 1, NULL);添加一个断点。 按F5继续调试，到断点处中断，如图34。 图34 查看Consumer函数中变量i的值为4，说明已经消费了4号产品，如图35。 图35 按照3.2.2中的方法使用F10和F11调试进入PsReleaseSemaphore函数。 查看PsReleaseSemaphore函数中Empty信号量计数（Semaphore-Count）的值为-1，和生产者线程被阻塞时的值是一致的，如图36。 图36 按F10单步调试PsReleaseSemaphore函数，直到在代码行（第132行） PspWakeThread(Semaphore-WaitListHead, STATUS_SUCCESS);处中断。此时Empty信号量计数的值已经由-1增加为了0，需要调用PspWakeThread函数唤醒阻塞在Empty信号量等待队列中的生产者线程（放入就绪队列中），然后调用PspSchedule函数执行调度，这样生产者线程就得以继续执行，如图37。 图37 按照下面的步骤验证生产者线程被唤醒后，是从之前被阻塞时的状态继续执行的： 在semaphore.c文件中PsWaitForSemaphore函数的最后一行（第83行）代码处添加一个断点。 按F5继续调试，在断点处中断。 查看PsWaitForSemaphore函数中Empty信号量计数（Semaphore-Count）的值为0，和生产者线程被唤醒时的值是一致的，如图38。 图38 在“调用堆栈”窗口中可以看到是由Producer函数进入的，激活Producer函数的堆栈帧，查看Producer函数中变量i的值为14，表明之前被阻塞的、正在尝试生产14号产品的生产者线程已经从PspWait函数返回并继续执行了，如图39。 图39 结束此次调试。 4 修改EOS的信号