FreeRTOS系列第20篇---FreeRTOS任務創(chuàng)建分析
關注、星標公眾號,直達精彩內容ID:技術讓夢想更偉大整理:李肖遙
回顧任務的創(chuàng)建刪除
在FreeRTOS基礎系列《FreeRTOS系列第10篇---FreeRTOS任務創(chuàng)建和刪除》中介紹了任務創(chuàng)建API函數(shù)xTaskCreate()
,我們這里先回顧一下這個函數(shù)的聲明:BaseType_t?xTaskCreate(
????TaskFunction_tp?vTaskCode,
????const?char?*?constpcName,
????unsigned?short?usStackDepth,
????void?*pvParameters,
????UBaseType_t?uxPriority,
????TaskHandle_t?*pvCreatedTask
);
這個API函數(shù)的作用是創(chuàng)建新的任務并將它加入到任務就緒列表,函數(shù)參數(shù)含義為:- 「pvTaskCode」:函數(shù)指針,指向任務函數(shù)的入口。任務永遠不會返回(位于死循環(huán)內)。該參數(shù)類型
TaskFunction_t
定義在文件projdefs.h
中,定義為:typedef void(*TaskFunction_t)( void * )
,即參數(shù)為空指針類型并返回空類型。 - 「pcName」:任務描述。主要用于調試。字符串的最大長度(包括字符串結束字符)由宏
configMAX_TASK_NAME_LEN
指定,該宏位于FreeRTOSConfig.h
文件中。 - 「usStackDepth」:指定任務堆棧大小,能夠支持的堆棧變量數(shù)量(堆棧深度),而不是字節(jié)數(shù)。比如,在16位寬度的堆棧下,
usStackDepth
定義為100,則實際使用200字節(jié)堆棧存儲空間。堆棧的寬度乘以深度必須不超過size_t類型所能表示的最大值。比如,size_t為16位,則可以表示堆棧的最大值是65535字節(jié)。這是因為堆棧在申請時是以字節(jié)為單位的,申請的字節(jié)數(shù)就是堆棧寬度乘以深度,如果這個乘積超出size_t所表示的范圍,就會溢出,分配的堆??臻g也不是我們想要的。 - 「pvParameters」:指針,當任務創(chuàng)建時,作為一個參數(shù)傳遞給任務。
- 「uxPriority」:任務的優(yōu)先級。具有MPU支持的系統(tǒng),可以通過置位優(yōu)先級參數(shù)的
portPRIVILEGE_BIT
位,隨意的在特權(系統(tǒng))模式下創(chuàng)建任務。比如,創(chuàng)建一個優(yōu)先級為2的特權任務,參數(shù)uxPriority
可以設置為( 2 | portPRIVILEGE_BIT )
。 - 「pvCreatedTask」:用于回傳一個句柄(ID),創(chuàng)建任務后可以使用這個句柄引用任務。
xTaskCreate()
看上去很像函數(shù),但其實是一個宏,真正被調用的函數(shù)是xTaskGenericCreate()
,xTaskCreate()
宏定義如下所示:#define?xTaskCreate(?pvTaskCode,?pcName,?usStackDepth,pvParameters,?uxPriority,?pxCreatedTask?)????\
??????xTaskGenericCreate(?(?pvTaskCode?),(?pcName?),?(?usStackDepth?),?(?pvParameters?),?(?uxPriority?),?(?pxCreatedTask),?(?NULL?),?(?NULL?),?(?NULL?)?)
可以看到,xTaskCreate
比xTaskGenericCreate
少了三個參數(shù),在宏定義中,這三個參數(shù)被設置為NULL。這三個參數(shù)用于使用靜態(tài)變量的方法分配堆棧、任務TCB空間以及設置MPU相關的參數(shù)。一般情況下,這三個參數(shù)是不使用的,所以任務創(chuàng)建宏xTaskCreate
定義的時候,將這三個參數(shù)對用戶隱藏了。接下來的章節(jié)中,為了方便,我們還是稱xTaskCreate()
為函數(shù),雖然它是一個宏定義。上面我們提到了任務TCB(任務控制塊),這是一個需要重點介紹的關鍵點。它用于存儲任務的狀態(tài)信息,包括任務運行時的環(huán)境。每個任務都有自己的任務TCB。任務TCB是一個相對比較大的數(shù)據(jù)結構,這也是情理之中的,因為與任務相關的代碼占到整個FreeRTOS代碼量的一半左右,這些代碼大都與任務TCB相關。「我們先來介紹一下任務TCB數(shù)據(jù)結構的定義」:typedef?struct?tskTaskControlBlock
{
????volatile?StackType_t????*pxTopOfStack;?/*當前堆棧的棧頂,必須位于結構體的第一項*/
?
????#if?(?portUSING_MPU_WRAPPERS?==?1?)
????????xMPU_SETTINGS???xMPUSettings;??????/*MPU設置,必須位于結構體的第二項*/
????#endif
?
????ListItem_t??????????xStateListItem;?/*任務的狀態(tài)列表項,以引用的方式表示任務的狀態(tài)*/
????ListItem_t??????????xEventListItem;????/*事件列表項,用于將任務以引用的方式掛接到事件列表*/
????UBaseType_t?????????uxPriority;????????/*保存任務優(yōu)先級,0表示最低優(yōu)先級*/
????StackType_t?????????*pxStack;???????????/*指向堆棧的起始位置*/
????char???????????????pcTaskName[?configMAX_TASK_NAME_LEN?];/*任務名字*/
?
????#if?(?portSTACK_GROWTH?>?0?)
????????StackType_t?????*pxEndOfStack;?????/*指向堆棧的尾部*/
????#endif
?
????#if?(?portCRITICAL_NESTING_IN_TCB?==?1?)
????????UBaseType_t?????uxCriticalNesting;?/*保存臨界區(qū)嵌套深度*/
????#endif
?
????#if?(?configUSE_TRACE_FACILITY?==?1?)
????????UBaseType_t?????uxTCBNumber;???????/*保存一個數(shù)值,每個任務都有唯一的值*/
????????UBaseType_t?????uxTaskNumber;??????/*存儲一個特定數(shù)值*/
????#endif
?
????#if?(?configUSE_MUTEXES?==?1?)
????????UBaseType_t?????uxBasePriority;????/*保存任務的基礎優(yōu)先級*/
????????UBaseType_t?????uxMutexesHeld;
????#endif
?
????#if?(?configUSE_APPLICATION_TASK_TAG?==?1?)
????????TaskHookFunction_t?pxTaskTag;
????#endif
?
????#if(?configNUM_THREAD_LOCAL_STORAGE_POINTERS?>?0?)
????????void?*pvThreadLocalStoragePointers[configNUM_THREAD_LOCAL_STORAGE_POINTERS?];
????#endif
?
????#if(?configGENERATE_RUN_TIME_STATS?==?1?)
????????uint32_t????????ulRunTimeCounter;??/*記錄任務在運行狀態(tài)下執(zhí)行的總時間*/
????#endif
?
????#if?(?configUSE_NEWLIB_REENTRANT?==?1?)
????????/*?為任務分配一個Newlibreent結構體變量。Newlib是一個C庫函數(shù),并非FreeRTOS維護,F(xiàn)reeRTOS也不對使用結果負責。如果用戶使用Newlib,必須熟知Newlib的細節(jié)*/
????????struct?_reent?xNewLib_reent;
????#endif
?
????#if(?configUSE_TASK_NOTIFICATIONS?==?1?)
????????volatile?uint32_t?ulNotifiedValue;?/*與任務通知相關*/
????????volatile?uint8_t?ucNotifyState;
????#endif
?
????#if(?configSUPPORT_STATIC_ALLOCATION?==?1?)
????????uint8_t?ucStaticAllocationFlags;?/*?如果堆棧由靜態(tài)數(shù)組分配,則設置為pdTRUE,如果堆棧是動態(tài)分配的,則設置為pdFALSE*/
????#endif
?
????#if(?INCLUDE_xTaskAbortDelay?==?1?)
????????uint8_t?ucDelayAborted;
????#endif
?
}?tskTCB;
?
typedef?tskTCB?TCB_t;
「下面我們詳細的介紹這個數(shù)據(jù)結構的主要成員:」指針pxTopOfStack
必須位于結構體的第一項,指向當前堆棧的棧頂,對于向下增長的堆棧,pxTopOfStack
總是指向最后一個入棧的項目。如果使用MPU,xMPUSettings
必須位于結構體的第二項,用于MPU設置。接下來是狀態(tài)列表項xStateListItem
和事件列表項xEventListItem
,我們在上一章介紹列表和列表項的文章中提到過:列表被FreeRTOS調度器使用,用于跟蹤任務,處于就緒、掛起、延時的任務,都會被掛接到各自的列表中。調度器就是通過把任務TCB中的狀態(tài)列表項xStateListItem
和事件列表項xEventListItem
掛接到不同的列表中來實現(xiàn)上述過程的。在task.c中,定義了一些靜態(tài)列表變量,其中有就緒、阻塞、掛起列表,例如當某個任務處于就緒態(tài)時,調度器就將這個任務TCB的xStateListItem
列表項掛接到就緒列表。事件列表項也與之類似,當隊列滿的情況下,任務因入隊操作而阻塞時,就會將事件列表項掛接到隊列的等待入隊列表上。uxPriority
用于保存任務的優(yōu)先級,0為最低優(yōu)先級。任務創(chuàng)建時,指定的任務優(yōu)先級就被保存到該變量中。指針pxStack
指向堆棧的起始位置,任務創(chuàng)建時會分配指定數(shù)目的任務堆棧,申請堆棧內存函數(shù)返回的指針就被賦給該變量。很多剛接觸FreeRTOS的人會分不清指針pxTopOfStack
和pxStack
的區(qū)別,「這里簡單說一下:」pxTopOfStack
指向當前堆棧棧頂,隨著進棧出棧,pxTopOfStack
指向的位置是會變化的;pxStack
指向當前堆棧的起始位置,一經(jīng)分配后,堆棧起始位置就固定了,不會被改變了。「那么為什么需要pxStack變量呢?」這是因為隨著任務的運行,堆??赡軙绯?,在堆棧向下增長的系統(tǒng)中,這個變量可用于檢查堆棧是否溢出;如果在堆棧向上增長的系統(tǒng)中,要想確定堆棧是否溢出,還需要另外一個變量pxEndOfStack
來輔助診斷是否堆棧溢出,后面會講到這個變量。字符數(shù)組pcTaskName
用于保存任務的描述或名字,在任務創(chuàng)建時,由參數(shù)指定。名字的長度由宏configMAX_TASK_NAME_LEN
(位于FreeRTOSConfig.h中)指定,包含字符串結束標志。如果堆棧向上生長(portSTACK_GROWTH > 0
),指針pxEndOfStack
指向堆棧尾部,用于檢驗堆棧是否溢出。變量uxCriticalNesting
用于保存臨界區(qū)嵌套深度,初始值為0。接下來兩個變量用于可視化追蹤,僅當宏configUSE_TRACE_FACILITY
(位于FreeRTOSConfig.h中)為1時有效。變量uxTCBNumber
存儲一個數(shù)值,在創(chuàng)建任務時由內核自動分配數(shù)值(通常每創(chuàng)建一個任務,值增加1),每個任務的uxTCBNumber
值都不同,主要用于調試。變量uxTaskNumber
用于存儲一個特定值,與變量uxTCBNumber
不同,uxTaskNumber
的數(shù)值不是由內核分配的,而是通過API函數(shù)vTaskSetTaskNumber()
來設置的,數(shù)值由函數(shù)參數(shù)指定。如果使用互斥量(configUSE_MUTEXES == 1
),任務優(yōu)先級被臨時提高時,變量uxBasePriority
用來保存任務原來的優(yōu)先級。變量ucStaticAllocationFlags
也需要說明一下,我們前面說過任務創(chuàng)建API函數(shù)xTaskCreate()
只能使用動態(tài)內存分配的方式創(chuàng)建任務堆棧和任務TCB,如果要使用靜態(tài)變量實現(xiàn)任務堆棧和任務TCB就需要使用函數(shù)xTaskGenericCreate()
來實現(xiàn)。如果任務堆?;蛉蝿誘CB由靜態(tài)數(shù)組和靜態(tài)變量實現(xiàn),則將該變量設置為pdTRUE(任務堆棧空間由靜態(tài)數(shù)組變量實現(xiàn)時為0x01,任務TCB由靜態(tài)變量實現(xiàn)時為0x02,任務堆棧和任務TCB都由靜態(tài)變量實現(xiàn)時為0x03),如果堆棧是動態(tài)分配的,則將該變量設置為pdFALSE。到這里任務TCB的數(shù)據(jù)結構就講完了,下面我們用一個例子「來講述任務創(chuàng)建的過程」,為方便起見,假設被創(chuàng)建的任務叫“任務A”,任務函數(shù)為vTask_A():TaskHandle_t xHandle;
xTaskCreate(vTask_A,”Task?A”,120,NULL,1,