操作系统理论 第二章（进程的描述与控制）—第八节（线程的基本概念）

写在前面：

1. 本系列笔记主要以《计算机操作系统（汤小丹…）》为参考，大部分内容出于此书，笔者的工作主要是挑其重点展示，另外配合下方视频链接的教程展开思路，在笔记中一些比较难懂的地方加以自己的一点点理解（重点基本都会有标注，没有任何标注的难懂文字应该是笔者因为强迫症而加进来的，可选择性地忽略）。
2. 视频链接：操作系统（汤小丹等第四版）_哔哩哔哩_bilibili

一、线程的引入

1、进程的两个基本属性

（1）进程是一个可拥有资源的独立单位，一个进程要能独立运行，它必须拥有一定的资源，包括用于存放程序正文、数据的磁盘和内存地址空间，以及它在运行时所需要的I/O设备、已打开的文件、信号量等。

（2）进程同时又是一个可独立调度和分派的基本单位，一个进程要能独立运行，它还必须是一个可独立调度和分派的基本单位。每个进程在系统中有唯一的PCB，系统可根据其PCB感知进程的存在，也可以根据其PCB中的信息对进程进行调度，还可将断点信息保存在其PCB中，利用进程PCB中的信息来恢复进程运行的现场。

2、进程的局限性

        由于进程是一个资源的拥有者，因而在创建、撤消和切换中，系统必须为之付出较大的时空开销，这就限制了系统中所设置进程的数目，而且进程切换也不宜过于频繁，从而限制了并发程度的进一步提高。

3、线程——调度和分派的基本单位

        要设法将进程的上述两个属性分开，由OS分开处理，亦即不把进程作为调度和分派的基本单位，也不把进程作为拥有资源的单位，而对于拥有资源的基本单位，又不对之施以频繁的切换。正是在这种思想的指导下，形成了线程的概念。

        如果在OS中引入线程，以线程作为调度和分派的基本单位（进程则是资源分配的单位），则可以有效地改善多处理机系统的性能。引入线程后，进程的内涵发生了改变，进程只作为除CPU以外系统资源的分配单元，线程则作为处理机的分配单元。

        一个线程可以创建和撤销另一个线程，同一进程中的多个线程之间可以并发执行（如果线程的切换发生在同一个进程内部，则只需要很少的时空开销）。由于线程之间的相互制约，致使线程在运行中呈现出间断性，线程也就有就绪、阻塞和运行三种基本状态。

二、线程与进程的比较

1、调度的基本单位

（1）在传统的OS中，进程是作为独立调度和分派的基本单位，因而进程是能独立运行的基本单位。在每次被调度时，进程都需要进行上下文切换，开销较大。

（2）在引入线程的OS中，已把线程作为调度和分派的基本单位，因而线程是能独立运行的基本单位，当线程切换时，仅需保存和设置少量寄存器内容，切换代价远低于进程。在同一进程中，线程的切换不会引起进程的切换，但从一个进程中的线程切换到另一个进程中的线程时，必然就会引起进程的切换。当然，线程也有缺点，一个线程崩溃，会导致其所属进程的所有线程崩溃。

2、并发性

        在引入线程的OS中，不仅进程之间可以并发执行，而且在一个进程中的多个线程之间亦可并发执行，甚至还允许在一个进程中的所有线程都能并发执行；同样，不同进程中的线程也能并发执行。这使得OS具有更好的并发性，从而能更加有效地提高系统资源的利用率和系统的吞吐量。

3、拥有资源

（1）进程可以拥有资源，并作为系统中拥有资源的一个基本单位，而线程本身并不拥有系统资源，而是仅有一点必不可少的、能保证独立运行的资源。

（2）线程除了拥有自己的少量资源外，还允许多个线程共享该进程所拥有的资源，这首先表现在：属于同一进程的所有线程都具有相同的地址空间，这意味着线程可以访问该地址空间中的每一个虚地址，此外，还可以访问进程所拥有的资源，如已打开的文件、定时器、信号量机构等的内存空间和它所申请到的I/O设备等。

（3）由于同一进程的各线程间共享内存和文件资源，它们可以进行不通过内核的通信。

4、独立性

        进程的地址空间之间相互独立，同一进程的各线程间共享进程的资源，某进程内的线程对其它进程不可见。

