訊號量機制是一種卓有成效的程序互斥同步工具。這裡只介紹記錄型訊號量機制，它可以有效的解決CPU“忙等”的問題，實現互斥。

       記錄型訊號量機制的資料結構如下（看不懂那些字母是什麼其實沒有關係）：

           type semaphore=record

value:integer;   (下文傳說中的S)

L: list of process;(排隊使用的程序要待的阻塞佇列)

end;

       這裡需要注意記錄型訊號量S的整形分量value的值的物理含義，表示該類資源可用的數目，也可以說是執行P操作而不會被阻塞的程序的數目，一般為<=1，因為這裡是程序互斥(但是也可以大於1),等於1時，表示該資源可用，等於0時，表示該資源正在被使用，而且沒有程序被阻塞，但是當期數值小於0時，其絕對值表示訊號量S的阻塞佇列中的程序數。L表示程序的阻塞佇列。

       記錄型訊號機制的實現伴隨著P操作和V操作，P操作指的是測試，V操作指的是增加，不要問我為啥叫PV，我只能說來源於荷蘭語。一般P操作要伴隨著V操作，二者成雙成對出現。

           那麼我們來看看P操作和V操作到底是什麼，那麼神奇：

P的原語操作可以描述為：

procedure P(var s:semaphore);

begin

s.value:=s.value-1;(將訊號量值減1)

if s.value<0 then block(s.L);（若訊號量值小於0，則呼叫阻塞原語阻塞自己，插入到阻塞佇列中去）

end;

V的原語操作可以描述為：

procedure P(var s:semaphore);

begin

s.value:=s.value+1;(將訊號量值加1)

if s.value<0 then wakeup(s.L);（若訊號量值小於等於0，則呼叫喚醒原語從阻塞佇列中喚醒一個程序）

舉個實際的栗子：

用P,V操作實現火車網際網路定票系統在北京，天津兩地的兩個終端售票程序發售同一班次車票的過程。

(1)   根據顧客要求找到公共資料單元

(2)   P(S)；

(3)   把Pk的值讀到工作暫存器R1中；（程序的臨界區）

(4)   根據顧客訂票數修改R1；（程序的臨界區）

(5)   將R1的值寫到Pk中；（程序的臨界區）

(6)   V(S)；

(7)   售出顧客所定的票，返回；

例如北京的售票區搶先執行並且進入自己的臨界區，這時輪到天津區執行程序，也要求進入臨界區，執行P(S)，但是因為北京已經在臨界區中，執行完P了，此時的訊號量S的值已經從1減為0，然後因為天津售票執行P(S),此時P(S)的值變為-1，導致自己阻塞，直到北京之行完V(S)，使得S的值變為0，然後天津從阻塞佇列中喚醒，當它再次訪問公共票據單元時，資料已經被背景改過了，然後就實現了互斥。