原始碼解讀 RT Thread多任務排程演算法

*

本文依據

rt-thread

當時最新版本

4.0.1

版本原始碼

rt-thread作業系統是一款基於優先順序和時間片輪轉的多工實時作業系統。其排程演算法採用256個優先順序，並支援相同優先順序的任務存在。不同優先順序的任務採用優先順序排程，而相同優先順序的任務則採用時間片輪轉排程。其實這種排程演算法在絕大多數系統中都一樣，像我知道的μcos和freertos都是如此。不過這裡需要先了解乙個問題，也是我初學時被困擾的問題——多種排程演算法存在時那麼何時採用何種排程演算法？彼此又是如何共存和協調進行的？這要等看完並看懂排程演算法的原始碼之後才算明白其中原理。其實排程演算法採用優先順序排程為主要依據，以時間片輪轉為次要依據。也就是說只當沒有更高優先順序任務就緒的情況下，想同優先順序任務之間的排程才會採用時間片輪轉排程。

優先順序在多任務排程中是什麼？優先順序其實是給任務分配的乙個數值，數值越小則優先順序越高。優先順序的高低將直接反應在任務排程演算法中，優先順序越高越優先響應。

在rt-thread中優先順序排程演算法支援256個優先順序，可以通過巨集定義配置。通常情況下裁剪過程中會根據需要來定義優先順序數量。不過在原始碼中只會體現出兩種不同優先順序數量的差異，分別為32個和32個以上。rt-thread採用bitmap演算法來計算優先順序。bitmap演算法是二進位制與位運算完美結合的體現。看懂**之後相信大家都會來一句「臥槽，既然還可以這樣操作！」，真的崇拜發明bitmap演算法的大佬，不過我並不知道是誰最先發明的，第一次接觸是在學習μcos的時候。

前面提到過，rt-thread根據優先順序的數量不同分為兩種bitmap演算法（優先順序32個和32個以上），**稍微有些差異，主要是為了優化資源占用。其中不超過32個優先順序的情況下只會用乙個32bit的變數，超過32個優先順序後會使用乙個長度為32個元素的byte陣列，外加乙個32bit的變數用來分組。其中無論多少個優先順序，每個優先順序都只需要用乙個bit來表示對應優先順序的任務是否就緒狀態（為1表示就緒，為0表示掛起），所以最多支援256個優先順序。

為了理解優先順序計算中使用的bitmap演算法，首先必須要先掌握十進位制與二進位制的轉換，並且還需要掌握位運算。以rt-thread中優先順序大於32個的情況為例來說明，其32個及一下優先順序數量的方式更簡單，稍後會簡單說明。先看rt-thread中的原始碼，關於bitmap演算法會用到的幾個變數：

rt_list_t rt_thread_priority_table[rt_thread_priority_max];

struct rt_thread *rt_current_thread;
rt_uint8_t rt_current_priority;
#if rt_thread_priority_max > 32
/*maximum priority level, 256 
*/rt_uint32_t rt_thread_ready_priority_group;
rt_uint8_trt_thread_ready_table[
32];
#else
/*maximum priority level, 32 
*/rt_uint32_t rt_thread_ready_priority_group;
#endif

那如果同時有多個組中的任務都處於就緒該怎麼計算乙個最高優先順序呢？如果存在同時處於就緒的任務則對應的分組bit都會在rt_thread_ready_priority_group中置1，且同時在rt_thread_ready_table中對應的組中的bit也會置1.前面提到過優先順序越高其優先順序編號越小，比如優先順序0是最高的優先順序，優先順序255是最低優先順序。這就可以推理得知越小的優先順序編號就對應在rt_thread_ready_priority_group越低的bit上。不難看出0至7優先順序對應rt_thread_ready_priority_group變數的bit0,同理8至15對應比bit2，16至23對應bit3.等等。現假設優先順序5和19的任務處於就緒態，那麼其rt_thread_ready_priority_group變數的bit0和bit2將被置1，同時rt_thread_ready_table[0]的bit5以及rt_thread_ready_table[2]的bit3將被置1.如下圖所示： 

如果此時排程器排程時，應該要計算出優先順序為5的任務來執行。這其實分了三步來計算的。

