操作系统中的优先级图

先决条件–流程同步
优先图是有向无环图，用于显示操作系统中多个进程的执行级别。它由节点和边组成。节点代表流程，边缘代表执行流程。

优先图的属性：
以下是优先级图的属性：

• 它是有向图。
• 它是一个非循环图。
• 图的节点对应于程序代码的各个语句。
• 两个节点之间的边表示执行顺序。
• 从节点A到节点B的有向边表明，语句A首先执行，然后语句B执行。

考虑他下面的代码：

S1 : a = x + y;
S2 : b = z + 1;
S3 : c = a - b;
S4 : w = c + 1;

如果同时执行上述代码，则存在以下优先级关系：

• 在a和b都被赋值之前，不能执行c = a – b。
• 在计算出c的新值之前无法执行w = c +1。
• 语句a = x + y和b = z + 1可以同时执行。

例子：
请考虑程序的以下优先级关系：

1. S1完成后可以执行S2和S3。
2. S2完成后可以执行S4。
3. S4完成后可以执行S5和S6。
4. 可以在完成S5，S6和S3之后执行S7。

解决方案：