第三章 进程管理(1)

第三章 进程管理
计算机科学工程系 主讲：何中胜
主要内容

进程的基本概念√ 进程的状态及其转换√ 进程描述√ 进程控制


进程调度√
进程互斥与同步√ 进程通信


死锁√ 线程 Linux的进程与线程机制
2019/2/12
2
3.1 进程的基本概念
3
2019/2/12
为何引入进程概念
11
2019/2/12
S0 Cobegin P1；P2；... Pn Coend Sn 这里，S0，Sn分别表示并发程序段P1，P2，…， Pn开始执行前和并发执行结束后的语句。P1， P2，…，Pn也可以由同一程序段中的不同语句 组成。
12
2019/2/12
语句间并发执行的条件
1966年Bernstein 提出了两相邻语句S1，S2可以并发执行的 条件： 将程序中任一语句Si划分为两个变量的集合R(Si)和W(Si)。其 中 R(Si)={a1 a2 … am}，aj(j=1，…，m) 是语句Si在执行期间必须对其进行读写的变量； W(Si)={b1 b2 … bn}，bj(j=1，…，n) 是语句Si在执行期间必须对其进行修改、访问的变量； 如果对于语句S1和S2，有 ① R(S1)∩ W(S2)={∮}， ② W(S1)∩ R(S2)={∮}， ③ W(S1)∩ W(S2)={∮} 同时成立，则语句S1和S2是可以并发 执行的。
2019/2/12
19
进程与作业的区别

作业是用户需要计算机完成某项任务时要求计算 机所作工作的集合。进程是已提交完毕程序的执 行过程的描述，是资源分配的基本单位。区别与 关系：
(1) 作业是用户向计算机提交任务的任务实体。在用户 向计算机提交作业之后，系统将它放入外存中的作业 等待队列中等待执行。而进程则是完成用户任务的执 行实体，是向系统申请分配资源的基本单位。任一进 程，只要它被创建，总有相应的部分存在于内存中。 (2) 一个作业可由多个进程组成。且必须至少由一个进 程组成，但反过来不成立。 (3) 作业的概念主要用在批处理系统中。而进程的概念 则用在几乎所有的多道系统中。
作业1 作业2
I1
P1
O1
I2
P2
2019/2/12
O2
5
程序的顺序执行及其特征

我们把一个具有独立功能的程序独占处理机直至最终结 束的过程称为程序的顺序执行。程序的顺序执行具有如 下特点：
(1) 顺序性 程序顺序执行时，其执行过程可看作一系列严格按程序规定的状 态转移过程。 (2) 封闭性 程序执行得到的最终结果由给定的初始条件决定，不受外界因素 的影响。 (3) 可再现性 只要输入的初始条件相同，则无论何时重复执行该程序都会得到 相同的结果。
2019/2/12
25


进程在执行过程中因等待某个事件发生而放弃处 理机进入等待状态。 显然，等待状态可根据等待事件的种类而进一步 划分为不同的子状态，例如内存等待、设备等待、 文件等待和数据等待等。这样做的好处是系统控 制简单，发现和唤醒相应的进程较为容易。但系 统中设置过多的状态又会造成系统参数和状态转 换过程的增加。 根据进程阻塞的原因可将处于阻塞态的进程分为 若干个队列。当相应事件发生时，便可从相对应 的阻塞队形中释放一个进程使其进入就绪状态。
16
2019/2/12
进程的定义及其特征


进程的概念是60年代初期，首先在MIT 的 Multics系统和 IBM 的 TSS/360系统中引用的，是OS中最基本、最重要的 概念。 进程许多各式各样的定义。
(1) 进程是可以并行执行的计算部分（S.E.Madnick，J.T.Donovan）； (2) 进程是一个独立的可以调度的活动（E.Cohen，D.Jofferson）； (3) 进程是一抽象实体，当它执行某个任务时，将要分配和释放各种资 源（P.Denning）； (4) 行为的规则叫程序，程序在处理机上执行时的活动称为进程 （E.W.Dijkstra）； (5) 一个进程是一系列逐一执行的操作，而操作的确切含义则有赖于以 何种详尽程度来描述进程（Brinch Hansen）， 等等。
20
2019/2/12
进程的特征
•
动态性：进程是动态变化的，每个进程都有一个从创 建到消亡的过程，因“创建”而产生，因“调度”而 执行，因“撤销”而消亡 —— 最基本特征
•
并发性： 多道程序中每个进程的执行过程，总是与
其他进程的执行过程并发执行的
——重要特征，也是操作系统的重要特征
• 独立性：多个进程同时存在内存，独立运行，独立进
2019/2/12
18
进程与程序的联系与区别
(1) 进程是一个动态概念，而程序则是一个静态概念。程序 是指令的有序集合，没有任何执行的含义。而进程则强 调执行过程，它动态地被创建，并被调度执行后消亡。 (2) 进程具有并发特征，而程序没有。由进程的定义可知， 进程具有并发特征的两个方面，即独立性和异步性。也 就是说，在不考虑资源共享的情况下，各进程的执行是 独立的，执行速度是异步的。显然，由于程序不反映执 行过程，所以不具有并发特征。 (3) 进程是竞争计算机系统资源的基本单位，从而其并发性 受到系统自己的制约。这里，制约就是对进程独立性和 异步性的限制。 (4) 不同的进程可以包含同一程序，只要该程序所对应的数 据集不同。 (5)程序是进程的一个组成部分。程序、数据集和进程控制 块组成了进程实体(也称为进程映像)
24
2019/2/12

