当前位置：首页 > news >正文

2025最新超详细FreeRTOS入门教程：第二十章 FreeRTOS源码阅读与内核解析

news 2025/9/17 7:49:51

2025最新超详细FreeRTOS入门教程：第二十章 FreeRTOS源码阅读与内核解析

摘要

在前面 19 章的学习中，我们掌握了 FreeRTOS 的 任务管理、信号量、互斥量、消息队列、事件组、定时器、内存管理、低功耗和中间件集成 等功能。
但是，要真正理解 FreeRTOS 的运行机理，必须深入源码，阅读其核心模块。

本章将重点讲解：

FreeRTOS 源码结构
任务调度器的实现
任务切换的底层原理
队列与内存管理的源码解析
如何高效进行源码阅读

2025最新超详细FreeRTOS入门教程

文章目录

2025最新超详细FreeRTOS入门教程：第二十章 FreeRTOS源码阅读与内核解析
- 摘要
- 一、FreeRTOS 源码结构
- 二、任务与调度器源码解析
- - 1. 调度器入口函数
  - 2. 任务调度核心函数
  - 3. 任务切换过程
- 三、任务控制块（TCB）
- 四、队列源码解析
- - 队列结构
  - 队列发送函数
- 五、内存管理源码解析
- - 1. 内存分配策略
  - 2. heap_4.c 实现
- 六、源码阅读方法论
- 七、经验总结
- 八、总结

一、FreeRTOS 源码结构

FreeRTOS 的源码通常分为以下几个部分：

FreeRTOS/
├─ include/        // 内核头文件
├─ portable/       // 针对不同架构的移植代码
├─ tasks.c         // 任务管理与调度器核心
├─ queue.c         // 消息队列、信号量、互斥量
├─ list.c          // 内核链表操作
├─ timers.c        // 软件定时器
├─ event_groups.c  // 事件组
├─ stream_buffer.c // 流式缓冲区
├─ heap_x.c        // 内存分配算法

二、任务与调度器源码解析

1. 调度器入口函数

在 tasks.c 中：

void vTaskStartScheduler(void)
{// 初始化系统prvInitialiseTaskLists();// 创建空闲任务xIdleTaskHandle = xTaskCreate(prvIdleTask, "IDLE", configMINIMAL_STACK_SIZE, NULL, tskIDLE_PRIORITY, NULL);// 可选：创建定时器服务任务
#if configUSE_TIMERS == 1xTimerCreateTimerTask();
#endif// 启动调度器xPortStartScheduler();// 如果返回，说明失败for(;;);
}

📌 关键点

系统启动时，必须创建 Idle 任务
调用 xPortStartScheduler() → 进入硬件相关的任务切换机制

2. 任务调度核心函数

void vTaskSwitchContext(void)
{// 从就绪列表选择下一个任务TCB_t *pxNextTCB;pxNextTCB = listGET_OWNER_OF_NEXT_ENTRY(pxReadyTasksLists[uxTopReadyPriority]);// 切换当前任务pxCurrentTCB = pxNextTCB;
}

作用：

挑选最高优先级的就绪任务
更新 pxCurrentTCB 指针

3. 任务切换过程

任务切换由 中断触发（如 SysTick）或任务主动让出 CPU（如 taskYIELD()）完成。

底层过程：

保存当前任务寄存器（栈）
更新任务控制块（TCB）
加载下一个任务寄存器（栈）
跳转到新任务执行

三、任务控制块（TCB）

TCB 定义在 tasks.c 中：

typedef struct tskTaskControlBlock
{volatile StackType_t *pxTopOfStack;ListItem_t xStateListItem;ListItem_t xEventListItem;UBaseType_t uxPriority;StackType_t *pxStack;char pcTaskName[configMAX_TASK_NAME_LEN];
} TCB_t;

📌 字段说明

pxTopOfStack → 任务栈顶指针
uxPriority → 优先级
xStateListItem → 链表节点，用于挂载到就绪列表
pcTaskName → 任务名称

四、队列源码解析

队列是 FreeRTOS 的核心 IPC 机制，在 queue.c 中实现。

队列结构

typedef struct QueueDefinition
{int8_t *pcHead;int8_t *pcTail;int8_t *pcWriteTo;int8_t *pcReadFrom;List_t xTasksWaitingToSend;List_t xTasksWaitingToReceive;
} xQUEUE;

📌 关键点

pcHead 和 pcTail → 环形缓冲区
xTasksWaitingToSend → 等待发送的任务列表
xTasksWaitingToReceive → 等待接收的任务列表

队列发送函数

BaseType_t xQueueGenericSend(QueueHandle_t xQueue,const void * const pvItemToQueue,TickType_t xTicksToWait,const BaseType_t xCopyPosition )
{if( queueFULL ){vTaskPlaceOnEventList( &(xQueue->xTasksWaitingToSend), xTicksToWait );taskYIELD();}else{// 拷贝数据到队列prvCopyDataToQueue(xQueue, pvItemToQueue, xCopyPosition);}
}

五、内存管理源码解析

1. 内存分配策略

FreeRTOS 提供五种堆实现：

文件	策略
heap_1.c	固定分配，不能释放
heap_2.c	可分配可释放，简单链表
heap_3.c	封装 malloc/free
heap_4.c	最佳合并算法（推荐）
heap_5.c	多区域堆管理

2. heap_4.c 实现

void *pvPortMalloc(size_t xWantedSize)
{BlockLink_t *pxBlock;pxBlock = findFreeBlock(xWantedSize);if(pxBlock != NULL){splitBlock(pxBlock, xWantedSize);markBlockAllocated(pxBlock);return (void *)(pxBlock + 1);}return NULL;
}