問題背景：有兩個程序分別為消費者程序和生產者程序，對同一個臨界資源進行訪問，生產者不斷地將生產的產品加入快取區，而消費者不斷地消費快取區中的資源，利用訊號量實現兩個程序的同步和互斥。

問題分析：在生產者往快取區中加入產品的時候，需要兩個訊號量，一個是互斥訊號量，使得在生產者往快取裡放產品的時候其他程序不能對臨界資源進行操作，另一個訊號量是指示快取區是否已滿的訊號量，從而判斷生產者能否往快取區加入產品；而消費者從快取區中消費資源的時候，也需要兩個訊號量，一個訊號量是互斥訊號量，使得消費者在從快取區中取產品的時候其他程序不能對臨界資源進行操作，另外一個訊號量是指示快取區是否空，從而判斷消費者能否對快取區進行操作。

由以上分析，可知在該問題中共需要三個訊號量，一個是用於互斥的訊號量mutux=1;一個是用於指示快取區空位置數目的empty=N；另外一個是指示快取區填滿位置的訊號量full=0；

從而，可以該問題可以有以下解決辦法：

那麼，從上面可以看出，用於同步的訊號量一定是位於不同程序中，用於互斥的訊號量一定是位於同一個程序中。

下面我們來分析一個例題，如下：

在這個例題中，水桶只有三個，井和缸只能容納一個桶進出，並且缸只能容納十桶水：

所以 1.對井的操作需要加互斥關係

  2.對缸的操作需要加互斥關係

  3.記錄桶數目的訊號量

          4.指示缸滿和缸空的訊號量

因此，我們設定以下訊號量：mutux1=1;  mutux2=0;  empty=10;  full=0;  count=3;

那麼，這個問題可以通過以下演算法解決：