【操作系统】进程的描述与控制(1)

写在前面
资料来源于我的操作系统老师，WYQ老师

2.1 前趋图和程序执行

2.1.1 程序的顺序执行及其特征

1. 程序的顺序执行

一个程序由若干个程序段组成，而这些程序段的执行必须是顺序的，这种程序执行的方式就称为程序的顺序执行。

2.程序顺序执行时的特征

(1) 顺序性
处理机的操作严格按照程序所规定的顺序执行。
(2) 封闭性
程序一旦开始执行，其计算结果不受外界因素的影响。
(3) 可再现性
程序执行的结果与它的执行速度无关(即与时间无关)，而只与初始条件有关

2.1.2 前趋图

前趋图是一个有向无环图 (DAG-Directed Acyclic Graph)，用于描述进程之间执行的前后关系。

• 结点 ： 描述一个程序段或进程，或一条语句。
• 有向边： 结点之间的前趋关系“->”
• Pi->Pj ：Pi 必须在 Pj 开始之前完成，则 Pi是Pj的直接前趋，Pj是Pi的直接后继
• 初始结点: 没有前趋的结点
• 终止结点: 没有后继的结点
• 重量: 结点的程序量或执行时间

前趋图中绝对不能出现循环

2.1.3 程序的并发执行及其特征

1. 程序的并发执行

例：在系统中有n个作业，每个作业都有三个处理步骤，输入数据、处理、输出，即Ii,Ci,Pi (i=1,2,3,…,n)。
这些作业在系统中执行时是对时间的偏序，有些操作必须在其它操作之前执行，这是有序的，但有些操作是可以同时执行的。

2. 程序并发执行时的特征

(1) 间断性
在多道程序设计的环境下，程序是并发执行的，由于它们共享系统资源，以及为完成同一项任务而相互合作，致使在这些并发执行的程序之间形成了相互制约的关系。
相互制约导致并发程序具有“执行-暂停-执行”这种间断性的活动规律。
(2) 失去封闭性
程序在并发执行时，多道程序共享系统的资源，因而这些资源的状态由多道程序来改变，程序运行失去封闭性。一程序的运行受到其他程序的影响。
(3) 不可再现性
程序在并发执行时，失去封闭性导致其失去可再现性。
(4) 程序与计算不再一一对应

程序并发执行时失去程序的封闭性和可再现性的主要原因是什么？
解答： 并发运行的程序相互制约

3.程序并发执行的描述

• 若干个程序段同时在系统中运行，这些程序的执行在时间上是重迭的；
• 一个程序段的执行尚未结束，另一个程序段的执行已经开始；
• 即使这种重迭是很小的，也称这几个程序段是并发执行的。

描述
cobegin
S1;S2;S3;…;SN
coend;
其中Si(i=1,2,3,…,n)表示n个语句（程序段），这n个语句用cobegin和coend括起来表示这n个语句是可以并发执行的。
co是concurrent的头两个字符。 这是Dijkstra提出的。

4.采用并发程序设计的目的

• 充分发挥硬件的并行性，消除处理器和I/O 设备的互等现象，提高系统效率。
• 并发程序设计是多道程序设计的基础，多道程序的实质就是把并发程序设计引入到单处理器的系统中。

练习题

1.[2017考研真题 28]与单道系统相比，多道程序系统的优点是（D）
Ⅰ．CPU利用率高
Ⅱ．系统开销小
Ⅲ．系统吞吐率大
Ⅳ．I/O设备利用率高

A．仅 Ⅰ、Ⅲ
B．仅 Ⅰ、Ⅳ
C．仅 Ⅱ、Ⅳ
D．仅 Ⅰ、Ⅲ 、Ⅳ

2.2 进程的描述

在多道程序设计的环境下，为了描述程序在计算机系统内的执行情况，必须引人新的概念——进程。

1. 进程（ Process ）的定义

进程是一个可并发执行的程序在其数据集上的一次运行过程，是操作系统进行资源分配的单位,进程表示资源的占用和所要做的工作。

各种不同的进程定义

• 行为的一个规则叫做程序，程序在处理机上执行时所发生的活动称为进程（Dijkstra)。
• 进程是这样的计算部分，它是可以和其它计算并行的一个计算。(Donovan)
• 进程（有时称为任务）是一个程序与其数据一道通过处理机的执行所发生的活动。（Alan.C. Shaw)
• 进程是执行中的程序。（Ken Thompson and Dennis Ritchie )