处于就绪状态的进程经调度选中之后进入执行状 态。在单CPU系统中，任一时刻处于执行状态
的进程只能有一个

在某些操作系统中，一个进程在其生命期内的执 行过程中，总要涉及到用户程序和操作系统内核 程序两部分。因此，进程的执行状态又可进一步 划分为用户执行状态和系统执行状态。划分用户 态和系统态最主要的原因是要把用户程序和系统 程序区分开来，以利于程序的共享和保护。显然， 这也是以增加系统复杂度和系统开销为代价的。
行资源分配和调度
• 异步性：各进程按各自独立不可预知的速度向前推进。
从而导致程序执行不可再现性
21
2019/2/12
3.2 进程的状态及其 转换
22
2019/2/12
进程状态

一个进程的生命期可以划分为一组状态，这些状 态刻划了整个进程。系统根据PCB 结构中的状 态值控制进程。在进程的生命期内，一个进程至 少具有三种基本状态，它们是：执行(running)状 态、阻塞blocked(等待)状态和就绪(ready)状态。
17
2019/2/12




以上进程的定义，尽管各有侧重，但在本质上是 相同的。即主要注重进程是一个动态的执行过程 这一概念。 故可以这样定义进程：一个具有独立功能的程序 对某个数据集在处理机上的执行过程和分配资源 的基本单位。 总的来说，进程是指程序的一次执行过程，它可 以和其它进程并发执行。也可以说进程是程序在 一个数据集合上的执行过程，是系统进行资源分 配和调度的独立单位。 进程通常分成两类：用户进程与系统进程
O1
P2
I3
O2
P3
O3
并发计算的先后次序
10
2019/2/


程序的并发执行可总结为：一组在逻辑上互相独 立的程序或程序段在执行过程中，其执行时间在 客观上互相重叠，即一个程序段的执行尚未结束， 另一个程序段的执行已经开始的这种执行方式。 程序的并发执行不同于程序的并行执行。程序的 并行执行是指一组程序按独立的、异步的速度执 行。并行执行不等于时间上的重叠。可以将并发 执行过程描述为：
4
2019/2/12
程序的顺序执行及其特征


一个程序通常是由多个程序段组成，各程序段必 须按照事先规定的次序顺序执行，仅在当前程序 段执行完后才能执行下一个程序段。 例如：进行计算。I:输入操作 P:计算操作 O: 输出操作。在进行计算时，总是先输入用户的程 序和数据，然后进行计算，最后将结果输出来。
7
2019/2/12
程序的并发执行及其特征

什么是程序的并发执行 所谓并发执行，是为了增强计算机系统的处理能力和提 高资源利用率所采取的一种同时操作技术。程序的并发 执行可进一步分为两种：第一种是多道程序系统的程序 执行环境变化所引起的多道程序的并发执行。由于资源 的有限性，多道程序的并发执行总是伴随着资源的共享 与竞争。从而制约各道程序的执行速度。而无法作到在 微观上，也就是在指令级上的同时执行。因此，尽管多 道程序的并发执行在宏观上是同时进行的，但在微观上 仍是顺序执行的；第二种并发执行是在某道程序的几个 程序段中（例如几个程序），包含着一部分可以同时执 行或顺序颠倒执行的代码。例如语句：

程序的顺序执行导致程序独占系统的所有资源，而程序 在其执行的某一时刻不可能同时使用所有这些资源，帮 程序的顺序执行导致系统资源的严重浪费。故引入多道 程序概念
2019/2/12
6
程序的并发执行及其特征
多道程序系统中程序执行环境的变化 在许多情况下，需要计算机能够同时处理多个具有独立功 能的程序。批处理系统、分时系统、实时系统以及网络 与分布式系统等都是这样的系统。这样的执行环境具有 下述三个特点： (1) 独立性 每道程序都是逻辑上独立的，它们之间不存在逻辑上的制 约关系。 (2) 随机性 在多道程序环境下，特别是在多用户环境下，程序和数据 的输入与执行开始时间都是随机的。 (3) 资源共享 资源共享将导致对进程执行速度的制约。
2019/2/12
14
程序的并发执行的特征

程序执行的间断性
–
资源的有限性以及对资源的共享和竞争导致程序执行 速度的改变，使得程序的执行具有间断性，程序间相 互制约，使得程序具有“执行—暂停—执行—暂停…” 的活动规律。 多道程序在并发执行过程中，程序彼此之间有时是完 全孤立的，有时又通过某种方式发生着依赖和制约的 关系，这就失去了顺序程序的封闭 即使初始条件相同，结果也可能不同。运行结果不可 再现