MICROSAR OS:第一个task是如何执行起来的?

MICROSAR OS是Vector公司开发的符合AUTOSAR OS规范的实时操作系统。MICROSAR OS支持多种主流的MCU芯片,针对不同内核的芯片MICROSAR OS的代码会有所不同,本文以英飞凌tricore内核的芯片(AURIX 2G)为例。

引出问题

使用调试器在OS启动之前的打断点,可以发现栈帧的底部是_start和main函数,如下图所示。

OS启动之前的栈帧

在OS的task中打断点后,可以发现栈帧如下图所示。不知道你是否会有一个疑问:为什么栈帧的底部不是_start和main函数了,而是一个名为Os_TrapTaskMissingTerminateTask的函数?

OS Task的栈帧

从上面的两张图我们可以发现:MICROSAR OS并不是通过函数调用来执行OS的task!那么OS的task具体是怎么样被执行的?下面我将解析第一个task被激活的具体过程,理解了这一过程我们就知道了OS启动后栈帧变化的原因。

多核启动过程

如下图所示,MCU上电后核0先进入main函数,核0调用函数StartCore来激活其它核,而后每个核都会调用函数StartOS来启动OS并激活本核的task。后面只介绍核0的第一个task是如何被激活的,其它核是同样的原理。

多核启动的过程

​InitHook线程的启动

由上图可知,StartOS会调用函数Os_HookCallOs_CoreInitHook,其目的是启动核0的InitHook线程,这个线程是本身就存在的,不需要在达芬奇工程中配置。启动InitHook的结果就是会调用下图所示结构体中的元素Entry所指向的函数Os_HookWrapperOs_CoreInitHook。

InitHook_OsCore0的结构

Os_ThreadInit

函数Os_ThreadInit调用Os_Hal_ContextInit进行上下文初始化。上下文的初始化工作主要由函数Os_Hal_ContextIntInitialize和Os_Hal_ContextIntPrepareCSAContent完成。

Os_ThreadInit所调用的函数

​Os_Hal_ContextIntInitialize 使用svlcx指令保存一个新的CSA(Contect Save Area),再调用Os_Hal_ContextIntPrepareCSAContent 。

Os_Hal_ContextIntInitialize的代码

Os_Hal_ContextIntPrepareCSAContent的工作包括:根据配置信息修改新CSA的内容,初始化核0 InitHook线程的context。需要重点关注的是将Entry(Os_HookWrapperOs_CoreInitHook的地址)赋值到context->Lr中!(Lr: The link register, from which the thread will be proceeded.)

Os_Hal_ContextIntPrepareCSAContent的代码

​这里的context指的是核0 InitHook线程的上下文,存储位置如下图所示。

核0 InitHook线程的结构体

​每个task需要保存的上下文内容

Os_ThreadStartFirst

函数Os_ThreadStartFirst是用于启动第一个线程(核0 InitHook线程)。

Os_CoreSetThread的作用是将核0 InitHook线程的结构体的指针加载到A8寄存器。

Os_CoreSetCurrentStack是将核0 InitHook线程的栈设置为核0当前使用的栈。

Os_Hal_ContextSetUserMsrBits是设置上一份CSA中PSW寄存器的高16位。Msr:Machine State Register

Os_ThreadStartFirst调用的函数

核0使用的栈

Os_Hal_ContextFirstResume中将启动代码所用到的CSA全部清零,然后调用Os_Hal_ContextIntRestore。

Os_Hal_ContextFirstResume的代码

​Os_Hal_ContextIntRestore将核0 InitHook线程的上下文中的Lr赋值到A11寄存器(return address),最后使用RFE指令来恢复previous CSA并开始执行A11所指地址的代码(Os_HookWrapperOs_CoreInitHook)。

​Os_Hal_ContextIntRestore的代码

RFE指令

​InitHook线程的作用

Os_HookWrapperOs_CoreInitHook中会调用InitHook的callback函数:Os_CoreInitHook。

