【ARMv8M Cortex-M33 系列 7.3 -- EXC_RETURN 与 LR 及 PC 的关系详细介绍】

文章目录

    • 背景
    • EXC_RETURN 与 LR 及 PC
      • cortex-m33 从异常返回后 各个寄存器出战顺序
      • ARM 栈增长方式

背景

接着上篇文章:【ARMv8M Cortex-M33 系列 7.2 – HardFault 问题定位 1】,后面定位到是在cortex-m33/context_gcc.S执行完 BX Lr之后就发生了 HardFault,通过JLink 发现 LR的值为0xfffffffd 所以又继续调查了EXC_RETURN 的具体含义。

pendsv_exit:/* restore interrupt */MSR PRIMASK, r2ORR lr, lr, #0x04BX  lr

EXC_RETURN 与 LR 及 PC

在 ARM Cortex-M33(以及其他Cortex-M系列)处理器中,异常返回值(EXC_RETURN)用于指示当处理器完成异常处理(例如中断或系统调用)后应如何返回到异常发生前的状态。这个值被自动加载到LR(链接寄存器)中,在异常返回时由处理器使用。

当发生异常时,处理器会自动将当前的程序状态保存到堆栈中,包括程序计数器(PC)的值和其他重要寄存器,并将特定的值加载到LR。这个LR中的值称为EXC_RETURN,它决定了异常返回时处理器的行为,如使用哪个堆栈指针(MSP或PSP),以及是否返回到Thread或Handler模式。

EXC_RETURN 的值如下:

  • 0xFFFFFFF1:返回到Handler模式,使用MSP(主堆栈指针)作为堆栈指针。
  • 0xFFFFFFF9:返回到Thread模式,使用MSP作为堆栈指针。
  • 0xFFFFFFFD:返回到Thread模式,使用PSP(进程堆栈指针)作为堆栈指针。
  • 0xFFFFFFBC 的设置表示返回时,处理器将:
    • 使用 PSP 作为栈指针,
    • 返回到线程模式而不是异常模式(如中断),
    • 恢复浮点上下文。

此外,当在硬件浮点单元(FPU)支持的设备上编译代码时,还会有以下EXC_RETURN值:

  • 0xFFFFFFE1:返回到Handler模式,使用MSP作为堆栈指针,并且需要恢复浮点状态。
  • 0xFFFFFFE9:返回到Thread模式,使用MSP作为堆栈指针,并且需要恢复浮点状态。
  • 0xFFFFFFED:返回到Thread模式,使用PSP作为堆栈指针,并且需要恢复浮点状态。

在异常处理完毕后,处理器将执行一个异常返回操作,这个操作会根据LR中的EXC_RETURN值来从堆栈恢复之前保存的状态,并将控制权交回到异常发生前的代码。这个恢复过程包括将之前保存在堆栈上的PC值重新加载到PC寄存器,这样程序就会从中断前被中断的点继续执行。

在实践中,异常处理函数通常不需要显式地处理这些细节,因为处理器硬件和操作系统的异常管理机制会自动处理这些过程。当开发裸机应用或自己的操作系统时,理解EXC_RETURN和异常返回机制将非常重要。在使用操作系统(如FreeRTOS或其他RTOS)时,上下文切换和异常返回通常由操作系统管理。

在异常处理函数中,你可以检查LR的值来确定异常发生时的上下文。例如,在异常处理函数中,你可以使用类似于以下的代码:

uint32_t lr_value; 
asm("MOV %0, lr" : "=r" (lr_value)); 
// lr_value 现在包含了 EXC_RETURN 值 

或者,如果你需要在你的异常处理函数中手动操作LR以改变返回行为,你也可以编写相应的汇编代码,但通常这样的操作是不必要的,而且需要对ARM架构有深入的理解。

cortex-m33 从异常返回后 各个寄存器出战顺序

由于上面问题涉及到了入栈出栈的问题,所以又温习了一遍栈的内容:

