实时操作系统何时进行任务调度?————FREERTOS源码分析

本文主要是介绍实时操作系统何时进行任务调度?————FREERTOS源码分析,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

实时操作系统何时进行任务调度?————FREERTOS源码分析

0 本文要讨论的是什么

从编码风格的角度去理解,实时操作系统(Real Time Operating System)的关键特征就是引入任务调度器(task shceuler),实现单核多任务调度。

有了这一层次的理解,自然就不应当再像CV工程师那样只关注顶层的 API ,而应当进一步考虑这个问题————调度器是在什么时候起作用的?或者说,调度器的代码实现在哪儿?何种情况下处理器会执行这些代码?

产生了这样的疑惑,我们就不能再继续满足于各种论坛博客上的残羹剩饭,而要自己动手,分析操作系统的源码。这里我们以 FREERTOS 为例,对照代码回答上述问题。当然,分析的源码仅限于 ARM 架构(且限于ARMv7)部分。

1 在进入源码之前

先把结论摆出来————对 FREERTOS 来说,只在 SVC/TIMER 中断的处理函数中调用 SCHEDULER 相关的代码。
在这里插入图片描述

2 对着源码说

2.1 SVC 中断

下面的汇编代码是 SVC 中断的处理函数

FreeRTOS_SWI_HandlerPRESERVE8; Save the context of the current task and select a new task to run.portSAVE_CONTEXTLDR R0, =vTaskSwitchContextBLX	R0portRESTORE_CONTEXT

代码首先通过函数宏 portSAVE_CONTEXT 完成现场保护,保存切出的任务,而后将调度器上下文对应的符号 vTaskSwitchContext 的地址加载到寄存器 R0 中:

LDR R0, =vTaskSwitchContext

然后使用 BLX 指令跳转到 R0 中保存的地址:

BLX	R0

执行完 vTaskSwitchContext 对应的代码后,通过函数宏 portRESTORE_CONTEXT 恢复现场,准备执行切入的任务。

2.2 定时器中断(TIMER INTERRUPT)

这里说的定时器其实是系统心跳,也就是 RTOS 的时间基准,操作系统在这个基准上实现时间片和软件定时功能支持。下面是对应的中断处理函数 vTaskSwitchContext() 的流程解析:

  1. 检查任务调度器是否被挂起(Suspended)。说明一下,有些时候(譬如原子操作)可能会避免任务切换而把调度器挂起,这种时候进入定时器中断就不再继续后面的流程,直接退出。
if( uxSchedulerSuspended != ( UBaseType_t ) pdFALSE ){/* The scheduler is currently suspended - do not allow a context* switch. */xYieldPending = pdTRUE;return;
}
  1. 检查栈是否溢出(Stack overflow)
/* Check for stack overflow, if configured. */taskCHECK_FOR_STACK_OVERFLOW();
  1. 保存异常状态信息
/* Before the currently running task is switched out, save its errno. */
#if ( configUSE_POSIX_ERRNO == 1 ){pxCurrentTCB->iTaskErrno = FreeRTOS_errno;}
#endif
  1. 又是通过函数宏选择切入的任务
taskSELECT_HIGHEST_PRIORITY_TASK();
traceTASK_SWITCHED_IN();
  1. 更新异常状态信息
/* After the new task is switched in, update the global errno. */
#if ( configUSE_POSIX_ERRNO == 1 ){FreeRTOS_errno = pxCurrentTCB->iTaskErrno;}
#endif

3 欣赏一下某个 DMEO 里面的C-向量表设计

声明 Xil_InterruptHandlervoid(*)(void) 类型的函数指针,而后通过 pxVectorEntry->Handler 调用进入 pxVectorEntry->CallBackRef 对应的地址。

typedef void (*Xil_InterruptHandler)(void *data);typedef struct
{Xil_InterruptHandler Handler;void *CallBackRef;
} XScuGic_VectorTableEntry;const XScuGic_VectorTableEntry *pxVectorEntry;
pxVectorEntry = &( pxVectorTable[ ulInterruptID ] );
pxVectorEntry->Handler( pxVectorEntry->CallBackRef );

再参考下面那一坨,上面的功能即以 CallBackRef 赋值 X0 寄存器,跳转执行 0x00000000 处的指令

/*** This typedef contains configuration information for the device.*/
typedef struct
{u16 DeviceId;		/**< Unique ID  of device */u32 CpuBaseAddress;	/**< CPU Interface Register base address */u32 DistBaseAddress;	/**< Distributor Register base address */XScuGic_VectorTableEntry HandlerTable[XSCUGIC_MAX_NUM_INTR_INPUTS];/**<Vector table of interrupt handlers */
} XScuGic_Config;
XScuGic_Config XScuGic_ConfigTable[XPAR_XSCUGIC_NUM_INSTANCES] =
{{XPAR_PSU_ACPU_GIC_DEVICE_ID,XPAR_PSU_ACPU_GIC_BASEADDR,XPAR_PSU_ACPU_GIC_DIST_BASEADDR,{{0}}		/**< Initialize the HandlerTable to 0 */}
};static const XScuGic_VectorTableEntry *pxVectorTable = XScuGic_ConfigTable[ XPAR_SCUGIC_SINGLE_DEVICE_ID ].HandlerTable;

