任务调度原理 通俗详解(FreeRTOS)

news/2024/5/20 14:16:23/文章来源:https://blog.csdn.net/weixin_43746325/article/details/130313135

寄存器说明

以cortex-M3,首先先要了解比较特别的几个寄存器:
r15 PC程序计数器(Program Counter),存储下一条要执行的指令的地址。
r14 LR连接寄存器(Link Register ),保存函数返回地址,当通过BL或BLX指令调用函数时,硬件自动将函数返回地址保存在R14寄存器中。当函数完成时,将LR值传到PC,即可返回到被调用位置。
r13 SP 堆栈指针(Process Stack Pointer),保护现场和恢复现场要用,当发生异常的时候,硬件会把当前状态(使用到寄存器数值)保存在堆栈中,SP保存这个堆栈指针,异常处理完成,通过SP出栈,恢复到异常前的状态,可以时MSP、PSP。
CPSR程序状态寄存器(current program status register),CPSR和其他寄存器不一样,其他寄存器是用来存放数据的,都是整个寄存器具有一个含义.而CPSR寄存器是按位起作用的,也就是说,它的每一位都有专门的含义。
函数形参被放在R0-R3中,超过4个参数值传递则放栈里。

双堆栈指针

双堆栈指针对于任务现场保护、恢复现场至关重要。

【双堆栈指针(MSP&PSP)】

  • Cortex-M3内核中有两个堆栈指针(MSP & PSP),但任何时刻只能使用到其中一个。
  • 复位后处于线程模式特权级,默认使用MSP。
  • 通过SP访问到的是正在使用的那个指针,可以通过MSR/MRS指令访问指定的堆栈指针。
  • 通过设置CONTROL寄存器的bit[1]选择使用哪个堆栈指针。CONTROL[1]=0选择主堆栈指针;CONTROL[1]=1选择进程堆栈指针。
  • Handler模式下,只允许使用主堆栈指针MSP;PSP一般用在线程模式,任务执行就是用到这个PSP;线程模式下可以使用MSP,也可以使用PSP。

对于裸机程序,一直使用MSP。对于有OS的程序,OS内核和中断使用MSP,而应用程序task则使用PSP。

那双堆栈指针的作用是什么?答案是为了隔离OS和应用程序,程序的运行少不了堆栈,因为我们CPU只有少量的通用寄存器,当我们使用的临时变量比较多得时候,就需要将这些临时变量存储到堆栈里,而堆栈的push和pop都是通过SP来实现的,所以通过MSP和PSP就能实现OS内核与应用程序的隔离,应用程序task用PSP,而OS用MSP,这样会非常安全。因为应用程序再怎么折腾也只是在自己的堆栈内折腾,不会影响内核OS。

MCU上电执行过程

向量表中的MSP初始值和复位向量:

CM3离开复位状态时,首先要做的是读取下面两个值(根据boot执行,硬件自动执行):

从地址0x0000 0000,取出MSP(主堆栈指针)的值 从地址0x0000 0004,取出复位向量(程序开始执行的地 址, LSB必须是1)

汇编启动文件,主要做了堆栈空间分配,更新MSP指针,跳到Reset_Handler执行,执行SystemInit并返回,再执行到__main,虽然会执行到main函数,但是这个__main和main函数是不一样,再跳到main函数时,还会做一些操作。

FreeRTOS调度过程

简单分析:
重点在于任务初始化、SVC、pendsv、systick

任务栈初始化
这个栈空间,就是我们任务初始化的内存空间,是一个全局数组。

栈顶指针
栈顶指针-1               状态寄存器XPSR
栈顶指针-2               任务线程函数指针 PC
栈顶指针-3               LR 函数返回地址
栈顶指针-8               R12、R3、R2、R1、R0
栈顶指针-16              R11、R10、R9、R8、R7、R6、R5、R4 

异常返回时,异常完成时,进行出栈,恢复先前压入栈的寄存器值xPSP, PC, LR,R12以及R3~R0寄存器的值,恢复堆栈指针值,根据栈指针。(这是由硬件去完成) 后面会用到。

