FreeRTOS簡單內核實現6 優先順序

来源:https://www.cnblogs.com/lc-guo/p/18250550
-Advertisement-
Play Games

0、思考與回答 0.1、思考一 如何實現 RTOS 內核支持多優先順序? 因為不支持優先順序,所以所有的任務都插入了一個名為 pxReadyTasksLists 的就緒鏈表中,相當於所有任務的優先順序都是一致的,那如果我們創建一個就緒鏈表數組,數組下標代表優先順序,優先順序為 x 的任務就插入到 pxRead ...


0、思考與回答

0.1、思考一

如何實現 RTOS 內核支持多優先順序?

因為不支持優先順序,所以所有的任務都插入了一個名為 pxReadyTasksLists 的就緒鏈表中,相當於所有任務的優先順序都是一致的,那如果我們創建一個就緒鏈表數組,數組下標代表優先順序,優先順序為 x 的任務就插入到 pxReadyTasksLists[x] 中,這樣通過一個就緒鏈表數組就實現了將不同優先順序的任務放在不同的就緒鏈表中,方便在進行任務調度時支持任務優先順序

1、就緒鏈表

1.1、創建

將原來的就緒鏈表修改為就緒鏈表數組

/* task.c */
// 就緒鏈表數組
List_t pxReadyTasksLists[configMAX_PRIORITIES];

configMAX_PRIORITIES 是一個表示 RTOS 內核支持的最大優先順序的巨集定義,值得提醒的是目前 RTOS 支持的最大優先順序數量為 32 個(這與後面使用到的記錄優先順序的點陣圖有關,具體內容會在後面遇到優先順序點陣圖時做介紹)

/* FreeRTOSConfig.h */
// 設置 RTOS 支持的最大優先順序
#define configMAX_PRIORITIES                    5

1.2、初始化

修改就緒鏈表初始化函數,即遍歷整個就緒鏈表數組然後依次對每個就緒鏈表進行初始化,具體如下所示

/* task.c */
// 就緒鏈表始化函數
void prvInitialiseTaskLists(void)
{
	UBaseType_t uxPriority;
	// 初始化就緒任務鏈表
	for(uxPriority = (UBaseType_t)0U;
	    uxPriority < (UBaseType_t)configMAX_PRIORITIES; uxPriority++)
	{
		vListInitialise(&(pxReadyTasksLists[uxPriority]));
	}
}

1.3、添加任務

1.3.1、prvAddNewTaskToReadyList( )

已完成的內核中添加任務到就緒鏈表是對每個任務手動調用 vListInsertEnd() 函數實現的,現在創建一個函數用於在任務創建後自動將其添加到就緒鏈表中,具體函數流程如下所示

  1. 當前系統中任務數量加一
  2. 如果第一次創建任務,就初始化任務相關的鏈表(就緒鏈表數組等)
  3. 如果不是第一次創建任務,就根據任務的優先順序將 pxCurrentTCB 指向最高優先順序任務的 TCB

註意:if(pxCurrentTCB->uxPriority <= pxNewTCB->uxPriority) 判斷 pxCurrentTCB 指向最高優先順序任務的 TCB 時取了 = 號,也就意味著,如果系統中創建了兩個相同優先順序的任務,那啟動調度器後第一個執行的任務將是最後創建的那個任務

任務控制塊的 uxPriority 參數將在 "2.1、TCB" 小節中添加

/* task.c */
// 全局任務計數器
static volatile UBaseType_t uxCurrentNumberOfTasks = (UBaseType_t)0U;

// 添加任務到就緒鏈表中
static void prvAddNewTaskToReadyList(TCB_t* pxNewTCB)
{
	// 進入臨界段
	taskENTER_CRITICAL();
	{
		// 全局任務計數器加一操作
		uxCurrentNumberOfTasks++;
			
		// 如果 pxCurrentTCB 為空,則將 pxCurrentTCB 指向新創建的任務
		if(pxCurrentTCB == NULL)
		{
			pxCurrentTCB = pxNewTCB;
			// 如果是第一次創建任務,則需要初始化任務相關的列表
			if(uxCurrentNumberOfTasks == (UBaseType_t)1)
			{
				// 初始化任務相關的列表
				prvInitialiseTaskLists();
			}
		}
		else 
		// 如果pxCurrentTCB不為空
		// 則根據任務的優先順序將 pxCurrentTCB 指向最高優先順序任務的 TCB 
		{
			if(pxCurrentTCB->uxPriority <= pxNewTCB->uxPriority)
			{
				pxCurrentTCB = pxNewTCB;
			}
		}
		
		// 將任務添加到就緒列表
		prvAddTaskToReadyList(pxNewTCB);
	}
	// 退出臨界段
	taskEXIT_CRITICAL();
}

