文章出處:http://blog.csdn.net/dai_weitao/archive/2007/08/15/1745424.aspx
1. 概要
線程的同步,發生在多個線程共享相同內存的時候,這時,要保證每個線程在每個時刻看到的共享數據是一致的。如果每個線程使用的變量都是其他線程不會使用的(read & write),或者變量是隻讀的,就不存在一致性問題。但是,如果兩個或兩個以上的線程可以read / write一個變量時,就需要對線程進行同步,以確保它們在訪問該變量時,不會得到無效的值,同時也可以唯一地修改該變量並使它生效。
以上就是我們所說的線程同步。
線程同步有三種常用的機制:互斥量(muex) ,讀寫鎖(rwlock)和條件變量(cond) 。
互斥量:有兩種狀態:lock 和 unlock,它確保同一時間只有一個線程訪問數據;
讀寫鎖:有三種狀態:讀加鎖,寫加鎖,不加鎖,只有一個線程可以佔有寫模式的讀寫鎖,但是可以有多個線程同時佔有讀模式的讀寫鎖;
條件變量:給多線程提供了一個會合的場所,與互斥量一起使用時,允許線程以無競爭的方式等待特定條件的發生。
2. 互斥量 (mutex)
互斥量從本質上說就是一把鎖,提供對共享資源的保護訪問。
(1) 初始化:
在Linux下,線程的互斥量數據類型是pthread_mutex_t。在使用前,要對它進行初始化:
對於靜態分配的互斥量,可以把它設置爲PTHREAD_MUTEX_INITIALIZER,或者調用pthread_mutex_init。
對於動態分配的互斥量,在申請內存(malloc)之後,通過pthread_mutex_init進行初始化,並且在釋放內存(free)前需要調用pthread_mutex_destroy。
原型:
int pthread_mutex_init(pthread_mutex_t* restrict mutex, const pthread_mutexattr_t* restrict attr);
int pthread_mutex_init(pthread_mutex_t* mutex);
頭文件:<pthread.h>
返回值:成功則返回0,出錯則返回錯誤編號
說明:如果使用默認的屬性初始化互斥量,只需把attr設爲NULL,其他值在以後講解。
(2) 互斥操作
對共享資源的訪問,要對互斥量進行加鎖,如果互斥量已經上了鎖,調用線程會阻塞,直到互斥量被解鎖。在完成了對貢獻資源的訪問後,要對互斥量進行解鎖。
首先說一下加鎖函數:
頭文件:<pthread.h>
原型:
int pthread_mutex_lock(pthread_mutex_t* mutex);
int pthread_mutex_tyrlock(pthread_mutex_t* mutex);
返回值:成功則返回0,出錯則返回錯誤編號。
說明:具體說一下trylock函數,這個函數是非阻塞調用模式,也就是說,如果互斥量沒被鎖住,trylock函數將把互斥量加鎖,並獲得對共享資源的訪問權限;如果互斥量被鎖住了,trylock函數將不會阻塞等待而直接返回EBUSY,表示共享資源處於忙狀態。
再說一下解鎖函數:
頭文件:<pthread.h>
原型:
int pthread_mutex_unlock(pthread_mutex_t* mutex);
返回值:成功則返回0,出錯則返回錯誤編號。
(3) 死鎖:
死鎖主要發生在有多個依賴鎖存在時,會在一個線程試圖與另一個線程相反順序鎖住互斥量時發生,如何避免死鎖是使用互斥量應格外注意的東西。
總體來講,有幾個不成文的基本原則:
對共享資源操作前一定要獲得鎖;
完成操作以後一定要釋放鎖;
儘量短時間地佔用鎖;
如果有多鎖,如獲得順序是ABC連環扣,釋放順序也應該是ABC;
線程錯誤返回時應釋放它所獲得的鎖。
3. 讀寫鎖
讀寫鎖是因爲有3種狀態,所以有更高的並行性。
(1) 特性:
一次只有一個線程可以佔有寫模式的讀寫鎖,但是可以有多個線程同時佔有讀模式的讀寫鎖,正是因爲這個特性,
當讀寫鎖是寫加鎖狀態時,在這個鎖被解鎖之前,所有試圖對這個鎖加鎖的線程都會被阻塞。
當讀寫鎖在讀加鎖狀態時,所有試圖以讀模式對它進行加鎖的線程都可以得到訪問權,但是如果線程希望以寫模式對此鎖進行加鎖,它必須阻塞直到所有線程釋放鎖。
通常,當讀寫鎖處於讀模式鎖住狀態時,如果有另外線程試圖以寫模式加鎖,讀寫鎖通常會阻塞隨後的讀模式鎖請求,這樣可以避免讀模式鎖長期佔用而等待的寫模式鎖請求長期阻塞。
(2) 適用性:
讀寫鎖適合於對數據結構的讀次數比寫次數多得多的情況。 因爲,讀模式鎖定時可以共享,以寫模式鎖住時意味着獨佔,所以,讀寫鎖又叫共享-獨佔鎖。
(3) 初始化和銷燬:
#include <pthread.h>
int pthread_rwlock_init(pthread_rwlock_t* restrict rwlock, const pthread_rwlockattr_t* restrict attr);
int pthread_rwlock_destroy(pthread_rwlock_t* rwlock);
成功則返回0,出錯則返回錯誤編號。
同互斥量以上,在釋放讀寫鎖佔用的內存之前,需要先通過pthread_rwlock_destroy對讀寫鎖進行清理工作,釋放有init分配的資源。
(4) 讀和寫:
#include <pthread.h>
int pthread_rwlock_rdlock(pthread_rwlock_t* rwlock);
int pthread_rwlock_wrlock(pthread_rwlock_t* rwlock);
int pthread_rwlock_unlock(pthread_rwlock_t* rwlock);
成功則返回0,出錯則返回錯誤編號。
這三個函數分別實現獲取讀鎖,獲取寫鎖和釋放鎖的操作,獲取鎖的兩個函數是阻塞操作,同樣,非阻塞的函數爲:
#include <pthread.h>
int pthread_rwlock_tryrdlock(pthread_rwlock_t* rwlock);
int pthread_rwlock_trywrlock(pthread_rwlock_t* rwlock);
成功則返回0,出錯則返回錯誤編號。
非阻塞的獲取鎖操作,如果可以獲取則返回0,否則返回錯誤的EBUSY。
4. 條件變量
條件變量分爲兩部分:條件和變量。條件本身是由互斥量保護的。線程在改變條件狀態前先要鎖住互斥量。
(1) 初始化:
條件變量採用的數據類型是pthread_cond_t,在使用之前必須要進行初始化,這包括兩種方式:
靜態:可以把常量PTHREAD_COND_INITIALIZER給靜態分配的條件變量。
動態:pthread_cond_init函數,釋放動態條件變量的內存空間之前,要用pthread_cond_destroy對其進行清理。
#include <pthread.h>
int pthread_cond_init(pthread_cond_t* restrict cond, pthread_condattr_t* restrict attr);
int pthread_cond_destroy(pthread_cond_t* cond);
成功則返回0,出錯則返回錯誤編號。
當pthread_cond_init的attr參數爲NULL,會創建一個默認屬性的條件變量;非默認情況以後討論。
(2) 等待條件:
#include <pthread.h>
int pthread_cond_wait(pthread_cond_t* restrict cond, pthread_mutex_t* restrict mutex);
int pthread_cond_timewait(pthread_cond_t* restrict cond, pthread_mutex_t* restrict mutex, const struct timespec* restrict timeout);
成功則返回0,出錯則返回錯誤編號。
這兩個函數分別是阻塞等待和超時等待。
等待條件函數等待條件變量爲真,傳遞給pthread_cond_wait的互斥量對條件進行保護,調用者把鎖住的互斥量傳遞給函數,函數把調用線程放到等待條件的線程列表上,然後對互斥量解鎖,這兩個操作是原子的。這樣便關閉了條件檢查和線程進入休眠狀態等待條件改變這兩個操作之間的時間通道,這樣線程就不會錯過條件的任何變化。
當pthread_cond_wait返回時,互斥量再次被鎖住。
(3) 通知條件:
#include <pthread.h>
int pthread_cond_signal(pthread_cond_t* cond);
int pthread_cond_broadcast(pthread_cont_t* cond);
成功則返回0,出錯則返回錯誤編號。
這兩個函數用於通知線程條件已經滿足,調用這個兩個函數,也稱向線程或條件發送信號。必須注意,一定要在改變條件狀態以後再給線程發送信號。