《操作系统设计原理》第二章进程与线程

第二章进程与线程

为了提高计算机系统的效率，现代操作系统已经不再采用单道程序执行的模式，取而代之的是多道程序并发执行的设计思想。并发执行的实现模式使得“程序”这一静态概念无法准确地描述系统的运行。在现代操作系统中，一般以进程作为资源分配的基本单位和基本实体，因此，进程是计算机系统执行时的一个重要实体。只有深刻了解了进程的基本概念，才能很好的理解操作系统各个部分的功能和工作。

2.1多道程序与并发执行

2.1.1单道程序的顺序执行

在单道程序系统中，每次只允许一道程序运行，在这个程序运行时，它将独占一切系统资源，而且系统按照程序的步骤顺序地执行，前一操作完成后，才能进入下一步操作，而且在该程序执行完之前，其他程序只能等待。
程序顺序执行地特点：

1. 程序执行的顺序性。处理器的操作严格按照程序所规定的顺序执行，即前一步操作完成后，才能进入下一步操作。
2. 程序运行时对资源的独占性。程序运行时，运行程序独占系统全部资源，没有凄然程序与之争夺，只有程序本身的动作才能改变资源的状态。
3. 程序结果的可再现性。
4. 程序结果的封闭性。
   顺序程序徐的顺序执行时的资源独占性却使系统的资源得不到充分的利用。程序仅用到了部分资源，其他资源只能处于空闲状态。尤其在对外部设备的操作时间内，系统处理器大部分时间都处在等待状态。

2.1.2多道程序的并发执行

程序并行执行的特点：

1. 程序执行时的资源共享性
2. 程序失去了封闭性和可再现性
3. 并发程序之间的相互制约性

2.2进程模型

2.2.1进程的概念

进程时能够和其他程序并行执行的程序段在某数据集合上的一次运行过程，它是系统资源分配和调度的一个独立单位。
能构成进程的程序可以和别的程序并行执行，不能并行执行的程序段在执行中不能成为进程。
进程的基础是一个程序段，而不是整个程序。
进程是程序段在一些数据上的一次运行，即在某数据集合上的运行。
进程是一个动态的概念，它实质上是程序的一次执行过程，进程具有动态性。
进程是能够独立运行的基本单位，具有独立性，是资源分配和调度的单位。

1. 动态性：
   进程的动态性表现在它具有一定的生命周期性，即它由创建而产生，由调度而执行，因得不到资源而阻塞，最后由撤销而消亡。
   程序始终存储在外存中，是一个静态实体。
2. 并发性
   进程的并发性是指多个进程可以同时装入到内存中，并能在一段时间内同时运行。与进程的并发性相对应，程序始终处于外存中，因此没有并发的性质。
3. 独立性
   进程的独立性是指进程是操作系统完成工作的基本单元
   进程是一个能独立运行的基本单元，只有进程才能作为一个独立的单元，去占有处理器运行。
   进程是申请、拥有系统进程的基本单位，只有进程才能发出资源申请并拥有资源。
   进程是独立参与调度的基本单位，即在处理器空闲的时候，只有进程才能作为一个独立的单元去参与竞争并获得处理器资源。
   与进程的独立性对应，程序作为一个静态实体，既不可能独立运行，也不可能去申请资源、拥有资源或参与调度。
4. 异步性
   进程的异步性是指并发的进程各自以其相对独立的、不可预知的速度向前推进。而程序既没有动态执行，当然也就不存在异步性。
5. 结构性
   进程是一个在内存中的实体，遵循数据结构的规范，它必须要有自己的数据结构描述部分。
   进程的机构性是指进程是由程序段、数据端和PCB等部分组成的一个实体，又是也成为进程映像。
   与进程的结构性相对于，程序没有这种数据结构描述，他主要是进程中程序段的一部分。

2.2.2进程的实体

1. 进程的组成
   ①程序：一个进程可以对应一个完成的程序，也可以对应一个程序的一部分程序，是进程运行所对应的执行代码，它规定进程一次活动所需完成的功能。多个进程也可以同时对应一个程序，如果一个程序被多个进程共享执行，它应该具有以下性质：它是纯代码的，即它在执行中自身保持不变，该性质也成为可重入；享有该程序的各进程应提供工作区。
   ②数据集合：程序运行时需要用到的数据和开辟的工作区构成进程一次运行时的数据集合，它为某进程所专用。
   ③进程控制块：为了描述和控制进程的活动情况，系统为每个进程定义了一个数据结构——进程控制块PCB，用它描述和标志进程的存在。PCB与进程一一对应，系统根据PCB的存在而感知进程的存在，PCB是进程的唯一存在标志。
2. PCB一般内容
   ①进程名
   ②当前状态
   ③进程优先级
   ④现场信息保护区
   ⑤程序和数据的地址
   ⑥资源清单
   ⑦队列指针
   ⑧进程的家族关系
3. PCB的组织方式
   ①线性方式
   ②链接方式
   ③索引方式

