第四章：進程同步與計算機系統(tǒng)服務

一、進程同步的必要性

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

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

因此，進程同步的核心目標是為并發(fā)執(zhí)行的進程提供一種協(xié)調機制，確保它們能夠有序、正確地訪問共享資源，從而維護系統(tǒng)數(shù)據(jù)的一致性和程序的正確性。

二、臨界區(qū)問題與同步準則

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

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

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

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

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

三、經(jīng)典的進程同步機制

1. 軟件方法：Peterson算法

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

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

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

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

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

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

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

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

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

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

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

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

4. 經(jīng)典同步問題

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

四、管程（Monitor）

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

• 特性：

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

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

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

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

五、進程同步與計算機系統(tǒng)服務

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

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

六、

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