Linux 輕量級進程 vs 普通進程 vs 內核線程 vs 用戶線程：本質差異全景圖

前言

Linux 並無原生「線程」概念，僅有任務。所謂線程，是通過 clone() 系統調用以不同標誌位創建的共享資源的任務。本文從地址空間、資源共享、調度實體、創建參數、同步開銷五個維度，徹底釐清內核線程、輕量級進程（LWP）、用戶線程、普通進程的本質差異。

一、核心差異對照表

二、三類線程深度剖析

1. 內核線程

• 由 kthread_create()/kernel_thread() 創建，mm = NULL。
• 典型：ksoftirqd、kworker、migration、rcu_gp、kswapd、jbd2 等。
• 優勢：無用戶態上下文切換開銷，響應極快，適合核心後台服務。
• 調度：同樣納入 CFS，可被普通進程搶佔（除非提升為即時優先級）。

2. 輕量級進程 (LWP)

• 本質：由內核調度的用戶線程，每個 LWP 對應一個內核線程（1:1 模型，NPTL 採用）。
• 創建：clone(CLONE_VM | CLONE_FS | CLONE_FILES | CLONE_SIGHAND | CLONE_THREAD | CLONE_SYSVSEM ...)。
• 共享：地址空間、文件描述符表、信號處理、cwd/umask、SysV 信號量。
• 獨有：task_struct、棧、寄存器、thread_info、pid（對外可見為線程 ID，內核內部為 task PID）、tid、tgid（線程組 ID，即進程 PID）。
• getpid() 返回 tgid，gettid() 返回 pid。

3. 用戶線程

• 完全在用戶空間實現（如早期 LinuxThreads、Goroutine、Green Thread）。
• 核心不可見，核心只調度所屬進程（單一調度實體）。
• 優勢：創建/切換/同步極快（無系統調用），可支撐百萬級併發。
• 劣勢：一個線程阻塞（如 read）整個進程阻塞；無法利用多核並行（單核調度實體）；信號處理複雜。
• 現狀：NPTL 採用 1:1 LWP 模型，用戶線程庫多用於協程框架（libco、libgo、boost.fiber）。

三、Linux 線程實現演進

1. LinuxThreads (舊)：進程組模擬線程，信號處理不符合 POSIX，getpid() 返回線程 ID。
2. NPTL (Native POSIX Thread Library, 2.6+)：1:1 LWP 模型，CLONE_THREAD 標誌創建線程組，共享 signal_struct、sighand_struct，完美符合 POSIX。

四、實務選型指南

總結

Linux 以 task_struct 統一描述所有調度實體：
普通進程 = 獨立資源 + 獨立調度；
LWP = 共享資源（mm/files/fs/signal）+ 獨立調度；
內核線程 = 無用戶資源 + 獨立調度；
用戶線程 = 用戶態自管調度，核心不可見。
理解「共享什麼、調度由誰負責、阻塞影響範圍」，即可在高併發架構中做出正確抉擇。