在 ARM Cortex-M33 微控制器上,从异常(如中断)返回时,处理器会从堆栈中出栈(pop)寄存器的值来恢复到异常发生之前的状态。这一过程发生在异常处理完成后,当执行异常返回序列时。异常返回过程是自动的,由处理器硬件管理。

当异常发生时,处理器会将当前的上下文(某些寄存器的值)压入当前使用的堆栈中(MSP 或 PSP)。在从异常返回时,处理器将这些值出栈到寄存器中。这些寄存器包括程序计数器(PC)、链接寄存器(LR)、程序状态寄存器(xPSR)以及可能的一些通用寄存器。

异常返回时的出栈顺序与入栈顺序相反。入栈顺序通常如下:

  1. xPSR 2. 返回地址(PC)
  2. LR
  3. R12
  4. R3
  5. R2
  6. R1
  7. R0
  8. 如果有浮点状态,会进一步保存 S16-S31 浮点寄存器

因此,异常返回时寄存器的出栈顺序是:

  1. R0
  2. R1
  3. R2
  4. R3
  5. R12
  6. LR
  7. PC(返回地址)
  8. xPSR
  9. 如果有浮点状态,会进一步恢复 S16-S31 浮点寄存器

在异常返回序列结束时,处理器从堆栈恢复了这些寄存器的值,并跳转到返回地址(之前的PC)继续执行程序。

值得注意的是,这里所说的 LR 寄存器在异常发生时会被自动设置为一个特殊的值(EXC_RETURN),该值包含了关于返回时所需使用的堆栈指针(MSP 或 PSP)以及是否使用了浮点寄存器等信息。异常返回时,处理器会检查 LR 中的 EXC_RETURN 值,以决定如何恢复上下文并从哪个堆栈指针出栈。

此外,浮点寄存器(如果有)的保存和恢复,取决于浮点单元(FPU)的使用以及处理器的配置。如果在异常发生时使用了 FPU,则会额外保存和恢复 S16-S31 寄存器。如果 FPU 未启用或未使用,则不会保存和恢复这些浮点寄存器。

ARM 栈增长方式

在 ARM Cortex-M33 微控制器(以及所有 ARM Cortex-M 系列处理器)中,栈是向下增长的。这意味着,当数据被压入栈(push)时,栈指针(SP)会递减;相应地,当数据从栈中弹出(pop)时,栈指针会递增

这个行为符合大多数现代处理器的常见约定,即栈空间的起始地址通常较高,随着数据的增加,栈指针向着较低的内存地址方向移动。这种设计可以有效利用内存空间,因为栈的最大尺寸通常是不确定的,而向下增长可以确保栈不会与静态分配或动态分配的内存空间发生冲突。

thread.c 中可以看到对栈的具体使用选择:

