79-关于哲学家的进餐问题.pptVIP

* 关于哲学家的进餐问题 计科41 李雪 1924114 该吃午饭了？ P[4] P[3] P[2] P[1] P[0] 第一阶段：具体化分析 C[3] C[4] P[4] C[2] C[3] P[3] C[1] C[2] P[2] C[0] C[1] P[1] C[4] C[0] P[0] 右手 左手 哲学家 C[1] C[4] C[2] C[3] C[0] 从分析可以看出：哲学家P[n]在同时获得左手的筷子C[n]和右手的筷子 C[(n+4)mod5]后才能进餐. PV信号量对问题的描述 （先设定每个哲学家都从左手开始拿筷子） Var C[0,1……4]of semaphore:=(1,1,1,1,1); //其中调度P[0,1……4]这组进程 P[n]:begin: wait(C[n]); C[n]=C[n]-1; wait(C[(n+4)mod5]); C[n]=C[(n+4)mod5]-1; 进餐； signal(C[n]); C[n]=C[n]+1; signal(C[(n+4)mod5]); C[n]=C[(n+4)mod5]+1; 思考； end