1.3.2、prvAddTaskToReadyList( )

是怎麼把任務添加到就緒鏈表的?

首先將要添加任務的優先順序記錄在優先順序點陣圖中,然後通過 vListInsertEnd() 函數將任務插入到對應優先順序的就緒鏈表中,具體如下所示

/* task.c */
// 32位的優先順序點陣圖,預設全 0 ,記錄了所有存在的優先順序
static volatile UBaseType_t uxTopReadyPriority = 0;

// 根據任務優先順序置位優先順序點陣圖
#define taskRECORD_READY_PRIORITY(uxPriority)	portRECORD_READY_PRIORITY(uxPriority, uxTopReadyPriority)

// 根據任務優先順序添加任務到對應的就緒鏈表
#define prvAddTaskToReadyList(pxTCB) \
	taskRECORD_READY_PRIORITY((pxTCB)->uxPriority); \
	vListInsertEnd(&(pxReadyTasksLists[(pxTCB)->uxPriority]), \
	               &((pxTCB)->xStateListItem)); \

什麼是優先順序點陣圖?

優先順序點陣圖本質是一個 32 位的數,如果有對應的優先順序任務,就將優先順序點陣圖這個變數的對應位標記為 1 (比如當前任務的優先順序為 2 ,則將優先順序點陣圖的從右向左第二位置一)

為什麼要使用優先順序點陣圖記錄任務優先順序?

方便快速找到當前系統中存在的最高優先順序,通過計算優先順序點陣圖的前導零個數,然後讓 31 減去前導零個數就可以很快找到最高優先順序

/* protMacro.h */
#define portRECORD_READY_PRIORITY(uxPriority, uxReadyPriorities) (uxReadyPriorities) |= (1UL << (uxPriority))

1.4、尋找最高優先順序任務

RTOS 支持任務優先順序後,任務的調度策略就可以修改為始終讓系統中處於就緒態的最高優先順序的任務得到執行,因此我們需要尋找最高優先順序任務,尋找到之後將 pxCurrentTCB 指向該任務,然後任務調度切換任務時就會切換到該最高優先順序的任務

/* task.c */
// 找到就緒列表最高優先順序的任務並更新到 pxCurrentTCB
#define taskSELECT_HIGHEST_PRIORITY_TASK() \
{ \
	UBaseType_t uxTopPriority; \
	/* 尋找最高優先順序 */ \
	portGET_HIGHEST_PRIORITY(uxTopPriority, uxTopReadyPriority); \
	/* 獲取優先順序最高的就緒任務的 TCB,然後更新到 pxCurrentTCB */ \
	listGET_OWNER_OF_NEXT_ENTRY(pxCurrentTCB, \
	                            &(pxReadyTasksLists[uxTopPriority])); \
}

獲取系統中存在的最高優先順序任務的原理正如 "1.3.2、prvAddTaskToReadyList( )" 小節中 ”為什麼要使用優先順序點陣圖記錄任務優先順序?“ 問題所述內容

/* protMacro.h */
#define portGET_HIGHEST_PRIORITY(uxTopPriority, uxReadyPriorities) uxTopPriority = (31UL - (uint32_t) __clz((uxReadyPriorities)))

2、修改內核程式

2.1、TCB

在任務控制塊中增加任務優先順序參數

/* task.h */
typedef struct tskTaskControlBlock
{
	// 省略之前的結構體成員定義
    UBaseType_t           uxPriority;                           // 優先順序
}tskTCB;

2.2、xTaskCreateStatic( )

