|
思考 设有一个T型路口其中ABCD处各可容纳一辆车车行方向如图所示
试找出死锁并用有序分配法消除之要求资源编号合理 解（）E方向两辆车分别位于A和BS方向一辆车位于CW方向一辆车位于D（）S方向两辆车分别位于B和CE方向一辆车位于AW方向一辆车位于D
The PV code Using Pascal
设位置资源CBAD的编号从低到高依次为管理个位置的信号量分别为SSSS信号量的初值均为 车辆活动如下 semaphore S=S=S=s=l cobegin procedure W:直行 E:左转 S:左转 begin begin begin p(S); p(S); p(S); p(S); Enter B;Enter C; Enter D; p(S); p(S); Enter C; Enter A;Enter B; v(S); v(S); v(S); Out of C; p(S); p(S); v(S); Enter D;Enter A; end v(S); v(S); out of D; out of A; v(S); V(S); end end coend 返回《操作系统之PV金典》 [] [] [] [] [] [] [] [] |
