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

FreeRTOS的中断管理、临界资源保护、任务调度

什么是中断?

简介:让CPU打断正常运行的程序,转而去处理紧急的事件(程序),就叫中断。

中断优先级分组设置 

        ARM Cortex-M 使用了 8 位宽的寄存器来配置中断的优先等级,这个寄存器就是中断优先级来配置寄存器。

        但STM32,只用了中断优先级配置寄存器的高4位 [7 : 4],所以STM32提供了最大16级的中断优先等级。

STM32 的中断优先级可以分为抢占优先级和子优先级。

抢占优先级: 抢占优先级高的中断可以打断正在执行但抢占优先级低的中断。 

子优先级:当同时发生具有相同抢占优先级的两个中断时,子优先级数值小的优先执行。

注意:中断优先级数值越小越优先。

一共有 5 种分配方式,对应着中断优先级分组的 5 个组。

特点: 

1、低于configMAX_SYSCALL_INTERRUPT_PRIORITY优先级的中断里才允许调用FreeRTOS 的API函数。

2、建议将所有优先级位指定为抢占优先级位,方便FreeRTOS管理。

3、中断优先级数值越小越优先,任务优先级数值越大越优先。

中断相关寄存器 

三个系统中断优先级配置寄存器,分别为 SHPR1、 SHPR2、 SHPR3 。

SHPR1寄存器地址:0xE000ED18。

SHPR2寄存器地址:0xE000ED1C。

SHPR3寄存器地址:0xE000ED20。

FreeRTOS如何配置PendSV和Systick中断优先级? 

中断相关寄存器

三个中断屏蔽寄存器,分别为 PRIMASK、 FAULTMASK 和BASEPRI  。

FreeRTOS所使用的中断管理就是利用的BASEPRI这个寄存器。         

BASEPRI:屏蔽优先级低于某一个阈值的中断。

比如: BASEPRI设置为0x50,代表中断优先级在5~15内的均被屏蔽,0~4的中断优先级正常执行。

BASEPRI:屏蔽优先级低于某一个阈值的中断,当设置为0时,则不关闭任何中断。

关中断程序示例:

中断优先级在5 ~ 15的全部被关闭 。

开中断程序示例:

FreeRTOS中断管理就是利用BASEPRI寄存器实现的 。

中断管理  

        在 RTOS 中,需要应对各类事件。这些事件很多时候是通过硬件中断产生,怎么处理呢?
        假设当前系统正在运行 Task1 时,用户按下了按键,触发了按键中断。这个中断的处理流程如下:
        CPU 跳到固定地址去执行代码,这个固定地址通常被称为中断向量,这个跳转时硬件实现。
        执行代码做什么?
        保存现场:Task1 被打断,需要先保存 Task1 的运行环境,比如各类寄存器的值。
        分辨中断、调用处理函数 ( 这个函数就被称为 ISR interrupt service routine)
        恢复现场:继续运行 Task1 ,或者运行其他优先级更高的任务你要注意到,ISR 是在内核中被调用的, ISR 执行过程中,用户的任务无法执行。 ISR要尽量快,否则:其他低优先级的中断无法被处理:实时性无法保证用户任务无法被执行:系统显得很卡顿。
        
        如果这个硬件中断的处理,就是非常耗费时间呢?对于这类中断的处理就要分为 2 部分:
        ISR:尽快做些清理、记录工作,然后触发某个任务
        任务:更复杂的事情放在任务中处理
        所以:需要 ISR 和任务之间进行通信要在 FreeRTOS 中熟练使用中断,有几个原则要先说明:
        FreeRTOS 把任务认为是硬件无关的,任务的优先级由程序员决定,任务何时运行由调度器决定。
        ISR 虽然也是使用软件实现的,但是它被认为是硬件特性的一部分,因为它跟硬件密切相关。
        何时执行?由硬件决定。
        
        哪个 ISR 被执行?由硬件决定。
        
        ISR 的优先级高于任务:即使是优先级最低的中断,它的优先级也高于任务。任务只有在没有中断的情况下,才能执行。
      

两套 API 函数

        在任务函数中,我们可以调用各类 API 函数,比如队列操作函数:
        
        xQueueSendToBack。但是在 ISR 中使用这个函数会导致问题,应该使用另一个函数:
        
        xQueueSendToBackFromISR,它的函数名含有后缀"FromISR" ,表示 " ISR 中给队列发送
