栈回溯之使用帧指针分析

已于 2023-11-09 14:55:56 修改
阅读量232 收藏 2
点赞数 1
文章标签： C语言 栈回溯 STM32 单片机 RTOS
于 2023-11-09 14:39:37 首次发布
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/qq_36973838/article/details/134311171
版权

说明

  • 使用 --use_frame_pointer 选项会保留一个寄存器来存储帧指针
  • 对于支持 Thumb-2 技术的较新处理器（ARMv6T2 及更高版本），保留寄存器始终为 R11
  • 对于不支持 Thumb-2 技术的旧处理器，保留寄存器是 ARM 代码中的 R11 和 Thumb 代码中的 R7

不建议对 Cortex-M 控制器使用选项 --use_frame_pointer

此选项不会为执行时间或代码密度带来好处，μVision 调试器也不需要此选项来正确显示应用程序的调用关系。


其基本原理就是在每个函数开始入栈R11（FP）和LR

PUSH          {r11,lr}

这里的FP会指向上一个函数的LR，那么我们就能知道每一个函数的LR，就能很快推出程序的调用关系

入栈之后会更新FP的值为当前函数的LR的入栈地址，方便下一级别函数直接入栈

在这里插入图片描述



在STM32H7上启用帧指针

在Keil5中Options（魔术棒）> C/C++ > Misc Controls 加上启用帧指针FP（Frame Pointer）（默认不启用）的编译选项：

--use_frame_pointer

附：在GCC中启用

 -fno-omit-frame-pointer  -fno-optimize-sibling-calls



测试源码

调用关系main() > test2() > test1() > fault_test()

void fault_test() 
{
	volatile int *SCB1 = (volatile int *) 0xFEEEEEEE;
    // 非对齐访问 会挂掉
	*SCB1 |= 0x10;

    printf("SCB1: %d\r\n", *SCB1);
}

void test1()
{
	printf("test 1 start\r\n");
	fault_test();
	printf("test 1 end\r\n");
}

void test2()
{
	printf("test 2 start\r\n");
	test1();
	printf("test 2 end\r\n");
}

int main(void)
{
	//......
	test2();
	//......
}



汇编

void fault_test(void)

0x08008A6C E92D0810  PUSH          {r4,r11}
    20:         volatile int *SCB1 = (volatile int *) 0xFEEEEEEE; 
