前趋图和程序执行

前趋图(Precedence Graph)

     前趋图是指一个有向无循环图，可记为DAG（Directed Acyclic Graph）,它用于描述进程之间的执行的先后顺序。图中的每个结点都可用来表示一个进程或程序段，乃至一条语句，结点的有向边则表示两个结点之间存在的偏序（Partial Order）或前趋关系（Precedence Relation） 

   在前趋图中，把没有前趋的结点称为初始结点（Initial Node），把没有后继的结点称为终止结点（Final Node）。每一个结点还有一个重量（Weight），表示该结点所含有程序量或程序的执行时间。

程序顺序执行

特征：

1. 顺序性：指处理机严格地按照程序所规定的顺序执行，即每一操作必须在下一操作开始之前结束；
2. 封闭性：程序在封闭的环境下运行，即程序运行时独占全机资源，资源的状态（除初始状态外）只有本程序才能改变它，程序一旦开始执行其执行结果不受外界因素影响；
3. 可再现性：指只要程序执行的环境和初始条件相同，当程序重复执行时，不论它是从头到尾不停顿的执行，还是停停走走的执行，都能获得相同的结果。

程序并发执行

特征：

1. 间断性：程序在并发执行时，由于它们共享系统资源，以及为完成同一项任务而相互合作，致使在这些并发程序之间形成了相互制约的关系。相互制约将导致并发程序具有“执行-暂停-执行”这种间断性的活动规律。
2. 失去封闭性：当系统存在多个可以并发执行的程序时，系统中各种资源将为它们共享，而这些资源的状态可由这些程序来改变，致使其中任一程序在运行时，其他环境都必然受到其他程序的影响。
3. 不可再现性：程序在并发执行时，由于失去了封闭性，其计算结果必将与并发程序的执行速度有关，从而使程序的执行失去了可再现性。换而言之，程序经过多次执行后，虽然它们执行时环境与初始条件相同，但得到的结果却不相同。