1)引入前趋图
描述进程执行前后关系的图
有向无循环图(DAG)
Pi结点:描述一个程序段、进程、或一条语句。
有向边“->”:结点之间的偏序或前序关系
Pi->Pk,则Pi是Pk的直接前趋,Pk是Pi的直接后继。
2)程序顺序执行时的特征
(1) 顺序性
处理机的操作严格按程序规定顺序执行
(2) 封闭性
程序一旦开始执行,其计算结果不受外界因素影响。
(3) 可再现性
程序执行只要初始条件一样,不论如何停顿,重复执行多少次结果都一样。
多个程序如果无序并发,得到的只能是混乱的执行结果,
多道程序运行,走走停停的可能顺序有很多种,符合前趋图的关系才是合理并发。
没有任何干预下,会出现结果不可再现的并发,即错误的并发。
4)并发程序执行时的特征
间断性(运行表现)
多道 -> 程序并发执行-> 要共享系统的资源 -> 形成相互制约的关系
-> 相互制约导致并发程序具有“执行——暂停——执行”这种间断性的活动规律。
失去封闭性
共享资源,资源状态由多道程序改变,程序运行失去封闭性。即程序运行受其他程序的影响。
结果不可再现性
结果不确定,程序执行将没有任何意义。
程序:程序段 + 数据段
程序:按事先设计的功能和性能要求执行的指令序列。
新事物诞生,称为进程实体
-
- :程序段 + 数据段 + 控制块PCB
控制块PCB:并发时用于程序控制