深刻理解进程和线程

关于进程和线程，你们老是说的一句话是“进程是操做系统分配资源的最小单元，线程是操做系统调度的最小单元”。这句话理论上没问题，咱们来看看什么是所谓的“资源”呢。

 

什么是计算机资源

 

经典的冯诺依曼结构把计算机系统抽象成 CPU + 存储器 + IO，那么计算机资源无非就两种：

1. 计算资源

2. 存储资源

 

CPU是计算单元，单纯从CPU的角度来讲它是一个黑盒，它只对输入的指令和数据进行计算，而后输出结果，它不负责管理计算哪些”指令和数据“。 换句话说CPU只提供了计算能力，可是不负责分配计算资源。

 

计算资源是操做系统来分配的，也就是常说的操做系统的调度模块，由操做系统按照必定的规则来分配何时由谁来得到CPU的计算资源，好比分时间片

 

存储资源就是内存，磁盘这些存储设备的资源。在这篇计算机底层知识拾遗（一）理解虚拟内存机制 咱们说了操做系统使用了虚拟内存机制来管理存储器，从缓存原理的角度来讲，把内存做为磁盘的缓存。进程是面向磁盘的，为何这么说呢，进程表示一个运行的程序，程序的代码段，数据段这些都是存放在磁盘中的，在运行时加载到内存中。因此虚拟内存面向的是磁盘，虚拟页是对磁盘文件的分配，而后被缓存到物理内存的物理页中。

 

因此存储资源是操做系统由虚拟内存机制来管理和分配的。进程应该是操做系统分配存储资源的最小单元。

 

再来看看线程，理论上说Linux内核是没有线程这个概念的，只有内核调度实体(Kernal Scheduling Entry， KSE)这个概念。Linux的线程本质上是一种轻量级的进程，是经过clone系统调用来建立的。何谓“轻量级”会在后面细说。进程是一种KSE，线程也是一种KSE。因此“线程是操做系统调度的最小单元”这句话没问题。

 

什么是进程

进程是对计算机的一种抽象，

1. 进程表示一个逻辑控制流，就是一种计算过程，它形成一个假象，好像这个进程一直在独占CPU资源

2. 进程拥有一个独立的虚拟内存地址空间，它形成一个假象，好像这个进程一致在独占存储器资源

 

这张图是进程的虚拟内存地址空间的分配模型图，能够看到进程的虚拟内存地址空间分为用户空间和内核空间。用户空间从低端地址往高端地址发展，内核空间从高端地址往低端地址发展。用户空间存放着这个进程的代码段和数据段，以及运行时的堆和用户栈。堆是从低端地址往高端地址发展，栈是从高端地址往低端地址发展。

 

内核空间存放着内核的代码和数据，以及内核为这个进程建立的相关数据结构，好比页表数据结构，task数据结构，area区域数据结构等等。

 

 

从文件IO的角度来讲，Linux把一切IO都抽象成了文件，好比普通文件IO，网络IO，通通都是文件，利用open系统调用返回一个整数做为文件描述符file descriptor，进程能够利用file descriptor做为参数在任何系统调用中表示那个打开的文件。内核为进程维护了一个文件描述符表来保持进程全部得到的file descriptor。

每调用一次open系统调用内核会建立一个打开文件open file的数据结构来表示这个打开的文件，记录了该文件目前读取的位置等信息。打开文件又惟一了一个指针指向文件系统中该文件的inode结构。inode记录了该文件的文件名，路径，访问权限等元数据。

 

操做操做系统用了3个数据结构来为每一个进程管理它打开的文件资源

 

fork系统调用

操做系统利用fork系统调用来建立一个子进程。fork所建立的子进程会复制父进程的虚拟地址空间。

要理解“复制”和“共享”的区别，复制的意思是会真正在物理内存复制一分内容，会真正消耗新的物理内存。共享的意思是使用指针指向同一个地址，不会真正的消耗物理内存。理解这两个概念的区别很重要，这是进程和线程的根本区别之一。

 

