▼關(guān)注公眾號：27熊熊嵌入式▼

在嵌入式開發(fā)領(lǐng)域，RTOS（實(shí)時操作系統(tǒng)）應(yīng)用廣泛——無人機(jī)飛行控制、汽車電子ECU、醫(yī)療設(shè)備、智能家居、智能手表，背后都有它的身影。

很多開發(fā)者入門RTOS時，會先接觸FreeRTOS、RT-Thread等內(nèi)核，卻容易陷入“會用API，不懂原理”的困境：為什么它能保證實(shí)時響應(yīng)？多任務(wù)如何“同時”運(yùn)行？上下文切換到底在做什么？

先搞懂：RTOS內(nèi)核到底是什么？

核心認(rèn)知：RTOS的核心是“內(nèi)核”，它不是完整的操作系統(tǒng)（無圖形界面、無復(fù)雜文件系統(tǒng)），而是一套輕量級任務(wù)調(diào)度與資源管理框架——相當(dāng)于嵌入式系統(tǒng)的“大腦”，負(fù)責(zé)分配CPU資源、調(diào)度任務(wù)執(zhí)行、管理系統(tǒng)資源，核心使命是在嚴(yán)格時間約束下，確定性響應(yīng)外部事件。

和Windows、Linux等通用操作系統(tǒng)相比，RTOS內(nèi)核有三個核心優(yōu)勢：

輕量性：代碼體積通常低于10KB，ROM/RAM占用可控，支持裁剪，適配單片機(jī)等資源有限硬件（典型任務(wù)棧僅需0.5KB~4KB）；

實(shí)時性：分為硬實(shí)時和軟實(shí)時，硬實(shí)時要求任務(wù)必須在截止期限前完成（否則系統(tǒng)失效，如汽車ABS制動），軟實(shí)時允許偶發(fā)超時（如音視頻同步）；

確定性：任務(wù)從就緒到執(zhí)行的最大延遲（最壞情況響應(yīng)時間）可計(jì)算、可驗(yàn)證，這是通用操作系統(tǒng)無法實(shí)現(xiàn)的核心特性。

核心拆解1：任務(wù)管理——RTOS的“最小執(zhí)行單元”

RTOS的核心能力，是將復(fù)雜系統(tǒng)功能拆分為多個獨(dú)立任務(wù)，每個任務(wù)是可獨(dú)立運(yùn)行、被調(diào)度的最小單元。

任務(wù)的3個核心組成（缺一不可）

每個可運(yùn)行的RTOS任務(wù)，包含三個核心部分：

任務(wù)函數(shù)：核心執(zhí)行邏輯，通常為無限循環(huán)（for(;;)或while(1)），避免任務(wù)執(zhí)行完畢后進(jìn)入未知狀態(tài)，“傳感器數(shù)據(jù)采集”“串口指令處理”等業(yè)務(wù)邏輯均在此編寫；

任務(wù)堆棧：每個任務(wù)的獨(dú)立工作空間，用于保存上下文數(shù)據(jù)、局部變量、函數(shù)調(diào)用返回地址，記錄任務(wù)運(yùn)行狀態(tài)；

任務(wù)控制塊（TCB）：RTOS管理任務(wù)的數(shù)據(jù)結(jié)構(gòu)，包含任務(wù)優(yōu)先級、運(yùn)行狀態(tài)、堆棧指針、任務(wù)句柄等信息，內(nèi)核通過TCB定位和管理任務(wù)。

FreeRTOS核心代碼分析（任務(wù)管理）

FreeRTOS中，任務(wù)控制塊（TCB）的核心定義代碼如下（簡化版，去除冗余配置），對應(yīng)上述任務(wù)核心組成：

// FreeRTOS任務(wù)控制塊（TCB）完整定義（來自 tasks.c）typedefstructtskTaskControlBlock{ volatileStackType_t *pxTopOfStack;     // 當(dāng)前棧頂指針（任務(wù)切換時保存/恢復(fù)）  ListItem_t xStateListItem;         // 任務(wù)狀態(tài)鏈表節(jié)點(diǎn)（掛載到就緒/阻塞/掛起鏈表）  ListItem_t xEventListItem;         // 事件鏈表節(jié)點(diǎn)（用于信號量、隊(duì)列等待）  UBaseType_t uxPriority;           // 任務(wù)優(yōu)先級（數(shù)值越大優(yōu)先級越高）  StackType_t *pxStack;            // 任務(wù)堆棧起始地址 charpcTaskName[ configMAX_TASK_NAME_LEN ]; // 任務(wù)名稱（便于調(diào)試） // ... 其他可選成員（如棧溢出檢測標(biāo)記、任務(wù)通知值等）} tskTCB;

