執行緒同步機制的幾種方法總結與對比

需要執行緒同步的原因：

當有多個執行緒同時訪問一個共享記憶體裡面的變數時，有時會出現一個執行緒正在修改該變數的值，而其他的執行緒正在讀取資料，可能就會導致錯誤。

實現執行緒同步機制的方法：

·互斥量

·讀寫鎖

·條件變數

一． 互斥量

互斥量從本質上說就是一把鎖，在訪問共享資源時，對互斥量加鎖，訪問完成後釋放鎖。對互斥量加鎖以後，其他任何試圖對互斥量再次加鎖的執行緒會被阻塞直至當前執行緒釋放互斥鎖。

相關函式可參考 APUE 教材。

二． 避免死鎖

如果某個執行緒試圖對同一個互斥量加鎖兩次，那麼它將進入死鎖狀態，這個是比較明顯的死鎖產生狀態。還有一些更加不明顯的方式也能產生死鎖。比如：程式使用多個互斥量時，如果允許 執行緒甲 一直佔有第一個互斥量 A 並且在試圖鎖住第二個互斥量 B 時處於阻塞狀態，但是擁有第二個互斥量 B 的執行緒 乙 也在試圖鎖住第一個互斥量 A 。

解決方法：可用過小心的控制互斥量加鎖順序來避免死鎖。

運用資料結構解決。

三． 讀寫鎖

讀寫鎖和互斥量類似，區別在於：互斥量只有兩個狀態，即鎖住狀態和不加鎖狀態，而且一次只有一個執行緒可以對其加鎖。而讀寫鎖可以有三個狀態，讀模式下加鎖狀態，寫模式下加鎖狀態，不加鎖狀態。一次只能有一個執行緒佔有寫模式的讀寫鎖，但可以由多個執行緒同時佔有讀模式的讀寫鎖。

讀寫鎖非常適用於對資料結構讀次數遠大於寫的情況。

相關函式可參考 APUE 教材。

四． 條件變數

條件變數使我們可以睡眠等待某種條件出現。

條件變數是利用執行緒間共享的全域性變數進行同步的一種機制，主要包括兩個動作：一個執行緒等待"

相關函式可參考 APUE 教材。