修改靜態創建任務函數,在參數列表中增加任務優先順序參數,然後將創建好的任務直接自動添加到就緒鏈表中,不再需要額外手動將任務插入

/* task.c */
// 靜態創建任務函數
#if (configSUPPORT_STATIC_ALLOCATION == 1)
TaskHandle_t xTaskCreateStatic(TaskFunction_t pxTaskCode,
                            const char* const pcName,
                            const uint32_t ulStackDepth,
                            void* const pvParameters,         
                            UBaseType_t uxPriority,           // 優先順序
                            StackType_t* const puxTaskBuffer,
                            TCB_t* const pxTaskBuffer)
{
	// 省略未改變的代碼
	......
		// 真正的創建任務函數
		prvInitialiseNewTask(pxTaskCode,
							 pcName,
							 ulStackDepth,
							 pvParameters,
							 uxPriority,                      // 優先順序
							 &xReturn,
							 pxNewTCB);
	
		// 創建完任務自動將任務添加到就緒鏈表
		prvAddNewTaskToReadyList(pxNewTCB);
	// 省略未改變的代碼
	......
}
#endif

/* task.h */
// 函數聲明
TaskHandle_t xTaskCreateStatic(TaskFunction_t pxTaskCode,
                            const char* const pcName,
                            const uint32_t ulStackDepth,
                            void* const pvParameters,
                            UBaseType_t uxPriority,           // 優先順序
                            StackType_t* const puxTaskBuffer,
                            TCB_t* const pxTaskBuffer);

2.3、prvInitialiseNewTask( )

由於增加了優先順序參數,因此需要在真正的創建任務函數中增加對任務優先順序初始化的部分,具體如下所示

/* task.c */
// 真正的創建任務函數																 
static void prvInitialiseNewTask(TaskFunction_t pxTaskCode,
                            const char* const pcName,
                            const uint32_t ulStackDepth,
                            void* const pvParameters,
                            UBaseType_t uxPriority,
                            TaskHandle_t* const pxCreatedTask,
                            TCB_t* pxNewTCB)
{
	// 省略未改變的代碼
	......
	// 初始化優先順序
	if(uxPriority >= (UBaseType_t)configMAX_PRIORITIES)
	{
		uxPriority = (UBaseType_t)configMAX_PRIORITIES - (UBaseType_t)1U;
	}
	pxNewTCB->uxPriority = uxPriority;
	
	if((void*)pxCreatedTask != NULL)
	{
	    *pxCreatedTask = (TaskHandle_t)pxNewTCB;
	}
}

2.4、vTaskStartScheduler( )

由於在啟動任務調度器函數中創建了空閑任務,因此還需要在創建空閑任務的參數列表中增加優先順序參數,為了不搶占任何其他任務的運行,空閑任務的優先順序應該保持為最低優先順序,使用 taskIDLE_PRIORITY 巨集定義表示,具體如下所示

/* task.c */
// 啟動任務調度器
void vTaskStartScheduler(void)
{
    // 創建空閑任務
	TaskHandle_t xIdleTaskHandle = xTaskCreateStatic((TaskFunction_t)prvIdleTask,
                                      (char *)"IDLE",
                                      (uint32_t)confgiMINIMAL_STACK_SIZE,
                                      (void *)NULL,
                                      (UBaseType_t)taskIDLE_PRIORITY,
                                      (StackType_t *)IdleTasKStack,
                                      (TCB_t *)&IdleTaskTCB);
	
	if(xPortStartScheduler() != pdFALSE){}
}
/* task.h */
// 空閑任務優先順序最低
#define taskIDLE_PRIORITY              ((UBaseType_t) 0U)

2.5、vTaskDelay( )

當一個任務調用阻塞延時函數時,可以將其優先順序從優先順序點陣圖上清除掉,這樣在尋找最高優先順序任務時就不會找到阻塞狀態的該任務

值得提醒的是,這種做法雖然可以簡單的達到讓進入阻塞狀態的任務暫時脫離調度的效果,但是由於其仍然存在就緒鏈表中,並不是真正的從就緒鏈表中移除,因此在遍歷就緒鏈表對就緒態的任務操作時會產生額外的操作

