1. 從“裸奔”到“有條不紊”為什么我們需要一個(gè)RTOS如果你剛開(kāi)始接觸嵌入式開(kāi)發(fā)尤其是基于STM32、ESP32這類微控制器的項(xiàng)目你的代碼很可能是在一個(gè)main函數(shù)的while(1)大循環(huán)里“裸奔”。點(diǎn)個(gè)燈、讀個(gè)傳感器、發(fā)個(gè)串口數(shù)據(jù)一切都井然有序直到你需要同時(shí)處理更多事情——比如一邊通過(guò)串口接收用戶指令一邊實(shí)時(shí)采集ADC數(shù)據(jù)還要確保一個(gè)LED燈以精確的1Hz頻率閃爍。這時(shí)你會(huì)發(fā)現(xiàn)那個(gè)簡(jiǎn)單的while(1)循環(huán)變得臃腫不堪。你不得不引入大量的if判斷和delay延時(shí)ADC采樣可能會(huì)因?yàn)榈却跀?shù)據(jù)而錯(cuò)過(guò)關(guān)鍵點(diǎn)LED的閃爍周期也會(huì)因?yàn)槠渌蝿?wù)的執(zhí)行時(shí)間不確定而飄忽不定。整個(gè)系統(tǒng)變得脆弱、難以維護(hù)且響應(yīng)遲鈍。這種困境正是實(shí)時(shí)操作系統(tǒng)RTOS所要解決的。FreeRTOS作為全球應(yīng)用最廣泛的免費(fèi)、開(kāi)源的實(shí)時(shí)操作系統(tǒng)內(nèi)核其核心價(jià)值就是為你的單核MCU提供一個(gè)“多任務(wù)”的假象。它通過(guò)一個(gè)稱為“調(diào)度器”的軟件模塊來(lái)管理和分配CPU時(shí)間給多個(gè)任務(wù)你可以理解為一個(gè)個(gè)獨(dú)立的while(1)函數(shù)。調(diào)度器根據(jù)任務(wù)的優(yōu)先級(jí)決定下一刻該運(yùn)行誰(shuí)并在任務(wù)主動(dòng)放棄CPU比如等待一個(gè)信號(hào)或延時(shí)時(shí)迅速切換到另一個(gè)就緒的任務(wù)。這樣從宏觀上看多個(gè)任務(wù)就是在“同時(shí)”運(yùn)行。我最初接觸FreeRTOS是為了一個(gè)工業(yè)數(shù)據(jù)采集器項(xiàng)目。設(shè)備需要同時(shí)與4個(gè)Modbus傳感器通信維護(hù)一個(gè)本地SD卡日志并通過(guò)4G模塊定時(shí)上報(bào)數(shù)據(jù)。嘗試用裸機(jī)狀態(tài)機(jī)編寫后代碼邏輯復(fù)雜得像一團(tuán)亂麻任何一個(gè)協(xié)議的細(xì)微改動(dòng)都會(huì)引發(fā)連鎖問(wèn)題。引入FreeRTOS后我將每個(gè)通信接口、日志寫入、數(shù)據(jù)上報(bào)都拆分成獨(dú)立的任務(wù)每個(gè)任務(wù)只關(guān)心自己的業(yè)務(wù)邏輯代碼結(jié)構(gòu)瞬間清晰調(diào)試和維護(hù)效率提升了不止一個(gè)量級(jí)。這不僅僅是技術(shù)選型更是一種工程思維的升級(jí)。2. FreeRTOS的核心心臟任務(wù)、調(diào)度與內(nèi)核機(jī)制拆解要玩轉(zhuǎn)FreeRTOS絕不能只停留在調(diào)用xTaskCreate的層面。理解其內(nèi)核機(jī)制是你寫出健壯、高效RTOS程序的基礎(chǔ)也是面試時(shí)常被深挖的重點(diǎn)。2.1 任務(wù)不止是一個(gè)函數(shù)在FreeRTOS中任務(wù)Task是調(diào)度和運(yùn)行的基本單位。它遠(yuǎn)不止一個(gè)C函數(shù)。當(dāng)你調(diào)用xTaskCreate()時(shí)內(nèi)核在背后為你做了幾件關(guān)鍵事分配任務(wù)控制塊TCB這是一個(gè)數(shù)據(jù)結(jié)構(gòu)保存了任務(wù)的所有管理信息如任務(wù)狀態(tài)運(yùn)行、就緒、阻塞、掛起、優(yōu)先級(jí)、棧頂指針、任務(wù)名等。TCB是內(nèi)核“認(rèn)識(shí)”一個(gè)任務(wù)的身份證。分配任務(wù)棧Stack每個(gè)任務(wù)都有自己獨(dú)立的?？臻g用于保存函數(shù)調(diào)用時(shí)的局部變量、返回地址等上下文信息。這是任務(wù)能夠獨(dú)立運(yùn)行的關(guān)鍵。棧大小的設(shè)置是初期最容易踩的坑。設(shè)小了會(huì)導(dǎo)致棧溢出破壞其他內(nèi)存區(qū)域引發(fā)各種難以排查的詭異錯(cuò)誤設(shè)大了又會(huì)浪費(fèi)寶貴的RAM。我通常的做法是先設(shè)置一個(gè)較大的值如2048字在調(diào)試階段利用FreeRTOS的棧溢出檢測(cè)鉤子函數(shù)vApplicationStackOverflowHook來(lái)觀察實(shí)際使用量然后再逐步調(diào)整到安全余量通常為峰值使用量的120%-150%。創(chuàng)建任務(wù)句柄Handle這個(gè)句柄就像任務(wù)的指針后續(xù)你可以通過(guò)它來(lái)操作這個(gè)任務(wù)比如刪除、掛起、修改優(yōu)先級(jí)。任務(wù)的狀態(tài)機(jī)是理解調(diào)度的基礎(chǔ)。一個(gè)任務(wù)通常存在于以下?tīng)顟B(tài)之一運(yùn)行態(tài)Running正在CPU上執(zhí)行。就緒態(tài)Ready萬(wàn)事俱備只等調(diào)度器選中它運(yùn)行。阻塞態(tài)Blocked任務(wù)在等待某個(gè)事件如延時(shí)到期vTaskDelay、信號(hào)量、隊(duì)列消息等。此時(shí)它不消耗CPU時(shí)間。掛起態(tài)Suspended被主動(dòng)“暫?！钡娜蝿?wù)只能通過(guò)vTaskResume喚醒不會(huì)被調(diào)度器考慮。2.2 調(diào)度器公平與優(yōu)先級(jí)的藝術(shù)FreeRTOS默認(rèn)采用固定優(yōu)先級(jí)搶占式調(diào)度。這幾個(gè)詞需要拆解固定優(yōu)先級(jí)每個(gè)任務(wù)在創(chuàng)建時(shí)被賦予一個(gè)優(yōu)先級(jí)0為最低configMAX_PRIORITIES-1為最高運(yùn)行中一般不變。搶占式如果一個(gè)高優(yōu)先級(jí)任務(wù)進(jìn)入了就緒態(tài)比如它等待的延時(shí)到了它會(huì)立即搶占當(dāng)前正在運(yùn)行的低優(yōu)先級(jí)任務(wù)CPU馬上轉(zhuǎn)去執(zhí)行高優(yōu)先級(jí)任務(wù)。這保證了高實(shí)時(shí)性要求的任務(wù)能得到最快響應(yīng)。調(diào)度其核心算法是永遠(yuǎn)從就緒態(tài)任務(wù)列表中選取優(yōu)先級(jí)最高的那個(gè)來(lái)運(yùn)行。這里有一個(gè)非常重要的概念同優(yōu)先級(jí)任務(wù)的時(shí)間片輪轉(zhuǎn)。如果多個(gè)任務(wù)具有相同的最高優(yōu)先級(jí)調(diào)度器會(huì)為每個(gè)任務(wù)分配一個(gè)時(shí)間片通常是一個(gè)系統(tǒng)心跳節(jié)拍tick。當(dāng)一個(gè)任務(wù)用完了它的時(shí)間片或者它主動(dòng)阻塞如調(diào)用vTaskDelay調(diào)度器就會(huì)切換到同優(yōu)先級(jí)的下一個(gè)任務(wù)。這實(shí)現(xiàn)了公平性。注意很多初學(xué)者會(huì)誤解以為高優(yōu)先級(jí)任務(wù)會(huì)一直霸占CPU。實(shí)際上一個(gè)設(shè)計(jì)良好的高優(yōu)先級(jí)任務(wù)其大部分時(shí)間應(yīng)該處于阻塞態(tài)例如等待一個(gè)外部中斷事件。它只在事件到來(lái)時(shí)快速處理然后立刻繼續(xù)阻塞將CPU讓給其他低優(yōu)先級(jí)任務(wù)。如果一個(gè)高優(yōu)先級(jí)任務(wù)里寫了個(gè)while(1)而不包含任何阻塞調(diào)用那么它將真的“餓死”所有低優(yōu)先級(jí)任務(wù)因?yàn)檎{(diào)度器沒(méi)有機(jī)會(huì)進(jìn)行切換。這是RTOS編程的大忌。2.3 系統(tǒng)心跳tick與configTICK_RATE_HZFreeRTOS需要一個(gè)周期性的時(shí)鐘中斷來(lái)驅(qū)動(dòng)這就是系統(tǒng)心跳Tick。它由MCU的某個(gè)硬件定時(shí)器如SysTick產(chǎn)生中斷頻率由FreeRTOSConfig.h中的configTICK_RATE_HZ定義常見(jiàn)值為1000Hz1ms一次或100Hz10ms一次。這個(gè)tick中斷至關(guān)重要更新內(nèi)核時(shí)鐘用于vTaskDelay這類時(shí)間相關(guān)的API。檢查任務(wù)延時(shí)是否到期將任務(wù)從阻塞態(tài)移至就緒態(tài)。執(zhí)行同優(yōu)先級(jí)任務(wù)的時(shí)間片輪轉(zhuǎn)。configTICK_RATE_HZ的設(shè)置是一個(gè)權(quán)衡值越高時(shí)間精度越高延時(shí)更準(zhǔn)確但系統(tǒng)中斷開(kāi)銷也越大。對(duì)于大多數(shù)應(yīng)用1000Hz是一個(gè)不錯(cuò)的選擇。但如果你用的是低速M(fèi)CU或者對(duì)功耗極其敏感可能需要降低到100Hz甚至更低。3. 任務(wù)間通信讓孤島協(xié)同工作獨(dú)立的任務(wù)就像一個(gè)個(gè)信息孤島而實(shí)際項(xiàng)目需要它們緊密協(xié)作。FreeRTOS提供了多種通信與同步機(jī)制這是其強(qiáng)大功能的體現(xiàn)。3.1 隊(duì)列最靈活的數(shù)據(jù)通道隊(duì)列Queue是任務(wù)間、任務(wù)與中斷間傳遞數(shù)據(jù)的首選方式。它本質(zhì)上是一個(gè)先入先出FIFO的緩沖區(qū)。創(chuàng)建xQueueCreate(uxQueueLength, uxItemSize)定義隊(duì)列長(zhǎng)度和每個(gè)數(shù)據(jù)單元的大小。發(fā)送xQueueSend()/xQueueSendFromISR()用于中斷服務(wù)程序。接收xQueueReceive()。為什么隊(duì)列如此重要因?yàn)樗怦盍松a(chǎn)者和消費(fèi)者。例如一個(gè)ADC采樣任務(wù)生產(chǎn)者只需將采樣值放入隊(duì)列而不必關(guān)心是誰(shuí)、何時(shí)來(lái)處理這個(gè)數(shù)據(jù)。一個(gè)數(shù)據(jù)處理任務(wù)消費(fèi)者只需從隊(duì)列中取數(shù)據(jù)而不必關(guān)心數(shù)據(jù)何時(shí)產(chǎn)生。這種異步通信方式極大地提高了系統(tǒng)的模塊化和可維護(hù)性。實(shí)操心得隊(duì)列長(zhǎng)度不宜過(guò)小否則容易導(dǎo)致生產(chǎn)者任務(wù)阻塞影響實(shí)時(shí)性。我通常會(huì)根據(jù)數(shù)據(jù)產(chǎn)生速度和消費(fèi)速度來(lái)估算并留有一定余量。另外發(fā)送和接收的阻塞時(shí)間參數(shù)xTicksToWait需要仔細(xì)設(shè)置portMAX_DELAY意味著永久阻塞直到成功這在很多場(chǎng)景下是安全的但要防止死鎖。3.2 信號(hào)量與互斥量同步與資源保護(hù)二值信號(hào)量相當(dāng)于一個(gè)標(biāo)志常用于任務(wù)與中斷間的同步。例如一個(gè)串口接收中斷收到一幀完整數(shù)據(jù)后給出一個(gè)信號(hào)量xSemaphoreGiveFromISR等待此信號(hào)量的數(shù)據(jù)處理任務(wù)被立刻喚醒。計(jì)數(shù)信號(hào)量可以看作是一個(gè)資源計(jì)數(shù)器常用于管理有限數(shù)量的資源如緩沖區(qū)塊、網(wǎng)絡(luò)連接數(shù)。互斥量一種特殊的二值信號(hào)量引入了優(yōu)先級(jí)繼承機(jī)制。這是為了解決優(yōu)先級(jí)反轉(zhuǎn)問(wèn)題。優(yōu)先級(jí)反轉(zhuǎn)是一個(gè)經(jīng)典問(wèn)題假設(shè)低優(yōu)先級(jí)任務(wù)L持有一個(gè)互斥鎖如正在訪問(wèn)SD卡中優(yōu)先級(jí)任務(wù)M就緒并搶占CPU。此時(shí)高優(yōu)先級(jí)任務(wù)H也需要那個(gè)互斥鎖它被阻塞。結(jié)果就是任務(wù)H在等待任務(wù)L而任務(wù)L卻因?yàn)槿蝿?wù)M的運(yùn)行而無(wú)法執(zhí)行——中優(yōu)先級(jí)的任務(wù)M間接阻塞了高優(yōu)先級(jí)的任務(wù)H?；コ饬康膬?yōu)先級(jí)繼承機(jī)制會(huì)在H請(qǐng)求鎖時(shí)臨時(shí)將L的優(yōu)先級(jí)提升到與H相同使其能盡快執(zhí)行完并釋放鎖從而讓H能盡快運(yùn)行解決了反轉(zhuǎn)問(wèn)題。提示對(duì)于簡(jiǎn)單的、訪問(wèn)速度極快的共享資源如一個(gè)int型全局變量如果確信不會(huì)在訪問(wèn)過(guò)程中被中斷打斷有時(shí)使用開(kāi)關(guān)中斷taskENTER_CRITICAL/taskEXIT_CRITICAL來(lái)保護(hù)會(huì)更高效。但對(duì)于像外設(shè)、復(fù)雜數(shù)據(jù)結(jié)構(gòu)這類訪問(wèn)較慢的資源務(wù)必使用互斥量。3.3 事件組多事件等待與廣播事件組Event Group允許一個(gè)任務(wù)等待多個(gè)事件中的任意一個(gè)或全部發(fā)生。每個(gè)事件由事件組中的一個(gè)位bit來(lái)表示。設(shè)置事件xEventGroupSetBits()。等待事件xEventGroupWaitBits()可以指定是等待所有標(biāo)志位邏輯與還是任一標(biāo)志位邏輯或置位。事件組非常適合那種需要聚合多個(gè)條件才能觸發(fā)下一步操作的場(chǎng)景。比如一個(gè)網(wǎng)絡(luò)連接任務(wù)可能需要等待“以太網(wǎng)鏈路已通”和“DHCP獲取到IP”兩個(gè)事件都發(fā)生后才能開(kāi)始TCP通信。4. 從理論到實(shí)戰(zhàn)一個(gè)FreeRTOS項(xiàng)目的構(gòu)建、移植與調(diào)試了解了核心概念我們來(lái)看如何真正開(kāi)始一個(gè)FreeRTOS項(xiàng)目。這里以在STM32標(biāo)準(zhǔn)庫(kù)環(huán)境下的移植為例因?yàn)檫@是很多初學(xué)者遇到的第一道坎。4.1 源碼獲取與項(xiàng)目結(jié)構(gòu)首先從FreeRTOS官網(wǎng)或GitHub倉(cāng)庫(kù)獲取源碼。關(guān)鍵目錄如下Source/核心內(nèi)核源碼tasks.c,queue.c,list.c,timers.c等這些是必須添加到工程的。Source/portable/這是移植的關(guān)鍵。你需要找到對(duì)應(yīng)你編譯器如GCC、IAR、Keil和MCU架構(gòu)如ARM_CM3、ARM_CM4的文件夾。對(duì)于STM32F1Cortex-M3就是MemMang內(nèi)存管理和RVDS/ARM_CM3。Demo/官方示例參考價(jià)值極大。在你的工程中通常這樣組織YourProject/ ├── Inc/ │ └── FreeRTOSConfig.h // FreeRTOS配置文件重中之重 ├── Src/ │ ├── freertos.c │ └── (你的其他應(yīng)用代碼) ├── Middlewares/FreeRTOS/ │ ├── Source/ (核心源碼) │ └── portable/ (移植層文件) └── ...4.2 靈魂文件FreeRTOSConfig.h的配置藝術(shù)這個(gè)頭文件決定了FreeRTOS內(nèi)核的所有行為。以下是一些關(guān)鍵配置及其含義#define configUSE_PREEMPTION 1 // 1使用搶占式調(diào)度0使用協(xié)作式 #define configUSE_IDLE_HOOK 0 // 是否使用空閑任務(wù)鉤子函數(shù)可用于低功耗 #define configUSE_TICK_HOOK 0 // 是否使用心跳鉤子函數(shù) #define configCPU_CLOCK_HZ (SystemCoreClock) // 你的系統(tǒng)主頻用于計(jì)算 #define configTICK_RATE_HZ (1000) // 系統(tǒng)心跳頻率設(shè)為1000即1ms一個(gè)tick #define configMAX_PRIORITIES (5) // 最大優(yōu)先級(jí)數(shù)夠用就好節(jié)省內(nèi)存 #define configMINIMAL_STACK_SIZE ((unsigned short)128) // 空閑任務(wù)棧大小 #define configTOTAL_HEAP_SIZE ((size_t)(10 * 1024)) // 堆總大小供內(nèi)核動(dòng)態(tài)分配 #define configUSE_MUTEXES 1 // 使用互斥量 #define configUSE_RECURSIVE_MUTEXES 1 // 使用遞歸互斥量 #define configUSE_COUNTING_SEMAPHORES 1 // 使用計(jì)數(shù)信號(hào)量 #define configUSE_16_BIT_TICKS 0 // 對(duì)于32位MCU設(shè)為0以使用32位tick計(jì)數(shù)器防止長(zhǎng)時(shí)間運(yùn)行后溢出 #define configUSE_QUEUE_SETS 0 // 是否使用隊(duì)列集高級(jí)功能 #define configCHECK_FOR_STACK_OVERFLOW 2 // 棧溢出檢查級(jí)別2為最強(qiáng)檢查需實(shí)現(xiàn)vApplicationStackOverflowHook關(guān)于configTOTAL_HEAP_SIZEFreeRTOS默認(rèn)使用heap_4.c內(nèi)存管理方案在portable/MemMang/下它會(huì)在啟動(dòng)時(shí)從全局?jǐn)?shù)組中分配出這個(gè)大小的堆。你所有動(dòng)態(tài)創(chuàng)建的任務(wù)、隊(duì)列、信號(hào)量等都從這里分配。這個(gè)值必須根據(jù)你的任務(wù)數(shù)量、棧大小、隊(duì)列數(shù)量等仔細(xì)估算并留有余量。你可以通過(guò)xPortGetFreeHeapSize()函數(shù)在運(yùn)行時(shí)監(jiān)控剩余堆大小。4.3 移植的核心port.c與portmacro.h移植層文件如port.c和portmacro.h是連接FreeRTOS內(nèi)核和你具體硬件平臺(tái)的橋梁。對(duì)于Cortex-M系列官方已經(jīng)提供了幾乎完整的移植你通常只需要做兩件事配置系統(tǒng)心跳中斷在FreeRTOSConfig.h中正確設(shè)置configTICK_RATE_HZ后需要在你的硬件初始化代碼中配置一個(gè)硬件定時(shí)器通常是SysTick以該頻率產(chǎn)生中斷。在中斷服務(wù)程序里調(diào)用xPortSysTickHandler()。如果你使用CubeMX生成代碼這一步通常是自動(dòng)完成的。實(shí)現(xiàn)上下文切換port.c中的xPortPendSVHandler()PendSV中斷處理程序和vPortSVCHandler()SVC中斷處理程序負(fù)責(zé)任務(wù)的保存與恢復(fù)。這部分由匯編編寫官方移植已經(jīng)搞定你一般無(wú)需修改。常見(jiàn)編譯錯(cuò)誤解析..\freertos\port\portmacro.h(73): error: #35: #error directive: configtick_t這個(gè)錯(cuò)誤通常是因?yàn)閜ortmacro.h試圖根據(jù)configUSE_16_BIT_TICKS的定義來(lái)定義TickType_t的數(shù)據(jù)類型16位或32位但configUSE_16_BIT_TICKS未在FreeRTOSConfig.h中正確定義。請(qǐng)確保你的FreeRTOSConfig.h被所有源文件正確包含并且其中明確定義了configUSE_16_BIT_TICKS為0或1。4.4 調(diào)試與問(wèn)題排查從堆棧溢出到任務(wù)狀態(tài)監(jiān)控即使一切編譯通過(guò)真正的挑戰(zhàn)才剛剛開(kāi)始。1. 棧溢出檢測(cè) 這是最常見(jiàn)也是最危險(xiǎn)的問(wèn)題。如前所述在FreeRTOSConfig.h中使能configCHECK_FOR_STACK_OVERFLOW建議設(shè)為2并實(shí)現(xiàn)鉤子函數(shù)void vApplicationStackOverflowHook(TaskHandle_t xTask, char *pcTaskName) { (void)xTask; // 這里通過(guò)串口打印出錯(cuò)任務(wù)名或讓LED狂閃或觸發(fā)看門狗復(fù)位 printf(Stack Overflow in Task: %s\r\n, pcTaskName); while(1); // 死循環(huán)便于捕獲 }方法2會(huì)在任務(wù)切換時(shí)用特定的模式如0xa5a5a5a5填充任務(wù)棧的剩余空間并在下次切換時(shí)檢查這些模式是否被破壞從而檢測(cè)溢出。2. 使用uxTaskGetStackHighWaterMark() 這個(gè)函數(shù)返回任務(wù)自創(chuàng)建以來(lái)?xiàng)？臻g達(dá)到的最小剩余值即“高水位線”。這個(gè)值越接近0說(shuō)明棧使用率越高。在開(kāi)發(fā)階段定期打印所有任務(wù)的這個(gè)值是確定合理?xiàng)４笮〉淖羁茖W(xué)方法。3. 任務(wù)狀態(tài)監(jiān)控 你可以遍歷任務(wù)列表來(lái)獲取每個(gè)任務(wù)的狀態(tài)、優(yōu)先級(jí)、高水位線等信息。FreeRTOS提供了uxTaskGetSystemState()或vTaskList()函數(shù)后者需要使能configUSE_TRACE_FACILITY和configUSE_STATS_FORMATTING_FUNCTIONS它們能生成一個(gè)字符串清晰展示所有任務(wù)的信息通過(guò)串口打印出來(lái)是調(diào)試多任務(wù)系統(tǒng)的利器。4. CPU使用率統(tǒng)計(jì) 使能configGENERATE_RUN_TIME_STATS并實(shí)現(xiàn)portCONFIGURE_TIMER_FOR_RUN_TIME_STATS()和portGET_RUN_TIME_COUNTER_VALUE()宏它們通常指向一個(gè)高精度定時(shí)器。然后你可以調(diào)用vTaskGetRunTimeStats()來(lái)獲取每個(gè)任務(wù)占用CPU時(shí)間的百分比這對(duì)于性能分析和優(yōu)化至關(guān)重要。在我調(diào)試一個(gè)復(fù)雜系統(tǒng)時(shí)就是通過(guò)實(shí)時(shí)打印任務(wù)狀態(tài)和CPU使用率發(fā)現(xiàn)一個(gè)本以為很簡(jiǎn)單的日志任務(wù)因?yàn)轭l繁調(diào)用printf內(nèi)部可能使用了互斥量而在高負(fù)載下阻塞了高優(yōu)先級(jí)的控制任務(wù)最終通過(guò)改用更高效的環(huán)形緩沖區(qū)異步輸出方式解決了問(wèn)題。沒(méi)有這些調(diào)試工具定位這類問(wèn)題將如同大海撈針。