知识点
1. 浅谈前趋图
- 前趋图两要素:结点、有向边
结点:表示一个进程或一个程序段,乃至一条语句
有向边:两结点间的前趋关系 - 今有前趋图如下:
前趋图可以这样描述:
P 1 → P 2 , P 1 → P 3 , P 1 → P 4 , P 2 → P 5 , P 3 → P 5 , P 4 → P 6 , P 4 → P 7 , P 5 → P 8 , P 6 → P 8 , P 7 → P 9 , P 8 → P 9 P_{1}\rightarrow P_{2},P_{1}\rightarrow P_{3},P_{1}\rightarrow P_{4},P_{2}\rightarrow P_{5},P_{3}\rightarrow P_{5},P_{4}\rightarrow P_{6},P_{4}\rightarrow P_{7},P_{5}\rightarrow P_{8},P_{6}\rightarrow P_{8},P_{7}\rightarrow P_{9},P_{8}\rightarrow P_{9} P1→P2,P1→P3,P1→P4,P2→P5,P3→P5,P4→P6,P4→P7,P5→P8,P6→P8,P7→P9,P8→P9
或者是
P = { P 1 , P 2 , P 3 , P 4 , P 5 , P 6 , P 7 , P 8 , P 9 } P = \{ P_{1} ,P_{2},P_{3},P_{4},P_{5},P_{6},P_{7},P_{8},P_{9}\} P={P1,P2,P3,P4,P5,P6,P7,P8,P9}
= { ( P 1 , P 2 ) , ( P 1 , P 3 ) , ( P 1 , P 4 ) , ( P 2 , P 5 ) , ( P 3 , P 5 ) , ( P 4 , P 6 ) , ( P 4 , P 7 ) , ( P 5 , P 8 ) , ( P 6 , P 8 ) , ( P 7 , P 9 ) , ( P 8 , P 9 ) } =\{ (P_{1},P_{2}),(P_{1},P_{3}),(P_{1},P_{4}),(P_{2},P_{5}),(P_{3},P_{5}),(P_{4},P_{6}),(P_{4},P_{7}),(P_{5},P_{8}),(P_{6},P_{8}),\\(P_{7},P_{9}),(P_{8},P_{9} )\} ={(P1,P2),(P1,P3),(P1,P4),(P2,P5),(P3,P5),(P4,P6),(P4,P7),(P5,P8),(P6,P8),(P7,P9),(P8,P9)}
前趋图中不允许有循环
2. 程序执行
2.1 程序顺序执行(概念、特征)
定义: 按照某种先后次序顺序执行,仅当前一进程段执行完后,才运行后一程序段。
顺序执行的程序举例:
程序I: 输入程序:用于输入用户的程序和数据
程序C:计算程序:对所输入的而数据进行计算
程序P:打印程序:打印计算结果。
顺序执行前趋图:
特征:
- 顺序性:处理机严格地按照程序所规定的顺序执行
- 封闭性:程序运行时独占全机资源,资源的状态(除初始状态外)只有本程序才能改变它,程序一旦开始执行,其结果不受外界影响。
- 可再现性:只要程序执行时的环境和初始状态相同,当程序重复执行时,不论它时从头到尾不停顿地执行、还是“停停走走”地执行,都能获得相同的结果。
2.2 程序并发执行(概念、特征)
为什么要并发执行 程序顺序执行虽然带来方便,但系统资源的利用率却很低。为此,应该让程序或程序段能够并发执行。
程序并发执行的必要条件:不存在前趋关系的程序
程序并发执行例子:
不难看出,
P
i
−
1
和
C
i
i
和
I
i
+
1
P_{i-1} 和 Ci_{i} 和I_{i+1}
Pi−1和Cii和Ii+1之间不存在前趋关系,可以并发执行。
从几条语句中判断哪些语句能并发执行的方法:画前趋图,找不存在前趋关系的进程。
特征:
- 间断性
- 失去封闭性
- 不可再现性
3. 进程的描述
3.1 进程的定义和特征
进程的定义: 进程又叫进程实体,由程序段、数据段和PCB三部分构成。
典型的进程定义有
- 进程是程序的依次执行
- 进程是一个程序极其数据在处理机上顺序执行时发生的活动。
- 进程时具有独立功能的程序在一个数据集合上运行的过程。它是系统进行资源分配和调度的一个独立单位。
进程的特征:
- 动态性。进程实质是进程实体的执行过程
- 并发性。多个进程实体同存于内存中,且能在一段时间内同时运行。
- 独立性。传统的OS中,进程实体是一个能独立运行、独立获得资源和独立接受调度的基本单位。
3.2 进程和程序的区别
进程具有程序所有没的PCB
3.3 进程控制块(PCB)
假设有一个处理机在处理一个程序代码,这个执行实体被称为进程。进程基本元素由程序代码和数据集,以及用来描述和控制进程的数据结构PCB。进程的任意时刻都可以用如下元素来表征。
- 标识符:与进程相关的唯一表示符,用来区分其他进程。
- 状态:若进程正在执行,则进程处于运行态。
- 优先级:相对于其他进程的优先顺序。
- 程序计数器:程序中即将执行的下一条指令的地址。
- 内存指针:包括程序代码和进程相关数据的指针,以及与其他进程共享内存块的指针。
- 上下文数据:进程执行时处理器的寄存器中的数据。
- I/O状态信息:包括显示I/O请求,分配给进程的I/O设备(如磁带驱动器)和被进程使用的文件列表等。
- 记账信息:包括处理器时间总和、使用的时钟数总和、时间限制、记账号等。
简化进程控制块: