其他分享
首页 > 其他分享> > Cortex-M3/M4/M7 故障异常分析

Cortex-M3/M4/M7 故障异常分析

作者:互联网

写在前面:

本文章旨在总结备份、方便以后查询,由于是个人总结,如有不对,欢迎指正;另外,内容大部分来自网络、书籍、和各类手册,如若侵权请告知,马上删帖致歉。

在程序开发阶段,少不了 Debug调试,除去编程架构搭建不稳定所造成的错误外,大部分会出现或多或少的故障异常,而这些异常有可能是粗心或者对编程了解不到位所导致的 ‘ 堆栈溢出 ’ 、‘ 数组下标越界 ’ 、‘ 数学运算异常 ’ 等等;而本篇则主要以常见的进入 Hardfault中断来进行分析错误来源。


目录



一、ARM Cortex-M核心

ARM 架构,过去称作高级精简指令集机器(英语:Advanced RISC Machine,更早称作艾康精简指令集机器,Acorn RISC Machine),是一个精简指令集(RISC)处理器架构家族,其广泛地使用在许多嵌入式系统设计。

而对于 ARM Cortex-M 是 ARM架构处理器核心中,低阶系列的统称,由安谋控股所授权。这组核心的特点为低成本以及高能源效率的微处理器而优化设计,已有上千万个消费性设备中有此系列的微处理器。此系列核心包括 Cortex-M0、Cortex-M0+、Cortex-M1、Cortex-M3、Cortex-M4、Cortex-M7、Cortex-M23、Cortex-M33、Cortex-M35P和 Cortex-M55。其中 Cortex-M4 / M7 / M33 / M35P / M55 核心有浮点运算器的选项,若有浮点运算器的选项,会在型号后面说明,例如 Cortex-Mx with FPU或 Cortex-MxF,其中 x是核心编号。

如标题所述,其中 Cortex-M3/M4/M7同属 ARMv7-M架构,再细分一点,Cortex-M3实现的是 ARMv7-M架构,Cortex-M4 /Cortex-M7实现的是 ARMv7E-M架构。


二、ARMv7-M和 ARMv7E-M架构区别

如果有玩过过 Cortex-M3系列的芯片跟 Cortex-M4/M7的芯片,或多或少都知道 Cortex-M4/M7比 Cortex-M3多了 DSP硬件浮点运算,以下是 ARMv7E-M架构的拓展功能介绍:

在这里插入图片描述

由于 ARMv7E-M是 ARMv7-M的一个拓展子集,所以以下统称 ARMv7-M为 “ ARMv7-M ” 和 “ ARMv7E-M ” 的集合。


三、ARM 寄存器

在这里插入图片描述

1、通用寄存器(R0 - R12)

R0-R7被称为低组寄存器。所有指令都能访问它们。它们的字长全是 32位,复位后的初始值是不可预料的。

R8-R12被称为高组寄存器。这是因为只有很少的 16位 Thumb指令能访问它们,32位的 thumb-2指令则不受限制。它们也是 32位字长,且复位后的初始值是不可预料的。

2、堆栈指针寄存器(SP)

在 ARMv7-M架构中,共有两个堆栈指针 SP_mainSP_process,有时候也会把这个堆栈指针寄存器称为 R13

3、链接寄存器(LR)

链接寄存器(LR) 主要用于在调用子程序时存储返回地址;有时候也会把这个链接寄存器称为 R14

4、程序计数器(PC)

程序计数器作为 PC(或称为 R15)访问,它根据所执行指令的大小(在 ARM 状态下始终为 4 个字节)递增;并通过分支指令将目标地址加载到 PC 中。 您还可以使用数据处理指令直接加载 PC。

Note:寄存器 R0-R12、SP、LR和 PC被称为 Arm核心寄存器。这些寄存器可以描述为 R0-R15。更详细的说明可以看《ARMv7-M Architecture Reference Manual》B1.4章 Registers部分


四、异常定义

1、异常类型

在这里插入图片描述

2、异常更新

在入栈和取向量操作完成之后,执行服务例程之前,需要更新一系列的寄存器:

以上是在响应异常时核心寄存器的变化。另一方面,在 NVIC中,也会更新若干个相关有寄存器。例如,新响应异常的悬起位将被清除,同时其活动位将被置位。

3、异常返回值

