援引CU上一篇帖子的內容：
“訊號量用在多執行緒多工同步的，一個執行緒完成了某一個動作就通過訊號量告訴別的執行緒，別的執行緒再進行某些動作（大家都在semtake的時候，就阻塞在 哪裡）。而互斥鎖是用在多執行緒多工互斥的，一個執行緒佔用了某一個資源，那麼別的執行緒就無法訪問，直到這個執行緒unlock，其他的執行緒才開始可以利用這 個資源。比如對全域性變數的訪問，有時要加鎖，操作完了，在解鎖。有的時候鎖和訊號量會同時使用的”
也就是說，訊號量不一定是鎖定某一個資源，而是流程上的概念，比如：有A,B兩個執行緒，B執行緒要等A執行緒完成某一任務以後再進行自己下面的步驟，這個任務 並不一定是鎖定某一資源，還可以是進行一些計算或者資料處理之類。而執行緒互斥量則是“鎖住某一資源”的概念，在鎖定期間內，其他執行緒無法對被保護的資料進 行操作。在有些情況下兩者可以互換。

兩者之間的區別:

作用域
訊號量: 程序間或執行緒間(linux僅執行緒間的無名訊號量pthread semaphore)
互斥鎖: 執行緒間

上鎖時
訊號量: 只要訊號量的value大於0，其他執行緒就可以sem_wait成功，成功後訊號量的value減一。若value值不大於0，則sem_wait使得執行緒阻塞，直到sem_post釋放後value值加一,但是sem_wait返回之前還是會將此value值減一
互斥鎖: 只要被鎖住，其他任何執行緒都不可以訪問被保護的資源

以下是訊號燈（量)的一些概念:

訊號燈與互斥鎖和條件變數的主要不同在於”燈”的概念，燈亮則意味著資源可用，燈滅則意味著不可用。如果說後兩中同步方式側重於”等待”操作，即資 源不可用的話，訊號燈機制則側重於點燈，即告知資源可用；
沒有等待執行緒的解鎖或激發條件都是沒有意義的，而沒有等待燈亮的執行緒的點燈操作則有效，且能保持 燈亮狀態。當然，這樣的操作原語也意味著更多的開銷。

訊號燈的應用除了燈亮/燈滅這種二元燈以外，也可以採用大於1的燈數，以表示資源數大於1，這時可以稱之為多元燈。

1． 建立和 登出

POSIX訊號燈標準定義了有名訊號燈和無名訊號燈兩種，但LinuxThreads的實現僅有無名燈，同時有名燈除了總是可用於多程序之間以外，在使用上與無名燈並沒有很大的區別，因此下面僅就無名燈進行討論。

int sem_init(sem_t *sem, int pshared, unsigned int value)
這是建立訊號燈的API，其中value為訊號燈的初值，pshared表示是否為多程序共享而不僅僅是用於一個程序。LinuxThreads沒有實現 多程序共享訊號燈，因此所有非0值的pshared輸入都將使sem_init()返回-1，且置errno為ENOSYS。初始化好的訊號燈由sem變 量表徵，用於以下點燈、滅燈操作。

int sem_destroy(sem_t * sem)
被登出的訊號燈sem要求已沒有執行緒在等待該訊號燈，否則返回-1，且置errno為EBUSY。除此之外，LinuxThreads的訊號燈 登出函式不做其他動作。
sem_destroy destroys a semaphore object, freeing the resources it might hold. No threads should be waiting on the
semaphore at the time sem_destroy is called. In the LinuxThreads implementation, no resources are associated with
semaphore objects, thus sem_destroy actually does nothing except checking that no thread is waiting on the semaphore.

2． 點燈和滅燈

int sem_post(sem_t * sem)

點燈操作將訊號燈值原子地加1，表示增加一個可訪問的資源。

int sem_wait(sem_t * sem)
int sem_trywait(sem_t * sem)

sem_wait()為等待燈亮操作，等待燈亮（訊號燈值大於0），然後將訊號燈原子地減1，並返回。sem_trywait()為sem_wait()的非阻塞版，如果訊號燈計數大於0，則原子地減1並返回0，否則立即返回-1，errno置為EAGAIN。

3． 獲取燈值

int sem_getvalue(sem_t * sem, int * sval)

讀取sem中的燈計數，存於*sval中，並返回0。

4． 其他

sem_wait()被實現為取消點。（ 取消點事什麼意思？？？）
sem_wait is a cancellation point.
取消點的含義：
當用pthread_cancel()一個執行緒時，這個要求會被pending起來，當被cancel的執行緒走到下一個cancellation point時，執行緒才會被真正cancel掉。
而且在支援原子”比較且交換CAS”指令的體系結構上，sem_post()是唯一能用於非同步訊號處理函式的POSIX非同步訊號 安全的API。

On processors supporting atomic compare-and-swap (Intel 486, Pentium and later, Alpha, PowerPC, MIPS II, Motorola 68k),
the sem_post function is async-signal safe and can therefore be called from signal handlers. This is the only thread syn-
chronization function provided by POSIX threads that is async-signal safe.

   On the Intel 386 and the Sparc, the current LinuxThreads implementation of sem_post is not async-signal safe  by  lack  of
   the required atomic operations.