FreeRTOS任务切换学习

FreeRTOS任务切换学习

所谓任务切换，就是CPU寄存器的切换。假设当由任务A切换到任务B时，主要分为两步：
1：需暂停任务A的执行，并将此时任务A的寄存器保存到任务堆栈，这个过程叫做保存现场；
2：将任务B的各个寄存器值（被存于任务堆栈中）恢复到CPU寄存器中，这个过程叫做恢复现场；
对任务A保存现场，对任务B恢复现场，这个整体的过程称之为：上下文切换。下面要补充几个知识，以便更好理解任务切换。

PendSV异常

PendSV(可挂起的系统调用)异常对 OS 操作非常重要，其优先级可以通过编程设置。可以通过将中断控制和状态寄存器 ICSR 的 bit28，也就是 PendSV 的挂起位置 1 来触发 PendSV 中断。与 SVC 异常不同，它是不精确的，因此它的挂起状态可在更高优先级异常处理内设置，且
会在高优先级处理完成后执行。若将 PendSV 设置为最低的异常优先级，可以让 PendSV 异常处理在所有其他中断处理完成后执行，
下面我们直接来边解读程序边理解实现任务切换的过程：

__asm void xPortPendSVHandler( void )
{extern uxCriticalNesting;extern pxCurrentTCB;extern vTaskSwitchContext;/* *INDENT-OFF* */PRESERVE8mrs r0, psp//读取进程栈指针，保存在寄存器 R0 里面。isbldr r3, =pxCurrentTCB /* 得到正在运行指向任务控制块的指针的地址。*/ldr r2, [ r3 ]//得到任务控制块的地址stmdb r0 !, { r4 - r11 } /* 保存从R4到R11寄存器的值*/str r0, [ r2 ] /* 将此时的栈顶指针保存到任务控制块中的首个元素 */stmdb sp !, { r3, r14 }mov r0, #configMAX_SYSCALL_INTERRUPT_PRIORITYmsr basepri, r0dsbisbbl vTaskSwitchContextmov r0, #0msr basepri, r0ldmia sp !, { r3, r14 }ldr r1, [ r3 ]ldr r0, [ r1 ] /* The first item in pxCurrentTCB is the task top of stack. */ldmia r0 !, { r4 - r11 } /* Pop the registers and the critical nesting count. */msr psp, r0isbbx r14nop
/* *INDENT-ON* */
}

xPortPendSVHandler首先我们要明白这个函数PendSV中断。中断中使用的是MSP指针，中断外使用的是PSP指针。具体可以在手册Cortext-M3手册中找到：
在这里插入图片描述
所以自动压栈都是用的PSP指针。并且完成自动压栈后PSP指针指向的位置如下图所示：
在这里插入图片描述
mrs r0, psp所以此时r0寄存器保存的此时指针的位置。
stmdb r0 !, { r4 - r11 }从r0指针指向的位置手动压栈将寄存器R4-R11寄存器的值保存起来。此时r0指针指向的地址如图中所示：

在这里插入图片描述
str r0, [ r2 ] 将此时的栈顶指针保存到任务控制块中的首个元素。以便后面从压栈后的最新指针出开始出栈。
stmdb sp !, { r3, r14 }R14 是连接寄存器（LR）。在一个汇编程序中，你可以把它写作 both LR 和 R14。LR 用于在调用子程序时存储返回地址，R3为任务控制块的地址，为了防止 R3 和 R14 的值被改写，所以这里临时将 R3和 R14 的值先压栈。
mov r0, #configMAX_SYSCALL_INTERRUPT_PRIORITY msr basepri, r0开启临界区，也就是关闭中断。
bl vTaskSwitchContext调用这个函数得到下一个要运行的任务。下面具体来看一下这个函数是如何实现的：

