在Linux系統(tǒng)中，進(jìn)程調(diào)度就像一位精明的“CPU管理員”——它決定著哪個(gè)進(jìn)程能優(yōu)先使用CPU，多久切換一次進(jìn)程，如何平衡系統(tǒng)響應(yīng)速度與資源利用率。小到桌面應(yīng)用的流暢點(diǎn)擊，大到服務(wù)器的多任務(wù)并發(fā)，背后都離不開內(nèi)核調(diào)度算法的精準(zhǔn)操控。今天，我們就從優(yōu)先級、調(diào)度算法、時(shí)間片分配到底層實(shí)現(xiàn)，全方位拆解Linux內(nèi)核進(jìn)程調(diào)度的核心邏輯。

一、進(jìn)程調(diào)度的“身份標(biāo)識”：優(yōu)先級與分類

要理解調(diào)度邏輯，首先得搞懂：進(jìn)程憑什么“插隊(duì)”？答案是——優(yōu)先級。而進(jìn)程的“性格”（CPU消耗型/I/O消耗型），也會(huì)影響調(diào)度器的決策。

1.進(jìn)程的兩種“性格”

從CPU使用習(xí)慣來看，進(jìn)程分為兩類：

?CPU消耗型進(jìn)程：像大型計(jì)算、程序編譯這類任務(wù)，一旦運(yùn)行就想長時(shí)間霸占CPU，對時(shí)間片的需求是“越長越好”。

?I/O消耗型進(jìn)程：像鍵盤輸入、網(wǎng)絡(luò)請求、磁盤讀寫這類任務(wù)，大部分時(shí)間在等待I/O設(shè)備響應(yīng)，實(shí)際占用CPU的時(shí)間很短，不需要長時(shí)時(shí)間片，反而需要調(diào)度器快速響應(yīng)，讓它“隨叫隨到”。

Linux調(diào)度器的核心目標(biāo)之一，就是平衡這兩類進(jìn)程的需求——既保證CPU消耗型進(jìn)程的計(jì)算效率，又不犧牲I/O消耗型進(jìn)程的響應(yīng)速度。

2.優(yōu)先級的“雙重表達(dá)”：nice值與內(nèi)核優(yōu)先級

進(jìn)程的優(yōu)先級有兩種常用表述，我們可以理解為“用戶視角”和“內(nèi)核視角”：

?用戶視角：nice值：這是用戶能直接操作的優(yōu)先級指標(biāo)，取值范圍是-20~19。核心規(guī)則很簡單：nice值越小，優(yōu)先級越高（比如nice=-20是最高用戶優(yōu)先級，nice=19是最低），默認(rèn)值為0。

?內(nèi)核視角：內(nèi)核優(yōu)先級：內(nèi)核內(nèi)部用0~139的數(shù)值表示優(yōu)先級，規(guī)則和nice值一致——數(shù)值越低，優(yōu)先級越高。這個(gè)范圍被劃分為兩部分：

?0~99：實(shí)時(shí)進(jìn)程專用（比如工業(yè)控制、音頻處理等需要毫秒級響應(yīng)的任務(wù)）；

?100~139：普通進(jìn)程專用（我們?nèi)粘Ｊ褂玫臑g覽器、編輯器等都屬于這類）；

?特殊情況：Deadline進(jìn)程優(yōu)先級為-1，擁有比實(shí)時(shí)進(jìn)程更高的調(diào)度優(yōu)先級。

3.進(jìn)程PCB中的“優(yōu)先級檔案”

每個(gè)進(jìn)程在Linux內(nèi)核中都有一個(gè)“身份檔案”——struct task_struct（進(jìn)程控制塊PCB），其中4個(gè)成員專門記錄優(yōu)先級信息：

二、經(jīng)典與現(xiàn)代：兩大核心調(diào)度算法

