FreeRTOS简单内核实现5 阻塞延时

news2024/11/25 6:30:49

文章目录

  • 0、思考与回答
    • 0.1、思考一
    • 0.2、思考二
    • 0.3、思考三
  • 1、创建空闲任务
  • 2、实现阻塞延时
  • 3、修改任务调度策略
  • 4、提供延时时基
    • 4.1、SysTick
    • 4.2、xPortSysTickHandler( )
    • 4.3、xTaskIncrementTick( )
  • 5、实验
    • 5.1、测试
    • 5.2、待改进

0、思考与回答

0.1、思考一

为什么 FreeRTOS简单内核实现3 任务管理 文章中实现的 RTOS 内核不能看起来并行运行呢？

Task1 延时 100ms 之后执行 taskYIELD() 切换到 Task2，Task2 延时 500ms 之后执行 taskYIELD() 再次切换 Task1 ，在延时期间两个任务均占用 MCU ，所以只能一个任务执行完再执行另外一任务，可以看出 MCU 处理这两个任务的大部分时间浪费在了无用的延时上

0.2、思考二

有什么方法解决吗？

引入空闲任务，当有任务执行延时操作时产生任务调度，但因为 MCU 时刻在运行程序，不会说中途休息一会儿，所以当所有任务都处于延时状态时，MCU 必须要有一个空闲任务来执行，当有任务从延时阻塞状态恢复时，再次产生任务调度执行从阻塞状态恢复的任务

0.3、思考三

具体怎么实现呢？

  1. 创建空闲任务
  2. 实现阻塞延时
  3. 修改任务调度策略
  4. 提供延时时基

下面我们就来逐点实现以上 4 点内容

1、创建空闲任务

空闲任务和普通任务一样，只不过任务函数为空而已，由于是静态创建任务，所以需要提前定义好任务栈，任务控制块、任务句柄和任务函数，如下所示

/* task.c */
// 空闲任务参数
TCB_t IdleTaskTCB;
#define confgiMINIMAL_STACK_SIZE 128
StackType_t	IdleTasKStack[confgiMINIMAL_STACK_SIZE];

// 空闲任务函数体
void prvIdleTask(void *p_arg)
{
    for(;;){}
}

由于空闲任务始终要被创建，因此一般选择将其放在启动调度器 vTaskStartScheduler() 函数中，如下所示

/* task.c */
// 启动任务调度器
void vTaskStartScheduler(void)
{
	// 创建空闲任务
	TaskHandle_t xIdleTaskHandle = xTaskCreateStatic((TaskFunction_t)prvIdleTask,
										(char *)"IDLE",
										(uint32_t)confgiMINIMAL_STACK_SIZE,
										(void *)NULL,
										(StackType_t *)IdleTasKStack,
										(TCB_t *)&IdleTaskTCB);
	// 将空闲任务插入到就绪链表中
	vListInsertEnd(&(pxReadyTasksLists), 
				   &(((TCB_t *)(&IdleTaskTCB))->xStateListItem));
	
	pxCurrentTCB = &Task1TCB;
	if(xPortStartScheduler() != pdFALSE){}
}

2、实现阻塞延时

首先需要在任务控制块结构体中增加一个变量用于记录任务阻塞延时的时间

/* task.h */
// 任务控制块
typedef struct tskTaskControlBlock
{
	// 省略之前的结构体成员定义
    TickType_t            xTicksToDelay;                        // 用于延时
}tskTCB;

阻塞延时与普通延时的区别就是普通延时会一直占用 MCU ，而阻塞延时执行后会产生任务调度暂时让出 MCU ，让其执行处于运行状态的任务，阻塞延时函数如下所示

/* task.c */
// 阻塞延时函数
void vTaskDelay(const TickType_t xTicksToDelay)
{
    TCB_t *pxTCB = NULL;

    // 获取当前要延时的任务 TCB
    pxTCB = (TCB_t *)pxCurrentTCB;
    // 记录延时时间
    pxTCB->xTicksToDelay = xTicksToDelay;
    // 主动产生任务调度，让出 MCU 
    taskYIELD();
}