static rt_err_t _rt_thread_init(struct rt_thread *thread,const char       *name,void (*entry)(void *parameter),void             *parameter,void             *stack_start,rt_uint32_t       stack_size,rt_uint8_t        priority,rt_uint32_t       tick)
{/* init thread list */rt_list_init(&(thread->tlist));thread->entry = (void *)entry;thread->parameter = parameter;/* stack init */thread->stack_addr = stack_start;thread->stack_size = stack_size;/* init thread stack */rt_memset(thread->stack_addr, '#', thread->stack_size);
#ifdef ARCH_CPU_STACK_GROWS_UPWARDthread->sp = (void *)rt_hw_stack_init(thread->entry, thread->parameter,(void *)((char *)thread->stack_addr),(void *)_rt_thread_exit);
#elsethread->sp = (void *)rt_hw_stack_init(thread->entry, thread->parameter,(rt_uint8_t *)((char *)thread->stack_addr + thread->stack_size - sizeof(rt_ubase_t)),(void *)_rt_thread_exit);

所以宏ARCH_CPU_STACK_GROWS_UPWARD 处的内容不会编译进去,使用的是#else分支。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/635242.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

rust获取本地外网ip地址的方法

大家好,我是get_local_info作者带剑书生,这里用一篇文章讲解get_local_info的使用。 get_local_info是什么? get_local_info是一个获取linux系统信息的rust三方库,并提供一些常用功能,目前版本0.2.4。详细介绍地址&a…

新品发布 | 多通道总线记录仪TLog1004,是你期待的吗?

新品发布 2024年1月12日,同星智能又发布一款多通道 CAN (FD)总线、LIN 总线接口logger设备,此款产品在TLog1002基础上进行了升级,同时内置 3 路数字输入和 2 路数字输出,便于多种信号测量和系统集成。可以满…

Dubbo源码解析第一期:如何使用Netty4构建RPC

一、背景 早期学习和使用Dubbo的时候(那时候Dubbo还没成为Apache顶级项目),写过一些源码解读,但随着Dubbo发生了翻天覆地的变化,那些文章早已过时,所以现在计划针对最新的Apache Dubbo源码来进行“阅读理解…

XHCMS靶场小记(熊海)

文件包含漏洞 template下的header.php中存在文件包含漏洞(该文件被file文件夹下的多数文件进行包含) f参数可以包含任意文件通过php格式解析(这是文件包含点) 代码分析 根目录下的index.php文件;r参数用于获取包含文…

安捷伦AgilentE8363B网络分析仪

安捷伦AgilentE8363B网络分析仪 E8363B 是 Agilent 的 40 GHz 网络分析仪。网络分析仪是一种功能强大的仪器,可以以无与伦比的精度测量射频设备的线性特性。许多行业使用网络分析仪来测试设备、测量材料和监控信号的完整性 附加功能: 104 dB 的动态范围…

大数据导论(2)---大数据与云计算、物联网、人工智能

文章目录 1. 云计算1.1 云计算概念1.2 云计算的服务模式和类型1.3 云计算的数据中心与应用 2. 物联网2.1 物联网的概念和关键技术2.2 物联网的应用和产业2.3 大数据与云计算、物联网的关系 1. 云计算 1.1 云计算概念 1. 首先从商业角度给云计算下一个定义:通过网络…

升级8.0:民生手机银行的“内容解法”

数字化浪潮,滚滚来袭。 随着数字中国建设的持续推进,数字经济正在蓬勃发展。中商产业研究院分析师预测,2023年中国数字经济市场规模将增长至56.7万亿元,占GDP的比重将达到43.5%。 在此浪潮下,数字化的触角蔓延到各行…

洛谷NOIP2002 普及组 选数 +NOIP1999普及组 回文数

两道日常的练习题&#xff0c;废话不多说&#xff0c;直接上题上代码&#xff1a; 这道题目的难点在于怎样去根据一个不同的k值&#xff0c;通过代码来实现将所有符合题目要求的数字相加并且不重复的功能。下面请看代码&#xff0c;会有详细的讲解&#xff1a; #include<io…

用通俗易懂的方式讲解:选择最佳的 Embedding 和重排序模型,提升大模型 RAG 效果特别明显!

在构建检索增强生成&#xff08;RAG&#xff09;Pipeline时&#xff0c;一个关键组件是Retriever。我们有多种embedding模型可供选择&#xff0c;包括OpenAI、CohereAI和开源sentence transformers。此外&#xff0c;CohereAI和sentence transformers还提供了几个重排序器。 但…

OpenSource - 工具管理器easy-manager-tool

文章目录 功能说明运行配置环境配置启动docker部署 项目安全UI展示 Easy-Manager-Tool 打造软件行业首款集成工具&#xff0c;不管你是程序员&#xff0c;测试&#xff0c;运维等都可以使用该软件来提升自己的工作效率。 Easy-Manager-Tool 的诞生是为了解决软件行业众多参与者…

解决更新Xcode 15.2后,下载 iOS_17 Simulator失败

更新到最新的xcode后&#xff0c;自动下载Simulator总是失败。 解决方法如下&#xff1a; 从官网直接下载&#xff1a; 打开https://developer.apple.com/download/all/?qios 下载&#xff1a;IOS 17.2 Simulator Runtime.dmg安装文件 手动安装 sudo xcode-select -s /Ap…

PGSQL安装PostGIS扩展模块

一、PostGIS简介 1、PostGIS介绍 PostGIS是一个空间数据库&#xff0c;空间数据库像存储和操作数据库中其他任何对象一样去存储和操作空间对象。 空间数据与数据库关联起来的三个要素&#xff1a;数据类型、索引和函数。 空间数据类型&#xff1a;用于指定图形为点&#xff0…

HBase学习五:运维排障

1、负载均衡 1.1 Rgion迁移 在当前的HBase版本中,Region迁移虽然是一个轻量级操作,但实现逻辑依然比较复杂,≈复杂性主要表现在两个方面:其一,Region迁移过程涉及多种状态的改变;其二,迁移过程中涉及Master、ZooKeeper(ZK)以及RegionServer等多个组件的相互协调。 …

11.什么档次的原型模式和我写的一样

在《生化危机》系列电影中&#xff0c;克隆人是个频频出现的话题。保护伞公司为了需求复制出另一个战力相当的战士Alice&#xff0c;不惜克隆成百上千个Alice&#xff0c;然而直到最后&#xff0c;非但没有真正克隆出另一个完美的Alice&#xff0c;就连Alice自己也被证实是保护…

SpringBoot(三层框架Controller,Mapper,Service)中遇到的一些注解整理

本文主要从Controller层,Service层,Mapper层这三层架构中记录用到的各种注解 还有一些MyBatis用到的注解 持续更新到本人的毕设做完为止,太多了太多了根本学不完哈哈哈 1.Controller层 1.1GetMapping/PostMapping/DeleteMapping/PutMapping 用于建立HTTP请求与处理方法之间的…

Go 爬虫之 colly 从入门到不放弃指南

文章目录 概要介绍如何学习官方文档如何安装快速开始如何配置调试分布式代理层面执行层面存储层面存储多收集器配置优化持久化存储启用异步加快任务执行禁止或限制 KeepAlive 连接扩展总结如果想用 GO 实现爬虫能力,该如何做呢?抽时间研究了 Go 的一款爬虫框架 colly。 概要…

Matrix工具抓取ANR

接着上一篇文章ANR的处理分析&#xff0c;这里来整理一下Matrix工具的使用。有不对的地方&#xff0c;请大家指出来 1.Matrix 简介&#xff1a; Matrix 是一款微信研发并日常使用的应用性能接入框架&#xff0c;支持iOS, macOS和Android。 Matrix 通过接入各种性能监控方案&a…

Qt文件和目录相关操作

1.相关说明 QCoreApplication类、QFile类、QDir、QTemporaryDir类、QTemporaryFile类、QFileSystemWatcher类的相关函数 2.相关界面 3.相关代码 #include "dialog.h" #include "ui_dialog.h" #include <QFileDialog> #include <QTemporaryDir>…

Ardupilot开源飞控之VTOL之旅:打印件清单

Ardupilot开源飞控之VTOL之旅&#xff1a;打印件清单 1. 源由2. 清单2.1 模拟VTX打印件2.2 摄像头打印件2.3 GPS & RC天线打印件2.4 飞控 & 电调打印件 3. 总结4. 参考资料 1. 源由 VTOL一直仍在角落吃灰&#xff0c;主要还是手头缺点经费&#xff0c;搞台3D打印机基本…

理解“面向对象编程”概念

面向对象编程&#xff08;Object-Oriented Programming&#xff0c;OOP&#xff09;是一种软件开发范式&#xff0c;它以“对象”为核心&#xff0c;将程序视为一系列相互协作的对象集合。 具体来说&#xff0c;面向对象编程是一种程序设计和开发的范式&#xff0c;其核心理念是…