3 同步、通信與死鎖

第三章 同步、通信與死鎖 1、併發進程 順序程序設計特點： 執行的順序性 環境的封閉性 執行結果的確定性 計算過程的可再現性 併發的實質：處理器在幾個程序之間的多路複用，是對有限的物理資源強制行使多用戶共享，以提高系統的資源利用率 進程的無關性是進程執行與時間無關的一個充分條件，又稱爲Bernstein條件 R(pi)={a1,a2,…an}，程序pi在執行期間引用的變量集   W(pi)={b1

>>阅读原文<<