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

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

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