把向量表放到 0x00000000 的话,就能通过上述代码进到向量表了。

这篇关于实时操作系统何时进行任务调度?————FREERTOS源码分析的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/824698

相关文章

Nginx分布式部署流程分析

《Nginx分布式部署流程分析》文章介绍Nginx在分布式部署中的反向代理和负载均衡作用,用于分发请求、减轻服务器压力及解决session共享问题,涵盖配置方法、策略及Java项目应用,并提及分布式事... 目录分布式部署NginxJava中的代理代理分为正向代理和反向代理正向代理反向代理Nginx应用场景

Redis中的有序集合zset从使用到原理分析

《Redis中的有序集合zset从使用到原理分析》Redis有序集合(zset)是字符串与分值的有序映射,通过跳跃表和哈希表结合实现高效有序性管理,适用于排行榜、延迟队列等场景,其时间复杂度低,内存占... 目录开篇:排行榜背后的秘密一、zset的基本使用1.1 常用命令1.2 Java客户端示例二、zse

Redis中的AOF原理及分析

《Redis中的AOF原理及分析》Redis的AOF通过记录所有写操作命令实现持久化,支持always/everysec/no三种同步策略,重写机制优化文件体积,与RDB结合可平衡数据安全与恢复效率... 目录开篇:从日记本到AOF一、AOF的基本执行流程1. 命令执行与记录2. AOF重写机制二、AOF的

MyBatis Plus大数据量查询慢原因分析及解决

《MyBatisPlus大数据量查询慢原因分析及解决》大数据量查询慢常因全表扫描、分页不当、索引缺失、内存占用高及ORM开销,优化措施包括分页查询、流式读取、SQL优化、批处理、多数据源、结果集二次... 目录大数据量查询慢的常见原因优化方案高级方案配置调优监控与诊断总结大数据量查询慢的常见原因MyBAT

分析 Java Stream 的 peek使用实践与副作用处理方案

《分析JavaStream的peek使用实践与副作用处理方案》StreamAPI的peek操作是中间操作,用于观察元素但不终止流,其副作用风险包括线程安全、顺序混乱及性能问题,合理使用场景有限... 目录一、peek 操作的本质:有状态的中间操作二、副作用的定义与风险场景1. 并行流下的线程安全问题2. 顺

MyBatis/MyBatis-Plus同事务循环调用存储过程获取主键重复问题分析及解决

《MyBatis/MyBatis-Plus同事务循环调用存储过程获取主键重复问题分析及解决》MyBatis默认开启一级缓存,同一事务中循环调用查询方法时会重复使用缓存数据,导致获取的序列主键值均为1,... 目录问题原因解决办法如果是存储过程总结问题myBATis有如下代码获取序列作为主键IdMappe

Python进行word模板内容替换的实现示例

《Python进行word模板内容替换的实现示例》本文介绍了使用Python自动化处理Word模板文档的常用方法,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友... 目录技术背景与需求场景核心工具库介绍1.获取你的word模板内容2.正常文本内容的替换3.表格内容的

Git进行版本控制的实战指南

《Git进行版本控制的实战指南》Git是一种分布式版本控制系统,广泛应用于软件开发中,它可以记录和管理项目的历史修改,并支持多人协作开发,通过Git,开发者可以轻松地跟踪代码变更、合并分支、回退版本等... 目录一、Git核心概念解析二、环境搭建与配置1. 安装Git(Windows示例)2. 基础配置(必

Java中最全最基础的IO流概述和简介案例分析

《Java中最全最基础的IO流概述和简介案例分析》JavaIO流用于程序与外部设备的数据交互,分为字节流(InputStream/OutputStream)和字符流(Reader/Writer),处理... 目录IO流简介IO是什么应用场景IO流的分类流的超类类型字节文件流应用简介核心API文件输出流应用文

java 恺撒加密/解密实现原理(附带源码)

《java恺撒加密/解密实现原理(附带源码)》本文介绍Java实现恺撒加密与解密,通过固定位移量对字母进行循环替换,保留大小写及非字母字符,由于其实现简单、易于理解,恺撒加密常被用作学习加密算法的入... 目录Java 恺撒加密/解密实现1. 项目背景与介绍2. 相关知识2.1 恺撒加密算法原理2.2 Ja