进程和线程的基础知识

并发和并行的区别

1. 单个处理核在很短时间内分别执行多个进程，称为并发。

2. 多个处理核同时执行多个进程称为并行。

3. 对于并发来说，CPU需要从一个进程切换到另一个进程，在切换前必须要记录当前进程中运行的状态信息，以备下次切换回来的时候可以恢复执行。

进程的状态变迁

• 运行状态：该进程在此时是占用着 CPU 的。

• 就绪状态：已经准备运行的状态，但是因为 CPU 正在被其他进程使用而暂时停止运行。

• 阻塞状态：该进程因为正在等待某个事件的发生而产生阻塞，在这个时候哪怕 CPU 将控制权给它，它也不能运行，它必须要等待它等待的事件发生后才能被唤醒进去就绪态。

当然，进程还应该有两种基本的状态：

• 创建状态：进程正在被创建时的状态。

• 结束状态：进程正在从系统中消失的状态。

由此，一个进程的基本状态变迁图就可以画出来了：

• NULL 到 创建态：一个进程被创建时的第一个状态。

• 创建态 到 就绪态：当进程被创建完成，一切都已准备就绪时，就会变为就绪态。

• 就绪态 到 运行态：处于就绪态的进程被 进程调度器选中，分配给 CPU 正式运行该进程。

• 运行态 到 结束态：当该进程运行完或者是出错时会被操作系统转为结束态。

• 运行态 到 就绪态：在此进程运行过程中，当操作系统分配给此进程的运行时间片用完时，操作系统就会把该进程变为就绪态，接着从就绪态中又选出另一个进程继续运行。

• 运行态 到 阻塞态：此进程在运行过程中必须请求等待某个事件的发生才能继续运行时。

• 阻塞态 到 就绪态：当进程需要等待发生的事件已经完成时，就会从阻塞态变为就绪态。

还有一个状态叫挂起状态，它表示进程没有占有物理内存空间。这跟阻塞状态是不一样，阻塞状态是等待某个事件的返回。

调用 sleep 也会使进程进入挂起状态。

挂起状态可以分为两种：

• 阻塞挂起状态：进程在外存（硬盘）并等待某个事件的出现。

• 就绪挂起状态：进程在外存（硬盘），但只要进入内存，即刻立刻运行。

进程控制块（PCB）

系统通过 进程控制块PCB 来描述进程的基本情况和运行状态，就进而控制和管理进程，它是进程存在的唯一标识，其包括以下信息：

1. 进程描述信息：进程标识符、用户标识符。

2. 进程控制和管理信息：进程当前状态，进程优先级。

3. 进程资源分配清单：有关内存地址空间或虚拟地址空间的信息，所打开文件的列表和所使用的 I/O 设备信息。

4. CPU相关信息：当进程切换时，CPU寄存器的值都被保存在相应PCB中，以便CPU重新执行该进程时能从断点处继续执行。

PCB通常是通过链表的方式进行组织，把具有相同状态的进程链在一起，组成各种队列。

进程的上下文切换

什么是进程的上下文切换？

进程从一个进程切换到另一个进程运行，这就是进程的上下文切换。

进程的上下文切换到底是切换什么呢？

进程是由内核管理和调度的，所以进程的切换只能发生在内核态。

所以，进程的上下文切换不仅包含了虚拟内存、栈、全局变量等用户空间的资源，还包括了内核堆栈、寄存器等内核空间的资源。

发生进程上下文切换有哪些场景？

• 为了保证所有进程可以得到公平调度，CPU 时间被划分为一段段的时间片，这些时间片再被轮流分配给各个进程。这样，当某个进程的时间片耗尽了，就会被系统挂起，切换到其它正在等待 CPU 的进程运行。

• 进程在系统资源不足（比如内存不足）时，要等到资源满足后才可以运行，这个时候进程也会被挂起，并由系统调度其他进程运行。

• 当进程通过睡眠函数 sleep 这样的方法将自己主动挂起时，自然也会重新调度。

• 当有优先级更高的进程运行时，为了保证高优先级进程的运行，当前进程会被挂起，由高优先级进程来运行。

• 发生硬件中断时，CPU 上的进程会被中断挂起，转而执行内核中的中断服务程序。

进程的创建

操作系统允许一个进程创建另一个进程，而且允许子进程继承父进程所拥有的资源，当子进程被终止时，其在父进程处继承的资源应当还给父进程。同时，终止父进程时同时也会终止其所有的子进程。

操作系统创建一个新进程的过程如下：

• 为新进程分配一个独特的进程控制块（PCB），PCB 是有限的，若申请失败则创建失败。

• 为新进程分配所需要的资源，比如内存、CPU时间。

