实验4 哲学家就餐问题的实现.ppt

单击此处编辑母版标题样式 嵌入式操作系统实验 实验4 哲学家就餐问题的实现 什么是哲学家就餐问题 本实验设计 互斥问题 嵌入式操作系统实验 实验4 哲学家就餐问题的实现 什么是哲学家就餐问题 本实验目的 目的 通过经典的哲学家就餐实验，了解如何利用信号量对共享资源进行互斥访问。 5个任务：Task0、Task1、 Task2、 Task3、 Task4 5个信号量：Sem0, Sem1, Sem2, Sem3, Sem4 优先级： Task0Task1Task2Task3Task4 嵌入式操作系统实验 实验4 哲学家就餐问题的实现 什么是哲学家就餐问题 本实验目的 实验内容 void Task (void *pdata) { …… for (;;) { /* 无限循环 */ TASK_Thinking_To_Hungry(i); OSSemPend(fork[i], 0, err); OSSemPend(fork[j], 0, err); /* Acquire semaphores to eat */ TASK_Eat(i); OSSemPost(fork[j]); OSSemPost(fork[i]); /* Release semaphore */ OSTimeDly(200); /* Delay 100 clock tick */ } } 嵌入式操作系统实验 实验4 哲学家就餐问题的实现 什么是哲学家就餐问题 本实验目的 实验内容 实验要求 实验要求 调试代码，运行结果截图 将p51的OSSemPost(fork[j]); OSSemPost(fork[i]); 顺序改变下，运行结果有变化？ 单击此处编辑母版标题样式