2-1 前驱图和程序执行

1. 操作系统的特性之一是并发与共享

2. 前趋图是一个有向无循环图(DAG)，用于描述进程之间执行的前后关系

结点：描述一个程序段或进程，或一条语句

有向边：结点之间的偏序或前序关系“→®”

3.前趋关系表示：

（1）

（2） 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)}

注意：前趋图中必须不存在循环

4. 有三个顺序执行的操作：I（输入操作）C（计算操作）P（输出操作）

5.程序顺序执行时的特征

(1) 顺序性

    处理机的操作严格按照程序所规定的顺序执行。

(2) 封闭性

    程序一旦开始执行，其计算结果不受外界因素的影响。

(3) 可再现性

程序执行的结果与它的执行速度无关(即与时间无关)，而只与初始条件有关。

2. 程序的并发执行

特征：

1.  间断性

在多道程序设计的环境下，程序的并发执行，以及为完成一项任务而相互合作，这些程序之间要共享系统的资源，形成了相互制约的关系。

相互制约导致并发程序具有“执行—暂停—执行”这种间断性的活动规律。

1.  失去封闭性

程序在并发执行时，系统的资源状态由多道程序来改变，程序运行失去封闭性。一程序的运行受到其他程序的影响。

1.  不可再现性

程序在并发执行时，多次运行初始条件相同的同一程序会得出不同的运行结果。

并发程序失去可再现性的例子

例：讨论共享公共变量的两个程序，它们执行时可能产生的不同结果。

n:=0