那么有人问了若是我父进程占了1G的物理内存，那么fork会再使用1G的物理内存来复制吗，至关于一下用了2G的物理内存？ 

答案是早期的操做系统的确是这么干的，可是这样性能也太差了，因此现代操做系统使用了 写时复制Copy on write的方式来优化fork的性能，fork刚建立的子进程采用了共享的方式，只用指针指向了父进程的物理资源。当子进程真正要对某些物理资源写操做时，才会真正的复制一块物理资源来供子进程使用。这样就极大的优化了fork的性能，而且从逻辑来讲子进程的确是拥有了独立的虚拟内存空间。

fork不仅是复制了页表结构，还复制了父进程的文件描述符表，信号控制表，进程信息，寄存器资源等等。它是一个较为深刻的复制。

 

从逻辑控制流的角度来讲，fork建立的子进程开始执行的位置是fork函数返回的位置。这点和线程是不同的，咱们知道Java中的Thread须要写run方法，线程开始后会从run方法开始执行。

 

既然咱们知道了内核为进程维护了这么多资源，那么当内存进行进程调度时进行的进程上下文切换就容易理解了，一个进程运行要依赖这么些资源，那么进程上下文切换就要把这些资源都保存起来写回到内存中，等下次这个进程被调度时再把这些资源再加载到寄存器和高速缓存硬件。

进程上下文切换保存的内容有：

页表 -- 对应虚拟内存资源

文件描述符表/打开文件表 -- 对应打开的文件资源

寄存器 -- 对应运行时数据

信号控制信息/进程运行信息

 

进程间通讯

虚拟内存机制为进程管理存储资源带来了种种好处，可是它也给进程带来了一些小麻烦，咱们知道每一个进程拥有独立的虚拟内存地址空间，看到同样的虚拟内地址空间视图，因此对不一样的进程来讲，一个相同的虚拟地址意味着不一样的物理地址。伤感的句子咱们知道CPU执行指令时采用了虚拟地址，对应一个特定的变量来讲，它对应着一个特定的虚拟地址。这样带来的问题就是两个进程不能经过简单的共享变量的方式来进行进程间通讯，也就是说进程不能经过直接共享内存的方式来进行进程间通讯，只能采用信号，管道等方式来进行进程间通讯。这样的效率确定比直接共享内存的方式差

 

什么是线程

上面说了一堆内核为进程分配了哪些资源，咱们知道进程管理了一堆资源，而且每一个进程还拥有独立的虚拟内存地址空间，会真正地拥有独立与父进程以外的物理内存。而且因为进程拥有独立的内存地址空间，致使了进程之间没法利用直接的内存映射进行进程间通讯。

 

并发的本质是在时间上重叠的多个逻辑流，也就是说同时运行的多个逻辑流。并发编程要解决的一个很重要的问题就是对资源的并发访问的问题，也就是共享资源的问题。而两个进程偏偏很难在逻辑上表示共享资源。

线程解决的最大问题就是它能够很简单地表示共享资源的问题，这里说的资源指的是存储器资源，资源最后都会加载到物理内存，一个进程的全部线程都是共享这个进程的同一个虚拟地址空间的，也就是说从线程的角度来讲，它们看到的物理资源都是同样的，这样就能够经过共享变量的方式来表示共享资源，也就是直接共享内存的方式解决了线程通讯的问题。而线程也表示一个独立的逻辑流，这样就完美解决了进程的一个大难题。

 

从存储资源的角度理解了线程以后，就不难理解计算资源的分配了。从计算资源的角度来讲，对内核而言，进程和线程没有什么区别，因此内核用内核调度实体(KSE)来表示一个调度的单元。

 

clone系统调用