首先拿rt_thread_ready_priority_group變數利用ffs函式計算最低位為1的bit是第幾個bit。顯然這個例子中是第乙個bit0位為1，假如這個結果我們用叫index的變數暫存起來，那麼index等於1.

第二步利用第一步計算的結果index作為rt_thread_ready_table的索引(索引從0開始為第乙個，所以要index-1)，即rt_thread_ready_table[0]。再一次做ffs(rt_thread_ready_table[0])計算最低位為1的bit是第幾位，顯然例子是bit5,假如我們再用個變數offset儲存這個值，那麼offset等於6。

第三步根據前兩步計算出來的index和offset得出最終的最高優先順序為(index-1)*8+(offset-1)，這裡的乘法可以用位運算代替，所以等價於((index-1) <<3) + (offset-1).其真正的rt-thread原始碼如下：

register rt_ubase_t highest_ready_priority;

#if rt_thread_priority_max 
<= 32
highest_ready_priority = __rt_ffs(rt_thread_ready_priority_group) - 1
;#else
register rt_ubase_t number;
number = __rt_ffs(rt_thread_ready_priority_group) -1
; highest_ready_priority = (number << 3) +__rt_ffs(rt_thread_ready_table[number]) - 1
;#endif

關於ffs函式的實現細節可以看rt-thread原始碼裡的各種實現方式，有c函式實現，也有針對各種編譯器和處理器優化的特殊指令的實現。不過其功能就是計算乙個值二進位制位為1的最低位是第幾位。在rt-thread的c函式實現中做了乙個0到255的索引陣列，其陣列的值分別就是0到255這些數值所對應的二進位制位為1的最低位索引。

最後說明一下，如上面的**所示，當優先級數定義為不超過32個時，就不存在rt_thread_ready_table了，更節省資源。也可以理解為每組只有乙個優先順序，所以可以直接用rt_thread_ready_priority_group直接代替了。因為最多才32個優先順序，rt_thread_ready_priority_group剛好32bit，每個bit代表乙個優先順序剛好對應上。

在說明時間片輪轉排程前，先要說明一下什麼是時間片。在作業系統裡，時間片的概念是相對於作業系統的tick中斷的。每觸發一次tick中斷就相當於乙個時間片。

時間片輪轉排程會在每個tick中斷時對當前任務的時間片減一，然後檢查其它任務的時間片剩餘情況。一旦當前任務的時間片用完，則會先重置當前任務的時間片。然後看是否有想同優先順序的任務，如果有則會將當前任務移到佇列末尾。然後觸發優先順序排程，此時只要當前優先順序是已就緒的最高優先順序最終就會取出相同優先順序佇列頭的任務執行。拋開其它因素簡單來說就是只要當前任務的時間片用完了，則會將當前任務移到佇列末尾，下乙個任務自然而然處於佇列頭將獲得執行。所以這就看起來是每個任務輪流來執行，只是每個任務的執行時間長短不一樣而已，這個執行的時間長短就是由時間片指定的。

綜上所述，體現時間片輪轉排程的前提是建立多個相同優先順序的任務。因為時間片輪轉排程只會發生在相同優先順序的任務之間。否則可以認為系統中只存在優先順序排程。

下圖展示了三個相同優先順序任務的時間片輪轉排程運**況：

openTLD 原始碼解讀

首先是run tld 在其次就是tldexample 最後到了初始化函式tldinit 第乙個比較關鍵的函式 bb scan 將影象網格化，將首先 scale 1.2.10 10 21 個規格 在每個規格上打網格 這個函式有乙個比較重要的方法 ntuples 就是重複 因為網格上的點很多點有相同的x...

thinkphp原始碼解讀

thinkphp原始碼解讀 thinkphp原始碼的根目錄下是 index.php，是系統預設的 主頁，index.php中首先檢測的是 php執行環境，如果php版本小於 5.3.0則退出執行，定義是否為除錯模式，定義應用目錄，引入入口檔案。thinkphp是整個框架的入口檔案，在thinkphp...

HashMap原始碼解讀

一 建立乙個hashmap都做了哪些工作？mapmap new hashmap hahmap無參構造方法 public hashmap 可以看到設定了載入因子 預設0.75 閾值 預設容量16 預設載入因子0.75 12 table是hashmap內部資料儲存結構entry陣列。當hashmap的s...