前趋图和程序执行

前趋图

前趋图是为了描述一个程序的各部分间的依赖关系，或者是一个大的计算的各个子任务间的因果关系的图示。

程序的顺序执行及其特征

单道程序

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

封闭性：程序运行时独占全机资源，程序一旦开始执行，其执行结果不受外界因素影响

可再现性：只要环境和初始条件相同，得到的结果都相同

程序的并发执行及其特征

程序的并发执行

程序并发执行，顺序执行都可以用前趋图表示

如果两个节点之间有箭头，则有先后顺序

如果两个节点之间没有箭头，则可以有先后顺序也可以并发执行

程序的并发执行的特征

1、间断性：具有执行——暂停——执行这种间断性的活动规律

2、失去封闭性：多个程序共享系统中的各种资源，因而这些资源的状态将由多个程序来改变，致使程序的运行失去了封闭性

3、不可再现性：

举例：两个循环程序A和B他们共享一个变量N

程序A每执行一次，都执行N=N+1

程序B每执行一次，都打印N并让N=0

程序A和B以不同速度运行出现的情况（若干。。。。）

计算的结果由于并发执行的不可再现性，亦即程序的多次执行后，即使每次开始的条件一样，但是结果不尽相同。