[电脑基础知识]操作系统 2.ppt

第二章 进程管理 2.1 进程的基本概念 2.2 进程控制 2.3 进程同步 2.4 经典进程的同步问题 2.5 管程机制 2.6 进程通信 2.7 线程 2.1 进程的基本概念 在无操作系统和单道程序系统中，程序的执行是顺序的。而随着多道程序的出现，系统中程序执行环境变化了，尤其当出现同名程序并发执行时，迫切需要一个实体来描述程序的执行过程。 这个实体就是进程。 2.1.1 程序的顺序执行及其特征 程序是存储在存储介质上的（可执行）文件。 程序是一个在时间上按严格次序前后相继的操作序列，是一个静态的概念。 程序体现了编程人员要求计算机完成所要求功能时应该采取的顺序步骤。 一般用户在编写程序时不考虑在自己的程序执行过程中还有其他用户程序存在。 1. 程序的顺序执行 通常可以将一个程序分成若干段，在各段之间必须按某种顺序执行，仅当前一操作(程序段)执行完后，才能执行后继操作。也就是说先后有顺序关系。 例如，在进行计算时，总须先输入程序和数据，然后进行计算，最后才能打印计算结果。 再如下述三条语句： S1: a∶=x+y; S2: b∶=a-5; S3: c∶=b+1; 也必须按顺序执行。 2. 程序顺序执行时的特征 (1) 顺序性： 按程序规定的顺序执行。 (2) 封闭性： 不受外界干扰。 (3) 可再现性： 只要初始条件和环境相同，不论何时执行，结果总是相同的。 2.1.2 前趋图 前趋图（Precedence Graph）是一个有向无循环图，记为DAG（Directed Acyclic Graph），用于描述进程之间执行的前后关系。 图中的每个结点可用于描述一个程序段或进程，乃至一条语句；结点间的有向边则用于表示两个结点之间存在的偏序（Partial Order）或前趋关系（Precedence Relation）“→”。 前趋图及相关概念 →={（Pi，Pj）| Pi必须在 Pj开始前执行完毕}，如果（Pi，Pj）∈→，可写成Pi→Pj，称Pi是Pj的直接前趋，而称Pj是Pi的直接后继。 在前趋图中，把没有前趋的结点称为初始结点（Initial Node），把没有后继的结点称为终止结点（Final Node）。 每个节点还具有一个权重（Weight），用于表示该节点所含有程序的执行时间。 前趋图中必须不能有循环。 图2-1中的前趋关系表示为 Ii→Ci→Pi 和 S1→S2→S3 前趋图的示例 前趋图2-2a存在以下前趋关系： P1→P2, P1→P3, P1→P4, P2→P5, P3→P5, P4→P6, P4→P7, P5→P8, P6→P8, P7→P9, P8→P9 或表示为： P={P1, P2, P3, P4, P5, P6, P7, P8, P9} →={ (P1, P2), (P1, P3), (P1, P4), (P2, P5), (P3, P5), (P4, P6), (P4, P7), (P5, P8), (P6, P8), (P7, P9), (P8, P9) } 2.1.3 程序的并发执行及其特征 1. 程序的并发执行 在图2-1a所示的Ii→Ci→Pi前趋关系中，ICP必须是顺序执行的，但是并不存在Pi→Ii+1关系，因此对此批程序的处理可以并发进行。 由前趋图可得前趋关系为： Ii→Ci，Ii→Ii+1, Ci→Pi, Ci→Ci+1，Pi→Pi+1 并发示例 对于具有下述四条语句的程序段： S1: a :=x+2 S2: b :=y+4 S3: c :=a+b S4: d :=c+b S3要等待S1和S2执行完毕才能进行，S4要依赖于S3，但S1和S2没有先后关系可以并发。于是可得前趋关系图。 2. 程序并发执行时的特征 设有两个循环程序A和B，它们共享一个变量N。程序A每执行一次时，都要做N∶=N+1操作；程序B每执行一次时， 都要执行Print(N)操作，然后再将N置成“0”。程序A和B以不同的速度运行。可能出现以下不同结果： N=N+1在Print(N)和N=0之前，N为：n+1, n+1, 0 N=N+1在Print(N)和N=0之后，N为：n, 0, 1 N=N+1在Print(N)和N=0之间，N为：n, n+1, 0 2. 程序并发执行时的特征 1) 间断性 2) 失去封闭性 3) 不可再现性 2.1.4 进程的特征与状态 在多道程序环境下，程序的执行将失去其封闭性，从而导致不可再现性。这就决定了程序不能参与并发执行，因此，程序的运行就失去了意义。 于是引入了“进程”的概念。 1. 进程的特征和