2.2.3进程状态和转换

进程的三种基本状态：

1. 就绪状态
2. 执行状态
3. 阻塞状态

UNIX系统的进程状态

1. 运行状态
2. 高优先级睡眠状态
3. 低优先级睡眠状态
4. 创建进程状态
5. 等待终止处理状态
6. 暂停状态

2.2.4进程控制

为了对进程进行控制，在操作系统中必须设置一个机构，它具有管理进程的功能，这是内核。内核的功能通过原语操作来实现。
原语是由若干条机器指令构成的程序模块，它是用于完成特定功能的一段程序，为了保证操作的准确性，原语在执行期间不可分割，原语一旦开始执行直到完毕之前，是不允许中断的，在操作系统中，用于进程控制的原语主要有：

1. 创建原语
   创建进程有两个办法：由操作系统创建，由其他进程创建。
   基本操作步骤：为新建进程申请一空白PCB，并为之分配唯一的数字标识符，使之获得PCB的内部名称，若该进程所对应的程序不在内存中，则应将他从外存储器调入内存，并将该进程的有关信息填入PCB中，然后置该进程为就绪状态，并将它排入就绪队列和进程家族队列中。
2. 撤销原语
   当一个进程完成任务后，撤销原语可即使释放它所占用的资源。撤销进程的实质是撤销进程存在的标志——PCB。
   基本操作步骤：以调用者提供的标识符n为索引，从PCB集合中检索出被撤销进程的PCB，获得该进程的内部状态标志；然后找到该进程所在的队列，将它从该队列中消去，并撤销属于该进程的一切子孙进程，若有父进程则从父进程PCB中删除指向该进程的指针，并释放撤销进程所占用的全部资源，或者将其归还给父进程，或者归还给系统。若被撤销的进程处于执行状态，应立即中断该进程的执行，并设置调度标志为真，以指示该进程被撤销后系统应重新调度。
3. 阻塞原语
   进程在运行过程中，有时会因缺乏资源，等待I/O操作等时间的发生而无法继续进行，于是便通过调用阻塞原语把自己阻塞起来。
   基本操作步骤:开始时，进程处于执行状态，因此应中断CPU的执行，并保存该进程的CPU现场，然后把阻塞状态赋予该进程，并将它插入到具有相同实体的阻塞队列中。
4. 唤醒原语
   一个进程因为等待事件的发生而处于阻塞状态，当等待的事件完成后进程又具有了继续执行的条件，这是就要把该进程从阻塞状态转变为就绪状态。
   基本操作步骤：先把被唤醒进程从组赛队列中移出，设置该进程当前状态为就绪状态，然后再将该进程插入到就绪队列中。

阻塞原语与唤醒原语是一对功能相反的原语，如果在某进程中调用了阻塞原语，必须在与之想合作的另一进程或其他相关进程中设置唤醒原语，以唤醒被阻塞的进程，否则被阻塞的进程将不能被唤醒而长久的处于阻塞状态，从而无运行机会。

2.3线程模型

2.3.1线程的概念

在操作系统中引入线程是为了减少程序并发执行所付出的时空开销，使操作系统具有更好的并发性。
线程是进程的一个实体，它是比进程更小的能够独立运行的基本单位，在为其创建、撤销和切换时所付出的开销更小，能够显著地提高程序执行的并行程度和系统吞吐量，线程是指进程内的一个执行单元，也是进程内的可调度实体，在多线程的操作系统中，通常在一个进程中包括多个线程，每个线程都作为利用CPU的基本单位，是具有最小开销的实体。

1. 线程的属性
   ①线程由四部分组成，一个唯一的标识符、描述处理器状态的一组状态寄存器及其内容、两个栈、一个私有存储器。线程可与同属于一个进程的其他线程共享进程所拥有的全部资源。
   ②线程是进程的一个实体，是被系统独立调度和分派的基本单位
   ③一个线程可以创建和撤销另一个线程，同一个进程中的多个线程可以并发执行，不同进程中的线程也能并发执行。
2. 线程的状态
   一个新进程创建时，该进程的一个线程也被创建，这个主线程还可以在它所属的进程内部创建其他新进程，为新线程提供开始执行的指令指针和参数，同时为新进程提供空间栈等，并且将新线程投入到就绪队列中。
   当CPU空闲时，线程调度程序从就绪队列中选择一个线程，另其投入运行。
   线程在运行过程中如果需要等待某个事件，它就让出CPU，进入阻塞状态。
   3.线程的控制
   ①线程的创建
   ②线程的撤销
   ③线程等待
   ④线程让权

2.3.2线程与进程的比较

1. 线程与进程的关系
   线程和进程是两个密切相关的概念，一个进程至少拥有一线程，进程根据需要可以创建若干各线程。线程自己基本上不拥有资源，只拥有少量必不可少的资源。
   进程中的所有线程共享该进程的资源，它们驻留在同一块地址空间中并且可以访问到相同的数据。