• 初始化进程控制块（PCB）的各种字段，包括状态、优先级、寄存器初始值等。

• 将其状态设置为就绪状态，使其能够被调度执行。进程进入就绪队列，等待分配处理器时间。

进程的终止

进程可以有 3 种终止方式：正常结束、异常结束以及外界干预（信号 kill 掉）。

终止进程的过程如下：

• 根据标识符，查找需要终止的进程的 PCB。

• 如果进程处于执行状态，则立即终止该进程的执行，然后将 CPU 资源分配给其他进程。

• 如果其还有子进程，则应将该进程的子进程交给 1 号进程接管。

• 将该进程所拥有的全部资源都归还给操作系统。

• 将其从 PCB 所在队列中删除。

进程的阻塞

当进程需要等待某一事件完成时，它可以调用阻塞语句把自己阻塞等待。而一旦被阻塞等待，它只能由另一个进程唤醒。

阻塞进程的过程如下：

• 找到被阻塞进程的标识符对应的PCB。

• 如果该进程为运行状态，则保护其现场，将其状态转为阻塞状态，停止运行。

• 将该 PCB 插入到等待队列中，将处理机资源调度给其他就绪进程。

进程的唤醒

进程由「运行」转变为「阻塞」状态是由于进程必须等待某一事件的完成，所以处于阻塞状态的进程是绝对不可能叫醒自己的。

如果某进程正在等待 I/O 事件，需由别的进程发消息给它，则只有当该进程所期待的事件出现时，才由发现者进程用唤醒语句叫醒它。

唤醒进程的过程如下：

• 在该事件的阻塞队列中找到相应进程的 PCB。

• 将其从阻塞队列中移出，并置其状态为就绪状态。

• 把该 PCB 插入到就绪队列中，等待调度程序调度。

进程的阻塞和唤醒是一对功能相反的语句，如果某个进程调用了阻塞语句，则必有一个与之对应的唤醒语句。

线程

什么是线程？

线程是“轻量级进程”，是进程中的一个实体，是程序执行的最小单元，也是被系统独立调度和分配的基本单位。

线程是进程当中的一条执行流程。

同一个进程内多个线程之间可以共享代码段、数据段、打开的文件等资源，但每个线程都有独立一套的寄存器和栈，这样可以确保线程的控制流是相对独立的。

线程的优缺点？

• 线程的优点：

  • 一个进程中可以同时存在多个线程。

  • 各个线程之间可以并发执行。

  • 各个线程之间可以共享地址空间和文件等资源。

• 线程的缺点：

  • 当进程中的一个线程奔溃时，会导致其所属进程的所有线程奔溃。

线程的上下文切换

线程与进程最大的区别在于：线程是调度的基本单位，而进程则是资源拥有的基本单位。

所以，所谓操作系统的任务调度，实际上的调度对象是线程，而进程只是给线程提供了虚拟内存、全局变量等资源。

对于线程和进程，我们可以这么理解：

• 当进程只有一个线程时，可以认为进程就等于线程。

• 当进程拥有多个线程时，这些线程会共享相同的虚拟内存和全局变量等资源，这些资源在上下文切换时是不需要修改的。

另外，线程也有自己的私有数据，比如栈和寄存器等，这些在上下文切换时也是需要保存的。

线程上下文切换切换的是什么？

这得看线程是不是属于同一个进程：

• 当两个线程不是属于同一个进程，则切换的过程就跟进程上下文切换一样。

• 当两个线程是属于同一个进程，因为虚拟内存是共享的，所以在切换时，虚拟内存这些资源就保持不动，只需要切换线程的私有数据、寄存器等不共享的数据。

因此，线程上下文切换的开销要比进程上下文切换的开销要小的多。

线程与进程的比较

进程是资源（包括内存、打开的文件等）分配的单位，线程是 CPU 调度的单位

线程与进程的比较如下：

• 进程是资源（包括内存、打开的文件等）分配的单位，线程是 CPU 调度的单位；

• 进程拥有一个完整的资源平台，而线程只独享必不可少的资源，如寄存器和栈；

• 线程同样具有就绪、阻塞、执行三种基本状态，同样具有状态之间的转换关系；

• 线程能减少并发执行的时间和空间开销；

对于，线程相比进程能减少开销，体现在：

• 线程的创建时间比进程快，因为进程在创建的过程中，还需要资源管理信息，比如内存管理信息、文件管理信息，而线程在创建的过程中，不会涉及这些资源管理信息，而是共享它们；

• 线程的终止时间比进程快，因为线程释放的资源相比进程少很多；