进程的定义：可并发执行的程序在一个数据集合上的一次执行过程。
进程是进程实体的运行过程，是系统进行资源分配和调度的一个独立单位。

2. 进程的特征

动态性、并发性、独立性、异步性、结构性
(1)动态性——进程是程序在处理机上的一次执行过程。具有生命期。
(2)并发性——多个进程实体同存于内存中，在一段时间内同时运行。以提高资源利用率。
(3) 独立性——进程实体是一个能独立运行、独立分配资源和独立接受调度的基本单位，而程序则不是。
(4) 异步性——进程按各自独立的、不可预知的速度向前推进。
(5) 结构性——进程控制块(PCB)+程序段+相关的数据段=进程实体。

3. 进程与程序的区别

• 进程是动态的，程序是静态的
• 进程是暂时的，程序是永久的
• 进程与程序的组成不同：
  程序是指令的有序集合；
  进程包括程序、数据和进程控制块(即进程状态信息）
• 进程与程序的对应关系：
  无一一对应关系(一个进程可顺序执行多个程序;一个程序可由多个进程共用）
  

练习题

操作系统引入进程后，不能（C）
A．提高资源的利用率
B．正确描述程序的执行情况
C．提高用户编程能力
D．允许一个程序同时被多个用户调用

进程的类型
（1）系统进程：执行操作系统核心代码的进程。系统进程起着资源管理和控制的作用。
（2）用户进程：执行用户程序的进程。
（3）计算进程，I/O进程。
（4）前台进程，后台进程。

4、进程的基本状态-三态模型

• 运行态（running）：进程占有处理器正在运行。
• 就绪态（ready）：进程具备运行条件，等待系统分配处理器以便运行。
• 等待态（wait）：又称为阻塞（blocked）态或睡眠（sleep）态，进程不具备运行条件，正在等待某个事件的完成。

不同系统设置的进程状态数目不同

三态转换图（觉得可爱就放了一下 (╹▽╹)）

正经图来了

引起进程状态转换的具体原因

• 运行态→等待态：等待使用资源或某事件发生；
• 等待态→就绪态：资源得到满足或事件发生；
• 运行态→就绪态：运行时间片到；出现有更高优先权进程。
• 就绪态→运行态：CPU空闲时选择一个就绪进程。
  

练习题

1.[2015考研题 25] 下列选项中会导致进程从执行态变为就绪态的事件是（D）
A．执行P(wait)操作
B．申请内存失败
C．启动I/O 设备
D．被高优先级进程抢占

2.[2014考研题 26] 一个进程的读磁盘操作完成后，操作系统针对该进程必做的是（A）
A．修改进程状态为就绪态
B．降低进程优先级
C．给进程分配用户内存空间
D．增加进程时间片大小

5、五态模型

五态模型在三态模型的基础上引进了新建态和终止态。

• 新建态—对应进程刚被创建的状态。为一个新进程创建必要的管理信息，它并没有被提交，而是在等待操作系统完成创建进程的必要操作。
• 终止态—进程的终止状态。首先，等待操作系统进行善后，然后，退出主存。进入终止态的进程不再执行，但依然临时保留在系统中等待善后。一旦其他进程完成了对终止态进程的信息抽取之后，系统将删除该进程。

进程状态转换的具体原因

• NULL→新建态：创建一个子进程。
• 新建态→就绪态：系统完成了进程创建操作，且当前系统的性能和内存的容量均允许。
• 运行态→终止态：一个进程到达自然结束点，或出现了无法克服的错误，或被操作系统所终结，或被其他有终止权的进程所终结。
• 终止态→NULL：完成善后操作。
• 就绪态→终止态：某些操作系统允许父进程终结子进程。
• 等待态→终止态：某些操作系统允许父进程终结子进程。

6、七态模型

(1)为什么要有“挂起”状态?
由于进程的不断创建，系统资源已不能满足进程运行的要求，就必须把某些进程挂起（suspend），对换到磁盘镜像区中，暂时不参与进程调度，起到平滑系统负载的目的。
(2)引起挂起状态的原因

• 终端用户的需要：终端用户在自己程序运行中发现问题要求使正在执行的进程暂停执行而使进程处于挂起状态。
• 父进程的需要：父进程为了考查和修改某个子进程，或者协调各子进程间的活动，需要将该子进程挂起。
• 操作系统的需要：操作系统为了检查运行中的资源使用情况或进行记帐，而将某些进程挂起。
• 对换的需要：为了提高内存的利用率，而将内存中某些进程挂起，以调进其它程序运行。
• 负荷调节的需要：由于工作负荷较重，而将一些不重要的进程挂起，以保证系统能正常运行（实时操作系统） 。

(3)进程增加的两个新状态

• 挂起就绪态（ready suspend）：表明进程具备运行条件但目前在辅助存储器中，当它被对换到主存才能被调度执行。
• 挂起等待态（blocked suspend）：表明进程正在等待某一个事件且在辅助存储器中。

(4)引起进程状态转换的具体原因

• 等待态→挂起等待态：系统根据当前资源状况和性能要求，决定将一个等待态进程对换出去成为挂起等待态；
• 就绪态→挂起就绪态：系统根据当前资源状况和性能要求，决定把就绪态进程对换出去成为挂起就绪态。
• 挂起等待态→挂起就绪态：引起进程等待的事件发生之后，相应的挂起等待态进程将转换为挂起就绪态。
• 挂起等待态→等待态：当一个进程等待一个事件时，原则上不需要把它调入内存。但是，当其它进程退出后，主存已经有了足够的自由空间，而某个挂起等待态进程具有较高的优先级并且操作系统已经得知导致它阻塞的事件即将结束，便可能发生这一状态变化。
• 挂起就绪态→就绪态：内存中没有就绪态进程，或挂起就绪态进程具有比就绪态进程更高的优先级，将把挂起就绪态进程转换成就绪态。
• 运行态→挂起就绪态：当一个高优先级等待进程的等待事件结束后，它将抢占CPU，而此时主存不够，从而可能导致正在运行的进程转化为挂起就绪态。运行态的进程也可以自己挂起自己。
• 新建态→挂起就绪态：根据系统当前资源状况和性能要求，可以将新建进程对换出去成为挂起就绪态。

挂起的进程将不参与低级调度直到它们被对换进主存。

(5)挂起进程具有如下特征

• 该进程不能立即被执行。
• 挂起进程可能会等待事件，但所等待事件是独立于挂起条件的，事件结束并不能导致进程具备执行条件。
• 进程进入挂起状态是由于操作系统、父进程或进程本身阻止它的运行。
• 结束进程挂起状态的命令只能通过操作系统或父进程发出。

练习题

针对分时系统，进程的三种状态之间有几种可能的转换关系？

在单处理机的分时系统中，分配给进程P的时间片用完后，系统进行切换，结果调度到的仍然是进程P。有可能出现上述情形吗？如果可能请说明理由。
解答：
有可能出现上述情况。

• 例如,若在进程P时间片用完后，被迫回到就绪队列时，就绪队列为空，这样进程P就是就绪队列中惟一的一个进程，于是调度程序选中的进程必是进程P；
• 又如在按优先级调度的系统中，就绪队列按进程优先级排列，在进程P时间片用完之后回到就绪队列时，若其优先级高于当前就绪队列中的其他进程程，则它将排在就绪队列之首，从而再次被调度程序选中并投入运行。

7、进程控制块

进程控制块中的信息
1)进程标识符信息 ：每个进程都必须有一个唯一的标识符

• 内部标识符：便于系统使用
• 外部标识符：便于用户使用

2)处理机状态信息(现场信息)
处理机状态信息主要由处理机的各种寄存器中的内容组成。处理机运行时的信息存放在寄存器中，当被中断时这些信息要存放在PCB中。