在进入异常服务程序后,将自动更新 LR的值为特殊的 EXC_RETURN。这是一个高 28位全为 1的值,只有[3:0]的值有特殊含义,如下图所示。当异常服务例程把这个值送往 PC时,就会启动处理器的中断返回序列。因为 LR的值是由内核自动设置的,所以只要没有特殊需求,就不要改动它。

在这里插入图片描述

在这里插入图片描述


五、异常入口的堆栈对齐

Armv7-M 架构保证堆栈指针值至少是 4 字节对齐的。 但是,某些软件标准要求堆栈指针按 8 字节对齐,并且体系结构可以强制执行这种对齐。 在配置和控制寄存器的 CCR. STKALIGN 位指示中作为异常入口的一部分,决定着处理器是将 SP 对齐到 4 个字节还是 8 个字节。 该位是由编译器决定是否为:
• RW,在这种情况下,它的复位值是由编译器决定的。
• RO,在这种情况下它是 RAO,表示 8 字节 SP 对齐。
Arm 不赞成实现或使用 4 字节 SP 对齐。

Register — CCR. STKALIGN bit:

在这里插入图片描述

下图显示了在异常发生时进入堆栈的信息框架,以及处理器如何在堆栈上保留一个额外的字(如果需要的话),以获得 8字节堆栈对齐。(这里就是我们要分析地方)

在这里插入图片描述


六、HardFault异常分析处理

HardFault是一种通用故障,它适用于所有不能被任何其他异常机制处理的故障类。通常,HardFault用于不可恢复的系统故障,尽管这不是必需的,而且 HardFault的某些用途可能是可恢复的。HardFault永久启用,优先级固定为 -1。

方法一:先来个简单的,使用第三方组件 “cm_backtrace”

项目地址:https://github.com/armink/CmBacktrace

怎么用这里就不说了,毕竟官方已经写得很清楚了,而且还有相应的 Demo例程。

使用该方法的特点是不需要过多的关注更底层的东西,只需移植好后配置相应的功能就好了,而且它可以离线(脱离仿真器)来寻找错误点;但是前提是你的串口正常,而且还需要预留部分内存供其执行。

方法二:仿真情况下的 bug寻找

如果是平常的 while循环执行,导致挂掉了无法切换任务,那么我们可以轻松通过上下文切换寻找问题;但是在 HardFault异常中它并不给你显示执行错误的所在地方,而是直接跳到 HardFault中断中,这往往让我们头大。

Keil平台的可以看:

https://www.keil.com/appnotes/files/apnt209.pdf

IAR平台的可以看:

https://www.iar.com/knowledge/support/technical-notes/debugger/debugging-a-hardfault-on-cortex-m/

GCC平台的可以看:

方法三。。。

方法三:通过 ARM 寄存器逆向推导

使用该方法的前提是获取到第五个大点最后一张图展示的核心寄存器(R0-R3、R12、LR、PC、xPSR以及原 SP)的数值。

1、常见的核心寄存器数据获取

一般地,我们会使用以下代码嵌入到 HardFault中断中,使其在入口处打印服务异常时各核心寄存器的值:

/* Exception frame without floating-point storage
* hard fault handler in C,
* with stack frame location as input parameter
*/
void
hard_fault_handler_c(unsigned int * hardfault_args)
{
    unsigned int stacked_r0;
    unsigned int stacked_r1;
    unsigned int stacked_r2;
    unsigned int stacked_r3;
    unsigned int stacked_r12;
    unsigned int stacked_lr;
    unsigned int stacked_pc;
    unsigned int stacked_psr;
   
    //Exception stack frame
    stacked_r0 = ((unsigned long) hardfault_args[0]);
    stacked_r1 = ((unsigned long) hardfault_args[1]);
    stacked_r2 = ((unsigned long) hardfault_args[2]);
    stacked_r3 = ((unsigned long) hardfault_args[3]);
   
    stacked_r12 = ((unsigned long) hardfault_args[4]);
    stacked_lr = ((unsigned long) hardfault_args[5]);
    stacked_pc = ((unsigned long) hardfault_args[6]);
    stacked_psr = ((unsigned long) hardfault_args[7]);
   
    printf ("[Hard fault handler]\n");
    printf ("R0 = %x\n", stacked_r0);
    printf ("R1 = %x\n", stacked_r1);
    printf ("R2 = %x\n", stacked_r2);
    printf ("R3 = %x\n", stacked_r3);
    printf ("R12 = %x\n", stacked_r12);
    printf ("LR = %x\n", stacked_lr);
    printf ("PC = %x\n", stacked_pc);
    printf ("PSR = %x\n", stacked_psr);
#ifndef CW
    printf ("BFAR = %x\n", (*((volatile unsigned long *)(0xE000ED38))));
    printf ("CFSR = %x\n", (*((volatile unsigned long *)(0xE000ED28))));
    printf ("HFSR = %x\n", (*((volatile unsigned long *)(0xE000ED2C))));
    printf ("DFSR = %x\n", (*((volatile unsigned long *)(0xE000ED30))));
    printf ("AFSR = %x\n", (*((volatile unsigned long *)(0xE000ED3C))));
#else
    printf ("BFAR = %x\n", (*((volatile unsigned int *)(0xE000ED38))));
    printf ("CFSR = %x\n", (*((volatile unsigned int *)(0xE000ED28))));
    printf ("HFSR = %x\n", (*((volatile unsigned int *)(0xE000ED2C))));
    printf ("DFSR = %x\n", (*((volatile unsigned int *)(0xE000ED30))));
    printf ("AFSR = %x\n", (*((volatile unsigned int *)(0xE000ED3C))));
#endif
    for(;;)
    {}
}