/* task.h */
// 函数声明
void vTaskDelay(const TickType_t xTicksToDelay);

3、修改任务调度策略

注意：需要明白的很重要的一点是任务调度策略是寻找合适的 pxCurrentTCB 指针

根据目前实现的 RTOS 内核，发生任务调度有如下两种情况

  1. 手动调用 taskYIELD() 函数
  2. 执行 vTaskDelay() 阻塞延时函数

之前的任务调度策略为 Task1 和 Task2 两个任务轮流执行，现在加入了空闲任务和阻塞延时后需要修改任务调度策略，目前理想的任务调度策略应该如下所示

  1. 如果发生任务调度时运行的任务为 IdleTask，就按顺序始终尝试去执行未阻塞的 Task1 或 Task2
  2. 如果发生任务调度时运行的任务为 Task1，就按顺序尝试执行未阻塞的 Task2 或 Task1
  3. 如果发生任务调度时运行的任务为 Task2，就按顺序尝试执行未阻塞的 Task1 或 Task2
  4. 如果步骤 1 ~ 3 尝试执行的任务都已阻塞，就执行空闲任务

上述步骤 1 ~ 3 中笔者描述的尝试执行的任务是有顺序的，比如步骤 2 会先尝试执行未阻塞的 Task2，不满足才会尝试执行未阻塞的 Task1，这样在手动调用 taskYIELD() 函数发生任务调度时才会切换任务，否则达不到任务切换的目的

具体的任务调度函数如下所示

/* task.c */
// 任务调度函数
void vTaskSwitchContext(void)
{
    if(pxCurrentTCB == &IdleTaskTCB)
    {
        if(Task1TCB.xTicksToDelay == 0)
        {
            pxCurrentTCB = &Task1TCB;
        }
        else if(Task2TCB.xTicksToDelay == 0)
        {
            pxCurrentTCB = &Task2TCB;
        }
        else
        {
            return;
        }
    }
    else
    {
        if(pxCurrentTCB == &Task1TCB)
        {
            if(Task2TCB.xTicksToDelay == 0)
            {
                pxCurrentTCB = &Task2TCB;
            }
            else if(pxCurrentTCB->xTicksToDelay != 0)
            {
                pxCurrentTCB = &IdleTaskTCB;
            }
            else
            {
                return;
            }
        }
        else if(pxCurrentTCB == &Task2TCB)
        {
            if(Task1TCB.xTicksToDelay == 0)
            {
                pxCurrentTCB = &Task1TCB;
            }
            else if(pxCurrentTCB->xTicksToDelay != 0)
            {
                pxCurrentTCB = &IdleTaskTCB;
            }
            else
            {
                return;
            }
        }
    }
}

4、提供延时时基

4.1、SysTick

阻塞延时本质是延时函数，涉及到时间就需要提供时间基准，我们在任务控制块结构体中使用了一个名为 xTicksToDelay 的 uint32_t 类型的变量记录每个任务的延时时间，那这个延时时间什么时候递减呢？

通常 MCU 都有一个名为 SysTick 的滴答定时器，其会按照某一固定周期产生中断，一般用来为 MCU 提供时间基准，对于 STM32 HAL 库来说，其滴答定时器只用于 HAL_Delay() 延时函数，我们可以在其中断 SysTick_Handler() 函数中对任务的延时时间进行递减操作，那如何控制滴答定时器产生中断的周期呢？

对于配置好时钟树，然后由 STM32CubeMX 生成的代码中，滴答定时器会自动初始化并启动滴答定时器中断，初始化流程如下所示

  1. HAL_RCC_DeInit( )
  2. -> HAL_InitTick( )
  3. -> HAL_SYSTICK_Config( )
  4. -> SysTick_Config( )