void vTaskSwitchContext( void )
{if( uxSchedulerSuspended != ( UBaseType_t ) pdFALSE ){/* The scheduler is currently suspended - do not allow a context* switch. */xYieldPending = pdTRUE;}else{xYieldPending = pdFALSE;traceTASK_SWITCHED_OUT();#if ( configGENERATE_RUN_TIME_STATS == 1 ){#ifdef portALT_GET_RUN_TIME_COUNTER_VALUEportALT_GET_RUN_TIME_COUNTER_VALUE( ulTotalRunTime );#elseulTotalRunTime = portGET_RUN_TIME_COUNTER_VALUE();#endifif( ulTotalRunTime > ulTaskSwitchedInTime ){pxCurrentTCB->ulRunTimeCounter += ( ulTotalRunTime - ulTaskSwitchedInTime );}else{mtCOVERAGE_TEST_MARKER();}ulTaskSwitchedInTime = ulTotalRunTime;}#endif /* configGENERATE_RUN_TIME_STATS *//* Check for stack overflow, if configured. */taskCHECK_FOR_STACK_OVERFLOW();/* Before the currently running task is switched out, save its errno. */#if ( configUSE_POSIX_ERRNO == 1 ){pxCurrentTCB->iTaskErrno = FreeRTOS_errno;}#endif/* Select a new task to run using either the generic C or port* optimised asm code. */taskSELECT_HIGHEST_PRIORITY_TASK(); /*lint !e9079 void * is used as this macro is used with timers and co-routines too.  Alignment is known to be fine as the type of the pointer stored and retrieved is the same. */traceTASK_SWITCHED_IN();/* After the new task is switched in, update the global errno. */#if ( configUSE_POSIX_ERRNO == 1 ){FreeRTOS_errno = pxCurrentTCB->iTaskErrno;}#endif#if ( ( configUSE_NEWLIB_REENTRANT == 1 ) || ( configUSE_C_RUNTIME_TLS_SUPPORT == 1 ) ){/* Switch C-Runtime's TLS Block to point to the TLS* Block specific to this task. */configSET_TLS_BLOCK( pxCurrentTCB->xTLSBlock );}#endif}
}

taskSELECT_HIGHEST_PRIORITY_TASK（）这个函数实现找到任务优先级最高的那个，具体实现如下：

 #define taskSELECT_HIGHEST_PRIORITY_TASK()                                                  \{                                                                                           \UBaseType_t uxTopPriority;                                                              \\/* Find the highest priority list that contains ready tasks. */                         \portGET_HIGHEST_PRIORITY( uxTopPriority, uxTopReadyPriority );                          \configASSERT( listCURRENT_LIST_LENGTH( &( pxReadyTasksLists[ uxTopPriority ] ) ) > 0 ); \listGET_OWNER_OF_NEXT_ENTRY( pxCurrentTCB, &( pxReadyTasksLists[ uxTopPriority ] ) );   \} /* taskSELECT_HIGHEST_PRIORITY_TASK() */

里面的实现主要又有2个函数，分别是portGET_HIGHEST_PRIORITY( uxTopPriority, uxTopReadyPriority )和listGET_OWNER_OF_NEXT_ENTRY( pxCurrentTCB, &( pxReadyTasksLists[ uxTopPriority ] ) )：

#define portGET_HIGHEST_PRIORITY( uxTopPriority, uxReadyPriorities )    uxTopPriority = ( 31UL - ( uint32_t ) __clz( ( uxReadyPriorities ) ) )

这个函数获取最高优先级是采用硬件的方法。也就是前导置零指令，这里也需要前面的一个知识点。在这里插入图片描述
就绪表分为多个优先级，就绪表的每个优先级可以容纳多个任务。每个就绪列表都是一个结构体。想要了解这部分可以看之前写的列表和列表项的知识：列表和列表项的知识回顾
在这里插入图片描述
listGET_OWNER_OF_NEXT_ENTRY( pxCurrentTCB, &( pxReadyTasksLists[ uxTopPriority ] ) )这个函数实现如下所示：

#define listGET_OWNER_OF_NEXT_ENTRY( pxTCB, pxList )                                           \{                                                                                          \List_t * const pxConstList = ( pxList );                                               \/* 指向List_t类型的常量指针pxConstList，并将其初始化为pxList的值。 */               \/* we don't return the marker used at the end of the list.  */                         \( pxConstList )->pxIndex = ( pxConstList )->pxIndex->pxNext;                           \if( ( void * ) ( pxConstList )->pxIndex == ( void * ) &( ( pxConstList )->xListEnd ) ) \{                                                                                      \( pxConstList )->pxIndex = ( pxConstList )->pxIndex->pxNext;                       \}                                                                                      \( pxTCB ) = ( pxConstList )->pxIndex->pvOwner;                                         \}

当列表中仅有一个任务时候，过程如下图所示：刚开始pxindex指向的是末尾列表项。( pxConstList )->pxIndex = ( pxConstList )->pxIndex->pxNext; 这句代码将指针指向列表项1。

 if( ( void * ) ( pxConstList )->pxIndex == ( void * ) &( ( pxConstList )->xListEnd ) ) \{                                                                                      \( pxConstList )->pxIndex = ( pxConstList )->pxIndex->pxNext;                       \}

if判断作用是用来略过末尾列表项的作用。( pxTCB ) = ( pxConstList )->pxIndex->pvOwner; 这句代码作用指向包含此列表项的对象的指针。通常，这个指针指向一个任务控制块（TCB），但也可以指向其他使用列表项的数据结构。这实现了对象和其所属列表项之间的双向链接。
所以此时就得到该任务的任务控制块的地址。
在这里插入图片描述
当该就绪列表有多个任务时候，就要时间片流转了。这部分知识等到学到的时候继续补充。
在这里插入图片描述

mov r0, #0 msr basepri, r0 接下来分析继续执行的汇编代码。这2句汇编代码打开中断。退出临界区。
ldmia sp !, { r3, r14 }恢复寄存器 R3 和 R14 的值。注意，此时 pxCurrentTCB 的值已经改变了，所以读取 R3 所保存的地址处的数据就会发现其值改变了，成为了下一个要运行的任务的任务控制块的地址。
ldr r1, [ r3 ] ldr r0, [ r1 ] 因为R3所保存的是将要运行任务的任务控制块地址。所以r1中得到这个任务控制块，r0在得到栈顶指针。此时：
在这里插入图片描述
栈顶指针指向的位置如上图红色箭头所示：
ldmia r0 !, { r4 - r11 }将栈保存的值加载R4-R11寄存器中。也就是即将运行的任务的现场。
msr psp, r0更新进程栈指针 PSP 的值。此时R0指向的值为：
在这里插入图片描述
然后之后bx r14跳转到要执行的函数。因为R14保存函数返回的地址。执行此行代码以后硬件自动恢复寄存器 R0~R3、R12、LR、PC 和 xPSR 的值，确定异常返回以后应该进入处理器模式还是进程模式，使用主栈指针(MSP)还是进程栈指针(PSP)。很明显这里会进入进程模式，并且使用进程栈指针(PSP)，寄存器 PC 值会被恢复为即将运行的任务的任务函数，新的任务开始运行！至此，任务切换成功。

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

如若内容造成侵权/违法违规/事实不符，请联系长河编程网进行投诉反馈email:809451989@qq.com，一经查实，立即删除！

相关文章

设计模式-接口隔离原则

设计模式-接口隔离原则

基本介绍 客户端不应该依赖它不需要的接口，即一个类对另一个类的依赖应该建立在最小的接口上先看一张图: 类A通过接口Interface1 依赖类B，类C通过接口Interface1 依赖类D，如果接口Interface1对于类A和类C来说不是最小接口，那么类…
阅读更多...
Unity之PUN实现多人联机射击游戏的优化（Section 2）

Unity之PUN实现多人联机射击游戏的优化（Section 2）

目录 🎮一、准备工作 🎮二、实现手雷投掷动作 🎮三、手雷投掷同步 💤3.1 photonView.RPC 🎮四、同步手雷伤害 这几周都给我布置任务了，最近可忙。现在终于有机会更新了，也谢谢大家的阅读&a…
阅读更多...
爬虫 新闻网站 以湖南法治报为例（含详细注释） V1.0

爬虫 新闻网站 以湖南法治报为例（含详细注释） V1.0

目标网站：湖南法治报 爬取目的：为了获取某一地区更全面的在湖南法治报已发布的宣传新闻稿，同时也让自己的工作更便捷 环境：Pycharm2021，Python3.10， 安装的包：requests，csv&#xff…
阅读更多...
dyld: Library not loaded: @rpath/SDK.framework/SDK错误问题

dyld: Library not loaded: @rpath/SDK.framework/SDK错误问题

关于导入三方SDK.framework之后，启动崩溃之后如下报错的解决方式: 截屏2020-10-14 上午9.55.09.png 在正常导入framework之后，做如图示操作， image.png 以上步骤之后，重新启动运行xcode，即可成功运行。
阅读更多...
人工智能、深度伪造和数字身份：企业网络安全的新前沿

人工智能、深度伪造和数字身份：企业网络安全的新前沿

深度伪造（Deepfakes）的出现打响了网络安全军备竞赛的发令枪。对其影响的偏执已经波及到一系列领域，包括政治错误信息、假新闻和社交媒体操纵。 深度伪造将加剧公共领域对信任和沟通的本已严峻的压力。这将理所当然地引起监管机构和政策制定者…
阅读更多...
嵌入式学习第三十二天！（队列）

嵌入式学习第三十二天！（队列）

1. 队列的定义： 队列：是只允许一端进行数据插入，而另一端进行数据删除的线性表。（先进先出FIFO），如下图所示。 队列的应用：缓冲区，即解决高速设备和低速设备数据交互的时候&#xff…
阅读更多...
蓝桥2021A组C题

蓝桥2021A组C题

货物摆放 问题描述格式输入格式输出评测用例规模与约定解析参考程序难度等级 问题描述 格式输入 无 格式输出 输出答案 评测用例规模与约定 无 解析 数字给的相当大所以我们不能直接给他暴力了，不然等很久都跑不出来。由题目我们可以得到让nLxWxH，所…
阅读更多...
day77 JSPServlet

day77 JSPServlet

知识点： 1Web工程 2JSP是什么？JSP页面包含哪些内容？JSP页面执行原理 3JSP九大内置对象，及四个作用域 4什么是SERVLET？及servlet相关API 5MVC模型 6EL表达式及JSTL标签库的使用 7在JSP页面实现分页和多条件查询 …
阅读更多...
QML学习记录：并排页面切换效果的实现

QML学习记录：并排页面切换效果的实现

定义一个ApplicationWindow窗口，通过添加SwipeView和PageIndicator来实现页面切换效果和显示当前页面位置的指示器。 ApplicationWindow {id:rootvisible: truewidth: 340height: 480title: qsTr("SwipeView") // 定义一个SwipeView用于页面切换效果 Swip…
阅读更多...
python爬虫———激发学习兴趣的案列（第十三天）

python爬虫———激发学习兴趣的案列（第十三天）

🎈🎈作者主页： 喔的嘛呀🎈🎈 🎈🎈所属专栏：python爬虫学习🎈🎈 ✨✨谢谢大家捧场，祝屏幕前的小伙伴们每天都有好运相伴左右，一定要天天…
阅读更多...
【24年更新】如何在OnlyFans购买订阅？ OnlyFans银行卡怎么支付？使用虚拟visa支付OnlyFans信用卡教程

【24年更新】如何在OnlyFans购买订阅？ OnlyFans银行卡怎么支付？使用虚拟visa支付OnlyFans信用卡教程

1. OnlyFans简介 OnlyFans是一个流行的内容订阅平台，创作者通过粉丝订阅来赚取收入。该平台自2016年成立以来，吸引了包括音乐家、健身教练和摄影师等多种创作者。 2. 虚拟信用卡介绍 虚拟信用卡是一种替代传统银行卡的支付方式，适用于国际…
阅读更多...
谈谈功率IC巨头—士兰微

谈谈功率IC巨头—士兰微

大家好，我是砖一。 今天给大家分享一下士兰微电子公司，，有做功率元器件&开关电源和IC的朋友可以了解一下，希望对你有用~ 1 公司介绍 士兰微电子成立于1997年，于2003年上市，总部位于杭州，…
阅读更多...
Spring Boot-01-通过一个项目快速入门

Spring Boot-01-通过一个项目快速入门

官方参考文档：Spring Boot Reference Documentation 0. 概述 Spring的缺点： 1. 配置繁琐：虽然Spring的组件代码是轻量级，但它的配置却是重量级的。 2. 依赖繁琐：项目的依赖管理也是一件耗时耗力的事情。分析要导入哪…
阅读更多...
搭建前后端的链接(java)

搭建前后端的链接(java)

搭建前后端的链接(java) 一.前提 1.1 javaEE 搭建前后端的链接首先需要用到javaEE，也就是java企业版，也就是java后端(后端javaSE) 利用javaEE和前端交互，javaSE和数据库交互，javaSE和javaEE之间再进行交互就实现了前后端的交互…
阅读更多...
【智能算法】省时方便，智能算法统计指标——一键运行~

【智能算法】省时方便，智能算法统计指标——一键运行~

目录 1.常用统计指标2.参数统计检验3.结果展示4.自定义修改测试框架 1.常用统计指标 测试智能算法性能时，常常会用到以下5种常用指标，简单不赘述： 最优值、最差值、均值、中位数、标准差 2.参数统计检验 单纯依靠常用统计指标说服力不足&…
阅读更多...
ZStack Cloud 5.0.0正式发布——Vhost主存储、隔离PVLAN网络、云平台报警优化、灰度升级增强四大亮点简析

ZStack Cloud 5.0.0正式发布——Vhost主存储、隔离PVLAN网络、云平台报警优化、灰度升级增强四大亮点简析

近日，ZStack Cloud 5.0.0正式发布，推出了包含Vhost主存储、隔离PVLAN网络、云平台报警优化、灰度升级增强在内的一系列重要功能。云主机管理、物理机运维、密评合规、灾备服务等诸多使用场景和功能模块均有更新，为您带来更完善的平台服务、更…
阅读更多...
【Keil5-编译4个阶段】

【Keil5-编译4个阶段】

Keil5-编译 ■ GCC编译4个阶段■ 预处理->编译->汇编->链接■ GNU工具链开发流程图■ armcc/armasm（编译C和汇编）■ armlink （链接）■ armar （打包）■ fromelf （格式转换器&#xff09…
阅读更多...
C++ 线程库(thread)与锁(mutex)

C++ 线程库(thread)与锁(mutex)

一.线程库(thread) 1.1 线程类的简单介绍 thread类文档介绍 在C11之前，涉及到多线程问题，都是和平台相关的，比如windows和linux下各有自己的接口，这使得代码的可移植性比较差。C11中最重要的特性就是对线程进行支持了&#xff…
阅读更多...
python小练习（ps:可评论区讨论）

python小练习（ps:可评论区讨论）

1. (单选题)海龟初始坐标为（0，0），让海龟往坐标原点后方移动200像素的语句是 A. turtle.penup(200)B. turtle.fd(200)C. turtle.goto(200)D. turtle.bk(200) 2. (单选题)改变海龟画笔尺寸的是 A. turtle.penwidth()B. turtle.pen…
阅读更多...
OpenHarmony分布式软总线API调用测试工具 softbus_tool使用说明

OpenHarmony分布式软总线API调用测试工具 softbus_tool使用说明

softbus_tool 是 OpenHarmony 分布式软总线 API 调用测试工具，文件结构如下图所示。 softbus_tool 能够将软总线 interfaces 目录下的一些常用接口集中起来，供设备间搭建一些场景时使用（比如设备绑定、BR 组网，BLE 组网&#xff…
阅读更多...
最新文章
推荐文章

Copyright @ 2022~2023