先介紹幾個概念
臨界資源：各程序採取互斥的方式，實現共享的資源稱作臨界資源。
屬於臨界資源的硬體有印表機、磁帶機等,軟體有訊息緩衝佇列、變數、陣列、緩衝區等。 諸程序間應採取互斥方式，實現對這種資源的共享。
臨界區：不論是硬體臨界資源還是軟體臨界資源，多個程序必須互斥的對他進行訪問。人們把每個程序中訪問臨界資源的那段**稱為臨界區。
程序的三種基本狀態：就緒狀態，執行狀態，阻塞狀態。
就緒狀態：指程序已處於準備好執行的狀態，即程序已分配到除cpu以外的所有必要資源後，只要再獲得cpu，便可立即執行。
執行狀態：指程序已獲得cpu，其程式正在執行的狀態
阻塞狀態：指正在執行的程序由於發生某事件（如i/o請求，申請緩衝區失敗等）暫時無法繼續執行時的狀態，亦即程序的執行受到阻塞。
程序同步機制應遵循的規則：
空閒讓進：無程序處於臨界區，臨界資源可被使用
忙則等待：臨界資源正在使用，其他程序需等待，以保證對臨界資源的互斥訪問
有限等待
讓權等待：這兩種下面會細說。
死等狀態：作業系統中的處理程序同步時遇到的一種問題。
程序在有限時間內根本不能進入臨界區，而一直在嘗試進入，陷入一種無結果的等待狀態。
（沒有進入臨界區的正在等待的某程序根本無法獲得臨界資源而進入程序，這種等待是無結果的，是死等狀態。）-》這個時候應該放棄這個無結果的事情，保證自己等待的時間是有限的
忙等狀態：作業系統中的處理程序同步時遇到的一種問題。
當乙個程序正處在某臨界區內，任何試圖進入其臨界區的程序都必須進入**連續迴圈，陷入忙等狀態。連續測試乙個變數直到某個值出現為止，稱為忙等。
（沒有進入臨界區的正在等待的某程序不斷的在測試迴圈**段中的變數的值，佔著處理機而不釋放，這是一種忙等狀態。）-》這個時候應該釋放處理機讓給其他程序
有限等待：對要求訪問臨界資源的程序，應保證有限時間內能進入自己的臨界區。以免陷入「死等」狀態。（受惠的是程序自己）。
讓權等待：當程序不能進入自己的臨界區時，應立即釋放處理機，以免程序陷入「忙等」狀態。（受惠的是其他程序）。
部分部落格**此**
作業系統程序同步 PV機制
四個程序abcd共享乙個檔案，要求可以多程序共享檔案，但ac bd不能同時共享檔案。四個程序a b c d 都要讀乙個共享檔案f，系統允許多個程序同時讀檔案f，但限制是 程序a和程序c不能同時讀檔案f 程序b和程序d不能同時讀檔案f 為了使這四個程序併發執行時能按照系統要求執行檔案，用pv操作編寫相...
作業系統 程序同步
臨界資源 critical resouce 臨界區 critical section 硬體同步機制 訊號量機制 訊號量的應用 管程3使用多道批處理系統不僅能有效的改善資源的利用率，還可以顯著地提高系統的吞吐量，但同時會使系統變得更加複雜，會使程式的執行結果存在不確定性。所以必須引入程序同步機制從而保...
作業系統 程序同步
引入程序 提高了資源的利用率和系統的吞吐量 程序的非同步性 會給系統造成混亂 程序同步基本概念 1，兩種形式的制約關係 a 間接相互制約 ab兩程序爭用一台印表機 b 直接相互制約 a程序放資料 緩衝區 b程序從緩衝區取資料 2，臨界資源 硬體臨界資源 軟體臨界資源 印表機，磁帶機，緩衝區。3，臨界...