初始化流程中有一个重要的参数用于配置滴答定时器的中断周期（频率），默认为 1KHZ（1ms），读者可按需要对其做相应修改，具体定义如下所示

/* stm32f4xx_hal.c */
HAL_TickFreqTypeDef uwTickFreq = HAL_TICK_FREQ_DEFAULT;  /* 1KHz */

/* stm32f4xx_hal.h */
typedef enum
{
  HAL_TICK_FREQ_10HZ         = 100U,
  HAL_TICK_FREQ_100HZ        = 10U,
  HAL_TICK_FREQ_1KHZ         = 1U,
  HAL_TICK_FREQ_DEFAULT      = HAL_TICK_FREQ_1KHZ
} HAL_TickFreqTypeDef;

4.2、xPortSysTickHandler( )

xPortSysTickHandler() 本质是滴答定时器中断服务函数，作为 RTOS 的心跳在其中对任务的阻塞延时参数做处理，每次心跳一次就将阻塞延时参数递减，直到减到 0 之后使任务从阻塞状态恢复，具体如下所示

/* port.c */
// SysTick 中断服务函数
void xPortSysTickHandler(void)
{
    // 关中断
    vPortRaiseBASEPRI();
    // 更新任务延时参数
    xTaskIncrementTick();
    // 开中断
    vPortSetBASEPRI(0);
}

/* portMacro.h */
#define xPortSysTickHandler         SysTick_Handler

注意：由于我们重新实现了 SysTick 中断服务函数，因此在 stm32f4xx_it.c 中自动生成的 SysTick_Handler 函数需要注释或者直接删除

4.3、xTaskIncrementTick( )

该函数为具体的处理函数，其遍历链表中每个链表项（任务），如果链表项的延时参数不为 0 就将其递减，直到减少到 0 表示该任务延时阻塞到期，然后产生任务调度，具体如下所示

/* task.c */
// 滴答定时器计数值
static volatile TickType_t xTickCount = (TickType_t)0U;
// 更新任务延时参数
void xTaskIncrementTick(void)
{
	TCB_t *pxTCB = NULL;
	ListItem_t *pxListItem = NULL;
	List_t *pxList = &pxReadyTasksLists;
	uint8_t xSwitchRequired = pdFALSE;
	
	// 更新 xTickCount 系统时基计数器
	const TickType_t xConstTickCount = xTickCount + 1;
	xTickCount = xConstTickCount;
	
	// 检查就绪链表是否为空
	if(listLIST_IS_EMPTY(pxList) == pdFALSE) 
	{
		// 不为空获取链表头链表项
		pxListItem = listGET_HEAD_ENTRY(pxList);

		// 迭代就绪链表所有链表项
		while(pxListItem != (ListItem_t *)&(pxList->xListEnd)) 
		{
			// 获取每个链表项的任务控制块 TCB
			pxTCB = (TCB_t *)listGET_LIST_ITEM_OWNER(pxListItem);
			
			// 延时参数递减
			if(pxTCB->xTicksToDelay > 0){
				pxTCB->xTicksToDelay--;
			}
			else{
				xSwitchRequired = pdTRUE;
			}
			// 移动到下一个链表项
			pxListItem = listGET_NEXT(pxListItem);
		}
	}
	// 如果就绪链表中有任务从阻塞状态恢复就产生任务调度
	if(xSwitchRequired == pdTRUE){
		// 产生任务调度
		taskYIELD();
	}
}

/* task.h */
// 函数声明
void xTaskIncrementTick(void);

5、实验

5.1、测试

测试程序与 FreeRTOS简单内核实现3 任务管理 几乎一致，主要是将任务函数体内的延时由 HAL_Delay() 修改为本文创建的阻塞延时 vTaskDelay() 函数，然后删除掉 taskYIELD() 函数即可，具体如下所示

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

/* USER CODE BEGIN PV */
extern List_t pxReadyTasksLists;

