【计算机内功心法】十：线程间到底共享了哪些进程资源

进程和线程这两个话题是程序员绕不开的，操做系统提供的这两个抽象概念实在是过重要了。

关于进程和线程有一个极其经典的问题，那就是进程和线程的区别是什么？相信不少同窗对答案似懂非懂。

记住了不必定真懂

有的同窗可能已经“背得”倒背如流了：“进程是操做系统分配资源的单位，线程是调度的基本单位，线程之间共享进程资源”。

但是你真的理解了上面这句话吗？到底线程之间共享了哪些进程资源，共享资源意味着什么？共享资源这种机制是如何实现的？对此若是你没有答案的话，那么这意味着你几乎很难写出能正确工做的多线程程序，同时也意味着这篇文章就是为你准备的。

逆向思考

查理芒格常常说这样一句话：“反过来想，老是反过来想”，若是你对线程之间共享了哪些进程资源这个问题想不清楚的话那么也能够反过来思考，那就是有哪些资源是线程私有的。

线程私有资源

线程运行的本质其实就是函数的执行，函数的执行总会有一个源头，这个源头就是所谓的入口函数，CPU从入口函数开始执行从而造成一个执行流，只不过咱们人为的给执行流起一个名字，这个名字就叫线程。

既然线程运行的本质就是函数的执行，那么函数执行都有哪些信息呢？

在《函数运行时在内存中是什么样子？》这篇文章中咱们说过，函数运行时的信息保存在栈帧中，栈帧中保存了函数的返回值、调用其它函数的参数、该函数使用的局部变量以及该函数使用的寄存器信息，如图所示，假设函数A调用函数B：

1607559711161

此外，CPU执行指令的信息保存在一个叫作程序计数器的寄存器中，经过这个寄存器咱们就知道接下来要执行哪一条指令。因为操做系统随时能够暂停线程的运行，所以咱们保存以及恢复程序计数器中的值就能知道线程是从哪里暂停的以及该从哪里继续运行了。

因为线程运行的本质就是函数运行，函数运行时信息是保存在栈帧中的，所以每一个线程都有本身独立的、私有的栈区。

1607600679200

同时函数运行时须要额外的寄存器来保存一些信息，像部分局部变量之类，这些寄存器也是线程私有的，一个线程不可能访问到另外一个线程的这类寄存器信息。

从上面的讨论中咱们知道，到目前为止，所属线程的栈区、程序计数器、栈指针以及函数运行使用的寄存器是线程私有的。

以上这些信息有一个统一的名字，就是线程上下文，thread context。

咱们也说过操做系统调度线程须要随时中断线程的运行而且须要线程被暂停后能够继续运行，操做系统之因此能实现这一点，依靠的就是线程上下文信息。

如今你应该知道哪些是线程私有的了吧。

除此以外，剩下的都是线程间共享资源。

那么剩下的还有什么呢？还有图中的这些。

1607559885584

这其实就是进程地址空间的样子，也就是说线程共享进程地址空间中除线程上下文信息中的全部内容，意思就是说线程能够直接读取这些内容。

接下来咱们分别来看一下这些区域。

代码区

进程地址空间中的代码区，这里保存的是什么呢？从名字中有的同窗可能已经猜到了，没错，这里保存的就是咱们写的代码，更准确的是编译后的可执行机器指令。

那么这些机器指令又是从哪里来的呢？答案是从可执行文件中加载到内存的，可执行程序中的代码区就是用来初始化进程地址空间中的代码区的。

1607560572568

线程之间共享代码区，这就意味着程序中的任何一个函数均可以放到线程中去执行，不存在某个函数只能被特定线程执行的状况。

堆区

堆区是程序员比较熟悉的，咱们在C/C++中用malloc或者new出来的数据就存放在这个区域，很显然，只要知道变量的地址，也就是指针，任何一个线程均可以访问指针指向的数据，所以堆区也是线程共享的属于进程的资源。

1607561353196

栈区

唉，等等！刚不是说栈区是线程私有资源吗，怎么这会儿又提及栈区了？

确实，从线程这个抽象的概念上来讲，栈区是线程私有的，然而从实际的实现上看，栈区属于线程私有这一规则并无严格遵照，这句话是什么意思？

一般来讲，注意这里的用词是一般，一般来讲栈区是线程私有，既然有一般就有不一般的时候。

不一般是由于不像进程地址空间之间的严格隔离，线程的栈区没有严格的隔离机制来保护，所以若是一个线程能拿到来自另外一个线程栈帧上的指针，那么该线程就能够改变另外一个线程的栈区，也就是说这些线程能够任意修改本属于另外一个线程栈区中的变量。

1607562006889

这从某种程度上给了程序员极大的便利，但同时，这也会致使极其难以排查到的bug。

试想一下你的程序运行的好好的，结果某个时刻忽然出问题，定位到出问题代码行后根本就排查不到缘由，你固然是排查不到问题缘由的，由于你的程序原本就没有任何问题，是别人的问题致使你的函数栈帧数据被写坏从而产生bug，这样的问题一般很难排查到缘由，须要对总体的项目代码很是熟悉，经常使用的一些debug工具这时可能已经没有多大做用了。

说了这么多，那么同窗可能会问，一个线程是怎样修改本属于其它线程的数据呢？

接下来咱们用一个代码示例讲解一下。

文件

最后，若是程序在运行过程当中打开了一些文件，那么进程地址空间中还保存有打开的文件信息，进程打开的文件也能够被全部的线程使用，这也属于线程间的共享资源。关于文件IO操做，你能够参考《读取文件时，程序经历了什么？》

1607563147233

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。

所以，线程局部存储可让你使用一个独属于线程的全局变量。也就是说，虽然该变量能够被全部线程访问，但该变量在每一个线程中都有一个副本，一个线程对改变量的修改不会影响到其它线程。

1607513993036

总结

怎么样，没想到教科书上一句简单的“线程共享进程资源”背后居然会有这么多的知识点吧，教科书上的知识确实枯燥，但，并不简单。

但愿本篇能对你们理解进程、线程能有多帮助。