/* The prototype shows it is a naked function - in effect this is just an
assembly function. */
void HardFault_Handler( void ) __attribute__( ( naked ) );

/* The fault handler implementation calls a function called
prvGetRegistersFromStack(). */
void HardFault_Handler(void)
{
  #ifdef CORTEX_M3_M4_M7
    asm volatile(
        " tst lr, #4                        \n" /* Check EXC_RETURN[2] */
        " ite eq                            \n"
        " mrseq r0, msp                     \n"
        " mrsne r0, psp                     \n"
        "b hard_fault_handler_c             \n"
        : /* no output */
        : /* no input */
        : "r0" /* clobber */
    );
  #else
    asm volatile(
        "movs r0, #4                        \n"
        "mov  r1, lr                        \n"
        "tst  r0, r1                        \n" /* Check EXC_RETURN[2] */
        "beq 1f                             \n"
        "mrs r0, psp                        \n"
        "ldr r1,=hard_fault_handler_c       \n"
        "bx r1                              \n"
        "1:mrs r0,msp                       \n"
        "ldr r1,=hard_fault_handler_c       \n"
        : /* no output */
        : /* no input */
        : "r0" /* clobber */
    );
  #endif
}

Note:

  1. 值得注意的是 void HardFault_Handler(void);函数是相应的 HardFault中断函数,不同的厂家会定义不同的名称。

  2. 对于不同的编译器,如:armcc、iar、gcc for arm等,需要把相应的关键字替换掉(eg:asmnaked)。

    naked 关键字拓展: https://www.keil.com/support/man/docs/armclang_ref/armclang_ref_jhg1476893564298.htm
    https://zhuanlan.zhihu.com/p/33933891

2、逆向定位入口