創(chuàng)建任務(wù)的核心API（xTaskCreate），本質(zhì)是初始化TCB、分配任務(wù)堆棧、將任務(wù)加入就緒鏈表

源碼：

#if( configSUPPORT_DYNAMIC_ALLOCATION ==1) BaseType_txTaskCreate( TaskFunction_t pxTaskCode,             constchar*constpcName,             constconfigSTACK_DEPTH_TYPE usStackDepth,             void*constpvParameters,              UBaseType_t uxPriority,              TaskHandle_t *constpxCreatedTask )  {    TCB_t *pxNewTCB;     // 新任務(wù)控制塊指針    BaseType_t xReturn;    // 返回狀態(tài)   /* 根據(jù)堆棧生長方向，決定先分配TCB還是堆棧，避免堆棧覆蓋TCB */   #if( portSTACK_GROWTH >0) /* 堆棧向上生長：先TCB后堆棧 */      pxNewTCB = ( TCB_t * )pvPortMalloc(sizeof( TCB_t ) );     if( pxNewTCB !=NULL)      {        pxNewTCB->pxStack = ( StackType_t * )pvPortMallocStack( ( ( (size_t) usStackDepth ) *sizeof( StackType_t ) ) );       if( pxNewTCB->pxStack ==NULL)        {         vPortFree( pxNewTCB );          pxNewTCB =NULL;        }      }   #else/* portSTACK_GROWTH <= 0 — 堆棧向下生長：先堆棧后TCB */? ? ? ? ? ? {? ? ? ? ? ? ? ? StackType_t *pxStack =?pvPortMallocStack( ( ( (?size_t?) usStackDepth ) *?sizeof( StackType_t ) ) );? ? ? ? ? ? ? ??if( pxStack !=?NULL?)? ? ? ? ? ? ? ? {? ? ? ? ? ? ? ? ? ? pxNewTCB = ( TCB_t * )?pvPortMalloc(?sizeof( TCB_t ) );? ? ? ? ? ? ? ? ? ??if( pxNewTCB !=?NULL?)? ? ? ? ? ? ? ? ? ? {? ? ? ? ? ? ? ? ? ? ? ? pxNewTCB->pxStack = pxStack; // 將堆棧地址存入TCB          }         else          {           vPortFreeStack( pxStack );          }        }       else        {          pxNewTCB =NULL;        }      }   #endif/* portSTACK_GROWTH */   if( pxNewTCB !=NULL)    {     /* 標(biāo)記任務(wù)為動態(tài)分配（便于后續(xù)刪除時釋放內(nèi)存） */     #if( tskSTATIC_AND_DYNAMIC_ALLOCATION_POSSIBLE !=0)        pxNewTCB->ucStaticallyAllocated = tskDYNAMICALLY_ALLOCATED_STACK_AND_TCB;     #endif     /* 初始化任務(wù)TCB：任務(wù)名、優(yōu)先級、堆棧布局、入口函數(shù)等 */     prvInitialiseNewTask( pxTaskCode, pcName, (uint32_t) usStackDepth,                 pvParameters, uxPriority, pxCreatedTask, pxNewTCB,NULL);     /* 將任務(wù)加入就緒鏈表（根據(jù)優(yōu)先級掛載到對應(yīng)的 pxReadyTasksLists[ ]） */     prvAddNewTaskToReadyList( pxNewTCB );      xReturn = pdPASS;    }   else    {      xReturn = errCOULD_NOT_ALLOCATE_REQUIRED_MEMORY;    }   returnxReturn;  }#endif/* configSUPPORT_DYNAMIC_ALLOCATION */

關(guān)鍵說明：FreeRTOS中，所有就緒任務(wù)按優(yōu)先級掛載到對應(yīng)就緒鏈表，調(diào)度器從該鏈表選擇最高優(yōu)先級任務(wù)執(zhí)行，這是搶占式調(diào)度的基礎(chǔ)。

任務(wù)的4種核心狀態(tài)（動態(tài)切換）

任務(wù)并非一直處于運(yùn)行狀態(tài)，而是在4種狀態(tài)間動態(tài)切換，這是理解調(diào)度器的基礎(chǔ)：