TaskHandle_t Task1_Handle;
#define TASK1_STACK_SIZE                    128
StackType_t Task1Stack[TASK1_STACK_SIZE];
TCB_t Task1TCB;

TaskHandle_t Task2_Handle;
#define TASK2_STACK_SIZE                    128
StackType_t Task2Stack[TASK2_STACK_SIZE];
TCB_t Task2TCB;

// 任务 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);
		vTaskDelay(500);
	}
}
/* USER CODE END PV */

/* USER CODE BEGIN 2 */
// 使用链表前手动初始化
prvInitialiseTaskLists();
// 创建任务 1 和 2
Task1_Handle = xTaskCreateStatic((TaskFunction_t)Task1_Entry,
								 (char *)"Task1",
								 (uint32_t)TASK1_STACK_SIZE,
								 (void *)NULL,
								 (StackType_t *)Task1Stack,
								 (TCB_t *)&Task1TCB);
														
Task2_Handle = xTaskCreateStatic((TaskFunction_t)Task2_Entry,
								 (char *)"Task2",
								 (uint32_t)TASK2_STACK_SIZE,
								 (void *) NULL,
								 (StackType_t *)Task2Stack,
								 (TCB_t *)&Task2TCB );
// 将两个任务插入到就绪链表中
vListInsertEnd(&(pxReadyTasksLists),&(((TCB_t *)(&Task1TCB))->xStateListItem));
vListInsertEnd(&(pxReadyTasksLists),&(((TCB_t *)(&Task2TCB))->xStateListItem));
// 启动任务调度器，永不返回
vTaskStartScheduler();
/* USER CODE END 2 */

启动任务调度器后的程序执行流程如下所示

  1. 创建空闲任务并加载到就绪链表中，此时就绪链表中有 Task1、Task2 和 IdleTask 三个任务
  2. 手动指定 pxCurrentTCB = &Task1TCB; ，让 Task1 成为第一个被运行的任务
  3. 然后按照 “3、修改任务调度策略” 小节中描述的理想的任务调度策略从步骤 2 进行任务调度

使用逻辑分析仪捕获 GREEN_LED 和 ORANGE_LED 两个引脚的电平变化，具体如下图所示

![[Kernel_5.1.png]]

从图上可以发现两个任务几乎是并行运行的，和我们期待的 Task1 引脚电平每隔 100 ms 翻转一次，Task2 引脚电平每隔 500ms 翻转一次效果一致

5.2、待改进

当前 RTOS 简单内核已实现的功能有

  1. 静态方式创建任务
  2. 手动切换任务
  3. 临界段保护
  4. 任务阻塞延时

当前 RTOS 简单内核存在的缺点有

  1. 不支持任务优先级
  2. 任务调度策略是基于两个任务的简单调度
  3. 不支持时间片轮询

本文来自互联网用户投稿，该文观点仅代表作者本人，不代表本站立场。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如若转载，请注明出处：http://www.coloradmin.cn/o/1828606.html

如若内容造成侵权/违法违规/事实不符，请联系多彩编程网进行投诉反馈，一经查实，立即删除！

相关文章

MySQL基础——多表查询和事务

MySQL基础——多表查询和事务

目录 1多表关系 2多表查询概述 3连接查询 3.1内连接 3.2左外连接 3.3右外连接 3.4自连接 4联合查询 5子查询 5.1标量子查询(子查询结果为单个值) 5.2列子查询(子查询结果为一列) 5.3行子查询(子查询结果为一行) 5.4表子查询(子查询结果为多行多列) 6事务简介和操…
阅读更多...
Axios进阶

Axios进阶

目录 axios实例 axios请求配置 拦截器 请求拦截器 响应拦截器 取消请求 axios不仅仅是简单的用基础请求用法的形式向服务器请求数据，一旦请求的端口与次数变多之后，简单的请求用法会有些许麻烦。所以，axios允许我们进行创建axios实例、ax…
阅读更多...
MongoDB~分片数据存储Chunk；其迁移原理、影响，以及避免手段