2. 引入线程的重要性
   ①在一个进程中创建一个新的线程比创建一个全新的进程所需要的时间要少。
   ②撤销一个线程比撤销一个进程所需的时间要少
   ③线程之间的切换比进程之间的切换花费的时间要少
   ④线程提高了不同的执行程序之间的通信效率
3. 线程与进程进行比较
   ①调度
   在引入线程的操作系统中，则把线程作为调度和分派的基本单位，而把进程作为资源分配的基本单位，使传统进程的两个属性分开，线程可以轻装运行，从而可以显著地提高系统的并发程度。在同一个进程中，线程的切换不会引起进程的切换，只有当从一个进程中的线程切换到另一个进程中的线程时，才会引起进程的切换。
   ②并发性
   在引入线程的操作系统中，不仅进程之间可以并发执行，而且在一个进程中的多个线程，也可以并发执行，因而操作系统具有更好的并发性，从而可以更有效地使用系统中资源，提高系统地吞吐量。
   ③拥有资源
   进程都是拥有资源地独立单位，线程自己不拥有系统资源(只有少量地必不可少地资源)，但它可以访问其隶属进程地资源。
   ④系统开销
   由于创建或撤销进程时，系统都要为之分配或回收资源，如内存空间、I/O设备等，因此操作系统所付出地时间和空间开销将显著地大于重建或撤销线程地开销。

2.3.3线程的实现

1. 内核支持线程的实现
   对于通常的进程，不论是系统进程还是用户进程，在进行切换时都依赖于内核中的调度程序。
2. 用户级线程的实现
   ①运行时系统，所谓运行时系统，实质上是用于管理和控制线程的函数（过程）的集合，其中包括用于创建和撤销线程的函数、线程同步和通信的函数以及实现线程调度的函数。
   ②内核控制线程，又称为轻型进程，每一个进程都可拥有多个LWP，同用户级线程一样，每个LWP都有着自己的数据结构，其中包括线程标识符、优先级、状态，另外还有栈和局部存储区。

2.4多核、多线程与超线程

2.4.1多核技术简介

多处理器系统使用系统总线来连接多个不同的处理器，当处理器速度非常高时，系统总线的速度将成为整个系统性能的瓶颈。新兴的多处理器技术使用片内总线连接各个不同的处理器，这种结构被称为片上多处理器（CMP）。

2.4.2多核基本概念

1. 多处理器结构
   多处理器结构就是在一条总线上挂载多个处理器。
   对称多处理器结构（SMP）：多个CPU的角色功能平等，没有主从之分。
   非对称多处理器结构（AMP）：不同CPU的角色地位的不同，有主从之分。
2. 超线程结构
   超线程技术是在一个CPU上同时执行两个程序共同分享该CPU内的资源，需要在处理器上多加入一个逻辑处理单元指针。
   当两个线程都需要同一个资源时，不能同时使用，超线程的性能并不等同于两个CPU的性能。
3. 多核结构
   多核结构就是在一个CPU里面布置两个执行核，两套执行单元，而其他部分共享。
4. 多核超线程结构
   在多核情况下使用超线程技术，每个物理执行核里面又分解两个或多个逻辑执行单元，

多处理器共享物理资源最少，成本最高；超线程共享最多，成本最低；多核介于两者之间。

2.5进程管理实例

2.5.1UNIX进程管理

1. UNIX的进程结构
   proc结构主要包括以下各项
   ①状态域，标识进程的状态
   ②user结构及系统栈指针
   ③存储区位置和长度信息，指明进程在内存或在外存中的位置和大小
   ④若干用户标识
   ⑤若干进程标识
   ⑥调度信息
   ⑦软中断信号
   ⑧事件描述域
   ⑨进程页表指针
   user结构
   ①一个指向proc结构的指针
   ②真正用户标识及有效用户标识，决定进程的各种特权
   ③计时器域，记录进程及其后代在用户态和核心态运行所用的时间
   ④中断及软中断处理的有关参数shiyi
   ⑤一个含有系统调用结果的返回值项
   ⑥与文件结构有关的若干项
   ⑦与文件读写有关的若干项
   ⑧用户文件描述符表
   ⑨出错域
   ⑩对该进程创建的所有文件设置许可权方式中断的屏蔽模式项
   ⑪与进程上下文切换、现场保护有关的各项
   ⑫进程正文段、数据端、栈段长度
2. UNIX的进程状态及转换
   ①用户执行态
   ②核心执行态
   ③在内存中的就绪态
   ④在内存中的睡眠态
   ⑤就绪且换出态
   ⑥睡眠且换出态
   ⑦被抢先态
   ⑧创建态
   ⑨僵死态
3. UNIX

2.5.2Linux进程管理

Linux进程的状态
①不可中断等待态
②可中断等待态
③运行态
④僵死态
⑤挂起态

2.5.3Windows进程管理

Linux进程的状态
①就绪状态
②备用状态
③运行状态
④等待状态
⑤转换状态
⑥终止状态
⑦初始化状态