1.程序之間的相互制約關係
（1）同步：程序之間的一種通訊方式，有時序上的制約關係，或者說是程序之間為了協同工作而存在的一種等待關係。
（2）互斥：程序之間對臨界資源的一種競爭關係，排他性的對資源進行訪問。
2.臨界資源：
定義：在一段時間，只允許乙個程序訪問的資源，這種資源也稱為獨佔資源。
3.臨界區
定義：把每個程序訪問臨界資源的**叫做臨界區。
4.程序同步機制應該遵守的規則：
（1）空閒讓進：乙個臨界區空的時候允許乙個程序進入。
（2）忙則等待：臨界區忙的時候，申請的程序必須等待。
（3）讓權等待：當乙個程序等待的時候，必須放棄cpu。
（4）有限等待：不能讓乙個程序無限等待。
5.臨界區互斥訪問：
三個：軟體方法、硬體指令、訊號量機制。
Linux下的程序同步機制 記錄鎖
當可能出現幾個程序爭用 讀 寫 同乙個critical section的時候，加鎖是常用的做法。linux加鎖的方法，除了經典的ipc semophore 之外，記錄鎖 record locking 提供了更簡單的方法。其實記錄鎖的名字叫檔案鎖會比較貼切一點，因為其加鎖和解鎖都是通過對檔案的操作完成...
作業系統 程序同步機制相關解釋
先介紹幾個概念 臨界資源 各程序採取互斥的方式，實現共享的資源稱作臨界資源。屬於臨界資源的硬體有印表機 磁帶機等,軟體有訊息緩衝佇列 變數 陣列 緩衝區等。諸程序間應採取互斥方式，實現對這種資源的共享。臨界區 不論是硬體臨界資源還是軟體臨界資源，多個程序必須互斥的對他進行訪問。人們把每個程序中訪問臨...
程序 執行緒同步機制
程序執行緒之間的通訊共享資料在現實的應用中可以說是不可避免的，那麼如何保證他們之間在使用同乙個資料的時候能夠有序，不出問題，這個就是同步機制要解決的問題，老師經常說程式設計到最後有很多哲學的問題，仔細想來也確實可以這麼說，哈哈，其實哲學就是事物的道理嗎，我們都多多少少是跟哲學沾邊的。同步的機制主要有...