在Linux系统中，线程是使用clone系统调用，clone是一个轻量级的fork，淘宝开店教程它提供了一系列的参数来表示线程能够共享父类的哪些资源，好比页表，打开文件表等等。咱们上面说过了共享和复制的区别，共享只是简单地用指针指向同一个物理地址，不会在父进程以外开辟新的物理内存。

clone系统调用能够指定建立的线程开始执行代码位置，也就是Java中的Thread类的run方法。

 

Linux内核只提供了clone这个系统调用来建立相似线程的轻量级进程的概念。C语言利用了Pthreads库来真正建立了线程这个数据结构。Linux采用了1：1的模型，即C语言的Pthreads库建立的线程实体1：1对应着内核建立的一个KSE。Pthreads运行在用户空间，KSE运行在内核空间。

 

既然线程共享了进程的资源，那么线程的上下文切换就好理解了。对操做系统来讲，它看到要被调度进来的线程和刚运行的线程是同一个进程的，那么线程的上下文切换只须要保存线程的一些运行时的数据，好比

线程的id

寄存器中的值

栈数据

 

而不须要像进程上下文切换那样要保存页表，文件描述符表，信号控制数据和进程信息等数据。页表是一个很重的资源，咱们以前说过，若是采用一级页表的结构，那么32位机器的页表要达到4MB的物理空间。 有一种沉默是感怀因此线程上下文切换是很轻量级的。

 

进程采用父子结构，init进程是最顶端的父进程，其余进程都是从init进程派生出来的。这样就很容易理解进程是如何共享内核的代码和数据的了。

而线程采用对等结构，即线程没有父子的概念，全部线程都属于同一个线程组，线程组的组号等于第一个线程的线程号。

 

咱们来看看Java的线程究竟是如何实现的。Java语言层面提供了java.lang.Thread这个类来表示Java语言层面的线程，并提供了run方法表示线程运行的逻辑控制流。

咱们知道JVM是C++/C写的，JVM自己利用了Pthreads库来建立操做系统的线程。JVM还要支持Java语言建立的线程的概念。

聊聊JVM（五）从JVM角度理解线程 这篇已经说了从JVM的角度如何理解线程。 JVM提供了JavaThread类来对应Java语言的Thread，即Java语言中建立一个java.lang.Thread对象，JVM会相应的在JVM中建立一个JavaThread对象。同时JVM还建立了一个OSThread类来对应用Pthreads建立的底层操做系统的线程对象。

 

构建并发程序能够基于进程也能够线程，

好比Nginx就是基于进程构建并发程序的。而Java天生只支持基于线程的方式来构建并发程序。

 

最后再总结一下  进程VS 线程

 

1. 进程采用fork建立，线程采用clone建立2. 进程fork建立的子进程的逻辑流位置在fork返回的位置，线程clone建立的KSE的逻辑流位置在clone调用传入的方法位置，好比Java的Thread的run方法位置3. 进程拥有独立的虚拟内存地址空间和内核数据结构(页表，打开文件表等)，当子进程修改了虚拟页以后，会经过写时拷贝建立真正的物理页。线程共享进程的虚拟地址空间和内核数据结构，共享一样的物理页4. 多个进程通讯只能采用进程间通讯的方式，好比信号，管道，而不能直接采用简单的共享内存方式，缘由是每一个进程维护独立的虚拟内存空间，因此每一个进程的变量采用的虚拟地址是不一样的。多个线程通讯就很简单，直接采用共享内存的方式，由于不一样线程共享一个虚拟内存地址空间，变量寻址采用同一个虚拟内存5. 进程上下文切换须要切换页表等重量级资源，线程上下文切换只须要切换寄存器等轻量级数据6. 进程的用户栈独享栈空间，线程的用户栈共享虚拟内存中的栈空间，没有进程高效7. 一个应用程序能够有多个进程，执行多个程序代码，多个线程只能执行一个程序代码，共享进程的代码段8. 进程采用父子结构，线程采用对等结构