/* task.c */
// 阻塞延時函數
void vTaskDelay(const TickType_t xTicksToDelay)
{
	// 省略未修改程式
    ......
    // 將任務從優先順序點陣圖上清除,這樣調度時就不會找到該任務
    taskRESET_READY_PRIORITY(pxTCB->uxPriority);
    // 主動產生任務調度,讓出 MCU 
    taskYIELD();
}
/* task.c */
// 根據任務優先順序清除優先順序點陣圖
#define taskRESET_READY_PRIORITY(uxPriority) \
{ \
	portRESET_READY_PRIORITY((uxPriority), (uxTopReadyPriority)); \
}

與置位優先順序點陣圖原理剛好相反,清除優先順序點陣圖則是根據任務的優先順序將優先順序點陣圖上對應的位清零,具體如下所示

/* protMacro.h */
#define portRESET_READY_PRIORITY(uxPriority, uxReadyPriorities) (uxReadyPriorities) &= ~(1UL << (uxPriority))

2.6、vTaskSwitchContext( )

任務調度函數中始終選擇系統中就緒狀態的最高優先順序任務

/* task.c */
// 任務調度函數
void vTaskSwitchContext(void)
{
	taskSELECT_HIGHEST_PRIORITY_TASK();
}

2.7、xTaskIncrementTick( )

更新任務阻塞延時參數,如果任務延時時間到期,將其任務優先順序在優先順序點陣圖上恢復,然後產生任務調度切換任務

/* task.c */
// 更新任務延時參數
void xTaskIncrementTick(void)
{
	TCB_t *pxTCB = NULL;
	uint8_t i =0;
	uint8_t xSwitchRequired = pdFALSE;
	
	// 更新 xTickCount 系統時基計數器
	const TickType_t xConstTickCount = xTickCount + 1;
	xTickCount = xConstTickCount;
	
	// 掃描就緒列表中所有任務,如果延時時間不為 0 則減 1 
	for(i=0; i<configMAX_PRIORITIES; i++)
	{
		pxTCB = (TCB_t *)listGET_OWNER_OF_HEAD_ENTRY((&pxReadyTasksLists[i]));
		if(pxTCB->xTicksToDelay > 0)
		{
			pxTCB->xTicksToDelay--;
		}
		// 延時時間到,將任務就緒
		else 
		{
			taskRECORD_READY_PRIORITY(pxTCB->uxPriority);
			xSwitchRequired = pdTRUE;
		}
	}
	// 如果就緒鏈表中有任務從阻塞狀態恢復就產生任務調度
	if(xSwitchRequired == pdTRUE){
		// 產生任務調度
		portYIELD();
	}
}

3、實驗

3.1、測試

測試程式與 FreeRTOS簡單內核實現5 阻塞延時 幾乎一致,但是已經不需要我們手動將任務插入就緒鏈表中了,不過創建任務時需要額外指定任務的優先順序參數,另外我們添加一個模擬任務一直運行的延時函數,具體如下所示

/* main.c */
/* USER CODE BEGIN Includes */
#include "FreeRTOS.h"
/* USER CODE END Includes */

/* USER CODE BEGIN PV */
// 軟體延時
void delay(uint32_t count)
{
	for(;count!=0;count--);
}

TaskHandle_t Task1_Handle;
#define TASK1_STACK_SIZE                    128
StackType_t Task1Stack[TASK1_STACK_SIZE];
TCB_t Task1TCB;
UBaseType_t Task1Priority = 1;

TaskHandle_t Task2_Handle;
#define TASK2_STACK_SIZE                    128
StackType_t Task2Stack[TASK2_STACK_SIZE];
TCB_t Task2TCB;
UBaseType_t Task2Priority = 2;

// 任務 1 入口函數
void Task1_Entry(void *parg)
{
	for(;;)
	{
		HAL_GPIO_TogglePin(GREEN_LED_GPIO_Port, GREEN_LED_Pin);
		vTaskDelay(100);
	}
}
// 任務 2 入口函數
void Task2_Entry(void *parg)
{
	for(;;)
	{
		HAL_GPIO_TogglePin(ORANGE_LED_GPIO_Port, ORANGE_LED_Pin);
		// 模擬高優先順序任務一直運行
		delay(10000000);
	}
}
/* USER CODE END PV */