Os_HookWrapperOs_CoreInitHook的代码

​Os_HookWrapperOs_CoreInitHook的关键调用逻辑如下图所示。Os_TaskInit会调用Os_TaskInternalInit来初始化核0的每一个task,Os_ThreadInit的作用上文已经描述过了,为每一个task新建了第一块CSA。

而后Os_TaskInit使用Os_TaskSetState和Os_SchedulerInsert。Os_TaskSetState将【autostart的task】和【idle task】状态设置为READY。Os_SchedulerInsert将autostart的task和idle task插入调度器的队列中,如果被插入的task优先级高于调度器中原本NextTask的优先级,那么将被插入的task设置为NextTask。

Os_HookWrapperOs_CoreInitHook的调用逻辑

​Os_TaskInit中只会初始化【autostart的task】和【idle task】,autostart的配置如下图所示。其它的task需要由autostart的task来激活。

autostart配置位置

​Os_TaskBeginScheduling会触发第一次任务调度,激活autostart的task中优先级最高的那一个。一般而言,每个核只有一个autostart的task,本文中核0只有一个autostart的task:Os_Task_Task_Init_C0。

Os_TaskBeginScheduling调用逻辑如下图。

Os_TaskBeginScheduling的调用逻辑

​Os_SchedulerInternalSchedule会将调度器中的NextTask设置为CurrentTask。Os_ThreadSwitch会进行Task之间的上下文切换。

Os_CoreSetThread的作用是将NextTask的结构体的指针加载到A8寄存器。

Os_CoreSetCurrentStack是将NextTask的栈设置为核0当前使用的栈。

Os_Hal_ContextSetUserMsrBits是设置上一份CSA中PSW寄存器的高16位。Msr:Machine State Register

Os_Hal_ContextSwitch起到任务切换的作用。调用Os_Hal_ContextIntSave将当前的A11、PCXI寄存器保存到当前task的结构体中。调用Os_Hal_ContextIntRestore将下一个task的结构体中存储的A11、PCXI内容加载到核0的相应寄存器中,最后使用RFE指令来恢复previous CSA并开始执行A11所指地址的代码,即Os_Task_Task_Init_C0。核0的第一个task就这样执行起来了!!!

Os_Hal_ContextIntSave的代码

Os_Hal_ContextIntRestore的代码

Task_Init_C0的上下文配置信息

`std::packaged_task` 是C++标准库中的一种工具,它允许你在主线程上创建一个任务并立即执行,但也可以在其他线程上异步执行。以下是其基本使用过程: 1. **创建任务**: 包装一个可调用的目标(如函数、lambda表达式、bind表达式或函数对象)到`std::packaged_task`中: ```cpp // 假设我们有一个函数foo(int a, int b) std::function<void(int, int)> func = foo; std::packaged_task<void(int, int)> task(func); ``` 2. **执行任务(同步)**: 如果你想立即在当前线程执行任务,可以这样做: ```cpp task(); // 直接调用,阻塞直到完成 ``` 3. **异步执行**: 如果想在另一个线程异步执行任务,先创建`std::future`,然后传递给新线程: ```cpp std::future<void> future = task.get_future(); // 在新的线程中... std::thread t([=]{ task(); }); t.join(); // 等待线程结束 ``` 4. **获取结果**: 使用`std::future`来获取任务的结果,可能涉及等待(`get()`),检查成功与否(`wait_for()`)以及捕获异常(`wait()`): ```cpp if (future.wait_for(std::chrono::seconds(1)) == std::future_status::ready) { try { task(); // 可选,如果之前已经异步执行 } catch (...) { // 处理异常 } } ``` 至于能否直接创建多个异步操作,`std::packaged_task`本身并不能实现这个功能,因为它仅支持单个任务。如果你需要并发地执行多个任务,通常会考虑使用`std::async`配合线程池,或者自己管理多线程。你可以创建多个`std::packaged_task`实例,每个对应一个独立的任务。
评论 5
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值