操作系統進程三態轉換圖解：以編譯器運行為例

進程三態（運行、就緒、阻塞）是 OS 課程核心考點。本文結合 GCC 編譯器處理 C 文件 的具體生命周期，逐幀拆解狀態流轉，並補充四態模型（增加睡眠態）的工程意義。

三態定義回顧

• 運行態：佔用 CPU 執行指令。
• 就緒態：具備一切條件，僅等待調度器分派 CPU。
• 阻塞態：等待外部事件（I/O、信號量、鎖），主動放棄 CPU。

場景：gcc main.c -o main

狀態轉換圖（文本版）

      +-----------------+
      |   新建/就緒     |
      +--------+--------+
               | 調度分派
               v
      +--------+--------+      I/O 請求/等待事件      +--------+--------+
      |     運行態      | ----------------------------> |     阻塞態      |
      +--------+--------+                               +--------+--------+
               ^                                               |
               | 時間片用盡/搶佔                               | 事件發生/中斷喚醒
               |                                               v
      +--------+--------+ <------------------------------ +--------+--------+
      |     就緒態      |           就緒喚醒                |     (同阻塞)   |
      +-----------------+                                   +-----------------+

四態模型補充：睡眠態

Linux 內核將「可中斷等待」細分為 TASK_INTERRUPTIBLE (睡眠) 與 TASK_UNINTERRUPTIBLE (深度阻塞)：

• 睡眠態：等待條件變量、定時器、信號；可被信號喚醒轉就緒（如 sleep(1)、pthread_cond_wait）。
• 深度阻塞：磁盤 I/O、頁面換入；不可被信號打斷，必須等硬件完成。

工程上：ps -eo stat 中 S=睡眠、D=深度阻塞、R=運行/就緒。排查卡頓時關注 D 狀態進程堆棧。

面試/考試高頻考點

1. 就緒→運行：僅由調度器發起，進程無法主動觸發。
2. 運行→阻塞：進程主動發起（系統調用），非外部強制。
3. 阻塞→就緒：由外部事件（中斷處理程序/其他進程）喚醒，非進程自主。
4. 無法直接阻塞→運行：必須經過就緒隊列排隊，保證調度公平性。

掌握「誰發起、經過哪個隊列、由誰喚醒」三要素，即可應對所有狀態轉換題目。