二--進(jìn)程的描述與控制--1.前趨圖和程序執(zhí)行
2022-09-06 22:53:58

1.前趨圖

　　前趨圖（Precedence Graph），指一個(gè)有向無(wú)循環(huán)圖，可記為DAG（Directed Acyclic Graph），用于描述進(jìn)程之間執(zhí)行的先后順序。

　　每個(gè)結(jié)點(diǎn)表示一個(gè)進(jìn)程或程序段，或一條語(yǔ)句，結(jié)點(diǎn)間的有向邊表示兩個(gè)結(jié)點(diǎn)間存在偏序關(guān)系（Partial Order）或前趨關(guān)系（Precedence Relation）。

?

?2.程序順序執(zhí)行

　　2.1程序的順序執(zhí)行

　　　　I代表輸入，C輸出

?

?　　　　

?

?　　2.2程序順序執(zhí)行時(shí)的特征

　　　?、傺蛐裕禾幚砑皣?yán)格按照程序規(guī)定的順序執(zhí)行，即每一操作必須在下一個(gè)操作開(kāi)始之前結(jié)束

　　　　②封閉性：程序運(yùn)行時(shí)獨(dú)占全機(jī)資源，資源的狀態(tài)（除初始狀態(tài)）只有本程序才能改變它，程序一旦開(kāi)始執(zhí)行，其執(zhí)行結(jié)果不受外界因素影響

　　　?、劭稍佻F(xiàn)性：只要程序執(zhí)行時(shí)的環(huán)境和初始條件相同，當(dāng)程序重復(fù)執(zhí)行時(shí)，不論它是從頭到尾不停頓地執(zhí)行，還是“停停走走”地執(zhí)行，都可獲得相同的結(jié)果。

?3.程序并發(fā)執(zhí)行

　　只有不存在前趨關(guān)系的程序之間才有可能并發(fā)執(zhí)行。

　　3.1程序的并發(fā)執(zhí)行

?

?　　3.2程序并發(fā)執(zhí)行時(shí)的特征

　　　?、匍g斷性：執(zhí)行時(shí)走走停停

　　　?、谑シ忾]性：執(zhí)行時(shí)相互影響

　　　　③不可再現(xiàn)性：初始條件相同，但執(zhí)行結(jié)果可能不同