操纵系统课件 第2章 过程.ppt

第二章进程管理前趋图：是一个有向无循环图。图2－1(a)中存在着这样的前趋关系：
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)}1、程序的顺序执行图2-2程序的顺序执行程序顺序执行时的特征2、程序的并发执行及其特征2、程序的并发执行及其特征对于具有下述四条语句的程序段：
S1:a∶=x+2
S2:b∶=y+4
S3:c∶=a+b
S4:d∶=c+b请画出前趋关系图。2.2程序并发执行时的特征例如，有两个循环程序A和B，它们共享一个变量N。程序A每执行一次时，都要做N∶=N+1操作；程序B每执行一次时，都要执行Print(N)操作，然后再将N置成“0”。程序A和B以不同的速度运行。
(1)N∶=N+1在Print(N)和N∶=0之前，此时得到的N值分别为n+1,n+1,0。
(2)N∶=N+1在Print(N)和N∶=0之后，此时得到的N值分别为n,0,1。
(3)N∶=N+1在Print(N)和N∶=0之间，此时得到的N值分别为n,n+1,0。
结论：程序在并发执行时，由于失去了封闭性，其计算结果已经和并发执行速度有关，从而使程序失去了可再现性，亦即，程序经过多次执行后，虽然他们执行时的环境和初始条件相同，但得到的结果却不相同。
顺序执行:并发执行：

程序具有封闭性程序失去封闭性
独享资源共享资源(互为存在条件)
可再现性程序与“计算”不再一一对应
有相互制约
3、进程(Process)3.1较典型的进程定义有：3.2进程的组成：
进程的实体由：
程序段、
数据段、
进程控制块PCB组成。
有人把这三部分称为”进程映像”.

通常的程序是不能并发执行的,为使程序能并发执行,应为之配置一进程控制块,即PCB;
所谓创建进程是指创建进程实体中的PCB，撤销亦如此。1)结构化特征：含代码段、数据段和核心段（在地址空间中）
2)动态性：进程的实质是进程实体的一次执行过程，动态性是进程的最基本特征。
3)并发性:指多个进程实体同存于内存中，且能在一段时间内同时运行，它是进程的重要特征，也是操作系统的重要特征。
4)独立性:各进程的地址空间相互独立，除非采用进程间通信手段；
5)异步性:这是指进程按各自独立的，不可预知的速度向前推进。导致程序执行的不可再现性1)程序是静态的，进程是动态的;（是根本区别）
程序是有序代码的集合；进程是程序的执行。
2)进程和程序不是一一对应的;
一个程序可对应多个进程,即多个进程可执行同一程序;
一个进程可以执行一个或几个程序
3)进程是暂时的，程序的永久的：进程是一个状态变化的过程，程序可长久保存。
4)进程与程序的组成不同：进程的组成包括程序、数据和进程控制块（即进程状态信息）。
5)进程具有创建其他进程的功能，而程序没有。程序与进程的类比
1、判断题：进程是一个程序在某数据集上的一次执行，所以不同进程对应不同的程序。3.5处理机调度器（dispatcher）3.6进程的三种基本状态图2-5进程的三种基本状态及其转换
(教材讲5种)作业后备队列3.7五状态进程模型五状态进程模型(单队列结构)五状态进程模型(多队列结构)3.8进程状态的转换3.9挂起进程模型单挂起进程模型双挂起进程模型3.9.1状态3.9.2转换事件出现（EventOccurs）：进程等待的事件出现；如：操作完成、申请成功等；可能的情况有：
阻塞到就绪：针对内存进程的事件出现；
阻塞挂起到就绪挂起：针对外存进程的事件出现；

收容(Admit)：收容（提交）一个新进程，进入就绪状态或就绪挂起状态。1、进程由就绪态转为运行态是因为（）引起的？
A、中断事件 b、进程状态转换
c、进程调度的 d、为程序创建进程捉渺监档渭呛负跪曝讹邪斤雾瞥柴靳樊质海孪犁拘女鸯蘸巢树憋宗毙碟鄂操作系统课件第2章进程操作系统课件第2章进程3.10、进程控制块3.10.2进程控制块的内容（数据结构很复杂）3.10.3PCB的组织方式4、进程控制4.1进程控制的功能：完成进程状态的转换。4.2.1进程图(ProcessGraph)4.2.2引起创建进程的事件4.2.3进程的创建(CreationofProgress)过程4.3进程退出4.4进程的阻塞与唤醒4.4.2.进程阻塞过程
正在执行的进程，当发现上述某事件时，无法继续执行，于是进程调用阻塞原语block把自己阻塞。可见，进程的阻塞是进程自身的一种