• 通用寄存器
• 指令计数器
• 程序状态字PSW
• 用户栈指针
• 指向该进程页表的指针

3)进程调度信息

• 进程优先级
• 进程调度所需的其他信息（执行时间等）
• 事件
• 进程状态

4)进程控制信息

• 程序和数据的地址
• 进程同步和通信机制
• 资源清单（打开文件表等）
• 链接指针

练习题

1.“程序状态字寄存器内容”属于进程控制块的©
A、标识信息
B、控制信息
C、现场信息
D、调度信息

2.进程控制块中的现场信息是在（D）保存的。
　A、创建进程时
　B、处理器执行指令时
　C、中断源申请中断时
　D、中断处理程序处理中断前

进程组织方式
1）线性方式:


2）索引方式

CPU模式和进程类型

进程的两大类：
系统进程：运行在内核模式，执行操作系统代码；
用户进程：运行在用户模式，执行用户程序代码。

练习题

1.判断：操作系统通过PCB来控制和管理进程，用户进程也可以对PCB中的信息进行读写操作。
答案：错误

2.在一个单处理机系统中，若有10个用户进程，则处于“运行”、“阻塞”、“就绪”状态的进程数量最小和最大值分别可能是多少？
答案：
运行态：最少0个，最多1个；
阻塞态：最少0个，最多10个；
就绪态：最少0个，最多9个。

