请给出P、V操作的形式化描述。

admin2016-12-23  37

问题 请给出P、V操作的形式化描述。

选项

答案P、V操作的形式化描述是: Procedure P(Var A:SemaPhore); begin S:=S-1: if S<0 then W(S) end;{P} Procedure V(Var S:semaPhore); begin S:=S+1: if S≤0 then R(S) end:{V} 其中W(S)表示调用该原语的进程置成等待信号量s的阻塞状态,并插入到相应的阻塞队列中。R(S)表示要唤醒等待信号量S的阻塞队列中的头一个进程。

解析
转载请注明原文地址:https://jikaoti.com/ti/3LWaFFFM
0

最新回复(0)