第四章：進程同步與計算機系統服務

一、進程同步的必要性

在多道程序設計的計算機系統中，多個進程并發執行，共享系統資源（如CPU、內存、I/O設備等）。當多個進程需要訪問共享資源或進行通信時，若缺乏有效的協調機制，可能導致以下問題：

1. 競爭條件：多個進程同時對共享數據進行讀寫操作，最終的執行結果取決于進程執行的相對順序，導致結果不可預測。
2. 數據不一致：由于進程執行順序不當，導致共享數據狀態出現矛盾或錯誤。

因此，進程同步的核心目標是為并發執行的進程提供一種協調機制，確保它們能夠有序、正確地訪問共享資源，從而維護系統數據的一致性和程序的正確性。

二、臨界區問題與同步準則

1. 臨界區：進程中訪問共享資源（臨界資源）的那段代碼。
2. 同步機制需滿足的準則：

• 互斥：在任意時刻，最多只允許一個進程進入其臨界區。

• 空閑讓進：當無進程處于臨界區時，任何請求進入臨界區的進程應能立即進入。

• 有限等待：任何請求進入臨界區的進程，應在有限時間內獲得許可，避免“饑餓”現象。

• 讓權等待（可選但有益）：當進程無法進入臨界區時，應立即釋放處理機，避免“忙等待”。

三、經典的進程同步機制

1. 軟件方法：Peterson算法

通過設置共享變量（如turn和flag數組）來實現兩個進程間的互斥。它巧妙地結合了“輪流進入”和“主動謙讓”的思想，在軟件層面滿足了互斥、空閑讓進和有限等待的要求。

2. 硬件方法：關中斷與硬件指令

• 關中斷：進程進入臨界區前關閉中斷，離開時打開。簡單有效，但僅適用于單處理器，且將權力交給用戶進程風險高。
• 硬件原子指令：如Test-and-Set指令、Swap指令。這些指令在執行期間不可分割，可用于構建更高級的同步原語（如鎖），但容易導致“忙等待”。

3. 高級抽象：信號量（Semaphore）

由Dijkstra提出，是操作系統提供的一種功能強大的同步工具。

• 數據結構：一個整型變量value和一個進程等待隊列。
• 兩種基本操作（原語）：
• P操作（wait）：申請資源。value--；若value<0，則進程阻塞并進入等待隊列。

• V操作（signal）：釋放資源。value++；若value<=0，則從等待隊列中喚醒一個進程。

• 類型：
• 整型信號量：未遵循“讓權等待”，可能忙等。

• 記錄型信號量：通過阻塞喚醒機制，徹底避免了忙等。

• 應用：
• 互斥信號量（mutex）：初值為1，用于實現進程互斥。

• 資源信號量：初值為可用資源數N，用于管理資源池。

• 同步信號量：初值為0，用于協調進程間的執行順序（如“生產者-消費者”問題）。

4. 經典同步問題

• 生產者-消費者問題：一組生產者進程和一組消費者進程通過共享的固定大小緩沖區進行通信。需解決對緩沖區的互斥訪問以及生產/消費的順序協調（空則等、滿則等）。
• 讀者-寫者問題：多個讀者進程和寫者進程共享一個數據對象。允許多個讀者同時讀，但寫者必須獨占訪問。存在“讀者優先”和“寫者優先”等變體。
• 哲學家進餐問題：描述多個進程競爭有限資源時可能發生的死鎖問題。解決方案包括設置資源上限、使用AND型信號量（一次性申請所有所需資源）或規定奇數/偶數哲學家不同的拿叉順序等。

四、管程（Monitor）

為了簡化并發程序設計的復雜性，引入了管程這一高級同步機制。它是一種編程語言構件，封裝了共享數據結構和對其操作的所有過程，并提供了互斥和同步的機制。

• 特性：

1. 管程內的共享變量只能被管程內的過程訪問。

1. 任何時刻，最多只有一個進程在管程內活動（由編譯器負責實現互斥）。

1. 提供了條件變量（Condition Variable）及wait()和signal()操作，用于實現進程同步（當某條件不滿足時，進程可在條件變量上等待；條件滿足時，被其他進程喚醒）。

• 優點：將同步細節隱藏在管程內部，程序員只需調用管程過程，不易出錯。

五、進程同步與計算機系統服務

進程同步機制是操作系統內核為上層應用程序提供的一項基礎且關鍵的系統服務。它體現在：

1. 內核實現：信號量、管程等機制由操作系統內核實現并提供系統調用接口（如sem<em>init, sem</em>wait, sem_post）。
2. 系統調用封裝：應用程序通過調用這些系統服務，而非自行實現復雜的同步邏輯，保證了正確性和效率。
3. 支撐高級服務：文件系統、網絡通信、內存管理等所有涉及資源共享的內核子系統，其內部都嚴重依賴進程同步機制來保證一致性。
4. 現代編程支持：現代編程語言（如Java的synchronized關鍵字和wait/notify，Go的channel）和線程庫（如POSIX pthread的互斥鎖、條件變量）都是對操作系統底層同步服務的封裝和抽象。

六、

進程同步是操作系統的核心概念之一，是理解并發編程和多線程技術的基石。從軟件算法到硬件指令，再到信號量和管程，同步機制不斷抽象和進化，目標是在保證正確性的前提下，提高并發效率和編程便利性。作為系統服務，它為整個計算機系統的穩定、高效運行提供了根本保障。學習本章，關鍵在于理解各種同步問題的本質、不同機制的優缺點，并能運用信號量等工具解決經典的同步問題。