地方政府公務人員四等-資訊處理類科計算機概要114 年第 24 題單選題
作業系統透過建置臨界區段（critical section）來處理程序同步（process synchronization）的問題，下列何者不是建置臨界區段的必要條件？
A互斥（mutual exclusion）
B進展（progress）
C有限等待（bounded waiting）
D超執行緒（hyper threading）正確答案
D正確答案
臨界區段三大必要條件：互斥、進展、有限等待；超執行緒是 CPU 硬體技術，與程序同步無關。
為什麼答案是 D
超執行緒（hyper threading）是 Intel 的 CPU 硬體技術，讓單核模擬多執行緒以提升平行效能，跟臨界區段的同步設計無關，為本題答案。
載入中…
完整詳解
Pro · 無限重點 臨界區段三大必要條件：互斥、進展、有限等待；超執行緒是 CPU 硬體技術，與程序同步無關。
記口訣「互進限」三條件，其他都是陷阱。超執行緒屬硬體層，一看就刪。
逐選項分析
A✕
互斥（mutual exclusion）指同一時間只能有一個程序進入臨界區段，是解決競爭條件的核心條件，為必要條件之一。
B✕
進展（progress）指若無程序在臨界區段內，想進入者不能被無限延遲，必須在有限時間內決定誰能進入，為必要條件之一。
C✕
有限等待（bounded waiting）指程序等待進入臨界區段的次數需有上限，避免飢餓（starvation）現象，為必要條件之一。
D✓ 正確
超執行緒（hyper threading）是 Intel 的 CPU 硬體技術，讓單核模擬多執行緒以提升平行效能，跟臨界區段的同步設計無關，為本題答案。
臨界區段三大必要條件（Critical Section Requirements）
| 條件 | 英文 | 核心概念 | 違反後果 |
|---|
| 互斥 | Mutual Exclusion | 同時只一人進入 | 資料競爭、不一致 |
| 進展 | Progress | 無人進入時不可無限拖延決策 | 系統僵住 |
| 有限等待 | Bounded Waiting | 等待次數有上限 | 飢餓 Starvation |
考選部最愛把「硬體層名詞」混進「作業系統同步條件」裡。超執行緒聽起來像跟多執行緒有關，但它是 CPU 硬體平行技術，跟臨界區段的三大條件完全不同層級，別被英文嚇到。 