进入SVC系统调用:
执行第一个任务,MSP地址更新(多余),进入SVC系统调用

__asm void prvStartFirstTask( void )
{PRESERVE8/* 在Cortex-M中,0xE000ED08是SCB_VTOR这个寄存器的地址,里面存放的是向量表的起始地址,即MSP的地址 MCU上电就做了,该步骤多余*/ldr r0, =0xE000ED08ldr r0, [r0]ldr r0, [r0]/* 设置主堆栈指针msp的值 */msr msp, r0/* 使能全局中断 */cpsie icpsie fdsbisb/* 调用SVC去启动第一个任务 */svc 0  nopnop
}

执行SVC,跳到执行用户的第一个任务

__asm void vPortSVCHandler( void )
{/*在进入异常前 会将 把xPSP, PC, LR,R12以及R3~R0寄存器的值压入栈 ,由硬件完成因为这个函数是不返回,这个可以不关心。*/extern pxCurrentTCB;PRESERVE8ldr	r3, =pxCurrentTCB	/* 加载pxCurrentTCB的地址到r3 */ldr r1, [r3]			     /* 加载pxCurrentTCB到r1 */ldr r0, [r1]			 /* 加载pxCurrentTCB指向的值到r0,目前r0的值等于第一个任务堆栈的栈顶ldmia r0!, {r4-r11}		/* 以r0为基地址,将栈里面的内容加载到r4~r11寄存器,同时r0会递增 */msr psp, r0				/* 将r0的值,即任务的栈指针更新到psp 后面异常退出时,根据SPS进行出栈,                        就是前面任务栈初始化值出栈给到寄存器*/isbmov r0, #0              /* 设置r0的值为0 */msr	basepri, r0         /* 设置basepri寄存器的值为0,即所有的中断都没有被屏蔽 */orr r14, #0xd           /* 当从SVC中断服务退出前,通过向r14寄存器最后4位按位或上0x0D,使得硬件在退出时使用进程堆栈指针PSP完成出栈操作并返回后进入线程模式、返回Thumb状态 */bx r14                  /* 异常返回,这个时候栈中的剩下内容将会自动加载到CPU寄存器:xPSR,PC(任务入口地址),R14,R12,R3,R2,R1,R0(任务的形参)同时PSP的值也将更新,即指向任务栈的栈顶 */
}

此时调度器就执行第一个任务。

任务切换

pendSV中断服务函数实现任务切换。
执行portYIELD,手动触发pendSV中断

#define portYIELD()																\
{																				\/* 触发PendSV,产生上下文切换 */								                \portNVIC_INT_CTRL_REG = portNVIC_PENDSVSET_BIT;								\__dsb( portSY_FULL_READ_WRITE );											\__isb( portSY_FULL_READ_WRITE );											\
}

pendSV

__asm void xPortPendSVHandler( void )
{extern pxCurrentTCB;extern vTaskSwitchContext;PRESERVE8/* 当进入PendSVC Handler时,上一个任务运行的环境即:xPSR,PC(任务入口地址),R14,R12,R3,R2,R1,R0(任务的形参)这些CPU寄存器的值会自动保存到任务的栈中,剩下的r4~r11需要手动保存 *//* 获取任务栈指针到r0 */mrs r0, pspisbldr	r3, =pxCurrentTCB		/* 加载pxCurrentTCB的地址到r3 */ldr	r2, [r3]                /* 加载pxCurrentTCB到r2 */stmdb r0!, {r4-r11}			/* 将CPU寄存器r4~r11的值存储到r0指向的地址 */str r0, [r2]                /* 将任务栈的新的栈顶指针存储到当前任务TCB的第一个成员,即栈顶指针 */				//以上 上下文保存stmdb sp!, {r3, r14}        /* 将R3和R14临时压入堆栈,因为即将调用函数vTaskSwitchContext,调用函数时,返回地址自动保存到R14中,所以一旦调用发生,R14的值会被覆盖,因此需要入栈保护;R3保存的当前激活的任务TCB指针(pxCurrentTCB)地址,函数调用后会用到,因此也要入栈保护 */mov r0, #configMAX_SYSCALL_INTERRUPT_PRIORITY    /* 进入临界段 */msr basepri, r0dsbisbbl vTaskSwitchContext       /* 调用函数vTaskSwitchContext,寻找新的任务运行,通过使变量pxCurrentTCB指向新的任务来实现任务切换 */ mov r0, #0                  /* 退出临界段 */msr basepri, r0ldmia sp!, {r3, r14}        /* 恢复r3和r14 */ldr r1, [r3]ldr r0, [r1] 				/* 当前激活的任务TCB第一项保存了任务堆栈的栈顶,现在栈顶值存入R0*/ldmia r0!, {r4-r11}			/* 出栈 */msr psp, r0isbbx r14          /* 异常发生时,R14中保存异常返回标志,包括返回后进入线程模式还是处理器模式、使用PSP堆栈指针还是MSP堆栈指针,当调用 bx r14指令后,硬件会知道要从异常返回,然后出栈,这个时候堆栈指针PSP已经指向了新任务堆栈的正确位置,当新任务的运行地址被出栈到PC寄存器后,新的任务也会被执行。*/nop
}