調(diào)度算法是進(jìn)程調(diào)度的“大腦”，Linux內(nèi)核先后采用過兩種關(guān)鍵算法：MLFQ（多級反饋隊(duì)列）和CFS（完全公平調(diào)度器），后者更是當(dāng)前Linux系統(tǒng)的主流。

1.經(jīng)典方案：MLFQ多級反饋隊(duì)列算法

核心思想

把進(jìn)程按優(yōu)先級分成多個(gè)隊(duì)列，高優(yōu)先級隊(duì)列的進(jìn)程先被調(diào)度，同優(yōu)先級隊(duì)列內(nèi)按“先進(jìn)先出”（FIFO）規(guī)則執(zhí)行。比如設(shè)置5個(gè)隊(duì)列（隊(duì)列5最高，隊(duì)列1最低）：

?高優(yōu)先級進(jìn)程（如I/O消耗型）進(jìn)入隊(duì)列5，優(yōu)先占用CPU；

?低優(yōu)先級進(jìn)程（如CPU消耗型）進(jìn)入隊(duì)列1，等所有高優(yōu)先級隊(duì)列空閑后才執(zhí)行；

?若高優(yōu)先級隊(duì)列的進(jìn)程執(zhí)行超時(shí)，會(huì)被“降級”到低一級隊(duì)列，避免獨(dú)占CPU。

調(diào)度流程（流程圖見下文）

1.進(jìn)程創(chuàng)建后，根據(jù)優(yōu)先級進(jìn)入對應(yīng)隊(duì)列；

2.調(diào)度器優(yōu)先從最高優(yōu)先級隊(duì)列取進(jìn)程執(zhí)行；

3.同優(yōu)先級隊(duì)列內(nèi)的進(jìn)程依次執(zhí)行，直到時(shí)間片耗盡；

4.超時(shí)進(jìn)程降級到低一級隊(duì)列，空閑隊(duì)列的進(jìn)程可能被提權(quán)；

5.低優(yōu)先級隊(duì)列進(jìn)程只有在高優(yōu)先級隊(duì)列無任務(wù)時(shí)才執(zhí)行。

2.現(xiàn)代方案：CFS完全公平調(diào)度器

MLFQ依賴固定時(shí)間片和隊(duì)列分級，難以實(shí)現(xiàn)絕對公平。CFS徹底拋棄了“固定時(shí)間片”和“固定調(diào)度周期”，核心是“按權(quán)重分配CPU時(shí)間”，讓每個(gè)進(jìn)程都能獲得“公平的運(yùn)行機(jī)會(huì)”。

核心邏輯

?權(quán)重量化：每個(gè)進(jìn)程的權(quán)重由nice值轉(zhuǎn)換而來（nice值越小，權(quán)重越大）；

?時(shí)間分配：CPU總時(shí)間按“進(jìn)程權(quán)重/所有進(jìn)程總權(quán)重”的比例分配給每個(gè)進(jìn)程；

?舉例：如果進(jìn)程A權(quán)重是2，進(jìn)程B權(quán)重是1，總權(quán)重是3，那么A獲得2/3的CPU時(shí)間，B獲得1/3，實(shí)現(xiàn)“按貢獻(xiàn)分配”的公平性。

優(yōu)勢

?無需固定時(shí)間片：I/O消耗型進(jìn)程權(quán)重高，能快速獲得CPU響應(yīng)；CPU消耗型進(jìn)程權(quán)重低，但能獲得持續(xù)的CPU時(shí)間，不會(huì)頻繁被搶占；

?動(dòng)態(tài)適應(yīng)：進(jìn)程權(quán)重隨nice值調(diào)整，用戶可以通過系統(tǒng)調(diào)用靈活控制進(jìn)程優(yōu)先級。

三、時(shí)間片與進(jìn)程切換：CPU時(shí)間的“分配藝術(shù)”

1.時(shí)間片的本質(zhì)