数据 "
        FreeRTOS 中很多 API 函数都有两套:一套在任务中使用,另一套在 ISR 中使用。后者的函数名含有"FromISR" 后缀。
        
        为什么要引入两套 API 函数?
        很多 API 函数会导致任务计入阻塞状态:
        
        运行这个函数的任务进入阻塞状态。
        比如写队列时,如果队列已满,可以进入阻塞状态等待一会。
        ISR 调用 API 函数时,ISR 不是"任务"ISR 不能进入阻塞状态。
        所以,在任务中、在 ISR 中,这些函数的功能是有差别的。

两套 API 函数列表 

 xHigherPriorityTaskWoken 参数

        xHigherPriorityTaskWoken 的含义是:是否有更高优先级的任务被唤醒了。如果为pdTRUE,则意味着后面要进行任务切换。
        还是以写队列为例。
        任务 A 调用 xQueueSendToBack() 写队列,有几种情况发生:
        队列满了,任务 A 阻塞等待,另一个任务 B 运行
        队列没满,任务 A 成功写入队列,但是它导致另一个任务 B 被唤醒,任务
        B 的优先级更高:任务 B 先运行
        队列没满,任务 A 成功写入队列,即刻返回
        可以看到,在任务中调用 API 函数可能导致任务阻塞、任务切换,这叫做 "context switch",上下文切换。这个函数可能很长时间才返回,在函数的内部实现了任务切换。
        xQueueSendToBackFromISR() 函数也可能导致任务切换,但是不会在函数内部进行切
换,而是返回一个参数:表示是否需要切换,函数原型与用法如下:
/* 
* 往队列尾部写入数据,此函数可以在中断函数中使用,不可阻塞
*/
BaseType_t xQueueSendToBackFromISR(QueueHandle_t xQueue,const void *pvItemToQueue,BaseType_t *pxHigherPriorityTaskWoken);
/* 用法示例 */
BaseType_t xHigherPriorityTaskWoken = pdFALSE;
xQueueSendToBackFromISR(xQueue, pvItemToQueue, &xHigherPriorityTaskWoken);
if (xHigherPriorityTaskWoken == pdTRUE)
{/* 任务切换 */ 
}
        pxHigherPriorityTaskWoken 参数,就是用来保存函数的结果:是否需要切换
        *pxHigherPriorityTaskWoken 等于 pdTRUE :函数的操作导致更高优先级的任务就绪了,ISR 应该进行任务切换。
        *pxHigherPriorityTaskWoken 等于 pdFALSE :没有进行任务切换的必要
        为什么不在"FromISR" 函数内部进行任务切换,而只是标记一下而已呢?为了效率!
示例代码如下:
void XXX_ISR()
{int i;for (i = 0; i < N; i++){xQueueSendToBackFromISR(...); /* 被多次调用 */}
}
ISR 中有可能多次调用 "FromISR" 函数,如果在 "FromISR" 内部进行任务切换,会浪费时间。解决方法是:
        在"FromISR" 中标记是否需要切换。
        在 ISR 返回之前再进行任务切换。
        示例代码如下:
void XXX_ISR()
{int i;BaseType_t xHigherPriorityTaskWoken = pdFALSE;for (i = 0; i < N; i++){xQueueSendToBackFromISR(..., &xHigherPriorityTaskWoken); /* 被多次调用 */}/* 最后再决定是否进行任务切换 */if (xHigherPriorityTaskWoken == pdTRUE){/* 任务切换 */ }
}
        上述的例子很常见,比如 UART 中断:在 UART ISR 中读取多个字符,发现收到回车符时才进行任务切换。
        在 ISR 中调用 API 时不进行任务切换,而只是在 "xHigherPriorityTaskWoken" 中标记一下,除了效率,还有多种好处:
        效率高:避免不必要的任务切换。
        让 ISR 更可控:中断随机产生,在 API 中进行任务切换的话,可能导致问题更复杂。
        可移植性。
        在 Tick 中断中,调用 vApplicationTickHook() :它运行与 ISR ,只能使用 "FromISR"的函数
使用 "FromISR" 函数时,如果不想使用 xHigherPriorityTaskWoken 参数,可以设置为NULL。

