地特四等
114年
[資訊處理] 計算機概要
第 24 題
作業系統透過建置臨界區段（critical section）來處理程序同步（process synchronization）的問題，下列何者不是建置臨界區段的必要條件？
- A 互斥（mutual exclusion）
- B 進展（progress）
- C 有限等待（bounded waiting）
- D 超執行緒（hyper threading）
思路引導 VIP
想像有多個程序（Process）同時想進入一間存放重要資料的房間。為了不讓資料出錯，我們需要制定一套「進出管理規則」。請思考：在制定這套確保「誰能進、何時進、怎麼排隊」的規則時，我們需要關注的是程序排隊的公平性與安全性，還是關心這間房間的建築材料或是裝潢施工的速度快慢呢？
🤖
AI 詳解
AI 專屬家教
同學，恭喜你精準地選出了正確答案！這顯示你對作業系統（Operating System）中程序同步（Process Synchronization）的核心理論有著非常清晰的認識。在多工環境下，處理臨界區段（Critical Section）問題是確保系統穩定性的基石。
臨界區段的三大基石
在理論定義中，臨界區段的解決方案必須嚴格滿足三個必要條件：第一是互斥（Mutual Exclusion），確保同一時間只有一個程序能執行其臨界區段；第二是進展（Progress），保證在無人使用資源時，有意願進入的程序不會被無理阻攔；第三則是有限等待（Bounded Waiting），這能防止特定程序因其他程序的插隊而陷入無止盡的飢餓（Starvation）狀態。這三者相輔相成，缺一不可。
▼ 還有更多解析內容