MongoDB~分片数据存储Chunk；其迁移原理、影响，以及避免手段

分片数据存储：Chunk存储 Chunk（块） 是 MongoDB 分片集群的一个核心概念，其本质上就是由一组 Document 组成的逻辑数据单元。每个 Chunk 包含一定范围片键的数据，互不相交且并集为全部数据。 分片集群不会记录每条数据…
阅读更多...
计算机组成原理之定点除法

计算机组成原理之定点除法

文章目录 定点除法运算原码恢复余数法原码不恢复余数法（加减交替法）运算规则 习题 定点除法运算 注意 （1）被除数小于除数的时候，商0 （2）接下来，有一个除数再原来的基础上&#xff0c…
阅读更多...
Vue主要使用-03

Vue主要使用-03

组件通讯 组件通讯也是我们需要了解的,在我们的实际开发中,我们使用的非常多,比如父组件内的数据传入到子组件,子组件的数据传入到父组件,什么是父组件什么是子组件？父组件内包含着我们的子组件,我们的父组件可以有多个子组件,父组件就是我们使用子组件拼接的。 …
阅读更多...
【字符串】65. 有效数字

【字符串】65. 有效数字

本文涉及知识点 字符串 LeetCode65. 有效数字 给定一个字符串 s ，返回 s 是否是一个 有效数字。 例如，下面的都是有效数字：“2”, “0089”, “-0.1”, “3.14”, “4.”, “-.9”, “2e10”, “-90E3”, “3e7”, “6e-1”, “53.5e93”,…
阅读更多...
举例说明 如何通过SparkUI和日志定位任务莫名失败？

举例说明 如何通过SparkUI和日志定位任务莫名失败？

有一个Task OOM： 通过概览信息，发现Stage 10的Task 36失败了4次导致Job失败。概览信息中显示最后一次失败的退出代码（exit code）是143，意味着发生了内存溢出（OOM，即Out of Memory）。…
阅读更多...
漏洞分析|PHP-CGI Windows平台远程代码执行漏洞（CVE-2024-4577）

漏洞分析|PHP-CGI Windows平台远程代码执行漏洞（CVE-2024-4577）

1.漏洞描述 CVE-2024-4577导致漏洞产生的本质其实是Windows系统内字符编码转换的Best-Fit特性导致的，相对来说PHP在这个漏洞里更像是一个受害者。 PHP语言在设计时忽略了Windows系统内部对字符编码转换的Best-Fit特性，当PHP运行在Window平台且使用了如…
阅读更多...
一键自动粘贴，高效处理邮箱地址，让你的工作效率翻倍提升！

一键自动粘贴，高效处理邮箱地址，让你的工作效率翻倍提升！

在信息爆炸的时代，邮箱地址已成为我们日常工作和生活中的必备元素。无论是商务沟通、报名注册还是信息传递，邮箱地址都扮演着至关重要的角色。然而，手动复制粘贴邮箱地址的繁琐操作往往让人头疼不已，不仅效率低下，还容…
阅读更多...
锁存器的工作原理及其在FPGA设计中的注意事项

锁存器的工作原理及其在FPGA设计中的注意事项

锁存器（Latch）是数字电子中常用的一种基本元件，用于在特定的时间点或条件下“锁存”或保存输入的数据值。锁存器对脉冲电平敏感，它只在输入脉冲的高电平（或低电平）期间对输入信号敏感并改变状态。在数字电路…
阅读更多...
【原理图PCB专题】案例：为什么要把Cadence原理图符号库设计好

【原理图PCB专题】案例：为什么要把Cadence原理图符号库设计好

Cadence 原理图符号库设计对于提高设计质量、效率和可维护性具有重要意义。一份好的原理图符合库能够帮助我们更好的达成设计目标： 提高设计效率：拥有一个完善的符号库可以让设计师直接调用所需的符号，避免重复绘制，从而节省时间。 确保设计准确性：统一的符号库可以保证符…
阅读更多...
快速压缩前端项目

