相信有很多同學在面對多線程代碼時都會望而生畏，認爲多線程代碼就像一頭難以馴服的怪獸，你制服不了這頭怪獸它就會反過來吞噬你。
誇張了哈，總之，多線程程序有時就像一潭淤泥，走不進去退不出來。
可這是爲什麼呢？爲什麼多線程代碼如此難以正確編寫呢？
從根源上思考
關於這個問題，本質上是有一個詞語你沒有透徹理解，這個詞就是所謂的線程安全，thread safe。
如果你不能理解線程安全，那麼給你再多的方案也是無用武之地。
接下來我們瞭解一下什麼是線程安全，怎樣才能做到線程安全。
這些問題解答後，多線程這頭大怪獸自然就會變成溫順的小貓咪。
可上圖關小貓咪屁事！
關你什麼屁事
生活中我們口頭上經常說的一句話就是“關你屁事”，大家想一想，爲什麼我們的屁事不關別人？
原因很簡單，這是我的私事啊！我的衣服、我的電腦，我的手機、我的車子、我的別墅以及私人泳池(可以沒有，但不妨礙想象)，我想怎麼處理就怎麼處理，妨礙不到別人，只屬於我一個人的東西以及事情當然不關別人，即使是屁事也不關別人。
我們在自己家裏想喫什麼喫什麼，想去廁所就去廁所！因爲這些都是我私有的，只有我自己使用。
那麼什麼時候會和其它人有交集呢？
答案就是公共場所。
在公共場所下你不能像在自己家裏一樣想去哪就去哪，想什麼時候去廁所就去廁所，爲什麼呢？原因很簡單，因爲公共場所下的飯館、衛生間不是你家的，這是公共資源，大家都可以使用的公共資源。
如果你想去飯館、去公共衛生間那麼就必須遵守規則，這個規則就是排隊，只有前一個人用完公共資源後下一個人纔可以使用，而且不能同時使用，想使用就必須排隊等待。
上面這段話道理足夠簡單吧。
如果你能理解這段話，那麼馴服多線程這頭小怪獸就不在話下。
維護公共場所秩序
如果把你自己理解爲線程的話，那麼在你自己家裏使用私有資源就是所謂的線程安全，原因很簡單，因爲你隨便怎麼折騰自己的東西(資源)都不會妨礙到別人；
但到公共場所浪的話就不一樣了，在公共場所使用的是公共資源，這時你就不能像在自己家裏一樣想怎麼用就怎麼用想什麼時候用就什麼時候用，公共場所必須有相應規則，這裏的規則通常是排隊，只有這樣公共場所的秩序纔不會被破壞，線程以某種不妨礙到其它線程的秩序使用共享資源就能實現線程安全。
因此我們可以看到，這裏有兩種情況：
線程私有資源，沒有線程安全問題
共享資源，線程間以某種秩序使用共享資源也能實現線程安全。
本文都是圍繞着上述兩個核心點來講解的，現在我們就可以正式的聊聊編程中的線程安全了。
什麼是線程安全
我們說一段代碼是線程安全的，當且僅當我們在多個線程中同時且多次調用的這段代碼都能給出正確的結果，這樣的代碼我們才說是線程安全代碼，Thread Safety，否則就不是線程安全代碼，thread-unsafe.。
非線程安全的代碼其運行結果是由擲骰子決定的。
怎麼樣，線程安全的定義很簡單吧，也就是說你的代碼不管是在單個線程還是多個線程中被執行都應該能給出正確的運行結果，這樣的代碼是不會出現多線程問題的，就像下面這段代碼：
int func() {
int a = 1;
int b = 1;
return a + b;
}
對於這樣段代碼，無論你用多少線程同時調用、怎麼調用、什麼時候調用都會返回2，這段代碼就是線程安全的。
那麼我們該怎樣寫出線程安全的代碼呢？要回答這個問題，我們需要知道我們的代碼什麼時候呆在自己家裏使用私有資源，什麼時候去公共場所浪使用公共資源，也就是說你需要識別線程的私有資源和共享資源都有哪些，這是解決線程安全問題的核心所在。
線程私有資源
線程運行的本質其實就是函數的執行，函數的執行總會有一個源頭，這個源頭就是所謂的入口函數，CPU從入口函數開始執行從而形成一個執行流，只不過我們人爲的給執行流起一個名字，這個名字就叫線程。
既然線程運行的本質就是函數的執行，那麼函數運行時信息都保存在哪裏呢？
答案就是棧區，每個線程都有一個私有的棧區，因此在棧上分配的局部變量就是線程私有的，無論我們怎樣使用這些局部變量都不管其它線程屁事。
線程私有的棧區就是線程自己家。
線程間共享數據
除了上一節提到的剩下的區域就是公共場合了，這包括：
用於動態分配內存的堆區，我們用C/C++中的malloc或者new就是在堆區上申請的內存
全局區，這裏存放的就是全局變量
文件，我們知道線程是共享進程打開的文件
要知道這兩個區域是不能被修改的，也就是說這兩個區域是隻讀的，因此多個線程使用是沒有問題的。
在剛纔我們提到的堆區、數據區以及文件，這些就是所有的線程都可以共享的資源，也就是公共場所，線程在這些公共場所就不能隨便浪了。
線程使用這些共享資源必須要遵守秩序，這個秩序的核心就是對共享資源的使用不能妨礙到其它線程，無論你使用各種鎖也好、信號量也罷，其目的都是在維護公共場所的秩序。
知道了哪些是線程私有的，哪些是線程間共享的，接下來就簡單了。
值得注意的是，關於線程安全的一切問題全部圍繞着線程私有數據與線程共享數據來處理，抓住了線程私有資源和共享資源這個主要矛盾也就抓住瞭解決線程安全問題的核心。
接下來我們看下在各種情況下該怎樣實現線程安全，依然以C/C++代碼爲例，但是這裏講解的方法適用於任何語言，請放心，這些代碼足夠簡單。
只使用線程私有資源
我們來看這段代碼：
int func() {
int a = 1;
int b = 1;
return a + b;
}
這段代碼在前面提到過，無論你在多少個線程中怎麼調用什麼時候調用，func函數都會確定的返回2，該函數不依賴任何全局變量，不依賴任何函數參數，且使用的局部變量都是線程私有資源，這樣的代碼也被稱爲無狀態函數，stateless，很顯然這樣的代碼是線程安全的。
這樣的代碼請放心大膽的在多線程中使用，不會有任何問題。
有的同學可能會說，那如果我們還是使用線程私有資源，但是傳入函數參數呢？
線程私有資源+函數參數
這樣的代碼是線程安全的嗎？自己先想一想這個問題。答案是it depends，也就是要看情況。看什麼情況呢？
1，按值傳參
如果你傳入的參數的方式是按值傳入，那麼沒有問題，代碼依然是線程安全的：
int func(int num) {
num++;
return num;
}
這段代碼無論在多少個線程中調用怎麼調用什麼時候調用都會正確返回參數加1後的值。原因很簡單，按值傳入的這些參數是線程私有資源。
2，按引用傳參
但如果是按引用傳入參數，那麼情況就不一樣了：
int func(int* num) {
++(*num);
return *num;
}
如果調用該函數的線程傳入的參數是線程私有資源，那麼該函數依然是線程安全的，能正確的返回參數加1後的值。
但如果傳入的參數是全局變量，就像這樣：
int global_num = 1;
int func(int* num) {
++(*num);
return *num;
}
// 線程1
void thread1() {
func(&global_num);
}
// 線程2
void thread1() {
func(&global_num);
}
那此時func函數將不再是線程安全代碼，因爲傳入的參數指向了全局變量，這個全局變量是所有線程可共享資源，這種情況下如果不改變全局變量的使用方式，那麼對該全局變量的加1操作必須施加某種秩序，比如加鎖。
有的同學可能會說如果我傳入的不是全局變量的指針(引用)是不是就不會有問題了？
答案依然是it depends，要看情況。
即便我們傳入的參數是在堆上(heap)用malloc或new出來的，依然可能會有問題，爲什麼？
答案很簡單，因爲堆上的資源也是所有線程可共享的。
假如有兩個線程調用func函數時傳入的指針(引用)指向了同一個堆上的變量，那麼該變量就變成了這兩個線程的共享資源，在這種情況下func函數依然不是線程安全的。
改進也很簡單，那就是每個線程調用func函數傳入一個獨屬於該線程的資源地址，這樣各個線程就不會妨礙到對方了，因此，寫出線程安全代碼的一大原則就是能用線程私有的資源就用私有資源，線程之間盡最大可能不去使用共享資源。
如果線程不得已要使用全局資源呢？
使用全局資源
使用全局資源就一定不是線程安全代碼嗎？
答案還是。。有的同學可能已經猜到了，答案依然是要看情況。
如果使用的全局資源只在程序運行時初始化一次，此後所有代碼對其使用都是隻讀的，那麼沒有問題，就像這樣：
int global_num = 100; //初始化一次，此後沒有其它代碼修改其值
int func() {
return global_num;
}
我們看到，即使func函數使用了全局變量，但該全局變量只在運行前初始化一次，此後的代碼都不會對其進行修改，那麼func函數依然是線程安全的。
但，如果我們簡單修改一下func：
int global_num = 100;
int func() {
++global_num;
return global_num;
}
這時，func函數就不再是線程安全的了，對全局變量的修改必須加鎖保護。
線程局部存儲
接下來我們再對上述func函數簡單修改：
__thread int global_num = 100;
int func() {
++global_num;
return global_num;
}
我們看到全局變量global_num前加了關鍵詞__thread修飾，這時，func代碼就是又是線程安全的了。
爲什麼呢？
其實在上一篇文章中我們講過，被__thread關鍵詞修飾過的變量放在了線程私有存儲中，Thread Local Storage，什麼意思呢？
意思是說這個變量是線程私有的全局變量：
global_num是全局變量
global_num是線程私有的
各個線程對global_num的修改不會影響到其它線程，因爲是線程私有資源，因此func函數是線程安全的。
說完了局部變量、全局變量、函數參數，那麼接下來就到函數返回值了。
函數返回值
這裏也有兩種情況，一種是函數返回的是值；另一種返回對變量的引用。
1，返回的是值
我們來看這樣一段代碼：
int func() {
int a = 100;
return a;
}
毫無疑問，這段代碼是線程安全的，無論我們怎樣調用該函數都會返回確定的值100。
2，返回的是引用
我們把上述代碼簡單的改一改：
int* func() {
static int a = 100;
return &a;
}
如果我們在多線程中調用這樣的函數，那麼接下來等着你的可能就是難以調試的bug以及漫漫的加班長夜。。
很顯然，這不是線程安全代碼，產生bug的原因也很簡單，你在使用該變量前其值可能已經被其它線程修改了。因爲該函數使用了一個靜態全局變量，只要能拿到該變量的地址那麼所有線程都可以修改該變量的值，因爲這是線程間的共享資源，不到萬不得已不要寫出上述代碼，除非老闆拿刀架在你脖子上。
但是，請注意，有一個特例，這種使用方法可以用來實現設計模式中的單例模式，就像這樣：
class S {
public:
static S& getInstance() {
static S instance;
return instance;
}
private:
S() {}
// 其它省略
}
爲什麼呢？
因爲無論我們調用多少次func函數，static局部變量都只會被初始化一次，這種特性可以很方便的讓我們實現單例模式。
最後讓我們來看下這種情況，那就是如果我們調用一個非線程安全的函數，那麼我們的函數是線程安全的嗎？
調用非線程安全代碼
假如一個函數A調用另一個函數B，但B不是線程安全，那麼函數A是線程安全的嗎？
答案依然是，要看情況。
我們看下這樣一段代碼，這段代碼在之前講解過：
int global_num = 0;
int func() {
++global_num;
return global_num;
}
我們認爲func函數是非線程安全的，因爲func函數使用了全局變量並對其進行了修改，但如果我們這樣調用func函數：
int funcA() {
mutex l;
l.lock();
func();
l.unlock();
}
雖然func函數是非線程安全的，但是我們在調用該函數前加了一把鎖進行保護，那麼這時funcA函數就是線程安全的了，其本質就是我們用一把鎖間接的保護了全局變量。
再看這樣一段代碼：
int func(int *num) {
++(*num);
return *num;
}
一般我們認爲func函數是非線程安全的，因爲我們不知道傳入的指針是不是指向了一個全局變量，但如果調用func函數的代碼是這樣的：
void funcA() {
int a = 100;
func(&a);
}
那麼這時funcA函數依然是線程安全的，因爲傳入的參數是線程私有的局部變量，無論多少線程調用funcA都不會干擾到其它線程。
看了各種情況下的線程安全問題，最後讓我們來總結一下實現線程安全代碼都有哪些措施。
如何實現線程安全
從上面各種情況的分析來看，實現線程安全無外乎圍繞線程私有資源和線程共享資源這兩點，你需要識別出哪些是線程私有，哪些是共享的，這是核心，然後對症下藥就可以了。
- 不使用任何全局資源，只使用線程私有資源，這種通常被稱爲無狀態代碼
- 線程局部存儲，如果要使用全局資源，是否可以聲明爲線程局部存儲，因爲這種變量雖然是全局的，但每個線程都有一個屬於自己的副本，對其修改不會影響到其它線程
- 只讀，如果必須使用全局資源，那麼全局資源是否可以是隻讀的，多線程使用只讀的全局資源不會有線程安全問題。
- 原子操作，原子操作是說其在執行過程中是不可能被其它線程打斷的，像C++中的std::atomic修飾過的變量，對這類變量的操作無需傳統的加鎖保護，因爲C++會確保在變量的修改過程中不會被打斷。我們常說的各種無鎖數據結構通常是在這類原子操作的基礎上構建的 。
- 同步互斥，到這裏也就確定了你必須要以某種形式使用全局資源，那麼在這種情況下公共場所的秩序必須得到維護，那麼怎麼維護呢？通過同步或者互斥的方式.
總結
怎麼樣，想寫出線程安全的還是不簡單的吧，如果本文你只能記住一句話的話，那麼我希望是這句，這也是本文的核心：
實現線程安全無外乎圍繞線程私有資源和線程共享資源來進行，你需要識別出哪些是線程私有，哪些是共享的，然後對症下藥就可以了。
希望本文對大家編寫多線程程序有幫助。
寫在最後
歡迎大家關注我的公衆號【風平浪靜如碼】，海量Java相關文章，學習資料都會在裏面更新，整理的資料也會放在裏面。
覺得寫的還不錯的就點個贊，加個關注唄！點關注，不迷路，持續更新！！！