实时操作系统何时进行任务调度?————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

相关文章

怎样通过分析GC日志来定位Java进程的内存问题

《怎样通过分析GC日志来定位Java进程的内存问题》:本文主要介绍怎样通过分析GC日志来定位Java进程的内存问题,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录一、GC 日志基础配置1. 启用详细 GC 日志2. 不同收集器的日志格式二、关键指标与分析维度1.

MySQL中的表连接原理分析

《MySQL中的表连接原理分析》:本文主要介绍MySQL中的表连接原理分析,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录1、背景2、环境3、表连接原理【1】驱动表和被驱动表【2】内连接【3】外连接【4编程】嵌套循环连接【5】join buffer4、总结1、背景

Golang如何对cron进行二次封装实现指定时间执行定时任务

《Golang如何对cron进行二次封装实现指定时间执行定时任务》:本文主要介绍Golang如何对cron进行二次封装实现指定时间执行定时任务问题,具有很好的参考价值,希望对大家有所帮助,如有错误... 目录背景cron库下载代码示例【1】结构体定义【2】定时任务开启【3】使用示例【4】控制台输出总结背景

python中Hash使用场景分析

《python中Hash使用场景分析》Python的hash()函数用于获取对象哈希值,常用于字典和集合,不可变类型可哈希,可变类型不可,常见算法包括除法、乘法、平方取中和随机数哈希,各有优缺点,需根... 目录python中的 Hash除法哈希算法乘法哈希算法平方取中法随机数哈希算法小结在Python中,

Java Stream的distinct去重原理分析

《JavaStream的distinct去重原理分析》Javastream中的distinct方法用于去除流中的重复元素,它返回一个包含过滤后唯一元素的新流,该方法会根据元素的hashcode和eq... 目录一、distinct 的基础用法与核心特性二、distinct 的底层实现原理1. 顺序流中的去重

使用Python进行GRPC和Dubbo协议的高级测试

《使用Python进行GRPC和Dubbo协议的高级测试》GRPC(GoogleRemoteProcedureCall)是一种高性能、开源的远程过程调用(RPC)框架,Dubbo是一种高性能的分布式服... 目录01 GRPC测试安装gRPC编写.proto文件实现服务02 Dubbo测试1. 安装Dubb

关于MyISAM和InnoDB对比分析

《关于MyISAM和InnoDB对比分析》:本文主要介绍关于MyISAM和InnoDB对比分析,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录开篇:从交通规则看存储引擎选择理解存储引擎的基本概念技术原理对比1. 事务支持:ACID的守护者2. 锁机制:并发控制的艺

MyBatis Plus 中 update_time 字段自动填充失效的原因分析及解决方案(最新整理)

《MyBatisPlus中update_time字段自动填充失效的原因分析及解决方案(最新整理)》在使用MyBatisPlus时,通常我们会在数据库表中设置create_time和update... 目录前言一、问题现象二、原因分析三、总结:常见原因与解决方法对照表四、推荐写法前言在使用 MyBATis

Python主动抛出异常的各种用法和场景分析

《Python主动抛出异常的各种用法和场景分析》在Python中,我们不仅可以捕获和处理异常,还可以主动抛出异常,也就是以类的方式自定义错误的类型和提示信息,这在编程中非常有用,下面我将详细解释主动抛... 目录一、为什么要主动抛出异常?二、基本语法:raise关键字基本示例三、raise的多种用法1. 抛

github打不开的问题分析及解决

《github打不开的问题分析及解决》:本文主要介绍github打不开的问题分析及解决,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录一、找到github.com域名解析的ip地址二、找到github.global.ssl.fastly.net网址解析的ip地址三