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

相关文章

Springboot中分析SQL性能的两种方式详解

《Springboot中分析SQL性能的两种方式详解》文章介绍了SQL性能分析的两种方式:MyBatis-Plus性能分析插件和p6spy框架,MyBatis-Plus插件配置简单,适用于开发和测试环... 目录SQL性能分析的两种方式:功能介绍实现方式:实现步骤:SQL性能分析的两种方式:功能介绍记录

使用 sql-research-assistant进行 SQL 数据库研究的实战指南(代码实现演示)

《使用sql-research-assistant进行SQL数据库研究的实战指南(代码实现演示)》本文介绍了sql-research-assistant工具,该工具基于LangChain框架,集... 目录技术背景介绍核心原理解析代码实现演示安装和配置项目集成LangSmith 配置(可选)启动服务应用场景

如何通过海康威视设备网络SDK进行Java二次开发摄像头车牌识别详解

《如何通过海康威视设备网络SDK进行Java二次开发摄像头车牌识别详解》:本文主要介绍如何通过海康威视设备网络SDK进行Java二次开发摄像头车牌识别的相关资料,描述了如何使用海康威视设备网络SD... 目录前言开发流程问题和解决方案dll库加载不到的问题老旧版本sdk不兼容的问题关键实现流程总结前言作为

SpringBoot中使用 ThreadLocal 进行多线程上下文管理及注意事项小结

《SpringBoot中使用ThreadLocal进行多线程上下文管理及注意事项小结》本文详细介绍了ThreadLocal的原理、使用场景和示例代码,并在SpringBoot中使用ThreadLo... 目录前言技术积累1.什么是 ThreadLocal2. ThreadLocal 的原理2.1 线程隔离2

最长公共子序列问题的深度分析与Java实现方式

《最长公共子序列问题的深度分析与Java实现方式》本文详细介绍了最长公共子序列(LCS)问题,包括其概念、暴力解法、动态规划解法,并提供了Java代码实现,暴力解法虽然简单,但在大数据处理中效率较低,... 目录最长公共子序列问题概述问题理解与示例分析暴力解法思路与示例代码动态规划解法DP 表的构建与意义动

Python利用PIL进行图片压缩

《Python利用PIL进行图片压缩》有时在发送一些文件如PPT、Word时,由于文件中的图片太大,导致文件也太大,无法发送,所以本文为大家介绍了Python中图片压缩的方法,需要的可以参考下... 有时在发送一些文件如PPT、Word时,由于文件中的图片太大,导致文件也太大,无法发送,所有可以对文件中的图

如何使用Spring boot的@Transactional进行事务管理

《如何使用Springboot的@Transactional进行事务管理》这篇文章介绍了SpringBoot中使用@Transactional注解进行声明式事务管理的详细信息,包括基本用法、核心配置... 目录一、前置条件二、基本用法1. 在方法上添加注解2. 在类上添加注解三、核心配置参数1. 传播行为(

Java实战之自助进行多张图片合成拼接

《Java实战之自助进行多张图片合成拼接》在当今数字化时代,图像处理技术在各个领域都发挥着至关重要的作用,本文为大家详细介绍了如何使用Java实现多张图片合成拼接,需要的可以了解下... 目录前言一、图片合成需求描述二、图片合成设计与实现1、编程语言2、基础数据准备3、图片合成流程4、图片合成实现三、总结前

在Mysql环境下对数据进行增删改查的操作方法

《在Mysql环境下对数据进行增删改查的操作方法》本文介绍了在MySQL环境下对数据进行增删改查的基本操作,包括插入数据、修改数据、删除数据、数据查询(基本查询、连接查询、聚合函数查询、子查询)等,并... 目录一、插入数据:二、修改数据:三、删除数据:1、delete from 表名;2、truncate

C#使用DeepSeek API实现自然语言处理,文本分类和情感分析

《C#使用DeepSeekAPI实现自然语言处理,文本分类和情感分析》在C#中使用DeepSeekAPI可以实现多种功能,例如自然语言处理、文本分类、情感分析等,本文主要为大家介绍了具体实现步骤,... 目录准备工作文本生成文本分类问答系统代码生成翻译功能文本摘要文本校对图像描述生成总结在C#中使用Deep