程序在併發執行時為了保證結果的可再現性，各程序執行序列必須加以限制以保證互斥地使用臨界資源，相互合作完成任務。多個相關程序在執行次序上的協調稱為程序同步。用於保證多個程序在執行次序上的協調關係的相應機制稱為程序同步機制。
所有的程序同步機制應遵循下述四條準則：
空閒讓進
當無程序進入臨界區時，相應的臨界資源處於空閒狀態，因而允許乙個請求進入臨界區的程序立即進入自己的臨界區。
忙則等待
當已有程序進入自己的臨界區時，即相應的臨界資源正被訪問，因而其它試圖進入臨界區的程序必須等待，以保證程序互斥地訪問臨界資源。
有限等待
對要求訪問臨界資源的程序，應保證程序能在有限時間進入臨界區，以免陷入「飢餓」狀態。
讓權等待
當程序不能進入自己的臨界區時，應立即釋放處理機，以免程序陷入忙等
linux同步機制
一.併發控制 1 自旋鎖 得不到資源，會原地打轉，直到獲得資源為止 定義自旋鎖 spinlock t spin 初始化自旋鎖 spin lock init lock 獲得自旋鎖 spin lock lock 獲得自旋鎖，如果能立即獲得，則馬上返回，否則自旋在那裡，直到該自旋鎖的保持者釋放 spin ...
MySQL 同步機制
innodb沒有使用作業系統同步機制,而是自己封裝,通過spin 自旋 和wait array 等待佇列 的設計提高效能 目前的cpu都支援tas指令。該指令通過讀取乙個位元組或者乙個word，然後和0比較，並且無條件的將其在記憶體中的值設為1，是原子操作。用到swap atomic操作,將記憶體中...
執行緒同步機制
本週主要學習 執行緒同步機制 互斥量 讀寫鎖和條件變數 和簡單程式的實現，對執行緒同步有了進一步認識 內容如下 執行緒的基本概念，相關函式 互斥量 說明 處於標圓形框之上的線段表示相關的執行緒沒有擁有互斥量 處於圓形框中心線之上的線段表示相關的執行緒等待互斥量 處於圓形框中心線之下的線段表示相關的執...