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

相关文章

性能分析之MySQL索引实战案例

文章目录 一、前言二、准备三、MySQL索引优化四、MySQL 索引知识回顾五、总结 一、前言 在上一讲性能工具之 JProfiler 简单登录案例分析实战中已经发现SQL没有建立索引问题,本文将一起从代码层去分析为什么没有建立索引? 开源ERP项目地址:https://gitee.com/jishenghua/JSH_ERP 二、准备 打开IDEA找到登录请求资源路径位置

JAVA智听未来一站式有声阅读平台听书系统小程序源码

智听未来,一站式有声阅读平台听书系统 🌟&nbsp;开篇:遇见未来,从“智听”开始 在这个快节奏的时代,你是否渴望在忙碌的间隙,找到一片属于自己的宁静角落?是否梦想着能随时随地,沉浸在知识的海洋,或是故事的奇幻世界里?今天,就让我带你一起探索“智听未来”——这一站式有声阅读平台听书系统,它正悄悄改变着我们的阅读方式,让未来触手可及! 📚&nbsp;第一站:海量资源,应有尽有 走进“智听

【Prometheus】PromQL向量匹配实现不同标签的向量数据进行运算

✨✨ 欢迎大家来到景天科技苑✨✨ 🎈🎈 养成好习惯,先赞后看哦~🎈🎈 🏆 作者简介:景天科技苑 🏆《头衔》:大厂架构师,华为云开发者社区专家博主,阿里云开发者社区专家博主,CSDN全栈领域优质创作者,掘金优秀博主,51CTO博客专家等。 🏆《博客》:Python全栈,前后端开发,小程序开发,人工智能,js逆向,App逆向,网络系统安全,数据分析,Django,fastapi

业务中14个需要进行A/B测试的时刻[信息图]

在本指南中,我们将全面了解有关 A/B测试 的所有内容。 我们将介绍不同类型的A/B测试,如何有效地规划和启动测试,如何评估测试是否成功,您应该关注哪些指标,多年来我们发现的常见错误等等。 什么是A/B测试? A/B测试(有时称为“分割测试”)是一种实验类型,其中您创建两种或多种内容变体——如登录页面、电子邮件或广告——并将它们显示给不同的受众群体,以查看哪一种效果最好。 本质上,A/B测

Java ArrayList扩容机制 (源码解读)

结论:初始长度为10,若所需长度小于1.5倍原长度,则按照1.5倍扩容。若不够用则按照所需长度扩容。 一. 明确类内部重要变量含义         1:数组默认长度         2:这是一个共享的空数组实例,用于明确创建长度为0时的ArrayList ,比如通过 new ArrayList<>(0),ArrayList 内部的数组 elementData 会指向这个 EMPTY_EL

如何在Visual Studio中调试.NET源码

今天偶然在看别人代码时,发现在他的代码里使用了Any判断List<T>是否为空。 我一般的做法是先判断是否为null,再判断Count。 看了一下Count的源码如下: 1 [__DynamicallyInvokable]2 public int Count3 {4 [__DynamicallyInvokable]5 get

SWAP作物生长模型安装教程、数据制备、敏感性分析、气候变化影响、R模型敏感性分析与贝叶斯优化、Fortran源代码分析、气候数据降尺度与变化影响分析

查看原文>>>全流程SWAP农业模型数据制备、敏感性分析及气候变化影响实践技术应用 SWAP模型是由荷兰瓦赫宁根大学开发的先进农作物模型,它综合考虑了土壤-水分-大气以及植被间的相互作用;是一种描述作物生长过程的一种机理性作物生长模型。它不但运用Richard方程,使其能够精确的模拟土壤中水分的运动,而且耦合了WOFOST作物模型使作物的生长描述更为科学。 本文让更多的科研人员和农业工作者

MOLE 2.5 分析分子通道和孔隙

软件介绍 生物大分子通道和孔隙在生物学中发挥着重要作用,例如在分子识别和酶底物特异性方面。 我们介绍了一种名为 MOLE 2.5 的高级软件工具,该工具旨在分析分子通道和孔隙。 与其他可用软件工具的基准测试表明,MOLE 2.5 相比更快、更强大、功能更丰富。作为一项新功能,MOLE 2.5 可以估算已识别通道的物理化学性质。 软件下载 https://pan.quark.cn/s/57

工厂ERP管理系统实现源码(JAVA)

工厂进销存管理系统是一个集采购管理、仓库管理、生产管理和销售管理于一体的综合解决方案。该系统旨在帮助企业优化流程、提高效率、降低成本,并实时掌握各环节的运营状况。 在采购管理方面,系统能够处理采购订单、供应商管理和采购入库等流程,确保采购过程的透明和高效。仓库管理方面,实现库存的精准管理,包括入库、出库、盘点等操作,确保库存数据的准确性和实时性。 生产管理模块则涵盖了生产计划制定、物料需求计划、

衡石分析平台使用手册-单机安装及启动

单机安装及启动​ 本文讲述如何在单机环境下进行 HENGSHI SENSE 安装的操作过程。 在安装前请确认网络环境,如果是隔离环境,无法连接互联网时,请先按照 离线环境安装依赖的指导进行依赖包的安装,然后按照本文的指导继续操作。如果网络环境可以连接互联网,请直接按照本文的指导进行安装。 准备工作​ 请参考安装环境文档准备安装环境。 配置用户与安装目录。 在操作前请检查您是否有 sud