参考资料:
[野火®]《FreeRTOS 内核实现与应用开发实战—基于STM32》
猪哥-嵌入式

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

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

相关文章

代码随想录算法训练营第四十三天|1049. 最后一块石头的重量 II 、494. 目标和、474.一和零

文章目录 背包问题题型1049. 最后一块石头的重量 II494. 目标和474.一和零 背包问题题型 等和子集 —0-1背包能否装满最后一块石头—0-1背包尽量装满目标和—0-1背包装满,且有多少种装的方式(组合问题) 1049. 最后一块石头的重量 II 题目链…

从数据处理到人工智能(常用库的介绍)

Python库之数据分析 ​​​​​​​​​​​​ 可以这么理解pandas通过扩展了对一维数据和二维数据的一种表示,因而能够形成更高层对数据的操作,简化数据分析的运行 Python库之数据可视化 Matplotlib — Visualization with Python seaborn: statistic…

C++ 编程笔记(本人出品,必属精品)

文章目录 Part.I IntroductionChap.I 快应用 Part.II C 基础Chap.I 一些待整理的知识点Chap.I 常用的库或类 Part.III 杂记Part.X Others WorkChap.I 大佬的总结Chap.II 大佬的轮子 Part.I Introduction 前言:C 用的人还是比较多的,主要是它比较快并且面…

不是什么高深玩意,Arrays.asList、ArrayList.subList需要注意的坑

前言 集合是日常工作中几乎每天都在用的玩意,也是八股文中被翻烂的东西,诸如List、Map,确实很重要也很实用,但是不注意细节就比较容易踩坑。比较常见的就是今天要整理的Arrays.asList和ArrayList.subList。不是什么高深的东西&…

Oracle跨服务器取数——DBlink 初级使用

前言 一句话解释DBlink是干啥用的 实现跨库访问的可能性. 通过DBlink我们可以在A数据库访问到B数据库中的所有信息,例如我们在加工FDS层表时需要访问ODS层的表,这是就需要跨库访问 一、DBlink的分类 private:用户级别,只有创建该dblink的用户才可以使…

一篇文章告诉你金融行业如何高效管理文件

由于金融行业的行业属性,信息安全万分重要。因此在文件管理工具时,要注意数据安全问题,那么金融行业如何高效管理文件呢? 首先金融行业在文件管理时可能面临以下问题: 1,资料繁杂,整理困难&…

starrocks基于prometheus实现监控告警

监控报警 本文介绍如何为 StarRocks 设置监控报警。 StarRocks 提供两种监控报警的方案。企业版用户可以使用内置的 StarRocksManager,其自带的 Agent 从各个 Host 采集监控信息,上报至 Center Service,然后做可视化展示。StarRocksManager …

虹科新品 | 用于医疗应用的压力和气体流量传感器

ES Systems在创新MEMS方面拥有丰富的经验,设计了高质量和高性能的气体流量和压力传感器,由于其技术规格,出色的可靠性和有竞争力的价格,这些传感器在竞争产品中具有独特的品质。 Part.01 应用背景 众所周知,在医疗领域…