如果有看过方法二的两个链接,那么就很容易理解以下的分析了:

  1. 确保你能正常获取输出数据(包括但不限于仿真查看、串口打印、SWO输出、SEGGER_RTT输出等等)。
  2. 由于我们在第一点修改过代码,所以可以直接查看 LR和 PC两个的值;因为这两个的值是关键。
  3. 使用 addr2line软件定位故障代码位置(使用方法:https://sourceware.org/binutils/docs-2.27/binutils/addr2line.html#addr2line),addr2line属于 GNU Binutils组件之一,获取可以从方法一里面的 tools文件夹里获取,也可以从 安装路径\GNU Tools ARM Embedded\5.4 2016q3\bin\arm-none-eabi-addr2line.exe 提取出来。

3、使用演示

先制造一个 HardFault:

void fault_test_by_div0(void) {
    volatile int * SCB_CCR = (volatile int *) 0xE000ED14; // SCB->CCR
    int x, y, z;

    *SCB_CCR |= (1 << 4); /* bit4: DIV_0_TRP. */

    x = 10;
    y = 0;
    z = x / y;
    printf("z:%d\n", z);
}

/************************************************
函数名称 : main
功    能 : 主函数入口
参    数 : 无
返 回 值 : 无
*************************************************/
int main( void )
{
#ifdef DEBUG
    debug();
#endif

    BaseType_t xReturn = pdPASS; /* 定义一个创建信息返回值,默认为 pdPASS */

    prvSetupHardware();

    fault_test_by_div0();

    /* Start the tasks defined within this file/specific to this demo. */
    xReturn = xTaskCreate( (TaskFunction_t)prvUser_Task,			/* 任务入口函数 */
                           (const char *)"prvUser_Task",			/* 任务名字 */
                           (uint16_t)configMINIMAL_STACK_SIZE,		/* 任务栈大小 */
                           (void *)NULL,							/* 任务入口函数参数 */
                           (UBaseType_t)mainCREATOR_TASK_PRIORITY,	/* 任务的优先级 */
                           (TaskHandle_t *)UserTaskCreate_Handle );	/* 任务控制块指针 */

    if(pdPASS == xReturn) {
        /* Start the scheduler. */
        vTaskStartScheduler();
    }

    /* Will only get here if there was not enough heap space to create the
    idle task. */
    return 0;
}

/*----------------------------- End -----------------------------*/

接着可以观察到程序已经跑到 HardFault_Handler里并输出相应信息了:

在这里插入图片描述

然后利用 addr2line,执行命令 arm-none-eabi-addr2line.exe -e "可执行映像" -a -f "相应的值" (注:实际命令并不需要双引号 “ ”,应用可看下图):

在这里插入图片描述

然后,对于不同的编译器,可执行映像并不一样(像 Keil是 .axf、IAR是 .out);最后,如果细心的可以看到命令后面的两个值只有 PC的值是对应上,第二个值并不是 LR的值,而是其减去 4的结果;若果你直接使用 LR值,你会发现定位出来的下一条指令要执行的地方,至于为什么要减掉 4,是因为在 ARM下执行指令的大小始终为 4 个字节递增,所以可以通过减掉 4,使其指向上一条内容。

在这里插入图片描述

在这里插入图片描述

方法四:透过最底层进行分析

这种方法不需要修改什么,在进入 HardFault_Handler后直接分析核心寄存器。

同样的,还是先制造一个 HardFault,沿用方法三的 fault_test_by_div0();函数代码,然后直到进入 HardFault_Handler后,(注意,这里的 HardFault_Handler中断函数并没有像方法三那样区嵌入代码,而是保持其原始的样子):

在这里插入图片描述

接着跟上面的一样,获取各核心寄存器的值(ps:这里用的仿真查看):

在这里插入图片描述

在这里就不是像方法三那样直接拿 LR和 PC这两个值来用了,必须进行层层分析:

  1. 查看 LR值是对应下图的哪个:

    在这里插入图片描述

    通过转换,-7为 0xFFFFFFF9,然后在第四大点的第三小点有讲过 LR=0xFFFF_FFF9时是使用 MSP,而 LR=0xFFFF_FFFD时则使用 PSP;所以我们可以确定该返回值是被压入到主堆栈指针(MSP)中。

  2. 找到 MSP指示的值:

    在这里插入图片描述

    得到该值为 0x2002ffc8。

  3. 查看该值所对应的内存块:

    在这里插入图片描述

    得到紫色框里的两个数据(嘿嘿,是不是很神奇,居然跟方法三的 LR、PC值一样),可能你会疑惑,为什么是提取该地址往后第六、七个数(4 字节递增),而不是其他呢?这就看第五个大点了,它的入栈顺序以及地址位置都是有规律的,可以归纳为下图:

    在这里插入图片描述

    按箭头方向,顺数第六、七是不是就是 LR、PC值啊,而这里就是旧的内容信息;所以跟方法三比较一下,其实方法三的那段嵌入代码,就是让其改变各个核心寄存器的信息内容,使其不要存储跳转到 HardFault_Handler,而是存储跳转前的数据信息。

  4. 到了这步,就是使用 addr2line来定位,这里就不说了,方法三里面有写。


参考:

ARM架构

ARM Cortex-M

Arm® Cortex®-M4 in a nutshell

<<ARM Cortex-M3 权威指南>>

ARMv7-M Architecture Reference Manual

Overview of the ARM Architecture

error: Hard Fault Handler

How to debug a HardFault on an ARM Cortex-M MCU

Debugging a ARM Cortex-M Hard Fault

Analyzing HardFaults on Cortex-M CPU

ARM Cortex M3: Recovering from a Hard Fault

Debug a HardFault

标签:stacked,unsigned,M4,M7,LR,Cortex,寄存器,HardFault
来源: https://blog.csdn.net/qq_42992084/article/details/118883572