行程管理核心概念：程式 vs 行程、六大特性、三態模型與控制原語

行程是作業系統資源分配與排程的基本單位，理解其與程式的本質差異、生命週期狀態轉換、PCB 資料結構與控制原語，是掌握 OS 核心的關鍵。本文系統梳理行程管理理論基石。

一、程式與行程：靜態 vs 動態的本質區別

二、行程六大基本特性

1. 動態性：由建立產生、調度執行、資源不足暫停、撤銷消亡，擁有完整生命週期。
2. 並發性：宏觀並行、微觀交替，多行程共享 CPU 時間片。
3. 獨立性：獨立排程單位、獨立資源擁有者、獨立錯誤邊界。
4. 非同步性：各行程推進速度不可預測，執行-暫停-執行走走停停。
5. 結構性：系統為每行程建立 PCB（Process Control Block），記錄 PID、狀態、程式計數器、暫存器、記憶體指標、開啟檔案表、訊號處理、排程資訊等。
6. 制約性：資源競爭（CPU、記憶體、I/O）、同步互斥（鎖、信號量）、邏輯依賴（管道、訊號）。

三、行程三態模型與轉換

        派遣(dispatch)          時間片用盡/搶佔
   就緒態 ---------------->  執行態 ----------------> 就緒態
      ^                            |
      |                            | 等待事件 (I/O、信號量、鎖)
      |                            v
      +------------------------ 等待態 (阻塞態)
                事件發生/資源就緒 (wakeup)

• 就緒態：擁有除 CPU 外所有資源，入就緒佇列等待排程器派遣。
• 執行態：佔用 CPU 正在執行指令流。
• 等待態：缺少資源（I/O 完成、訊號、鎖、訊息）主動放棄 CPU，等待喚醒。

延伸態：新建態、終止態、掛起態（Swapped Out，換出至磁碟）。

四、行程控制原語：核心態不可中斷的原子操作

五、行程上下文切換完整流程

1. 中斷/系統呼叫/例外 → 進入核心態。
2. 保存當前行程完整 CPU 狀態（PC、PSW、通用暫存器、浮點暫存器、向量暫存器）至 PCB。
3. 更新 PCB 狀態、統計資訊（CPU 時間、頁錯次數）。
4. 排程器選擇下一行程（CFS、O(1)、多級回饋佇列等）。
5. 切換記憶體映射（切換頁表基址 CR3、刷新 TLB 或使用 PCID/ASID）。
6. 恢復目標行程 CPU 狀態從其 PCB。
7. 返回使用者態繼續執行。

六、現代 OS 行程模型演進

• Linux：`task_struct`、輕量級行程（LWP，`clone()` 共享記憶體空間）、CFS 完全公平排程、cgroups 資源控制、命名空間隔離（容器基礎）。
• Windows：`EPROCESS`/`ETHREAD`、工作物件、纖維、UMS（使用者模式排程）、Job Object 隔離。
• 微核心：行程管理移至使用者空間伺服器（L4、seL4、Zircon），核心僅保留執行緒排程與 IPC。
• Unikernel：單地址空間、單行程、庫作業系統（MirageOS、IncludeOS），極致精簡。