快速压缩前端项目

背景 作为前端开发工程师难免会遇到需要把项目压缩成压缩文件来传送的情况，这时候需要压缩软件进行压缩文件处理 问题 项目中的依赖包文件非常庞大，严重影响压缩速度，即使想先删除再压缩，删除文件也不会很快完成 解决 首先要安…
阅读更多...
一键分析Bulk转录组数据

一键分析Bulk转录组数据

我们前面介绍了经典的转录组分析流程：Hisat2 Stringtie，可以帮助用户快速获得基因的表达量矩阵。 云上生信，未来已来 | 转录组标准分析流程重磅上线！ RNA STAR 也是一款非常流行的转录组数据分析工具。它不仅可以将测序 Reads 比…
阅读更多...
博通加速向Nvidia发起进攻 为何连iPhone 15都不能用“苹果智能”？

博通加速向Nvidia发起进攻 为何连iPhone 15都不能用“苹果智能”？

博通加速向Nvidia发起进攻 博通强调的一项优势是其 XPU 的能效。其功耗不到 600 瓦，是业内功耗最低的 AI 加速器之一。 Nvidia 的许多竞争对手都想抢占其市场主导地位。其中一个不断出现的名字是 Broadcom。仔细观察就会知道原因。其 XPU 功耗不到 600 瓦&#xff…
阅读更多...
JavaScript-转换成布尔型

JavaScript-转换成布尔型

学习目标： 掌握转换成布尔型 学习内容： 显示转换隐式转换 显示转换： Boolean（内容） 记忆：、0、underfined、null、false、NaN转换成布尔值后都是false，其余则为true。 console.log(Boolean(p…
阅读更多...
Mac M3 Pro 部署Trino-server-449

Mac M3 Pro 部署Trino-server-449

目录 1、下载安装包 2、解压并设置配置参数 3、启动并验证 4、使用cli客户端连接测试 1、下载安装包 官方：trino-server-449 CLI 网盘： server https://pan.baidu.com/s/16IH-H39iF8Fb-Vd14f7JPA?pwd3vjp 提取码: 3vjp cli https://pan.baidu.…
阅读更多...
react-day1

react-day1

1.react是什么呢？ react是由Meta公司开发，是一个用于构建web和原生交互界面的库 2.react 项目修改文件保存后 ，不能实时更新，需要： 在和package.json文件同目录的地方，新建.env文件：里面加入…
阅读更多...
食家巷助力“甘肃乡村振兴，百强主播·打call 甘味”活动

食家巷助力“甘肃乡村振兴，百强主播·打call 甘味”活动

2024年，甘肃省“商务乡村振兴”促消费暨“百强主播打call 甘味”活动在天水市龙城广场盛大启动。 活动现场，来自甘肃省 14 个市州的农特产品展台琳琅满目，让人目不暇接。此次活动中，各企业带来了多款深受消费者喜爱的产品&a…
阅读更多...
【MATLAB】（高数）

【MATLAB】（高数）

参考文章 函数极限 导数与偏导 极值和最值 局部范围的最值 局部范围内的最值，相当于函数的极值 离散数据的最值 多元函数的极值 fminunc [x, fval] fminunc(fun, x0)fun为代求极值的函数；x0为起始点，即从这个点开始寻找极值，…
阅读更多...
华媒舍：明星祝福视频，为你送上最真挚的祝福！

华媒舍：明星祝福视频，为你送上最真挚的祝福！

引言：嗨，亲爱哒书友！在这样一个科谱详细介绍文中，我们将带你领略一份尤其的独家合辑——十部明星祝愿视频。这种视频汇聚了诸多明星为你送上的最真挚的祝福。让我们一起来探寻这种电影中蕴含的情绪和价值吧！ 1.共享温暖…
阅读更多...
推荐文章
最新文章

Copyright @ 2022~2023