操作系统原理 第二节 进程的管理.ppt

第二章? 进程管理 进程的概念 进程的控制 进程同步及经典同步问题 进程间的高级通信 进程与线程的区别 2.1 前趋图和程序执行 前趋图的定义 前趋图（Procedence Graph）是一个有向无循环图DAG（Directed Acyclic Graph）。 结点：语句、程序段或进程。 初始节点 终止节点 边：执行顺序。 重量：程序量或执行时间。 例：有7个结点的前趋图。 P = { P1，P2，P3，P4，P5，P6，P7 } → = {（P1，P2），（P1，P3），（P1，P4）， （P2，P5）， （P3，P5），（P4，P6），（P5，P7），（P6，P7）} 程序的顺序执行 一个复杂的程序通常可以分为若干程序段，并且必须按照某种先后次序来执行。 例1：输入——计算——打印 例2：语句执行顺序 S1：a ：= x + y S2：b ：= a – 5 S3：c ：= b + 1 顺序执行程序的特点： 程序的顺序性。 程序在运行时独占主机资源。 程序的执行结果与其执行速度无关。 程序执行时的初始条件相同，其结果必相同。 程序的并发执行 程序执行环境 独立性，逻辑上是独立的。 随机性：输入和执行开始时间都是随机的。 资源共享：资源共享导致对进程执行速度的制约。 程序的并发执行 并发执行是指两个程序执行时间上是重叠的。凡是能由一组并发程序完成的任务，都能由相应的单个程序完成。 ?例2．Begin integer N:=0; Cobegin Program A : begin Program B : begin L1 : N:=N+1; L2 : Print (N); N:=0; Goto L1； Goto L2； End End Coend End 当N=5时，如果 N=N+1 在 print（N）和 N:=0 前 中间 后 打印 6 5 5 执行后N= 0 0 1 例3．设有堆栈S，栈指针top ，栈中存放相应的数据块地址，程序 popaddr（top）从栈中取地址，pushaddr（blk）将地址放入栈S中。 void popaddr (top) { void pushaddr(blk) { top --; *top = blk; r=*top; top++; return (r) } } 先执行 popaddr 的top--，接着执行pushaddr的*top=blk 程序并发执行过程及条件（Bernstein条件） S0; Cobegin S1；S2；S3；……；Sn; Coend Sn+1; ? S1、S2、……、Sn可以由同一程序段中的不同语句组成。 将任一语句划分为两个变量的集合R（Si）和W（Si）: 读集R（Si）= {a1，a2，……，am} 写集W（Si）= {b1，b2，……，bn} 如对语句S1和S2有： R（S1）∩ W（S2） = {Ф} W（S1）∩ R（S2） = {Φ} W（S1）∩ W（S2）= {Φ} 成立，则语句S1和S2可并发执行。 例1．? 语句 c = a – b 和 w = c + 1 R（c = a – b ）= {a, b } W（c = a – b ）= { c } R（w = c + 1 ）= { c } W（w = c + 1 ）= { w } R（w = c + 1 ）∩ W（c = a – b ）= { c } 语句 c = a – b 和 w = c + 1 不能并发执行。 例2． S1 : a = x + y S2 : b = z + 1 S3 : c = a – b S4 : w = a + c + 1 R（S1）= { x , y } W（S1）= { a } R（S2）= { z } W（S2）= { b } R（S3）= { a ,b } W（S3）= { c } R（S4）= { a, c } W（S4）={w } 语句 S1 和 S2 能并发执行。 语句 S1 和 S3，S2 和S3，S3 和S4 不能并发执行。 资源共享 资源共享是指系统中的硬件资源和软件资源不再由单个用户所独占，而为 n 个用户共同使用。 由系统进行统一分配（硬件）和由程序自行使用（