《操作系统实验 第六讲 进程的同步》由会员分享，可在线阅读，更多相关《操作系统实验 第六讲 进程的同步（17页珍藏版）》请在金锄头文库上搜索。
1、操作系统实 验 报 告课程名称操作系统实验实验项目名称进程的同步学号班级20120616姓名专业计算机科学与技术学生所在学院计算机科学与技术学院指导教师初妍实验室名称地点21#428 哈尔滨工程大学计算机科学与技术学院一、实验概述1. 实验名称进程的同步2. 实验目的使用 EOS 的信号量， 编程解决生产者消费者问题，理解进程同步的意义。调试跟踪 EOS 信号量的工作过程，理解进程同步的原理。修改 EOS 的信号量算法，使之支持等待超时唤醒功能（有限等待），加深理解进程同步的原理。3. 实验类型验证+设计4. 实验内容3.1 准备实验3.2 使用 EOS 的信号量解决生产者消费者问题3.3 调
2、试 EOS 信号量的工作过程3.3.1 创建信号量3.3.2 等待、释放信号量3.3.2.1 等待信号量（不阻塞）3.3.2.2 释放信号量（不唤醒）3.3.2.3 等待信号量（阻塞）3.3.2.4 释放信号量（唤醒）3.4 修改 EOS 的信号量算法二、实验环境操作系统 windos xp编译器 OS Lab语言 c语言三、实验过程1. 设计思路和流程图准备实验使用EOS的信号量解决生产者消费者问题调试EOS信号量的工作过程创建信号量释放信号量（唤醒）等待信号量（阻塞）释放信号量（不唤醒）等待信号量（不阻塞）等待释放信号量修改EOS的信号量算法结束实验main函数开始创建Mutex对象创建E
3、mpty信号量对象创建Full信号量对象创建生产者线程创建消费者线程等待生产者线程和消费者线程结束关闭句柄main函数结束Producer函数开始生产完毕？等待Empty信号量对象等待Mutex对象生产一个产品，占用一个缓冲区循环向后移动缓冲区指针释放Mutex对象释放Full信号量对象等待500毫秒Producer函数结束Consumer函数开始消费完毕毕？等待Full信号量对象等待Mutex对象消费一个产品，清空一个缓冲区循环向后移动缓冲区指针释放Mutex对象释放Empty信号量对象前10个产品？等待2000毫秒等待100毫秒Consumer函数结束3. 需要解决的问题及解答（1）生产者
4、在生产了13号产品后本来要继续生产14号产品，可此时生产者为什么必须等待消费者消费了4号产品后，才能生产14号产品呢？生产者和消费者是怎样使用同步对象来实现该同步过程的呢？答：这是因为临界资源的限制。临界资源的数值范围是0到10，只有当临界资源不满10时才能让生产者生产东西，每次生产一个临界资源数量加一，当临界资源数值到10时，无法继续生产，所以它必须等到消费者，消耗掉一个，临界资源数值才会减一并腾出空间，才能继续生产14号产品。（2） 修改EOS的信号量算法修改PsWaitForSemaphore函数:PsWaitForSemaphore(IN PSEMAPHORE Semaphore,IN
5、 ULONG Milliseconds)/*+功能描述：信号量的Wait操作（P操作）。参数：Semaphore-Wait操作的信号量对象。Milliseconds-等待超时上限，单位毫秒。返回值：STATUS_SUCCESS。当你修改信号量使之支持超时唤醒功能后，如果等待超时，应该返回STATUS_TIMEOUT。-*/BOOL IntState;STATUS flag;/保存不同情况下的返回值，ASSERT(KeGetIntNesting()=0);/中断环境下不能调用此函数。IntState=KeEnableInterrupts(FALSE);/开始原子操作，禁止中断。if(Semaph
6、ore-Count0)Semaphore-Count-;flag=STATUS_SUCCESS;/如果信号量大于零，说明尚有资源，可以为线程分配elseflag=PspWait(&Semaphore-WaitListHead,Milliseconds);KeEnableInterrupts(IntState);/原子操作完成，恢复中断。return flag;修改PsReleaseSemaphore函数:PsReleaseSemaphore(IN PSEMAPHORE Semaphore,IN LONG ReleaseCount,OUT PLONG PreviousCount)/*+功能描述：
7、信号量的Signal操作（V操作）。参数：Semaphore-Wait操作的信号量对象。ReleaseCount-信号量计数增加的数量。当前只能为1。当你修改信号量使之支持超时唤醒功能后，此参数的值能够大于等于1。PreviousCount-返回信号量计数在增加之前的值。返回值：如果成功释放信号量，返回STATUS_SUCCESS。-*/STATUS Status;BOOL IntState;IntState=KeEnableInterrupts(FALSE);/开始原子操作，禁止中断。if(Semaphore-Count+ReleaseCountSemaphore-MaximumCount)
8、Status=STATUS_SEMAPHORE_LIMIT_EXCEEDED;else/记录当前的信号量的值。if(NULL!=PreviousCount)*PreviousCount=Semaphore-Count;int mm=Semaphore-Count;while(!ListIsEmpty(&Semaphore-WaitListHead)&(ReleaseCount)PspWakeThread(&Semaphore-WaitListHead,STATUS_SUCCESS);PspThreadSchedule();ReleaseCount-;Semaphore-Count=mm+Rel
9、easeCount;/可能有线程被唤醒，执行线程调度。Status=STATUS_SUCCESS;KeEnableInterrupts(IntState);/原子操作完成，恢复中断。return Status;（3） 绘制ps/semaphore.c文件内PsWaitForSemaphore和PsReleaseSemaphore函数的流程图。 PsWaitForSemaphore函数流程 PsReleaseSemaphore函数流程5. 源程序并附上注释/ 缓冲池。#define BUFFER_SIZE10int BufferBUFFER_SIZE;/ 产品数量。#define PRODUCT
10、_COUNT30/ 用于生产者和消费者同步的对象句柄。HANDLE MutexHandle;HANDLE EmptySemaphoreHandle;HANDLE FullSemaphoreHandle;/ 生产者和消费者的线程函数ULONG Producer(PVOID Param);ULONG Consumer(PVOID Param);int main(int argc, char* argv)HANDLE ProducerHandle;HANDLE ConsumerHandle;#ifdef _DEBUG_asm(int $3n nop);#endif/ 创建用于互斥访问缓冲池的 Mut
11、ex 对象。MutexHandle = CreateMutex(FALSE, NULL);if (NULL = MutexHandle) return 1;/ 创建 Empty 信号量，表示缓冲池中空缓冲区数量。初始计数和最大计数都为 BUFFER_SIZE。/EmptySemaphoreHandle = CreateSemaphore(BUFFER_SIZE, BUFFER_SIZE, NULL);if (NULL = EmptySemaphoreHandle) return 2;/ 创建 Full 信号量，表示缓冲池中满缓冲区数量。初始计数为 0，最大计数为 BUFFER_SIZE。Ful
12、lSemaphoreHandle = CreateSemaphore(0, BUFFER_SIZE, NULL);if (NULL = FullSemaphoreHandle) return 3;/ 创建生产者线程。/ProducerHandle = CreateThread( 0,/ 默认堆栈大小 Producer,/ 线程函数入口地址 NULL,/ 线程函数参数 0,/ 创建标志 NULL );/ 线程 IDif (NULL = ProducerHandle) return 4;/ 创建消费者线程。ConsumerHandle = CreateThread( 0, Consumer, NU
13、LL, 0, NULL );if (NULL = ConsumerHandle) return 5;/ 等待生产者线程和消费者线程结束。WaitForSingleObject(ProducerHandle, INFINITE);WaitForSingleObject(ConsumerHandle, INFINITE);/ 关闭句柄CloseHandle(MutexHandle);CloseHandle(EmptySemaphoreHandle);CloseHandle(FullSemaphoreHandle);CloseHandle(ProducerHandle);CloseHandle(ConsumerHandle);return 0;/ 生产者线程函数。ULONG Producer(PVOID Param) int i;int InIndex = 0;for (i = 0; i PRODUCT_COUNT; i+) /WaitForSingl