/* USER CODE BEGIN 2 */
// 創建任務 1 和 2
Task1_Handle = xTaskCreateStatic((TaskFunction_t)Task1_Entry,
								 (char *)"Task1",
								 (uint32_t)TASK1_STACK_SIZE,
								 (void *)NULL,
								 (UBaseType_t)Task1Priority,
								 (StackType_t *)Task1Stack,
								 (TCB_t *)&Task1TCB);
														
Task2_Handle = xTaskCreateStatic((TaskFunction_t)Task2_Entry,
								 (char *)"Task2",
								 (uint32_t)TASK2_STACK_SIZE,
								 (void *) NULL,
								 (UBaseType_t)Task2Priority,
								 (StackType_t *)Task2Stack,
								 (TCB_t *)&Task2TCB );
// 啟動任務調度器,永不返回
vTaskStartScheduler();
/* USER CODE END 2 */

使用邏輯分析儀捕獲 GREEN_LED 和 ORANGE_LED 兩個引腳的電平變化,具體如下圖所示

可以發現因為我們使用軟體延時模擬高優先順序 Task2 任務一直運行,導致低優先順序的 Task1 任務完全沒時間運行,也即 Task1 被餓死了

將 Task1 的優先順序修改為 3 ,重新編譯燒錄程式再次觀察兩個引腳的電平變化,具體如下圖所示

可以發現 Task1 不再被餓死,通過上述測試可以證明目前的 RTOS 已經支持多任務優先順序

3.2、待改進

當前 RTOS 簡單內核已實現的功能有

  1. 靜態方式創建任務
  2. 手動切換任務
  3. 臨界段保護
  4. 任務阻塞延時
  5. 支持任務優先順序

當前 RTOS 簡單內核存在的缺點有

  1. 缺少阻塞鏈表
  2. 不支持時間片輪詢

您的分享是我們最大的動力!