• 同一个进程内的线程切换比进程切换快，因为线程具有相同的地址空间（虚拟内存共享），这意味着同一个进程的线程都具有同一个页表，那么在切换的时候不需要切换页表。而对于进程之间的切换，切换的时候要把页表给切换掉，而页表的切换过程开销是比较大的；

• 由于同一进程的各线程间共享内存和文件资源，那么在线程之间数据传递的时候，就不需要经过内核了，这就使得线程之间的数据交互效率更高了；

所以，线程比进程不管是时间效率，还是空间效率都要高。

线程的实现

主要有三种线程的实现方式：

• 用户线程：在用户空间实现的线程，不是由内核管理的线程，是由用户态的线程库来完成线程的管理。

  • 优点：

    • 每个进程都需要有它私有的线程控制块（TCB）列表，用来跟踪记录它各个线程状态信息（PC、栈指针、寄存器），TCB 由用户级线程库函数来维护，可用于不支持线程技术的操作系统。

    • 用户线程的切换也是由线程库函数来完成的，无需用户态与内核态的切换，所以速度特别快。

  • 缺点：

    • 由于操作系统不参与线程的调度，如果一个线程发起了系统调用而阻塞，那进程所包含的用户线程都不能执行了。

    • 当一个线程开始运行后，除非它主动地交出 CPU 的使用权，否则它所在的进程当中的其他线程无法运行，因为用户态的线程没法打断当前运行中的线程，它没有这个特权，只有操作系统才有，但是用户线程不是由操作系统管理的。

    • 由于时间片分配给进程，故与其他进程比，在多线程执行时，每个线程得到的时间片较少，执行会比较慢。

• 内核线程：在内核中实现的线程，是由内核管理的线程。

  • 内核线程是由操作系统管理的，线程对应的 TCB 自然是放在操作系统里的，这样线程的创建、终止和管理都是由操作系统负责。

  • 一对一的关系，即一个用户线程对应一个内核线程

  • 优点：

    • 在一个进程当中，如果某个内核线程发起系统调用而被阻塞，并不会影响其他内核线程的运行。

    • 分配给线程，多线程的进程获得更多的 CPU 运行时间。

  • 缺点：

    • 在支持内核线程的操作系统中，由内核来维护进程和线程的上下问信息，如 PCB 和 TCB。

    • 线程的创建、终止和切换都是通过系统调用的方式来进行，因此对于系统来说，系统开销比较大。

• 轻量级进程：在内核中来支持用户线程。

  • 轻量级进程（LWP）是内核支持的用户线程，一个进程可有一个或多个 LWP，每个 LWP 是跟内核线程一对一映射的，也就是 LWP 都是由一个内核线程支持，LWP 只能由内核管理并像普通进程一样被调度。

  • 在大多数系统中，LWP与普通进程的区别也在于它只有一个最小的执行上下文和调度程序所需的统计信息。一般来说，一个进程代表程序的一个实例，而 LWP 代表程序的执行线程，因为一个执行线程不像进程那样需要那么多状态信息，所以 LWP 也不带有这样的信息。

用户线程和内核线程的对应关系：

• 多对一：多个用户线程对应同一个内核线程。

• 一对一：一个用户线程对应一个内核线程。

• 多对多：多个用户线程对应到多个内核线程。

在 LWP 之上也是可以使用用户线程的，那么 LWP 与用户线程的对应关系就有三种：

• 1 : 1，即一个 LWP 对应 一个用户线程；

• N : 1，即一个 LWP 对应多个用户线程；

• N : N，即多个 LMP 对应多个用户线程；

接下来针对上面这三种对应关系说明它们优缺点。先下图的 LWP 模型：

LWP 模型

1 : 1 模式

一个线程对应到一个 LWP 再对应到一个内核线程，如上图的进程 4，属于此模型。

• 优点：实现并行，当一个 LWP 阻塞，不会影响其他 LWP；

• 缺点：每一个用户线程，就产生一个内核线程，创建线程的开销较大。

N : 1 模式

多个用户线程对应一个 LWP 再对应一个内核线程，如上图的进程 2，线程管理是在用户空间完成的，此模式中用户的线程对操作系统不可见。

• 优点：用户线程要开几个都没问题，且上下文切换发生用户空间，切换的效率较高；

• 缺点：一个用户线程如果阻塞了，则整个进程都将会阻塞，另外在多核 CPU 中，是没办法充分利用 CPU 的。

M : N 模式

根据前面的两个模型混搭一起，就形成 M:N 模型，该模型提供了两级控制，首先多个用户线程对应到多个 LWP，LWP 再一一对应到内核线程，如上图的进程 3。

• 优点：综合了前两种优点，大部分的线程上下文发生在用户空间，且多个线程又可以充分利用多核 CPU 的资源。