運(yùn)行態(tài)：任務(wù)占用CPU，執(zhí)行核心邏輯（單核CPU同一時刻，僅一個任務(wù)處于運(yùn)行態(tài)）；

就緒態(tài)：任務(wù)準(zhǔn)備就緒，具備運(yùn)行條件，但CPU被更高優(yōu)先級任務(wù)占用，無法運(yùn)行；

阻塞態(tài)：任務(wù)因等待事件（延時、信號量、消息隊(duì)列）暫停，即使CPU空閑也無法運(yùn)行（如任務(wù)延時1秒，期間處于阻塞態(tài)）；

掛起態(tài)：任務(wù)被手動暫停（通過RTOS API調(diào)用），即使等待事件滿足，也無法進(jìn)入就緒態(tài)，需手動喚醒。

示例：溫濕度采集任務(wù)每隔1秒采集一次數(shù)據(jù)——采集完成后進(jìn)入阻塞態(tài)（等待1秒）；1秒延時結(jié)束后進(jìn)入就緒態(tài)；無更高優(yōu)先級任務(wù)時，調(diào)度器讓其進(jìn)入運(yùn)行態(tài)，開始下一次采集。

核心拆解2：調(diào)度器

調(diào)度器負(fù)責(zé)決定“哪個任務(wù)優(yōu)先占用CPU”“何時切換任務(wù)”，核心目標(biāo)是保證高優(yōu)先級任務(wù)優(yōu)先執(zhí)行，確保系統(tǒng)實(shí)時性。

主流RTOS（FreeRTOS、RT-Thread）采用“搶占式+時間片輪轉(zhuǎn)”混合調(diào)度策略，兼顧實(shí)時性和公平性：

1. 搶占式調(diào)度

這是RTOS實(shí)現(xiàn)實(shí)時性的關(guān)鍵——更高優(yōu)先級任務(wù)從阻塞態(tài)變?yōu)榫途w態(tài)時，調(diào)度器立即暫停當(dāng)前運(yùn)行的低優(yōu)先級任務(wù)，切換到高優(yōu)先級任務(wù)執(zhí)行，無需等待低優(yōu)先級任務(wù)完成。

示例：故障報警任務(wù)（高優(yōu)先級）和日志記錄任務(wù)（低優(yōu)先級）——日志任務(wù)正常運(yùn)行，檢測到故障后，報警任務(wù)進(jìn)入就緒態(tài)，調(diào)度器立即暫停日志任務(wù)，優(yōu)先執(zhí)行報警任務(wù)，確保故障及時響應(yīng)。

2. 時間片輪轉(zhuǎn)調(diào)度（核心：同優(yōu)先級任務(wù)公平執(zhí)行）

多個任務(wù)優(yōu)先級相同時，調(diào)度器給每個任務(wù)分配時間片（如10ms），任務(wù)執(zhí)行完時間片后，主動放棄CPU，切換到下一個同優(yōu)先級任務(wù)，實(shí)現(xiàn)“看似同時運(yùn)行”的效果。

示例：兩個同優(yōu)先級的數(shù)據(jù)流顯示任務(wù)和串口接收任務(wù)，時間片設(shè)為10ms——兩任務(wù)輪流占用CPU，各執(zhí)行10ms，從用戶角度看，兩個功能同步進(jìn)行。

調(diào)度器的調(diào)度時機(jī)固定，主要在兩個場景：一是任務(wù)主動放棄CPU（延時、等待事件）；二是中斷服務(wù)程序執(zhí)行完畢后，調(diào)度器檢查是否有更高優(yōu)先級任務(wù)就緒，有則觸發(fā)任務(wù)切換。

FreeRTOS核心代碼分析（調(diào)度器）

FreeRTOS調(diào)度器核心函數(shù)是vTaskSwitchContext()，作用是“選擇下一個執(zhí)行任務(wù)”，核心邏輯是從就緒鏈表找到最高優(yōu)先級任務(wù)

