作業系統概論，第五章，同步機制（二），介紹semaphore、mutex，在Linux中如何用futex實現

#6–6 作業系統 Semaphores Semaphores的定義 訊號S是一個整數 有兩個atomic operations 分別是wait () & signal () 以下是定義，實作的話不是長這樣 wait () wait (S) …

Semaphore和Event有個地方相同，那就是沒有Owner的觀念，即Thread A 所Create出的Semaphore物件，於Thread B中執行ReleaseSemaphore時，依然會增加計數器的值

當執行緒完成一次對semaphore 物件釋放 (signal (S) / V (S)) 時，計數值 S+1。 當計數值為 0，則執行緒等待該 semaphore 物件直至該 semaphore 物件變成 signaled (>0)狀態。

由於semaphore並無強制由同一個process或thread來獲取和釋放，因此semaphore可用於非同步事件通知；同時，由於semaphore包含狀態，因此可以非同步方式使用，而不用像條件變數那樣要求獲取mutex。

作業系統概論，第五章，同步機制（二），介紹semaphore、mutex，在Linux中如何用futex實現 - YouTube

號誌 （英語： semaphore）又稱為 旗號，是一個同步物件，用於保持在0至指定最大值之間的一個計數值。 當執行緒完成一次對該 semaphore 物件的等待（wait）時，該計數值減一；當執行緒完成一次對 semaphore 物件的釋放（release）時，計數值加一。