怎么切换任务 

        FreeRTOS ISR 函数中,使用两个宏进行任务切换:

        portEND_SWITCHING_ISR ( xHigherPriorityTaskWoken );
        portYIELD_FROM_ISR ( xHigherPriorityTaskWoken );
        这两个宏做的事情是完全一样的,在老版本的 FreeRTOS 中,
        portEND_SWITCHING_ISR 使用汇编实现
        portYIELD_FROM_ISR 使用 C 语言实现
        
        新版本都统一使用 portYIELD_FROM_ISR 。使用示例如下:
void XXX_ISR()
{int i;BaseType_t xHigherPriorityTaskWoken = pdFALSE;for (i = 0; i < N; i++){xQueueSendToBackFromISR(..., &xHigherPriorityTaskWoken); /* 被多次调用 */}/* 最后再决定是否进行任务切换* xHigherPriorityTaskWoken 为 pdTRUE 时才切换*/portYIELD_FROM_ISR(xHigherPriorityTaskWoken);
}

中断的延迟处理

        前面讲过,ISR 要尽量快,否则: 其他低优先级的中断无法被处理:实时性无法保证,用户任务无法被执行:系统显得很卡顿。
        如果运行中断嵌套,这会更复杂,ISR 越快执行约有助于中断嵌套。
        如果这个硬件中断的处理,就是非常耗费时间呢?对于这类中断的处理就要分为 2 部分:
        ISR:尽快做些清理、记录工作,然后触发某个任务。
        任务:更复杂的事情放在任务中处理。
        这种处理方式叫" 中断的延迟处理 "(Deferring interrupt processing) ,处理流程如下图所示:
        t1:任务 1 运行,任务 2 阻塞。
        t2:发生中断。
        该中断的 ISR 函数被执行,任务 1 被打断。
        ISR 函数要尽快能快速地运行,它做一些必要的操作 ( 比如清除中断 ) ,然后唤醒任务 2。
        t3:在创建任务时设置任务 2 的优先级比任务 1 ( 这取决于设计者 ) ,所以ISR 返回后,运行的是任务 2 ,它要完成中断的处理。任务 2 就被称为"deferred processing task",中断的延迟处理任务。
        t4:任务 2 处理完中断后,进入阻塞态以等待下一个中断,任务 1 重新运行。

中断与任务间的通信

前面讲解过的队列、信号量、互斥量、事件组、任务通知等等方法,都可使用。要注意的是,在 ISR 中使用的函数要有 "FromISR" 后缀。

资源管理(Resource Management)

        在前面讲解互斥量时,引入过临界资源的概念。在前面课程里,已经实现了临界资源的互斥访问。
        本章节的内容比较少,只是引入两个功能:屏蔽/ 使能中断、暂停 / 恢复调度器。要独占式地访问临界资源,有 3 种方法:
        公平竞争:比如使用互斥量,谁先获得互斥量谁就访问临界资源,这部分内容前面讲过。
        谁要跟我抢,我就灭掉谁:
        
        中断要跟我抢?我屏蔽中断。
        其他任务要跟我抢?我禁止调度器,不运行任务切换。

屏蔽中断

        屏蔽中断有两套宏:任务中使用、ISR 中使用:
        任务中使用: taskENTER_CRITICA()/taskEXIT_CRITICAL()
        ISR 中使用: taskENTER_CRITICAL_FROM_ISR()/taskEXIT_CRITICAL_FROM_ISR()

在任务中屏蔽中断 

在任务中屏蔽中断的示例代码如下:
/* 在任务中,当前时刻中断是使能的
* 执行这句代码后,屏蔽中断
*/
taskENTER_CRITICAL();
/* 访问临界资源 */
/* 重新使能中断 */
taskEXIT_CRITICAL();
taskENTER_CRITICA()/taskEXIT_CRITICAL() 之间:
低优先级的中断被屏蔽了:优先级低于、等于 configMAX_SYSCALL_INTERRUPT_PRIORITY
高优先级的中断可以产生:优先级高于 configMAX_SYSCALL_INTERRUPT_PRIORITY
但是,这些中断 ISR 里,不允许使用 FreeRTOS API 函数
任务调度依赖于中断、依赖于 API 函数,所以:这两段代码之间,不会有任务调度产生
这套 taskENTER_CRITICA()/taskEXIT_CRITICAL() 宏,是可以递归使用的,它的内部会记录嵌套的深度,只有嵌套深度变为 0 时,调用 taskEXIT_CRITICAL() 才会重新使能中断。
使用 taskENTER_CRITICA()/taskEXIT_CRITICAL() 来访问临界资源是很粗鲁的方法:
中断无法正常运行。
任务调度无法进行。
 所以,之间的代码要尽可能快速地执行。