0x08008A70 4806      LDR           r0,[pc,#24]  ; @0x08008A8C
0x08008A72 F10D0B04  ADD           r11,SP,#0x04
    21:         *SCB1 |= 0x10; 
    22:  
0x08008A76 6801      LDR           r1,[r0,#0x00]
0x08008A78 F0410110  ORR           r1,r1,#0x10
0x08008A7C 6001      STR           r1,[r0,#0x00]
    23:     printf("SCB1: %d\r\n", *SCB1); 
0x08008A7E 6801      LDR           r1,[r0,#0x00]
0x08008A80 A003      ADR           r0,{pc}+0x10  ; @0x08008A90
0x08008A82 E8BD0810  POP           {r4,r11}
0x08008A86 F7FEBE03  B.W           __0printf (0x08007690)

void test1()

0x0800A994 E92D4800  PUSH          {r11,lr}
0x0800A998 F10D0B04  ADD           r11,SP,#0x04
    28:         printf("test 1 start\r\n"); 
0x0800A99C A004      ADR           r0,{pc}+0x14  ; @0x0800A9B0
0x0800A99E F7FCFE77  BL.W          __0printf (0x08007690)
    29:         fault_test(); 
0x0800A9A2 F7FEF863  BL.W          fault_test (0x08008A6C)
0x0800A9A6 E8BD4800  POP           {r11,lr}
    30:         printf("test 1 end\r\n"); 
0x0800A9AA A005      ADR           r0,{pc}+0x18  ; @0x0800A9C0
0x0800A9AC F7FCBE70  B.W           __0printf (0x08007690)

void test2()

0x0800A9D0 E92D4800  PUSH          {r11,lr}
0x0800A9D4 F10D0B04  ADD           r11,SP,#0x04
    35:         printf("test 2 start\r\n"); 
0x0800A9D8 A004      ADR           r0,{pc}+0x14  ; @0x0800A9EC
0x0800A9DA F7FCFE59  BL.W          __0printf (0x08007690)
    36:         test1(); 
0x0800A9DE F7FFFFD9  BL.W          test1 (0x0800A994)
0x0800A9E2 E8BD4800  POP           {r11,lr}
    37:         printf("test 2 end\r\n"); 
0x0800A9E6 A005      ADR           r0,{pc}+0x18  ; @0x0800A9FC
0x0800A9E8 F7FCBE52  B.W           __0printf (0x08007690)

int main(void)

    66:         test2(); 
0x08008E9A F001FD99  BL.W          test2 (0x0800A9D0)
    83:                 HAL_GPIO_TogglePin(LED_GPIO_Port, LED_Pin); 
0x08008E9E F8DFA0B4  LDR.W         r10,[pc,#180]  ; @0x08008F56



增加打印FP

如何打印栈空间和FP不是本文的重点，可参考我的另一篇博客《栈回溯之CmBacktrace》

基于CmBacktrace修改，其原打印栈空间的函数原型为

void cm_backtrace_fault(uint32_t fault_handler_lr, uint32_t fault_handler_sp)

修改为

void cm_backtrace_fault(uint32_t fault_handler_lr, uint32_t fault_handler_sp, uint32_t fault_handler_fp)

原HardFault为

HardFault_Handler    PROC
MemManage_Handler
    MOV     r0, lr                  ; get lr
    MOV     r1, sp                  ; get stack pointer (current is MSP)
    BL      cm_backtrace_fault

Fault_Loop
    BL      Fault_Loop              ;while(1)
    ENDP

    END

增加第三个参数后为

HardFault_Handler    PROC
MemManage_Handler
    MOV     r0, lr                  ; get lr
    MOV     r1, sp                  ; get stack pointer (current is MSP)
    MOV     r2, r11                 ; get frame pointer (if enabled)
    BL      cm_backtrace_fault

Fault_Loop
    BL      Fault_Loop              ;while(1)
    ENDP

    END

日志

=========== 线程堆栈信息 ===========
  addr: 20001040    data: deadbeef
  addr: 20001044    data: 2000104c
  addr: 20001048    data: 20001054
  addr: 2000104c    data: 0800a9e3
  addr: 20001050    data: 200010cc
  addr: 20001054    data: 08008e9f
  addr: 20001058    data: 23232323
  addr: 2000105c    data: 23232323
  addr: 20001060    data: 23232323
  addr: 20001064    data: 23232323
  addr: 20001068    data: 23232323
  addr: 2000106c    data: 23232323
  addr: 20001070    data: 23232323
  addr: 20001074    data: 23232323
  addr: 20001078    data: 23232323
  addr: 2000107c    data: 23232323
  addr: 20001080    data: 23232323
  addr: 20001084    data: 23232323
  addr: 20001088    data: 23232323
  addr: 2000108c    data: 00000000
  addr: 20001090    data: deadbeef
  addr: 20001094    data: deadbeef
  addr: 20001098    data: deadbeef
  addr: 2000109c    data: deadbeef
  addr: 200010a0    data: deadbeef
  addr: 200010a4    data: deadbeef
  addr: 200010a8    data: deadbeef
  addr: 200010ac    data: deadbeef
  addr: 200010b0    data: 200010c4
  addr: 200010b4    data: 08009247
  addr: 200010b8    data: deadbeef
  addr: 200010bc    data: deadbeef
  addr: 200010c0    data: 200010cc
  addr: 200010c4    data: 08008f81
  addr: 200010c8    data: deadbeef
  addr: 200010cc    data: 08008155
====================================
========================= 寄存器信息 =========================
  PSP: 20001040  FP : 20001044
  R0 : feeeeeee  R1 : f0000000  R2 : 00000000  R3 : 08008a0a
  R12: 0000c000  LR : 0800a9a7  PC : 08008a76  PSR: 61000000
==============================================================



分析

这里选择了在HardFault的第一现场获取了FP并打印，分析不同的优化等级和代码结构

发现FP的值有三种指向可能：（如不认同，非常欢迎留言）

  1. 使用-O0优化等级，编译器会严格按顺序入栈R11和LR并更新R11的值，那么此时R11的值就为LR入栈地址，即R11指向的值和LR一致
  2. 在末级函数中没有调用任何函数，编译器可能不会入栈LR，那么此时R11更新后的值为R11入栈地址，即R11指向的值指向上一个函数的LR
  3. 还有可能在入栈R11后还没来得及更新就出错了，那么此时R11指向的值为上一个函数的LR

观察fault_test()的汇编可知，符合这里的第二种情况，开发分析：

这里的PC表示出问题的地方，对应到汇编文件中可知， fault_test() 中的如下内容出问题了

*SCB1 |= 0x10;

LR表示函数返回地址，由于LR的LSB表示的是Thumb模式和ARM模式，所以返回地址为0800a9a6，对应为 test1()中的

0x0800A9A6 E8BD4800  POP           {r11,lr}

FP : 20001044 指向的值为 addr: 20001044 data: 2000104c

那么2000104c 指向的值addr: 2000104c data: 0800a9e3为上一个函数 test1()的LR，对应为 test2()中的

0x0800A9E2 E8BD4800  POP           {r11,lr}

addr: 2000104c data: 0800a9e3的上一个数据 addr: 20001048 data: 20001054为 test1()中的FP

那么它指向的值 addr: 20001054 data: 08008e9f为test2()的LR，对应为 main()中的

    83:                 HAL_GPIO_TogglePin(LED_GPIO_Port, LED_Pin); 
0x08008E9E F8DFA0B4  LDR.W         r10,[pc,#180]  ; @0x08008F56

addr: 20001054 data: 08008e9f的上一个数据 addr: 20001050 data: 200010cc为栈底，表示回溯完毕

综上可以函数的调用关系为main() > test2() > test1() > fault_test() ，符合预期

好像这里并不能像CmBackTrace一样回溯到线程的入口函数



可能会产生的错误

现象

使用带有选项 –use_frame_pointer 的 ARMCC 5，在某些情况下可能会为 Cortex-M 微控制器生成错误代码。此错误代码可能会导致偶发的运行时崩溃或硬故障,下面是一个示例：

int foo(void)
{
    int w = 4;
    int x = 5;
    int y = 6;
    int z = 7;
    return w + x + y + z;
}

这将生成以下代码：

foo
        0x00000000:    e92d4810    -..H    PUSH     {r4,r11,lr}
        0x00000004:    f10d0b08    ....    ADD      r11,sp,#8
        0x00000008:    2404        .$      MOVS     r4,#4
        0x0000000a:    2105        .!      MOVS     r1,#5
        0x0000000c:    2206        ."      MOVS     r2,#6
        0x0000000e:    2307        .#      MOVS     r3,#7
        0x00000010:    1860        '.      ADDS     r0,r4,r1
        0x00000012:    4410        .D      ADD      r0,r0,r2
        0x00000014:    4418        .D      ADD      r0,r0,r3
        0x00000016:    46dd        .F      MOV      sp,r11
        0x00000018:    b082        ..      SUB      sp,sp,#8
        0x0000001a:    e8bd8810    ....    POP      {r4,r11,pc}

如果地址 0x00000016 处的 MOV 指令和地址 0x00000018 处的 SUB 指令之间发生中断，则中断堆栈可能会损坏地址 0x0000001a处的 POP 指令将加载到 r4 和 r11 的值。这是因为当中断发生时，它们位于 SP 寄存器中的地址下方。

此编译器选项不能在μVision中通过复选框进行选择。必须在Options（魔术棒）> C/C++ > Misc Controls对话框中手动指定它。

原因

这是 Arm 编译器版本 5.06u6 及更低版本 （armcc.exe） 的代码生成中的错误。

建议

不建议对 Cortex-M 控制器使用选项 --use_frame_pointer。此选项不会为执行时间或代码密度带来好处。μVision 调试器也不需要此选项来正确显示应用程序的调用堆栈。

解决

这是 5.06u6 之前的已知问题。Arm 编译器 5.06u7 修复了此问题，MDK 版本 5.32 及更高版本也将包含此编译器版本。

无聊到发博客的菜鸟
关注
  • 1
    点赞
  • 踩
  • 2
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
linux程序栈回溯
06-28
在linux编写应用程序时，程序崩溃，可以通过该代码回溯程序崩溃之前都调用了那些函数，方便bug定位
用栈、回溯算法设计迷宫程序
10-24
请参见：https://handsome-man.blog.csdn.net/article/details/109267933
x86_64架构栈帧以及帧指针FP
最新发布
小立仔
03-14 902
x86_64架构寄存器、栈帧以及帧指针FP简介
栈回溯工具和其使用方法.rar
09-12
实际开发工作中可能会遇到栈被破坏，打印不出栈信息的情况，可使用该脚本在ｇｄｂ中加载打印出栈
ARM学习（1） 寄存器的理解 ===》FP、SP、LR寄存器
热门推荐
张一西的博客
12-09 1万+
ARM 寄存器的理解 ===》FP、SP、LR寄存器
C++：提高篇： 栈-寄存器和函数状态：栈指针&&帧指针详解
C++ JAVA的专栏
02-14 1933
C++：提高篇： 栈-寄存器和函数状态：栈指针&&帧指针详解
栈指针&& 帧指针详解
weixin_41632560的博客
10-11 7377
Hugh 栈指针&& 帧指针详解 一、基础知识 帧指针使得访问函数的参数很容易。所以任何函数调用进来的第一件事都是保护调用者的帧指针，以使得返回时可以恢复调用者的帧指针， 即pushl %ebp    movl %esp  %ebp 有了上面这两个命令，函数就可返回了，返回时只要 leave  或  movl %ebp &esp               ...
J-Link RTT库和CmBacktrace库使用总结
自由的天空
11-24 1682
目前一个项目由于资料、PCB体积等各方面限制，LOG_UART口没有引出，导致开发不能打印log，这对于习惯查看log分析问题的我来说，很不习惯，开发效率大大降低，遇到问题就抓狂了（在线调试，有些问题很难发现），于是查看网络，看看有没有其它的调试手段，找到了利用SWD口输出LOG的方法，如下： 1、是利用MCU自带的ITM 2、J-Link RTT M0和M0+内核不支持ITM，RTT支持ARM的全系列，没办法，我用的M0+内核，只能选择RTT。 至于一直和使用方法，请查看J-Li...
对栈指针和帧指针的认识
CSDN_LYY的专栏
11-17 2153
今天又读了有关栈指针和帧指针的知识，对它们的认识加深了。 栈指针简单说就是栈顶的地址。 帧指针就是栈帧的起始位置的地址。其中，栈帧中存有形参和局部变量等数据，并且这些形参和局部变量与帧指针有密切的联系，栈帧中的形参和局部变量相对于栈指针的位置是一定确定的，因此就可以通过栈指针的地址来定位这些形参和局部变量的地址。 以上就是我对栈指针和帧指针的一些认识。
带你学习《深入理解计算机系统》程序语言的底层描述（2）——栈指针esp和帧指针ebp
u013471946的专栏
10-11 4813
本章我们重点讨论栈指针和帧指针
C函数调用与栈
zhaoneiep的专栏
08-09 7309
<br />3.4  C与汇编程序的相互调用<br />为了提高代码执行效率，内核源代码中有的地方直接使用了汇编语言编制。这就会涉及在两种语言编制的程序之间的相互调用问题。本节首先说明C语言函数的调用机制，然后举例说明两者函数之间的调用方法。<br />3.4.1  C函数调用机制<br />在Linux内核程序boot/head.s执行完基本初始化操作之后，就会跳转去执行init/main.c程序。那么head.s程序是如何把执行控制转交给init/main.c程序的呢？即汇编程序是如何调用执行C语言程序
算法设计与分析 3回溯法—地图填色问题 pre ppt
06-18
算法设计与分析 3回溯法—地图填色问题 pre ppt 回溯法地图填色 路径选择(MRV DH) 剪枝策略(向前检测和颜色轮换) 运行时间随图规模增大而增大 图密度 （1） 通过本次实验，我了解到回溯法的基本思想： 不断尝试...
C#使用回溯法解决背包问题实例分析
12-26
本文实例讲述了C#使用回溯法解决背包问题的方法。分享给大家供大家参考。具体如下： 背包问题描述： 给定一组物品，每种物品都有自己的重量和价格，在限定的总重量内，我们如何选择，才能使得物品的总价格最高 实现...
arm32栈回溯原理学习以及示例代码
深海
02-04 1005
简单介绍下传统栈回溯原理，方便理解。
arm32 arm64 riscv32 riscv64 基于fp进行栈回溯unwind
u011011827的博客
06-16 333
【代码】arm32 arm64 riscv32 riscv64 基于fp进行栈回溯unwind。
嵌入式之交叉栈回溯
weixin_40732273的博客
09-14 1226
背景简介 段错误的调试有很多方式，比如gdb工具，栈回溯的backtrace依赖于-g选项等， 1、栈回溯原理介绍 栈回溯是arm架构基于fp寄存器的栈回溯，通过fp寄存器和lr寄存器数据的关系，可以依次找出每个函数栈中存储的lr寄存器地址，即函数返回地址。通过函数dladdr()去获取函数返回地址的符号信息，即可得到函数符号名与加载模块的名称（动态库名），从而找出每一级函数调用关系。平台不同，fp寄存器和lr寄存器的关系也不相同，只要找出fp寄存器和lr寄存器的关系，就可以找出每一级函数调用关系。下面将介
嵌入式Linux C语言（三）——指针与函数
weixin_34290390的博客
06-15 153
嵌入式Linux C语言（三）——指针与函数指针对函数的功能有巨大的贡献，指针能够将数据传递给函数，并且允许函数对数据进行修改。指针对于函数的作用主要有两方面：将指针传递给函数和声明函数指针。一、程序的栈和堆程序的栈和堆是C语言程序运行的运行时元素。1、程序栈程序栈是支持函数执行的内存区域，通常和堆共享一块内存区域，通常程序栈占据内存区域的下部，堆用内存区域的上部。程...
arm知道栈指针怎么获取栈回溯
05-19
ARM架构中，栈指针SP存储在寄存器R13中，可以通过以下汇编指令获取栈指针的值： ``` MOV r0, sp ; 将栈指针的值存储到寄存器R0中 ``` 栈回溯是指在程序崩溃时，通过查看堆栈信息来确定程序崩溃的原因和位置。在ARM架构中，可以通过以下步骤进行栈回溯： 1. 获取当前栈指针的值 2. 从栈指针的值开始，向上遍历堆栈，获取每个函数的返回地址和参数 3. 根据返回地址和参数，可以确定程序崩溃的位置和原因 在实际应用中，可以使用调试工具来简化栈回溯的过程，例如GDB调试器可以自动进行栈回溯并显示堆栈信息。

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值