前驅圖

知識點1

　　前趨圖：是一個由結點和有向邊構成的有向無循環圖。該圖通常用於表現事務之間先后順序的制約關系。

知識點2

　　結點：可以表示一個語句、一個程序段或是一個進程，

知識點1

　　有向邊：結點間的有向邊表示兩個結點之間存在的前趨關系。

例：

在計算機中，經常采用流水線方式執行指令，每一條指令都可以分解為取指、分析 和執行三步。

取指操作為 Ai，分析操作為 Bi 和執行操作為 Ci(i=1,2,3)。

如圖 2-4 所示為三個任務各程序段並發執行的前驅圖。

 

知識點3

　　開始結點：A1 沒有前趨結點，不受任何制約，可以直接執行；

　　終止結點： C3 沒有后繼結點；

知識點4

　　在前趨圖中，執行先后順序的制約關系可分為兩種：直接制約和間接制約。

重點知識點1

　　直接制約：同操作中，多個步驟之間的制約關系，也可以說是“同步的進程之間的制約關系”。

　　如圖 A1、B1、C1 是一條指令的取指、分析、執行的三個步驟，所以它們之間的關系是直接制約。

重點知識點2

　　間接制約：多個操作之間，相同步驟的制約關系，也可以說是“互斥的進程之間的制約關系”。

　　如圖A1、A2、A3 之間就存在間接制約的關系。  

重點知識點3

　　並行執行： B1、A2，

　　　　　　C1、B2、A3，

　　　　　　   C2、B3,