ISR 中屏蔽中断

要使用含有 "FROM_ISR" 后缀的宏,示例代码如下:
void vAnInterruptServiceRoutine( void )
{/* 用来记录当前中断是否使能 */UBaseType_t uxSavedInterruptStatus;/* 在 ISR 中,当前时刻中断可能是使能的,也可能是禁止的* 所以要记录当前状态, 后面要恢复为原先的状态* 执行这句代码后,屏蔽中断*/uxSavedInterruptStatus = taskENTER_CRITICAL_FROM_ISR();/* 访问临界资源 *//* 恢复中断状态 */taskEXIT_CRITICAL_FROM_ISR( uxSavedInterruptStatus );/* 现在,当前 ISR 可以被更高优先级的中断打断了 */
}
taskENTER_CRITICA_FROM_ISR()/taskEXIT_CRITICAL_FROM_ISR() 之间:
低优先级的中断被屏蔽了:优先级低于、等于 configMAX_SYSCALL_INTERRUPT_PRIORITY。
高优先级的中断可以产生:优先级高于 configMAX_SYSCALL_INTERRUPT_PRIORITY。
但是,这些中断 ISR 里,不允许使用 FreeRTOS API 函数。
任务调度依赖于中断、依赖于 API 函数,所以:这两段代码之间,不会有任务调度产生。

暂停调度器

        如果有别的任务来跟你竞争临界资源,你可以把中断关掉:这当然可以禁止别的任务
运行,但是这代价太大了。它会影响到中断的处理。
        
        如果只是禁止别的任务来跟你竞争,不需要关中断,暂停调度器就可以了:在这期间,中断还是可以发生、处理。使用这 2 个函数来暂停、恢复调度器:
/* 暂停调度器 */
void vTaskSuspendAll( void );
/* 恢复调度器
* 返回值: pdTRUE 表示在暂定期间有更高优先级的任务就绪了
* 可以不理会这个返回值
*/
BaseType_t xTaskResumeAll( void );
示例代码如下:
vTaskSuspendScheduler();
/* 访问临界资源 */
xTaskResumeScheduler();
        这套 vTaskSuspendScheduler()/xTaskResumeScheduler() 宏,是可以递归使用的,它的内部会记录嵌套的深度,只有嵌套深度变为 0 时,调用 taskEXIT_CRITICAL() 才会重新使能中断。

FreeRTOS临界段代码保护

临界段代码保护简介

什么是临界段:临界段代码也叫做临界区,是指那些必须完整运行,不能被打断的代码段。

适用场合如:

临界段代码保护函数介绍 

临界区是直接屏蔽了中断,系统任务调度靠中断,ISR也靠中断。

任务调度 

开启任务调度器

vTaskStartScheduler() :

作用:用于启动任务调度器,任务调度器启动后, FreeRTOS 便会开始进行任务调度

该函数内部实现,如下:

1、创建空闲任务。

2、如果使能软件定时器,则创建定时器任务。

3、关闭中断,防止调度器开启之前或过程中,受中断干扰,会在运行第一个任务时打开中断。

4、初始化全局变量,并将任务调度器的运行标志设置为已运行。

5、初始化任务运行时间统计功能的时基定时器。

6、调用函数 xPortStartScheduler() 。

xPortStartScheduler()

作用:该函数用于完成启动任务调度器中与硬件架构相关的配置部分,以及启动第一个任务。

该函数内部实现,如下:

1、检测用户在 FreeRTOSConfig.h 文件中对中断的相关配置是否有误。

2、配置 PendSV 和 SysTick 的中断优先级为最低优先级。

3、调用函数 vPortSetupTimerInterrupt()配置 SysTick。

4、初始化临界区嵌套计数器为 0。

5、调用函数 prvEnableVFP()使能 FPU。

6、调用函数 prvStartFirstTask()启动第一个任务。 

启动第一个任务