3.某系统的进程状态变迁如图所示（设该系统的进程调度方式为可剥夺方式）

1）说明进程发生变迁1、3、5的原因；
2）当发生一个变迁时可能引起另一个变迁的发生，则这两个变迁称为因果变迁。下述因果变迁是否会发生，如果有可能的话，会在什么情况下发生？ (a) 3→5 (b) 3→2 © 2→1 (d) 4→1 (e) 4→5
3）根据状态变迁图说明该系统的调度策略和调度效果。
答案：
1）系统中当前运行着的进程因中止、结束或等待某个I/O事件而退出运行，并且此时高优先就绪队列中没有等待进程，发生变迁1；
当运行着的进程发出I/O请求，需要等待I/O事件完成才能继续进行，发生变迁3；
当有高优先级进程进入就绪队列，并且运行着的进程是低优先级进程时，高优先级进程会抢占CPU，发生变迁5。
2）
(a) 3→5 是因果变迁；
(b) 3→2 不是；
© 2→1 是；
(d) 4→1 不是；
(e) 4→5 是。
3）此系统采用根据进程优先级分别设置高优先就绪队列和低优先就绪队列：
高优先进程运行100ms 后就降为低优先就绪队列，以使短进程优先完成；
对低优先就绪队列中的进程采用时间片轮转法（时间片程度为500ms），确保每个进程都有运行机会；
同时，对于进行了I/O操作的进程赋予一个高优先级，保证对外界事件可以尽快响应。

4.程序并发执行时失去封闭性和可再现性的主要原因是：
答案：运行程序的相互制约

5.处于等待状态的进程也希望占有处理机
答案：错

6.简述进程控制块的作用。
答案：

• 进程控制块是进程存在的唯一标志；
• 是操作系统对进程进行控制和管理的依据；
• 记录进程的各种属性，描述进程的动态变化过程；
• 与进程一一对应。

练习题

1.系统中有N(N>2)个进程,并且当前没有执行进程调度程序,则(D)不可能发生.
A.有一个运行进程,没有就绪进程,还有N-1个进程处于等待状态
B.有一个运行进程, N-1个就绪进程, 没有进程处于等待状态
C.有一个运行进程和一个就绪进程,还有N-2个进程处于等待状态
D.没有运行进程,但有两个就绪进程,还有N-2个进程处于等待状态

2.在进程管理中，当©时，进程从阻塞状态变为就绪状态。
A.进程被进程调度程序选中
B.等待某一事件
C.等待的事件发生
D. 时间片用完

3.分配到必要的资源并获得处理机时的进程状态是(B)。
A.就绪状态
B.执行状态
C.阻塞状态
D.撤消状态

4．进程的三个基本状态在一定条件下可以相互转化，进程由就绪状态变为运行状态的条件是(D)。
A.时间片用完
B.等待某事件发生
C.等待的某事件已发生
D.被进程调度程序选中
5．进程的三个基本状态在一定条件下可以相互转化，进程由运行状态变为阻塞状态的条件是(B)。
A.时间片用完
B.等待某事件发生
C.等待的某事件已发生
D.被进程调度程序选中

6．下列的进程状态变化中，©变化是不可能发生的。
A．运行→就绪
B．就绪→运行
C．等待→运行
D．等待→就绪

7．一个运行的进程用完了分配给它的时间片后，它的状态变为(A)。
A.就绪
B.等待
C.运行
D.由用户自己确定

8．操作系统通过(B)对进程进行管理。
A. JCB
B. PCB
C. DCT
D. CHCT

9．一个进程被唤醒意味着(D)。
A. 该进程重新占有了CPU
B. 它的优先权变为最大
C. 其PCB移至等待队列队首
D. 进程变为就绪状态

10．多道程序环境下，操作系统分配资源以©为基本单位。
A. 程序
B. 指令
C. 进程
D. 作业

2.3 进程控制

• 进程控制是进程管理中最基本的功能
  用于创建和撤销进程；
  控制进程状态的转换；
• 进程控制是操作系统的内核通过原语来实现的

进程的创建与终止
进程的阻塞与唤醒
进程的挂起与激活