在函数中使用变量

shell脚本编程系列 向函数传递参数 函数可以使用标准的位置变量来表示在命令行中传给函数的任何参数。其中函数名保存在$0变量中,函数参数则依次保存在$1、$2等变量当中,也可以使用特殊变量$#来确定参数的个数 在脚本中调用函数时,必须将参…

【SWAT水文模型】SWAT水文模型建立及应用第四期: 气象数据的准备(待更新)

SWAT水文模型建立及应用: 气象数据的准备 1 简介2 气象数据的准备(传统气象站)2.1 天气发生器各参数的计算2.2 降水及气温输入数据的准备 3 气象数据的准备(中国区域高精度同化气象站CMADS)参考 本博客主要介绍气象数据…

本周一至周三总结

周一 学习如何进行竞品分析 对软件杯项目进行了竞品分析,测试了十余个强相关网站,为团队写好了竞品分析报告 分别对主要目标,竞品优劣点,竞品选择原因,产品创新点等进行了分析和阐述 周二 下午晚上刷了五道题 题解…

Android 项目必备(四十五)-->2023 年如何构建 Android 应用程序

Android 是什么 Android 是一种基于 Linux 内核并由 Google 开发的开源操作系统。它用于各种设备包括智能手机、平板电脑、电视和智能手表。 目前,Android 是世界上移动设备使用最多的操作系统; 根据 statcounter 的一份最近 12 个月的样本报告;Android 的市场份额…

Xcode14 设置Display Name不生效问题

一、前言 早在Xcode13苹果就对Info.plist做了一次大改革,新建的OC项目默认Info.plist文件是“空的”,Swift项目甚至干脆连Info.plist文件都没有了,苹果这样做是为了建立一个新的Info.plist管理方式,把Info.plist物理文件中的配置…

根据虚拟地址,如何求出页号和偏移量?

方法掌握 虚拟地址划分成虚拟页号和虚拟页偏移量。 物理地址同样可划分为物理页号和物理页偏移量 如何划分,关键点在于页面的大小。 假设给你一个十进制表示的地址20000,一个页面的大小为4KB,那么如何找出地址20000的具体位置呢&#xff1f…

合并两个有序链表

文章目录 1.题目描述2.解题思路方法1:方法2: 1.题目描述 题目链接:力扣21,合并两个有序链表 将两个升序链表合并为一个新的 升序 链表并返回。新链表是通过拼接给定的两个链表的所有节点组成的。 2.解题思路 方法1:…

脚本函数基础

shell脚本编程系列 函数是一个脚本代码块,可以为其命名并在脚本中的任何位置重用它。每当需要在脚本中使用该代码块时,直接写函数名即可。称作调用函数。 创建函数 方式1: function name {commands }name定义了该函数的唯一名称&#xff0…

1分钟学会Midjourney十种绘图风格关键词

Midjourney最新V5版的卡通模型中最流行的就是皮克斯,今天介绍十种绘图风格。我们统一用如下描述词来绘制,每次只是风格不一样,对比看看。 首先我们先画一个皮克斯风格(Pixar),打开ai绘图软件,点击左上角的图像绘制&a…

camunda流程引擎send task节点用途

Camunda的Send Task用于向外部系统或服务发送消息。消息可以是同步或异步的,可以发送到队列、主题或其他类型的消息中间件。Send Task通常用于将消息发送到外部系统,而无需等待响应或结果。相反,它只是向外部系统发出信号,通知其执…

android不可不知调试技巧

目录 1、条件断点 2、评估表达式(Evaluate Expression) 3、日志断点 4、方法断点 5、异常断点 6、Field WatchPoint 1、条件断点 假设我们列表循环的某个元素时候才暂停,就用这种方式。具体方式在循环列表打断点,对着断点右…

焕新时刻,移动云品牌升级燃动十一城

4月25日,在2023移动云大会上,移动云品牌形象全方位焕新,启用新品牌LOGO和品牌标语,在政府领导、院士专家、行业大咖等3000多位参会嘉宾见证下,吹响品牌进阶新号角。 24日晚,移动云品牌焕新亮灯仪式率先在苏…