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的上下文配置信息

  • 6
    点赞
  • 26
    收藏
    觉得还不错? 一键收藏
  • 5
    评论
`std::task::Context` 是 Rust 的异步编程库 `async-std` 和 `tokio` 中常用的类型,用于传递异步任务执行的上下文信息。它包含了当前任务的调度器、Waker、时间信息等。要使用 `Context`,需要先创建一个 `Waker` 对象,它会在任务可以继续执行时被唤醒。 下面是一个示例代码,展示了如何在 `async-std` 中使用 `Context`: ```rust use async_std::task::{Context, Poll}; use async_std::task; use std::future::Future; use std::pin::Pin; async fn my_task() { println!("Start task"); task::sleep(std::time::Duration::from_secs(1)).await; println!("Task completed"); } struct MyFuture {} impl Future for MyFuture { type Output = (); fn poll(mut self: Pin<&mut Self>, cx: &mut Context<'_>) -> Poll<Self::Output> { // 唤醒任务,使它可以执行 cx.waker().wake_by_ref(); Poll::Ready(()) } } fn main() { // 创建异步任务 let my_task = my_task(); // 执行异步任务 task::spawn(async move { // 等待异步任务完成 my_task.await; println!("My task is done"); // 创建 MyFuture 对象并执行它 let my_future = MyFuture {}; let mut my_future_pin = Pin::new(&mut my_future); my_future_pin.poll(&mut Context::from_waker(task::noop_waker_ref())).await; println!("MyFuture is done"); }); // 等待异步任务执行完成 task::block_on(async {}); } ``` 在上面的代码中,我们首先创建了一个异步任务 `my_task`,然后使用 `task::spawn` 执行它。在任务执行完成后,我们创建了一个 `MyFuture` 对象,并使用 `Context` 执行它。注意到 `poll` 方法中的 `cx.waker().wake_by_ref()`,它会唤醒任务,使得它可以继续执行。 需要注意的是,`Context` 的创建需要传递一个 `Waker` 对象。在示例代码中,我们使用了 `task::noop_waker_ref()`,它是一个空的 `Waker` 对象,可以在不需要唤醒任务的情况下创建 `Context`。如果需要唤醒任务,可以自定义一个 `Waker` 对象并传递给 `Context`。
评论 5
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值