prvStartFirstTask ()     /* 开启第一个任务

vPortSVCHandler () 

注意:SVC中断只在启动第一次任务时会调用一次,以后均不调用。

出栈/压栈汇编指令详解 

任务切换 

注意:任务切换的过程在PendSV中断服务函数里边完成 。

PendSV中断是如何触发的? 

1、滴答定时器中断调用。

2、执行FreeRTOS提供的相关API函数:portYIELD() 。

本质:通过向中断控制和状态寄存器 ICSR 的bit28 写入 1 挂起 PendSV 来启动 PendSV 中断

查找最高优先级任务 

vTaskSwitchContext( )                    /* 查找最高优先级任务 */

taskSELECT_HIGHEST_PRIORITY_TASK( )    /* 通过这个函数完成 */ 

前导置零指令 

获取最高优先级任务的任务控制块 

总结

以上就是FreeRTOS的中断管理、资源管理、任务调度的核心内容。我讲的是关键点,不过也很片面,内部实现过程更为精妙,读者如果水平较高,可以自己去研究一下,我就不去研究了,因为确实有点难,会到这一步就够了。        

相关文章:

  • 北京网站建设多少钱?
  • 辽宁网页制作哪家好_网站建设
  • 高端品牌网站建设_汉中网站制作
  • 2024CAIP省赛
  • 【吊打面试官系列-ZooKeeper面试题】简述 Zookeeper 文件系统?
  • 安全运营概述
  • 【学习】美国虚拟信用卡申请流程
  • 【解决】多个网卡导致nacos注册的服务ip有误问题
  • Java-排序~查找算法
  • Qt会议室项目
  • 景区导航导览系统:基于AR技术+VR技术的功能效益全面解析
  • RocketMQ实现分布式事务
  • vst 算法R语言手工实现 | Seurat 筛选高变基因的算法
  • 优化Python爬虫:多线程助力数据采集高速通道
  • vue仿甘特图开发工程施工进度表
  • openeuler 终端中文显示乱码、linux vim中文乱码
  • Billu_b0x靶机
  • Hadoop中的YARN组件
  • 【Leetcode】101. 对称二叉树
  • 4. 路由到控制器 - Laravel从零开始教程
  • css的样式优先级
  • CSS实用技巧干货
  • IDEA常用插件整理
  • Javascript 原型链
  • LeetCode541. Reverse String II -- 按步长反转字符串
  • Linux快速复制或删除大量小文件
  • PAT A1120
  • PermissionScope Swift4 兼容问题
  • vue+element后台管理系统,从后端获取路由表,并正常渲染
  • 前端性能优化--懒加载和预加载
  • 删除表内多余的重复数据
  • 使用 Docker 部署 Spring Boot项目
  • 移动端 h5开发相关内容总结(三)
  • JavaScript 新语法详解:Class 的私有属性与私有方法 ...
  • # Pytorch 中可以直接调用的Loss Functions总结:
  • # windows 安装 mysql 显示 no packages found 解决方法
  • #pragma预处理命令
  • #如何使用 Qt 5.6 在 Android 上启用 NFC
  • (06)Hive——正则表达式
  • (1)Hilt的基本概念和使用
  • (二)Kafka离线安装 - Zookeeper下载及安装
  • (附源码)springboot宠物管理系统 毕业设计 121654
  • (亲测成功)在centos7.5上安装kvm,通过VNC远程连接并创建多台ubuntu虚拟机(ubuntu server版本)...
  • (原創) 如何使用ISO C++讀寫BMP圖檔? (C/C++) (Image Processing)
  • (转)iOS字体
  • (转)shell调试方法
  • (转)winform之ListView
  • .\OBJ\test1.axf: Error: L6230W: Ignoring --entry command. Cannot find argumen 'Reset_Handler'
  • .equals()到底是什么意思?
  • .NET 8 编写 LiteDB vs SQLite 数据库 CRUD 接口性能测试(准备篇)
  • .NET CF命令行调试器MDbg入门(三) 进程控制
  • .Net MVC + EF搭建学生管理系统
  • .Net Remoting(分离服务程序实现) - Part.3
  • .Net程序猿乐Android发展---(10)框架布局FrameLayout
  • .NET牛人应该知道些什么(2):中级.NET开发人员
  • .net中调用windows performance记录性能信息
  • .Net中间语言BeforeFieldInit
  • ??myeclipse+tomcat