进程管理-03.ppt

授课教师：张 雁 第3章 进程管理 3.1 进程的引入和定义 3.2 进程的状态和进程控制块 3.3 进程控制 3.4 进程同步互斥 3.5 经典进程的同步问题 3.6 进程通信 3.7 线程 教学目的与要求 掌握进程的概念，进程的组成、状态及之间的转换 进程的控制 进程之间的关系协调以及经典的进程同步互斥问题 进程间的通信 死锁问题及解决 了解线程的概念 教学重点和难点 进程的定义及与作业、程序的区别 进程的状态转换时机 使用信号量PV原语解决进程同步互斥问题 进程间通信方式 3.1 进程的引入和定义 3.1.1 进程的引入 3.1.2 进程的定义 3.1.1 进程的引入 1．程序的顺序执行及其特性 2．前趋图 3．程序的并发执行及其特性 4. Bernstein条件 在单道程序工作环境中，我们把一个“程序”理解为“一个在时间上按严格次序前后相继的操作序列”。 （1）顺序性： 每一操作必须在下一操作开始之前结束。 （2）封闭性：即程序运行时独占全机资源，资源的状态，只有本程序才能改变它。程序一旦开始运行，其执行结果不受外界因素影响。 （3）可再现性：只要程序执行时的环境和初始时的环境和初始条件相同，当程序重复执行时，该程序都会得到相同的结果。（程序的执行结果只与初始条件有关，与执行时间无关。） 定义：有向无循环图，记为DAG 作用：描述进程之间执行的前后关系。 表示： 结点：一个程序段；进程；一条语句 有向边：两个结点之间存在的关系（偏序或前趋关系） “→” ---={(p1,p2)| p1 必须在p2开始前完成} 基本概念 直接前趋 直接后继 初始结点 终止结点 权值：每个结点还具有一个重量(Weight)，用于表示该结点所含有的程序量或结点的执行时间 程序的并发执行的定义 一组在逻辑上互相独立的程序或程序段在执行过程中，其执行时间在客观上互相重叠，即一个程序段的执行尚未结束，另一个程序段的执行已经开始的这种执行方式。 不可再现性（Example)：一个程序的执行因受另一个程序的影响而失去了封闭性，其计算结果已与并发程序间的执行速度有关。任何并发执行都是不可再现的吗？ 间断性：程序之间为了获得共享的资源，他们之间就存在相互制约，导致程序“执行-暂停-执行” 通信性：为了协调运行，程序之间应进行通信 独立性：并发程序在运行过程中,作为一个独立的运行实体，具有作为一个单位去获得资源的独立性。 Var n:integer; begin n:=0; parbegin parbegin A: begin B: begin repeat repeat … … N:=N+1; print(N); … … until false until false end; end; parend; Example（二） 以不同的速度运行有以下三种不同的结果 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. 4. Bernstein条件 条件的引入 程序并发执行时的不可再现性是绝对不允许的。引入允许程序并发执行的条件，即仅当满足该条件时，并发执行的程序才可能保持“可再现性”。 符号介绍 R(Pi)={a1,a2,….,am}表示程序Pi在执行期间所需要的参数的集合，称为“读集”； W(Pi)={b1,b2,…,bn}，是程序Pi在执行期间