大家好，我是LinuxZn。

本次分享線程安全的基礎(chǔ)知識。

線程安全

在多線程編程中，線程安全是必須要考慮的因素。

什么是線程安全？

在多線程環(huán)境中，多個線程在同一時刻對同一份資源進行寫操作時，不會出現(xiàn)數(shù)據(jù)不一致。反之，則是線程非安全的。

線程安全是程序設(shè)計中的術(shù)語，指某個函數(shù)、函數(shù)庫在多線程環(huán)境中被調(diào)用時，能夠正確地處理多個線程之間的公用變量，使程序功能正確完成。

為了確保在多線程環(huán)境中的線程安全，就要確保數(shù)據(jù)的一致性。確保線程安全的幾種方法：

使用互斥鎖

一個線程，如果需要訪問公共資源，需要獲得互斥鎖并對其加鎖，資源在在鎖定過程中，如果其它線程對其進行訪問，也需要獲得互斥鎖，如果獲取不到，線程只能進行阻塞，直到獲得該鎖的線程解鎖。關(guān)于互斥鎖的使用：Hello系列 | 多線程編程基礎(chǔ)！

例子（來源：維基百科）：

#include

intincrement_counter(void)
{
staticintcounter=0;
staticpthread_mutex_tmutex=PTHREAD_MUTEX_INITIALIZER;

pthread_mutex_lock(&mutex);

//onlyallowonethreadtoincrementatatime
++counter;
//storevaluebeforeanyotherthreadsincrementitfurther
intresult=counter;

pthread_mutex_unlock(&mutex);

returnresult;
}

這個函數(shù)是線程安全的，可以在多個線程中被調(diào)用。

使用原子操作

上面的例子中，使用一個 互斥鎖來保護一次簡單的增量操作顯然過于昂貴，我們可以使用一些專門的原子操作API函數(shù)來替代。如上述例子，c++11中的原子變量提供了一個可使此函數(shù)既線程安全又可重入（而且還更簡潔）的替代方案：

#include

intincrement_counter(void)
{
staticstd::atomiccounter(0);

//incrementisguaranteedtobedoneatomically
intresult=++counter;

returnresult;
}

Linux內(nèi)核中原子整形操作：

#include

intincrement_counter(void)
{
atomic_tcounter=ATOMIC_INIT(0);

//incrementisguaranteedtobedoneatomically
atomic_inc(&counter);
intresult=counter;

returnresult;
}

什么是原子操作？

從字面上簡單理解，原子是一種很微小的粒子；原子操作是不能再進一步細分的操作。

從上面互斥鎖的例子來看，在線程層面，線程1和線程2同時調(diào)用了increment_counter函數(shù)，被 mutex 保護的操作是原子操作，lock、unlock及保護部分要整體順序運行，不可再進一步細分，作為一個原子存在 。

如果確定某個操作是原子的，并且有原子操作API函數(shù)可以使用，就不用為了去保護這個操作而加上會耗費昂貴性能開銷的鎖。

如，Linux內(nèi)核原子整形操作 API 函數(shù)表（來源：正點原子） ：

防止過度優(yōu)化

線程安全的函數(shù)應(yīng)該為每個調(diào)用它的線程分配專門的空間，把多個線程共享的變量正確對待（如，通知編譯器該變量為“易失（volatile）”型，阻止其進行一些不恰當?shù)膬?yōu)化）。

線程安全函數(shù)與可重入函數(shù)？

先明確概念：

線程安全函數(shù)：能夠正確地處理多個線程之間的公用變量的函數(shù)。、

可重入函數(shù)：在任意時刻被中斷然后操作系統(tǒng)調(diào)度執(zhí)行另一段代碼，這段代碼又使用了該副程序不會出錯。

可重入函數(shù)應(yīng)當滿足條件：

不能含有靜態(tài)（全局）非常量數(shù)據(jù)。

不能返回靜態(tài)（全局）非常量數(shù)據(jù)的地址。

只能處理由調(diào)用者提供的數(shù)據(jù)。

不能依賴于單例模式資源的鎖。

調(diào)用（call）的函數(shù)也必需是可重入的。

可重入函數(shù)未必是線程安全的；線程安全函數(shù)未必是可重入的。

例子1：上述例子中的increment_counter函數(shù)是線程安全的，但是并不是可重入的。因為使用了互斥鎖，如果這個函數(shù)用在可重入的中斷處理程序中，如果在pthread_mutex_lock(&mutex)和pthread_mutex_unlock(&mutex)之間產(chǎn)生另一個調(diào)用函數(shù)increment_counter的中斷，則會第二次執(zhí)行此函數(shù)，此時由于mutex已被lock，函數(shù)會在pthread_mutex_lock(&mutex)處阻塞，并且由于mutex沒有機會被unlock，阻塞會永遠持續(xù)下去。

例子2：一個函數(shù)打開某個文件并讀入數(shù)據(jù)。這個函數(shù)是可重入的，因為它的多個實例同時執(zhí)行不會造成沖突；但它不是線程安全的，因為在它讀入文件時可能有別的線程正在修改該文件，為了線程安全必須對文件加“同步鎖”。