-Advertisement-
Play Games
更多相關文章
  • 大家好,我是R哥。 今天分享一個爽飛了的面試輔導 case: 這個杭州兄弟空窗期 1 個月+,面試了 6 家公司 0 Offer,不知道問題出在哪,難道是杭州的 IT 崩盤了麽? 報名面試輔導後,經過一個多月的輔導打磨,現在成功入職某上市公司,漲薪 30%+,955 工作制,不咋加班,還不捲。 其他 ...
  • 上一次的介紹,主要圍繞如何統一去捕獲異常,以及為每一種異常添加自己的Mapper實現,並且我們知道,當在ExceptionMapper中返回非200的Response,不支持application/json的響應類型,而是寫死的text/plain類型。 Filter為二方包異常手動捕獲 參考:ht ...
  • 前言 大家好,我是老馬。很高興遇到你。 我們為 java 開發者實現了 java 版本的 nginx https://github.com/houbb/nginx4j 如果你想知道 servlet 如何處理的,可以參考我的另一個項目: 手寫從零實現簡易版 tomcat minicat 手寫 ngin ...
  • 一:背景 1. 講故事 前些天有位朋友找到我,說他們的程式記憶體會偶發性暴漲,自己分析了下是非托管記憶體問題,讓我幫忙看下怎麼回事?哈哈,看到這個dump我還是非常有興趣的,居然還有這種游戲幣自助機類型的程式,下次去大玩家看看他們出幣的機器後端是不是C#寫的?由於dump是linux上的程式,剛好win ...
  • Like運算符很好用,特別是它所提供的其中*、?這兩種通配符,在Windows文件系統和各類項目中運用非常廣泛。 但Like運算符僅在VB中支持,在C#中,如何實現呢? 以下是關於LikeString的四種實現方式,其中第四種為Regex正則表達式實現,且在.NET Standard 2.0及以上平... ...
  • 最近公司的很多項目都要改單點登錄了,不過大部分都還沒敲定,目前立刻要做的就只有一個比較老的項目 先改一個試試手,主要目標就是最短最快實現功能 首先因為要保留原登錄方式,所以頁面上的改動就是在原來登錄頁面下加一個SSO登錄入口 用超鏈接寫的入口,頁面改造後如下圖: 其中超鏈接的 href="Staff ...
  • 這個庫提供了在啟動期間實例化已註冊的單例,而不是在首次使用它時實例化。 單例通常在首次使用時創建,這可能會導致響應傳入請求的延遲高於平時。在註冊時創建實例有助於防止第一次Request請求的SLA 以往我們要在註冊的時候實例單例可能會這樣寫: //註冊: services.AddSingleton< ...
  • 下麵是一個標準的IDistributedCache用例: public class SomeService(IDistributedCache cache) { public async Task<SomeInformation> GetSomeInformationAsync (string na ...
一周排行
    -Advertisement-
    Play Games
  • 前言 本文介紹一款使用 C# 與 WPF 開發的音頻播放器,其界面簡潔大方,操作體驗流暢。該播放器支持多種音頻格式(如 MP4、WMA、OGG、FLAC 等),並具備標記、實時歌詞顯示等功能。 另外,還支持換膚及多語言(中英文)切換。核心音頻處理採用 FFmpeg 組件,獲得了廣泛認可,目前 Git ...
  • OAuth2.0授權驗證-gitee授權碼模式 本文主要介紹如何筆者自己是如何使用gitee提供的OAuth2.0協議完成授權驗證並登錄到自己的系統,完整模式如圖 1、創建應用 打開gitee個人中心->第三方應用->創建應用 創建應用後在我的應用界面,查看已創建應用的Client ID和Clien ...
  • 解決了這個問題:《winForm下,fastReport.net 從.net framework 升級到.net5遇到的錯誤“Operation is not supported on this platform.”》 本文內容轉載自:https://www.fcnsoft.com/Home/Sho ...
  • 國內文章 WPF 從裸 Win 32 的 WM_Pointer 消息獲取觸摸點繪製筆跡 https://www.cnblogs.com/lindexi/p/18390983 本文將告訴大家如何在 WPF 裡面,接收裸 Win 32 的 WM_Pointer 消息,從消息裡面獲取觸摸點信息,使用觸摸點 ...
  • 前言 給大家推薦一個專為新零售快消行業打造了一套高效的進銷存管理系統。 系統不僅具備強大的庫存管理功能,還集成了高性能的輕量級 POS 解決方案,確保頁面載入速度極快,提供良好的用戶體驗。 項目介紹 Dorisoy.POS 是一款基於 .NET 7 和 Angular 4 開發的新零售快消進銷存管理 ...
  • ABP CLI常用的代碼分享 一、確保環境配置正確 安裝.NET CLI: ABP CLI是基於.NET Core或.NET 5/6/7等更高版本構建的,因此首先需要在你的開發環境中安裝.NET CLI。這可以通過訪問Microsoft官網下載並安裝相應版本的.NET SDK來實現。 安裝ABP ...
  • 問題 問題是這樣的:第三方的webapi,需要先調用登陸介面獲取Cookie,訪問其它介面時攜帶Cookie信息。 但使用HttpClient類調用登陸介面,返回的Headers中沒有找到Cookie信息。 分析 首先,使用Postman測試該登陸介面,正常返回Cookie信息,說明是HttpCli ...
  • 國內文章 關於.NET在中國為什麼工資低的分析 https://www.cnblogs.com/thinkingmore/p/18406244 .NET在中國開發者的薪資偏低,主要因市場需求、技術棧選擇和企業文化等因素所致。歷史上,.NET曾因微軟的閉源策略發展受限,儘管後來推出了跨平臺的.NET ...
  • 在WPF開發應用中,動畫不僅可以引起用戶的註意與興趣,而且還使軟體更加便於使用。前面幾篇文章講解了畫筆(Brush),形狀(Shape),幾何圖形(Geometry),變換(Transform)等相關內容,今天繼續講解動畫相關內容和知識點,僅供學習分享使用,如有不足之處,還請指正。 ...
  • 什麼是委托? 委托可以說是把一個方法代入另一個方法執行,相當於指向函數的指針;事件就相當於保存委托的數組; 1.實例化委托的方式: 方式1:通過new創建實例: public delegate void ShowDelegate(); 或者 public delegate string ShowDe ...