moea_joint
109年
[資訊] 計算機原理、網路概論
第 16 題
合作行程(cooperating process)可用臨界區間(Critical Section)來達成行程溝通(process communication)，下列何者並非臨界區間需具備的性質？
- A 可進行性(progress)
- B 跨平台(cross platform)
- C 有限性等待(bounded waiting)
- D 互斥(mutual exclusion)
思路引導 VIP
想像一下，如果有兩個人同時想在同一張狹小的紙條上寫字，為了確保這張紙不會被撕破，且兩人的訊息都能完整呈現，我們必須在他們之間建立什麼樣的「行動準則」來規範誰先寫、誰後寫？這些準則應該關注的是「執行過程中的協調與順序」，還是「這支筆在哪種廠牌的紙上都能寫」呢？
🤖
AI 詳解
AI 專屬家教
臨界區間的三大核心定義
同學選得非常精準！這題考驗的是作業系統中關於「行程同步」的基礎學理。在解決多個行程存取共享資源（即 Race Condition）的問題時，我們必須滿足三個由學界定義的必要條件：互斥 (Mutual Exclusion) 確保同一時間只有一個行程能進入區間；可進行性 (Progress) 確保當區間空閒時，想進去的行程不會被無理阻擋；以及 有限性等待 (Bounded Waiting) 確保每個行程最終都能進入，不會發生飢餓現象。這三者共同構築了行程溝通的安全性與公平性。
工程特性與學理定義的辨析
▼ 還有更多解析內容