2.1 前趋图和程序执行

目录

• 目录

---

前趋图：有向无环图（DAG），用于描述程序中各个语句之间的制约关系。

顺序执行特点：

1. 顺序性
2. 封闭性
3. 可再现性

并发执行特点：

1. 间断性
2. 失去封闭性
3. 不可再现性

由于并发执行的不可再现性，所以需要对并发执行进行控制。