第二章进程管理总汇.ppt

第二章???进程管理(1);第二章???进程管理 2.1 前驱图和程序执行;前趋图是一个有向无循环图，用于描述进程间执行的先后关系。图中的每个结点可以表示一条语句、一个程序段或进程，结点间的有向边或前趋关系(Precedence_Relation)“→”。 → ＝{(Pi,Pj|在Pj开始前Pi必须完成}如果Pi,Pj∈→，可写成Pi→Pj，Pi是Pj的直接前趋，Pj是Pi的直接后继。前趋图中必须不存在循环。;　P1→P2，P1→P3，P1→P4，P2→P5，P3→P5，P4→P6，P4→P7，P5→P8，P6→P8，P7→P9，P8→P9;2.1.2 程序的顺序执行及特征;2.程序的顺序执行时的特征;2.1.3 程序并发执行及特征;2. 程序的并发执行; 例如：下述四条语句的程序段，其前趋关系图如下： S1: a∶=x+2 S2: b∶=y+4 S3: c∶=a+b S4: d∶=c+b ;3.程序的并发执行的特征;例子一;例子二; 2.2 进程的描述;进程实体：PCB、程序段、数据段 对于进程的定义，从不同的角度可以有不同的定义，其中较典型的定义有：　　(1) 进程是程序的一次执行。　　(2) 进程是一个程序及其数据在处理机上顺序执行时所发生的活动。　　(3) 进程是具有独立功能的程序在一个数据集合上运行的过程，它是系统进行资源分配和调度的一个独立单位。 ; 2.进程的特征;3. 进程与程序的区别;2.2.2 进程的基本状态及转换;2.三种基本状态的转换;创建状态 已为进程分配了PCB，但所需的资源尚不能得到满足，比如系统尚无足够的内存使进程无法装入其中，此时创建工作尚未完成，进程不能被调度运行，于是把此时进程所处的状态称为创建状态。 终止状态 进程结束（自然结束或异常结束）时要进入终止状态。不可调用执行，但在操作系统中保留一份记录。;进程五态模型及其转换;2.2.3. 挂起操作和进程状态的转换;具有挂起操作的进程状态转换图;具有创建、终止、挂起的进程状态图;2.2.4.进程管理中的数据结构;进程控制块（PCB） ;进程控制块的作用（续）;2、进程控制块中的信息;进程控制块中的信息（续）;3、进程控制块的组织方式;2）链接方式组织PCB;3）索引方式; 2.3 进程控制;内核与???语;进程控制;2.3.2进程的创建; 进程图;3、引起创建进程的事件;4、进程创建;创建原语的实现过程; 2.3.3 进程的终止;1、引起进程终止的事件（原因）;2、进程的终止过程;2.3.4 进程阻塞与唤醒;1、引起进程阻塞和唤醒的事件;2、进程阻塞过程;进程的阻塞原语;3、进程唤醒过程;2.3.5 进程的挂起与激活;4若被挂起的进程正在执行，则调度程序重新调度;1 将进程映像非常驻部分调入内存，并检查进程当前状态 2修改状态 3插入相应的队列 4若采用抢占调度策略，要检查是否需要重新调度。;2.4 进程的同步;2.4.1 进程同步的基本概念;临界区1;售票系统（数据库中的票数x,另x=5） r=x r=r-1 x=r 如果不加以控制，会导致错误。 对临界资源的访问要互斥 各进程互斥进入临界区访问临界资源 ;4.同步机制应遵循的规则（使用临界区的原则）;2.4.2 硬件同步机制 用特殊的硬件指令来实现对临界区的管理，将临界区的标志看做一个锁，初始锁是开的，进入临界区时，测试锁的状态，如果锁未开，则等待直到锁开；否则，如果锁开，立即将其立即锁上，防止其他进程进入临界区1. 关中断 在进入锁测试之前关闭中断，直到完成锁测试并上锁之后才能打开中断。保证了对锁的测试和关锁操作的连续性和完整性，有效地保证了互斥。 　;　　2. 利用Test-and-Set指令实现互斥　　这是一种借助一条硬件指令——“测试并建立”指令TS(Test-and-Set)以实现互斥的方法。Boolean TS(Boolean * lock) do{ .......{ while TS(lock); Boolean old; critical section; old=*lock; lock=false; *lock=true;