進程和線程這兩個話題是程序員繞不開的，操作系統提供的這兩個抽象概念實在是太重要了。
關於進程和線程有一個極其經典的問題，那就是進程和線程的區別是什么？相信很多同學對答案似懂非懂。
記住了不一定真懂
有的同學可能已經“背得”滾瓜爛熟了：“進程是操作系統分配資源的單位，線程是調度的基本單位，線程之間共享進程資源”。
可是你真的理解了上面這句話嗎？到底線程之間共享了哪些進程資源，共享資源意味着什么？共享資源這種機制是如何實現的？對此如果你沒有答案的話，那么這意味着你幾乎很難寫出能正確工作的多線程程序，同時也意味着這篇文章就是為你准備的。
逆向思考
查理芒格經常說這樣一句話：“反過來想，總是反過來想”，如果你對線程之間共享了哪些進程資源這個問題想不清楚的話那么也可以反過來思考，那就是有哪些資源是線程私有的。
線程私有資源
線程運行的本質其實就是函數的執行，函數的執行總會有一個源頭，這個源頭就是所謂的入口函數，CPU從入口函數開始執行從而形成一個執行流，只不過我們人為的給執行流起一個名字，這個名字就叫線程。
既然線程運行的本質就是函數的執行，那么函數執行都有哪些信息呢？
在《函數運行時在內存中是什么樣子？》這篇文章中我們說過，函數運行時的信息保存在棧幀中，棧幀中保存了函數的返回值、調用其它函數的參數、該函數使用的局部變量以及該函數使用的寄存器信息，如圖所示，假設函數A調用函數B：
此外，CPU執行指令的信息保存在一個叫做程序計數器的寄存器中，通過這個寄存器我們就知道接下來要執行哪一條指令。由於操作系統隨時可以暫停線程的運行，因此我們保存以及恢復程序計數器中的值就能知道線程是從哪里暫停的以及該從哪里繼續運行了。
由於線程運行的本質就是函數運行，函數運行時信息是保存在棧幀中的，因此每個線程都有自己獨立的、私有的棧區。
同時函數運行時需要額外的寄存器來保存一些信息，像部分局部變量之類，這些寄存器也是線程私有的，一個線程不可能訪問到另一個線程的這類寄存器信息。
從上面的討論中我們知道，到目前為止，所屬線程的棧區、程序計數器、棧指針以及函數運行使用的寄存器是線程私有的。
以上這些信息有一個統一的名字，就是線程上下文，thread context。
我們也說過操作系統調度線程需要隨時中斷線程的運行並且需要線程被暫停后可以繼續運行，操作系統之所以能實現這一點，依靠的就是線程上下文信息。
現在你應該知道哪些是線程私有的了吧。
除此之外，剩下的都是線程間共享資源。
那么剩下的還有什么呢？還有圖中的這些。
這其實就是進程地址空間的樣子，也就是說線程共享進程地址空間中除線程上下文信息中的所有內容，意思就是說線程可以直接讀取這些內容。
接下來我們分別來看一下這些區域。
代碼區
進程地址空間中的代碼區，這里保存的是什么呢？從名字中有的同學可能已經猜到了，沒錯，這里保存的就是我們寫的代碼，更准確的是編譯后的可執行機器指令。
那么這些機器指令又是從哪里來的呢？答案是從可執行文件中加載到內存的，可執行程序中的代碼區就是用來初始化進程地址空間中的代碼區的。
線程之間共享代碼區，這就意味着程序中的任何一個函數都可以放到線程中去執行，不存在某個函數只能被特定線程執行的情況。
堆區
堆區是程序員比較熟悉的，我們在C/C++中用malloc或者new出來的數據就存放在這個區域，很顯然，只要知道變量的地址，也就是指針，任何一個線程都可以訪問指針指向的數據，因此堆區也是線程共享的屬於進程的資源。
棧區
唉，等等！剛不是說棧區是線程私有資源嗎，怎么這會兒又說起棧區了？
確實，從線程這個抽象的概念上來說，棧區是線程私有的，然而從實際的實現上看，棧區屬於線程私有這一規則並沒有嚴格遵守，這句話是什么意思？
通常來說，注意這里的用詞是通常，通常來說棧區是線程私有，既然有通常就有不通常的時候。
不通常是因為不像進程地址空間之間的嚴格隔離，線程的棧區沒有嚴格的隔離機制來保護，因此如果一個線程能拿到來自另一個線程棧幀上的指針，那么該線程就可以改變另一個線程的棧區，也就是說這些線程可以任意修改本屬於另一個線程棧區中的變量。
這從某種程度上給了程序員極大的便利，但同時，這也會導致極其難以排查到的bug。
試想一下你的程序運行的好好的，結果某個時刻突然出問題，定位到出問題代碼行后根本就排查不到原因，你當然是排查不到問題原因的，因為你的程序本來就沒有任何問題，是別人的問題導致你的函數棧幀數據被寫壞從而產生bug，這樣的問題通常很難排查到原因，需要對整體的項目代碼非常熟悉，常用的一些debug工具這時可能已經沒有多大作用了。
說了這么多，那么同學可能會問，一個線程是怎樣修改本屬於其它線程的數據呢？
接下來我們用一個代碼示例講解一下。
文件
最后，如果程序在運行過程中打開了一些文件，那么進程地址空間中還保存有打開的文件信息，進程打開的文件也可以被所有的線程使用，這也屬於線程間的共享資源。關於文件IO操作，你可以參考《讀取文件時，程序經歷了什么？》
One More Thing：TLS
本文就這些了嗎？
實際上本篇開頭關於線程私有數據還有一個項沒有詳細講解，因為再講下去本篇就撐爆了，實際上本篇講解的已經足夠用了，剩下的這一點僅僅作為補充。
關於線程私有數據還有一項技術，那就是線程局部存儲，Thread Local Storage，TLS。
這是什么意思呢？
其實從名字上也可以看出，所謂線程局部存儲，是指存放在該區域中的變量有兩個含義：
- 存放在該區域中的變量是全局變量，所有線程都可以訪問
- 雖然看上去所有線程訪問的都是同一個變量，但該全局變量獨屬於一個線程，一個線程對此變量的修改對其他線程不可見。
說了這么多還是沒懂有沒有？沒關系，接下來看完這兩段代碼還不懂你來打我。
我們先來看第一段代碼，不用擔心，這段代碼非常非常的簡單：
int a = 1; // 全局變量
void print_a() {
cout<<a<<endl;
}
void run() {
++a;
print_a();
}
void main() {
thread t1(run);
t1.join();
thread t2(run);
t2.join();
}
怎么樣，這段代碼足夠簡單吧，上述代碼是用C++11寫的，我來講解下這段代碼是什么意思。
- 首先我們創建了一個全局變量a，初始值為1
- 其次我們創建了兩個線程，每個線程對變量a加1
- 線程的join函數表示該線程運行完畢后才繼續運行接下來的代碼
那么這段代碼的運行起來會打印什么呢？
全局變量a的初始值為1，第一個線程加1后a變為2，因此會打印2；第二個線程再次加1后a變為3，因此會打印3，讓我們來看一下運行結果：
2
3
看來我們分析的沒錯，全局變量在兩個線程分別加1后最終變為3。
接下來我們對變量a的定義稍作修改，其它代碼不做改動：
__thread int a = 1; // 線程局部存儲
我們看到全局變量a前面加了一個__thread關鍵詞用來修飾，也就是說我們告訴編譯器把變量a放在線程局部存儲中，那這會對程序帶來哪些改變呢？
簡單運行一下就知道了：
2
2
和你想的一樣嗎，有的同學可能會大吃一驚，為什么我們明明對變量a加了兩次，但第二次運行為什么還是打印2而不是3呢？
想一想這是為什么。
原來，這就是線程局部存儲的作用所在，線程t1對變量a的修改不會影響到線程t2，線程t1在將變量a加到1后變為2，但對於線程t2來說此時變量a依然是1，因此加1后依然是2。
因此，線程局部存儲可以讓你使用一個獨屬於線程的全局變量。也就是說，雖然該變量可以被所有線程訪問，但該變量在每個線程中都有一個副本，一個線程對改變量的修改不會影響到其它線程。
總結
怎么樣，沒想到教科書上一句簡單的“線程共享進程資源”背后竟然會有這么多的知識點吧，教科書上的知識確實枯燥，但，並不簡單。
希望本篇能對大家理解進程、線程能有多幫助。