设有两个优先级相同的进程User1与User2,试对它们的代码添加P、V操作,使User1与User2的同步关系满足语序:W1,V1,V2,V3,W2的要求,所用信号量应给出初值,并完整地写出添加P、V操作后的进程User1与User2。
semaphore s1=0,s2=___①___;
User1进程:
while(true){
W1:X=A+1;
V(s1);
___②___
W2:X=X+A;
打印X的值;
Y=Y+X;
}
User2进程:
while(true){
Y=A;
___③___
V1:Y=X+B;
V2:打印Y的值;
V3:X=A+2;
___④ ___
}
①0
②P(s2);
③P(s1);
④V(s2);