5、系统开销

        在创建或撤消进程时，系统都要为之分配和回收进程控制块、分配或回收其它资源，如内存空间和I/O设备等，OS为此所付出的开销，明显大于线程创建或撤消时所付出的开销。类似地，在进程切换时涉及到进程上下文的切换，而线程的切换代价也远低于进程的。

        由于一个进程中的多个线程具有相同的地址空间，线程之间的同步和通信也比进程的简单，因此在一些OS中，线程的切换、同步和通信都无需操作系统内核的干预。

6、支持多处理机系统

        在多处理机系统中，对于传统的进程，即单线程进程，不管有多少处理机，该进程只能运行在一个处理机上。但对于多线程进程，就可以将一个进程中的多个线程分配到多个处理机上，使它们并行执行，这无疑将加速进程的完成。

三、线程的状态和线程控制块

1、线程运行的三个状态

（1）执行状态，表示线程已获得处理机而正在运行。

（2）就绪状态，指线程已具备了各种执行条件，只须再获得CPU便可立即执行。

（3）阻塞状态，指线程在执行中因某事件受阻而处于暂停状态，例如当一个线程执行从键盘读入数据的系统调用时，该线程就被阻塞。

2、线程控制块TCB

（1）如同每个进程有一个进程控制块一样，系统也为每个线程配置了一个线程控制块TCB，将所有用于控制和管理线程的信息记录在线程控制块中。

（2）线程控制块通常有这样几项：

①线程标识符。为每个线程赋予一个唯一的线程标识符。

②一组寄存器。包括程序计数器PC、状态寄存器和通用寄存器的内容。

③线程运行状态。用于描述线程正处于何种运行状态。

④优先级。描述线程执行的优先程度。

⑤线程专有存储区。用于线程切换时存放现场保护信息和与该线程相关的统计信息等。

⑥信号屏蔽。即对某些信号加以屏蔽。

⑦堆栈指针。在线程运行时，经常会进行过程调用，而过程的调用通常会出现多重嵌套的情况，这样，就必须将每次过程调用中所使用的局部变量以及返回地址保存起来，为此应为每个线程设置一个堆栈，用它来保存局部变量和返回地址。相应地，在TCB中也须设置两个指向堆栈的指针——指向用户自己堆栈的指针和指向核心栈的指针，前者是指当线程运行在用户态时，使用用户自己的用户栈来保存局部变量和返回地址，后者是指当线程运行在核心态时使用系统的核心栈。

3、多线程OS中的线程属性

（1）线程是一个轻型实体，它不拥有系统资源，但每个线程都有一个唯一的标识符和一个线程控制块，线程控制块记录了线程执行的寄存器和栈等现场状态。

（2）不同的线程可以执行相同的程序，即同一个服务程序被不同的用户调用时，操作系统会为它们创建成不同的线程。

（3）同一进程中的各个线程共享该进程所拥有的资源。

（4）线程是处理机的独立调度单位，多个线程是可以并发执行的。在单CPU的计算机系统中，线程可交替地占用CPU；在多CPU的计算机系统中，各线程可同时占用不同的CPU，若各个CPU同时为一个进程内的各线程服务，则可缩短进程的处理时间。

（5）一个线程被创建后便开始了它的生命周期，直至终止，线程在生命周期内会经历阻塞态、就绪态和运行态（执行态）等各种状态变化。

4、多线程OS中的进程属性

（1）进程是一个可拥有资源的基本单位。在多线程OS中，进程仍是作为系统资源分配的基本单位，任一进程所拥有的资源都包括:用户的地址空间、实现进程（线程）间同步和通信的机制、已打开的文件和已申请到的I/O设备，以及一张由核心进程维护的地址映射表，该表用于实现用户程序的逻辑地址到其内存物理地址的映射。

（2）多个线程可并发执行。通常一个进程都含有若干个相对独立的线程，其数目可多可少，但至少要有一个线程，由进程为这些（个）线程提供资源及运行环境，使它们能并发执行。在OS中的所有线程都只能属于某一个特定进程。

（3）进程已不是可执行的实体。在多线程OS中，是把线程作为独立运行（或称调度）的基本单位，此时的进程已不再是一个基本的可执行实体，虽然如此，进程仍具有与执行相关的状态，例如所谓进程处于“执行”状态，实际上是指该进程中的某线程正在执行。此外，对进程所施加的与进程状态有关的操作也对其线程起作用，例如在把某个进程挂起时，该进程中的所有线程也都将被挂起，又如在把某进程激活时，属于该进程的所有线程也都将被激活。