voidvTaskSwitchContext(void){ if( uxSchedulerSuspended != ( UBaseType_t ) pdFALSE )  {   /* 調(diào)度器掛起，暫不切換，僅標(biāo)記需要掛起的任務(wù)切換 */    xYieldPending = pdTRUE;  } else  {    xYieldPending = pdFALSE;    traceTASK_SWITCHED_OUT();   #if( configGENERATE_RUN_TIME_STATS ==1)     /* 記錄當(dāng)前任務(wù)的運(yùn)行時間統(tǒng)計(jì)（略） */     // ......   #endif   /* 棧溢出檢測（若使能） */    taskCHECK_FOR_STACK_OVERFLOW();   /* 選擇下一個最高優(yōu)先級的就緒任務(wù) */    taskSELECT_HIGHEST_PRIORITY_TASK(); /* 核心宏：遍歷就緒鏈表，更新 pxCurrentTCB */    traceTASK_SWITCHED_IN();   /* 更新 Newlib 可重入結(jié)構(gòu)（若使能） */   #if( configUSE_NEWLIB_REENTRANT ==1)      _impure_ptr = &( pxCurrentTCB->xNewLib_reent );   #endif  }}

補(bǔ)充說明：FreeRTOS中，時間片輪轉(zhuǎn)依賴系統(tǒng)滴答定時器（SysTick）中斷，每次中斷檢查當(dāng)前任務(wù)時間片是否用完，用完則觸發(fā)調(diào)度器切換任務(wù)，核心代碼在xPortSysTickHandler()中，簡化如下：

voidxPortSysTickHandler(void){ /* 進(jìn)入臨界區(qū)：提高 BASEPRI 以屏蔽部分中斷 */ vPortRaiseBASEPRI();  {   /* 增加系統(tǒng)節(jié)拍計(jì)數(shù)，并檢查是否需要觸發(fā) PendSV 進(jìn)行任務(wù)切換 */   if(xTaskIncrementTick() != pdFALSE )    {     /* 觸發(fā) PendSV 異常，在最低優(yōu)先級執(zhí)行實(shí)際上下文切換 */      portNVIC_INT_CTRL_REG = portNVIC_PENDSVSET_BIT;    }  } vPortClearBASEPRIFromISR();}BaseType_txTaskIncrementTick(void){  TCB_t * pxTCB;  TickType_t xItemValue;  BaseType_t xSwitchRequired = pdFALSE; /* 如果調(diào)度器未掛起，正常處理節(jié)拍 */ if( uxSchedulerSuspended == ( UBaseType_t ) pdFALSE )  {   constTickType_t xConstTickCount = xTickCount + ( TickType_t )1;    xTickCount = xConstTickCount;   /* 節(jié)拍溢出處理：交換延遲鏈表和溢出延遲鏈表 */   if( xConstTickCount == ( TickType_t )0U)    {     taskSWITCH_DELAYED_LISTS();    }   /* 檢查是否有任務(wù)因延時或超時而解除阻塞 */   if( xConstTickCount >= xNextTaskUnblockTime )    {     for( ;; )      {       if(listLIST_IS_EMPTY( pxDelayedTaskList ) != pdFALSE )        {          xNextTaskUnblockTime = portMAX_DELAY;         break;        }       else        {          pxTCB =listGET_OWNER_OF_HEAD_ENTRY( pxDelayedTaskList );          xItemValue =listGET_LIST_ITEM_VALUE( &( pxTCB->xStateListItem ) );         if( xConstTickCount < xItemValue )? ? ? ? ? ? ? ? ? ? {? ? ? ? ? ? ? ? ? ? ? ? xNextTaskUnblockTime = xItemValue;? ? ? ? ? ? ? ? ? ? ? ??break;? ? ? ? ? ? ? ? ? ? }? ? ? ? ? ? ? ? ? ??/* 將任務(wù)從延遲鏈表中移除，并加入就緒鏈表 */? ? ? ? ? ? ? ? ? ??listREMOVE_ITEM( &( pxTCB->xStateListItem ) );         if(listLIST_ITEM_CONTAINER( &( pxTCB->xEventListItem ) ) !=NULL)          {           listREMOVE_ITEM( &( pxTCB->xEventListItem ) );          }         prvAddTaskToReadyList( pxTCB );         #if( configUSE_PREEMPTION ==1)           /* 如果解除阻塞的任務(wù)優(yōu)先級 >= 當(dāng)前任務(wù)，則標(biāo)記需要切換 */           if( pxTCB->uxPriority >= pxCurrentTCB->uxPriority )            {              xSwitchRequired = pdTRUE;            }         #endif        }      }    }   /* 時間片輪轉(zhuǎn)：同優(yōu)先級就緒任務(wù)數(shù) > 1 則觸發(fā)切換 */   #if( ( configUSE_PREEMPTION ==1) && ( configUSE_TIME_SLICING ==1) )     if(listCURRENT_LIST_LENGTH( &( pxReadyTasksLists[ pxCurrentTCB->uxPriority ] ) ) > ( UBaseType_t )1)      {        xSwitchRequired = pdTRUE;      }   #endif   /* 處理掛起的任務(wù)切換請求 */   #if( configUSE_PREEMPTION ==1)     if( xYieldPending != pdFALSE )      {        xSwitchRequired = pdTRUE;      }   #endif  } else  {   /* 調(diào)度器掛起時，累加掛起的節(jié)拍數(shù)，稍后補(bǔ)處理 */    ++xPendedTicks;  } returnxSwitchRequired;}

調(diào)度器切換任務(wù)時，關(guān)鍵操作是上下文切換

上下文，即任務(wù)運(yùn)行時的全部狀態(tài)，包括CPU寄存器（PC、SP、通用寄存器）、任務(wù)堆棧數(shù)據(jù)等——即任務(wù)“當(dāng)前運(yùn)行到哪一步”的所有信息。

上下文切換過程分兩步，由內(nèi)核自動完成，無需開發(fā)者干預(yù)：

保存上下文：任務(wù)被暫停時，內(nèi)核將其上下文信息（寄存器、堆棧數(shù)據(jù)）保存到自身任務(wù)堆棧，即“保存工作進(jìn)度”；

恢復(fù)上下文：任務(wù)再次被調(diào)度時，內(nèi)核從其堆棧中恢復(fù)上下文信息到CPU寄存器，即“恢復(fù)工作進(jìn)度”，任務(wù)從暫停處繼續(xù)執(zhí)行。

FreeRTOS核心代碼分析（上下文切換）

FreeRTOS上下文切換分“保存當(dāng)前任務(wù)上下文”和“恢復(fù)下一個任務(wù)上下文”，核心代碼為匯編實(shí)現(xiàn)，簡化后如下：

__asmvoidxPortPendSVHandler(void){ externuxCriticalNesting; externpxCurrentTCB; externvTaskSwitchContext;  PRESERVE8 /* 獲取當(dāng)前任務(wù)的進(jìn)程棧指針 (PSP) */  mrs r0, psp  isb /* 獲取當(dāng)前任務(wù)控制塊的指針 */  ldr r3, =pxCurrentTCB  ldr r2, [r3] /* 如果使用了 FPU，保存 FPU 高寄存器 */  tst r14,#0x10  it eq  vstmdbeq r0!, {s16-s31} /* 保存核心寄存器 (r4-r11 以及 r14) */  stmdb r0!, {r4-r11, r14} /* 將新的棧頂指針保存到 TCB 的第一個成員 */  str r0, [r2] /* 屏蔽中斷，調(diào)用調(diào)度器選擇下一個任務(wù) */  stmdb sp!, {r0, r3}  mov r0,#configMAX_SYSCALL_INTERRUPT_PRIORITY  msr basepri, r0  dsb  isb  bl vTaskSwitchContext  mov r0,#0  msr basepri, r0  ldmia sp!, {r0, r3} /* 獲取新任務(wù)的 TCB 和棧頂指針 */  ldr r1, [r3]  ldr r0, [r1] /* 恢復(fù)新任務(wù)的寄存器 */  ldmia r0!, {r4-r11, r14} /* 恢復(fù) FPU 寄存器（如果之前保存過） */  tst r14,#0x10  it eq  vldmiaeq r0!, {s16-s31} /* 更新 PSP 并異常返回 */  msr psp, r0  isb  bx r14}

補(bǔ)充：不同RTOS內(nèi)核（FreeRTOS、RT-Thread、uC/OS）實(shí)現(xiàn)細(xì)節(jié)有差異（如優(yōu)先級數(shù)值規(guī)則：FreeRTOS數(shù)值越大優(yōu)先級越高，uC/OS則相反），但核心原理一致——掌握這些邏輯，切換任何RTOS都能快速上手。

文章參考：

FreeRTOS源碼倉庫（可下載完整源碼，對照本文代碼分析學(xué)習(xí)）：https://github.com/FreeRTOS/FreeRTOS-Kernel

FreeRTOS中文官方文檔（適配國內(nèi)開發(fā)者，簡化易懂）：https://www.freertos.org/（含內(nèi)核原理、任務(wù)管理、調(diào)度器等核心模塊詳解）

審核編輯 黃宇