時(shí)間片是進(jìn)程在被搶占前能持續(xù)運(yùn)行的最大時(shí)間。傳統(tǒng)調(diào)度器采用“固定時(shí)間片”，但存在明顯缺陷：

?I/O消耗型進(jìn)程用不完時(shí)間片，造成資源浪費(fèi)；

?CPU消耗型進(jìn)程覺得時(shí)間片太短，頻繁切換導(dǎo)致開銷增加。

2. CFS的“無時(shí)間片”革命

CFS不再使用固定時(shí)間片，而是通過“權(quán)重占比”動(dòng)態(tài)分配CPU時(shí)間：

?權(quán)重高的進(jìn)程（如nice值-20）獲得更長的運(yùn)行時(shí)間；

?權(quán)重低的進(jìn)程（如nice值19）獲得較短的運(yùn)行時(shí)間；

?所有進(jìn)程的運(yùn)行時(shí)間占比與權(quán)重占比一致，實(shí)現(xiàn)“公平調(diào)度”。

3.進(jìn)程切換的觸發(fā)

當(dāng)進(jìn)程滿足以下條件時(shí)，調(diào)度器會(huì)觸發(fā)切換：

?進(jìn)程運(yùn)行時(shí)間達(dá)到分配的“公平時(shí)間”；

?進(jìn)程主動(dòng)放棄CPU（如等待I/O）；

?有更高優(yōu)先級進(jìn)程被喚醒（搶占當(dāng)前進(jìn)程）。

四、底層實(shí)現(xiàn)：系統(tǒng)調(diào)用如何操控調(diào)度？

用戶和內(nèi)核通過系統(tǒng)調(diào)用來交互，調(diào)整進(jìn)程優(yōu)先級的核心函數(shù)是nice()，而內(nèi)核通過task_nice()函數(shù)獲取進(jìn)程的nice值。

1.核心函數(shù)實(shí)現(xiàn)

2.關(guān)鍵邏輯

?nice(int inc)：用戶通過這個(gè)系統(tǒng)調(diào)用調(diào)整進(jìn)程優(yōu)先級，inc是nice值的變化量（比如inc=-5表示優(yōu)先級提高）；

?task_nice()：內(nèi)核通過這個(gè)函數(shù)讀取進(jìn)程的nice值，底層通過PRIO_TO_NICE宏將內(nèi)核的static_prio（靜態(tài)優(yōu)先級）轉(zhuǎn)換為用戶可見的nice值；

?轉(zhuǎn)換規(guī)則：static_prio范圍100~139（普通進(jìn)程），對應(yīng)nice值-20~19（比如static_prio=100對應(yīng)nice=-20，static_prio=139對應(yīng)nice=19）。

五、總結(jié)：Linux進(jìn)程調(diào)度的核心目標(biāo)

Linux內(nèi)核進(jìn)程調(diào)度的本質(zhì)，是在“公平性”和“響應(yīng)性”之間尋找平衡：

?對普通用戶：保證桌面應(yīng)用、輸入法等I/O消耗型進(jìn)程快速響應(yīng)，體感流暢；

?對服務(wù)器：保證多進(jìn)程并發(fā)時(shí)的資源利用率，讓CPU消耗型進(jìn)程高效運(yùn)行；

?對開發(fā)者：提供靈活的優(yōu)先級調(diào)整接口（nice值），滿足不同場景的調(diào)度需求。

從MLFQ的“分級調(diào)度”到CFS的“公平調(diào)度”，Linux內(nèi)核的調(diào)度算法一直在進(jìn)化，而核心邏輯始終圍繞“讓CPU資源得到最優(yōu)分配”。理解這些底層細(xì)節(jié)，不僅能幫助我們排查系統(tǒng)性能問題，更能讓我們在編寫程序時(shí)，通過合理設(shè)置進(jìn)程優(yōu)先級，讓應(yīng)用運(yùn)行得更高效。

附：Linux進(jìn)程調(diào)度整體流程圖