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

一、進程同步的必要性

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

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

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

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

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

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

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

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

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

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

1. 軟件方法：Peterson算法

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

2. 硬件方法：關(guān)中斷與硬件指令

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

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

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

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

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

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

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

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

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

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

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

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

四、管程（Monitor）

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

• 特性：

1. 管程內(nèi)的共享變量只能被管程內(nèi)的過程訪問。

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

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

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

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

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

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

六、

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