原语(primitive)：由若干条指令构成的“原子操作(atomic operation)”过程，作为一个整体而不可分割－－要么全都完成，要么全都不做。许多系统调用就是原语。
特征:“不可中断性”。
实现方法：屏蔽中断。

2.3.1 进程创建

1. 进程图

• 描述进程的家族关系的有向树.
• 进程Pi创建了进程Pj，则Pi是Pj的父进程， Pj是Pi的子进程，用一条由进程Pi指向进程Pj的有向边来描述。
• 创建父进程的进程为祖先进程，由此形成进程树，树根为进程家族的祖先。
• 
  计算机系统的启动过程
• BIOS启动（POST加电自检，读取MBR）
• 系统引导（bootloder）
• 启动内核
• 初始化系统

2.引起创建进程的事件

• 用户登录
• 作业调度
• 提供服务
• 应用请求

练习题

1.[2009年考研题 24]下列选项中，导致创建新进程的操作是（C）
I 用户登陆成功
II 设备分配
III 启动程序执行
A、仅I和II
B、仅II和III
C、仅I和III
D、I、II、III

3.进程的创建过程

操作系统发现有创建新进程的事件后，调用进程创建原语(CreateProcess/Fork)创建新进程。
创建过程：
(1)申请空白PCB
(2)为新进程分配资源
(3)初始化PCB
(4)将新进程插入就绪队列

父进程创建子进程与主程序调用子程序有何不同？

• 父进程创建子进程后，父进程与子进程同时执行；
• 主程序调用子程序，主程序暂停在调用点，子程序开始执行，直到子程序执行完毕返回，主程序开始执行。

2.3.2 进程终止

1. 引起进程终止的事件

1. 正常结束
2. 异常结束
   越界错误、保护错、非法指令、特权指令错、运行超时
3. 外界干预

• 操作员或操作系统干预
• 父进程请求
• 父进程终止

进程的终止过程
(1) 根据被终止进程的标识符，从PCB集合中检索出该进程的PCB，从中读出该进程的状态。
(2) 若被终止进程正处于执行状态，应立即终止该进程的执行，置调度标志为真，用于指示该进程被终止后应重新进行进程调度。
(3) 若该进程有子孙进程，应将其所有子孙进程予以终止，以防他们成为不可控的进程。
(4) 将被终止进程所拥有的全部资源，或归还其父进程，或归还系统。
(5) 将被终止进程的PCB从所在队列或链表中移出，挂入空白PCB队列。

2.3.3 进程的阻塞与唤醒

(block与wakeup原语)

1. 引起进程阻塞的事件

1. 请求系统服务
2. 启动某种操作
3. 新数据尚未到达
4. 无新工作可做

2.进程阻塞过程

• 调用阻塞原语阻塞自己，终止该进程的执行，将PCB中的状态改为阻塞，并加入到阻塞队列中；
• 然后转进程调度，将处理机分配给另一进程，并进行进程切换以及处理机状态的保护与重新设置。
  

3.进程唤醒过程

• 阻塞进程等待的事件发生，有关进程调用唤醒原语把等待该事件的进程唤醒。
• 把阻塞进程从等待该事件的阻塞队列中移出，将其PCB中的现行状态改为就绪，将PCB插入到就绪队列中。
• 阻塞原语与唤醒原语作用相反，成对使用
  

2.3.4 进程挂起/激活

(suspend/active)

1.进程的挂起

当出现引起进程挂起的事件时，系统利用挂起原语将指定进程挂起。

• 检查被挂起进程的状态；
• 若处于活动就绪，则改为静止就绪；
• 若处于活动阻塞，则改为静止阻塞；
• 将该进程PCB复制到内存指定区域；
• 若挂起的进程正在执行，则重新进行进程调度。

2.进程激活

• 当发生激活进程的事件时，系统利用激活原语将指定进程激活。
• 激活原语先将进程从外存调入内存，检查该进程的状态;
  若处于静止就绪，则改为活动就绪;
  若处于静止阻塞，则改为活动阻塞;
  若采用抢占调度策略，则新进程进入就绪队列时，检查是否要重新进行进程调度。

练习题

1.只作用于一个进程一次的原语是（A）
A.创立
B.解挂
C.阻塞
D.挂起

2.给出用于进程控制的四种常见的原语创建原语、撤消原语、阻塞原语、唤醒原语。

3.操作系统对进程的管理和控制主要是通过控制原语实现的。
错误：对

4.原语的执行是屏蔽中断的。
错误：对