资源描述：
《os操作系统02》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。
1、第二章进程管理2.1进程的基本概念2.2进程控制2.3进程同步2.4经典进程的同步问题2.5管程机制2.6进程通信2.7线程12.1进程的基本概念2.1.1程序的顺序执行及其特征2.1.2前趋图2.1.3程序的并发执行及其特征2.1.4进程的特征与状态2.1.5进程控制块21.程序的顺序执行仅当前一操作(程序段)执行完后，才能执行后继操作。例如，在进行计算时，总须先输入用户的程序和数据，然后进行计算，最后才能打印计算结果。S1:a∶=x+y;S2:b∶=a-5;S3:c∶=b+1;2.1.1程序的顺序执行及其特征图2-1程序的顺序执行32.程序顺序执行时的特征顺序性：(2)封闭性
2、：(3)可再现性：4前趋图(PrecedenceGraph)是一个有向无循环图，记为DAG(DirectedAcyclicGraph)，用于描述进程之间执行的前后关系。结点：一个程序段、进程、一条语句；结点间的有向边：两个结点之间存在的偏序(PartialOrder)或前趋关系(PrecedenceRelation)“→”。Pi→Pj，称Pi是Pj的直接前趋，而称Pj是Pi的直接后继。初始结点(InitialNode)：没有前趋的结点终止结点(FinalNode)：没有后继的结点。2.1.2前趋图5每个结点还具有一个重量(Weight)，用于表示该结点所含有的程序量或结点的执行时间
3、。Ii→Ci→Pi和S1→S2→S3图2-2前趋图6对于图2-2(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)}应当注意，前趋图中必须不存在循环，但在图2-2(b)中却有着下述的前趋关系：S2→S3,S3→S2
4、71.程序的并发执行图2-3并发执行时的前趋图2.1.3程序的并发执行及其特征前趋关系：Ii→Ci，Ii→Ii+1,Ci→Pi,Ci→Ci+1，Pi→Pi+1而Ii+1和Ci及Pi-1是重迭的，亦即在Pi-1和Ci以及Ii+1之间，可以并发执行。8对于具有下述四条语句的程序段：S1:a∶=x+2S2:b∶=y+4S3:c∶=a+bS4:d∶=c+b图2-4四条语句的前趋关系92.程序并发执行时的特征间断性执行－暂停－执行2)失去封闭性资源共享3)不可再现性多次执行结果不同例如，有两个循环程序A和B，它们共享一个变量N。程序A每执行一次时，都要做N∶=N+1操作；程序B每执行一
5、次时，都要执行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。101.进程的特征和定义结构特征－程序段、数据段、PCB动态性－进程最基本特征，生命期并发性－多进程独立性－进程独立运行、分配资源、调度异步性－运行速度不可知2.1.4进程的特征与状态11较典型的进程定义有：(1)进程是程序的一次执
6、行。(2)进程是一个程序及其数据在处理机上顺序执行时所发生的活动。(3)进程是程序在一个数据集合上运行的过程，它是系统进行资源分配和调度的一个独立单位。在引入了进程实体的概念后，我们可以把传统OS中的进程定义为：“进程是进程实体的运行过程，是系统进行资源分配和调度的一个独立单位”。122.进程的三种基本状态就绪(Ready)状态：等待CPU，就绪队列执行状态阻塞状态：暂停，阻塞队列图2-5进程的三种基本状态及其转换133.挂起状态引入挂起状态的原因终端用户的请求－调试。(2)父进程请求－修改、协调子进程。(3)负荷调节的需要。(4)操作系统的需要－检查资源、记帐。142)进
7、程状态的转换活动就绪→静止就绪。(2)活动阻塞→静止阻塞。(3)静止就绪→活动就绪。(4)静止阻塞→活动阻塞。挂起原语suspend激活原语active图2-6具有挂起状态的进程状态图151.进程控制块的作用进程控制块的作用是使一个在多道程序环境下不能独立运行的程序(含数据)，成为一个能独立运行的基本单位，一个能与其它进程并发执行的进程。或者说，OS是根据PCB来对并发执行的进程进行控制和管理的。2.1.5进程控制块162.进程控制块中的信息1)进程标识符
