前言

在Linux中，有些線程需要被公平調度，保證每個線程不會長時間的調度不到，這就是我們熟知的CFS調度類（sched class），但是也有一些關鍵線程（比如一些顯示刷幀的支撐線程），我們需要保證線程能夠及時被調度到，針對普通負載較輕的場景，線程的調度及時性都能得到保證。但是為了滿足人們的日常使用需求，操作系統后臺駐留任務越來越多（這種現象在Android設備上表現尤為嚴重），而系統的CPU始終只有一個，即使這個CPU有8個核甚至更多，CPU也有可能被塞滿task，為了保證一些重要task的及時運行，這里就有了實時進程的概念。

Linux中，系統是通過優先級來區分非實時線程和實時線程的，Linux將線程優先級分為140個等級，從0~139，這個值越小其優先級越高，實時線程也叫rt(real time)線程，其優先級范圍為[0,99]，非實時線程為[100,139]。非實時線程也叫cfs線程，他的default優先級為120，通過nice值轉化為最終的線程優先級。Nice值的取值范圍為-20~19，可以通過ps命令查看NI列：

本文主要講述rt線程的選核流程。

rt選核流程介紹

每個task在被wakup喚醒時候都會從try_to_wake_up開始執行，這里會為task選擇合適的CPU運行，其核心邏輯位于select_task_rq函數里面，它會根據task的sched_class確定調用的具體函數，而task的sched_class初始化則是在系統更改或者設置task的priority時，根據task的priority進行設置：

如果一個線程為rt，它的sched_class則為rt_sched_class，結構體初始化定義如下：

那么rt線程對應調度類的選核函數為select_task_rq_rt，其基本的執行邏輯如下圖1：

圖1

rt選核流程比較簡單，其核心邏輯位于find_lowest_rq函數中，此函數主要用于尋找符合當前rt線程運行的cpu，其核心邏輯如下圖2：

圖2

cpupri_find_fitness負責從所有系統中所有的符合task運行條件的cpu找出來，并更新到lowest_mask里面，然后find_lowest_rq再從最終的lowest_mask里面選擇合適的CPU，選擇邏輯：

如果lowest_mask里面包含task的prev cpu，則直接選擇prev cpu。

選擇lowest_mask在task的sched domain里面的第一個cpu。

如果前面都沒找到CPU，則判斷lowest_mask里面是否包含了wake cpu，如果包含則直接返回wake cpu

最后如果都沒找到，lowest又不為空，則從lowest_mask里面找一個隨機的cpu返回。

下面來看下cpupri_find_fitness如何找到合適的所有適合task運行的cpu，主要分為3個部分：

1.首先對task優先級進行一個轉化，將系統中的task分為0~102個等級，優先級由低到高，可以分為invalid，idle，normal和rt四類。

圖3

其中invalid優先級為0，idle優先級為1，所有的cfs線程占用一類，優先級為2，rt則每個優先級占用一個等級。

2.因為rt線程是可以搶占的，for循環從最低優先級開始遍歷，這里的優先級為已經轉化為103個級別的優先級狀態，其選核邏輯一般為首先選擇idle的cpu運行，其次是搶占有cfs task的cpu運行，最后才會考慮取搶占其他低優先級rt task的cpu，通過__cpupri_find查找各個優先級在cpu上的運行狀態，找到可以使用的cpu。cpupri_vec結構體有兩個成員，count用來存儲各個優先級task在哪些CPU上屬于最高優先級task，mask則用來存儲當前優先級所在CPU上是最高優先級的的cpumask。例如當前系統中cpu0~5上沒有全是cfs task在運行，那么normal task的count值為6，mask為0x3f。

__cpupri_find的基本邏輯：

判斷當前優先級在哪些CPU上是最高優先級，如果沒有的話，說明當前系統要么沒有此優先級task，要么是當前優先級task并非系統中各個CPU的最高優先級。

當前優先級task在有cpu是處于最高優先級，從這些cpu里面去除掉task not allowed cpu，再去除掉被isolation的cpu，最后如果lowest_mask還有CPU，則將lowest_mask作為后面選核的基礎。

經過__cpupri_find找到lowest_mask后，再從lowest_mask里面過濾掉capacity無法滿足當前task的cpu，最后剩下的就是可以用來運行當前task的cpumask，如果沒有剩余，則說明當前優先級的task所運行的cpu沒有滿足條件的，此時需要進入下一個循環，找到更高優先級的task運行的cpu。

3.如果此次循環沒有找到合適的cpu，會再進行一次循環，嘗試找到合適的CPU。

至此，rt選核的整體流程介紹完畢。

結語

本文主要從代碼的角度講述了Linux rt選核的主要流程，旨在讓讀者對于rt線程及其選核邏輯有一個初步的認識，利用rt線程的優點，可以解決當前系統中因為調度延遲引起的一些性能問題。

rt線程選核相對cfs線程而言要簡單一些，他不會考慮energy等因素，但系統中過多的rt task可能會帶來一定的功耗影響，同時由于rt主要是為了解決重要task的調度延遲問題，如果系統中過多的rt線程可能導致一些重負載場景可能所有CPU都是rt task，引發rt線程的調度延遲，從而導致更嚴重的性能問題，所以也不宜在系統中設置過多的rt task。

　　審核編輯：湯梓紅