当前位置：首页 > news >正文

RISC-V hardfault分析工具，RTTHREAD-RVBACKTRACE

news 来源：原创 2025/8/12 8:26:01

RV BACKTRACE

简介

本文主要讲述RV BACKTRACE 的内部主要原理

没有接触过rvbacktrace可以看下面两篇文章，理解一下如何使用RVBACKTRACE

RVBacktrace RISC-V极简栈回溯组件：https://club.rt-thread.org/ask/article/64bfe06feb7b3e29.html

RVBacktrace RISC-V极简栈回溯组件V1.2：https://club.rt-thread.org/ask/article/09737357e4a95b06.html

RVBACKTRACE

https://github.com/Yaochenger/RvBacktrace

rvbacktrace更多的利用RISCV的一些特性

组件支持两种方式栈回溯，默认使用配置简单的方式一。

方式一：不添加编译参数，通过调用栈结构进行栈回溯，默认是方式一。

优点：不额外占用系统寄存器缺点：增加代码空间，效率较方式二较低

方式二：通过添加编译参数的方式，基于FP寄存器进行栈回溯。

优点：几乎不增加代码空间缺点：占用s0寄存器，

rvbacktrace有两种方法，一种是编译器编译的时候，添加-fno-omit-frame-pointer, 另一个是编译器在默认情况下，会优化frame-pointer。

我们来理解一下什么是-fno-omit-frame-pointer

-fno-omit-frame-pointer: 这里有个no-omit 大概意思是，不要忽略，或者不要优化，frame-pointer是一个寄存器，代表是帧指针寄存器。
默认情况下是-fomit-frame-pointer: 这里是忽略帧指针。

先讲下两个配置，类似于一个是优化掉帧指针(代码中不保存帧指针)，一个是-fno-omit-frame-pointer 不优化帧指针。

我们来看下优化和不优化的区别：

这个是加了-fno-omit-frame-pointer的函数：

void rvbacktrace_fno()
{
8000e02c:	1141                	addi	sp,sp,-16
8000e02e:	c606                	sw	ra,12(sp)
8000e030:	c422                	sw	s0,8(sp)
8000e032:	c226                	sw	s1,4(sp)
8000e034:	0800                	addi	s0,sp,16

这个是没有加-fno-omit-frame-pointer的函数：

void rvbacktrace_fno()
{
8000d7c6:	1141                	addi	sp,sp,-16
8000d7c8:	c606                	sw	ra,12(sp)
8000d7ca:	c422                	sw	s0,8(sp)

差异是什么呢？多了两条指令

8000e032:	c226                	sw	s1,4(sp)
8000e034:	0800                	addi	s0,sp,16

来讲下大概原理：

加了-fno-omit-frame-pointer 之后，s0寄存器就不能用来通用功能了，只能用来作为fp使用，用来保存sp的初始值(即进函数之前的值)

在这里插入图片描述

帧指针就是用来保存上一次的SP的地址，然后该地址可以用来读到上一次函数的地址。ra地址就是类似于ARM中的LR的地址，就是返回的函数的地址。

从下面这张图中可以看到，加了-fno-omit-frame-pointer 之后，默认当前代码的S0就是进该函数刚进来的时候SP值，然后固定下面两个寄存器保存的是RA和FP这个位置没有变
在这里插入图片描述

所以对于rv_backtrace_fno.c中的核心函数，就可以按照下面的写法写。

        sp = (unsigned long) _backtrace_threadn->sp;fp = ((rt_ubase_t *) (_backtrace_threadn->sp))[BACKTRACE_FP_POS]; // get current frame pointerwhile (1){frame = (struct stackframe *) (fp - BACKTRACE_LEN); //   get frame pointerif ((uint32_t *) frame > (uint32_t *) (uintptr_t) _rt_eusrstack){rvstack_frame_len = num;rvbacktrace_addr2line((uint32_t *) &rvstack_frame[0]);num = 0;break;}sp = fp;  // get stack pointerfp = frame->s_fp; // get frame pointerra = frame->s_ra; // get return addresspc = frame->s_ra - 4; // get program counter//  print stack interval, return address, program counterBACKTRACE_PRINTF("[%d]Stack interval :[0x%016lx - 0x%016lx]  ra 0x%016lx pc 0x%016lx\n", num, sp, fp, ra, pc);rvstack_frame[num] = pc; // save stack frame addressnum++;}

RVBACKTRACE的通用改法

在编译器还没有加-fno-omit-frame-pointer 代码中需要从PC往上找

这里第一步就是找到1141这条指令，然后计算出立即数16，根据当前的SP值，然后计算出进函数之前的SP值。

void rvbacktrace_fno()
{
8000d7c6:	1141                	addi	sp,sp,-16
8000d7c8:	c606                	sw	ra,12(sp)
8000d7ca:	c422                	sw	s0,8(sp)

在函数riscv_backtraceFromStack 中就是计算SP值，计算也是为了适配64bit和32bit的RISCV，计算出SP的原始值，然后再往上继续找对应的函数，保存下来。

   /* 1. scan code, find lr pushed */for (i = 0; i < BT_FUNC_LIMIT;) {/* FIXME: not accurate from bottom to up. how to judge 2 or 4byte inst *///CodeAddr = (char *)(((long)PC & (~0x3)) - i);//非对齐访问CodeAddr = (char *)(PC - i);ins32 = *(unsigned int *)(CodeAddr);if ((ins32 & 0x3) == 0x3) {ins16 = *(unsigned short *)(CodeAddr - 2);if ((ins16 & 0x3) != 0x3) {i += 4;framesize = riscv_backtrace_framesize_get1(ins32);if (framesize >= 0) {CodeAddr += 4;break;}continue;}}i += 2;ins16 = (ins32 >> 16) & 0xffff;framesize = riscv_backtrace_framesize_get(ins16);if (framesize >= 0) {CodeAddr += 2;break;}}if (i == BT_FUNC_LIMIT) {/* error branch */#ifdef BACKTRACE_PRINTFBACKTRACE_PRINTF("Backtrace fail!\r\n");#endifreturn -1;}/* 2. scan code, find ins: sd ra,24(sp) or sd ra,552(sp) */for (i = 0; CodeAddr + i < PC;) {ins32 = *(unsigned int *)(CodeAddr + i);if ((ins32 & 0x3) == 0x3) {i += 4;offset = riscv_backtrace_ra_offset_get1(ins32);if (offset >= 0) {break;}} else {i += 2;ins16 = ins32 & 0xffff;offset = riscv_backtrace_ra_offset_get(ins16);if (offset >= 0) {break;}}}

这段代码，根据当前的PC值，知道当前的函数的进来的时候SP开启的地址。计算每次SP开始的地址和结束地址，然后找到上一次的PC值，然后再往上一个函数查找。

RVBACKTRACE的加`-fno-omit-frame-pointer`的用法

加了编译参数-fno-omit-frame-pointer 之后，进函数之前就会记录当前的SP的值，经过验证，大部分的RISCV64平台的这个选项是默认打开的，所以RISCV64可以用这个方法，估计RISCV64平台一般都比较大。这个时候我们就要用rv_backtrace_fno.c 这个文件来处理栈回溯了。

在RVBACKTRACE中就要开启BACKTRACE_USE_FP 这个宏

void rvbacktrace_fno()
{
8000e02c:	1141                	addi	sp,sp,-16
8000e02e:	c606                	sw	ra,12(sp)
8000e030:	c422                	sw	s0,8(sp)
8000e032:	c226                	sw	s1,4(sp)
8000e034:	0800                	addi	s0,sp,16

S0的值就是保存的栈信息。默认这个寄存器就给栈回溯用。

主要实现函数如下，获取fp的值为__builtin_frame_address 这是一个libc的库函数

    fp = (unsigned long)__builtin_frame_address(0); //  get current frame pointerwhile (1){frame = (struct stackframe *)(fp - BACKTRACE_LEN); //   get frame pointerif ((uint32_t *)frame > (uint32_t *)(uintptr_t)_rt_eusrstack){rvstack_frame_len = num;return;}sp = fp;  // get stack pointerfp = frame->s_fp; // get frame pointerra = frame->s_ra; // get return addresspc = frame->s_ra - 4; // get program counter//  print stack interval, return address, program counterBACKTRACE_PRINTF("[%d]Stack interval :[0x%016lx - 0x%016lx]  ra 0x%016lx pc 0x%016lx\n", num, sp, fp, ra, pc);rvstack_frame[num] = pc; // save stack frame addressnum++;}

看下反汇编

 36           fp = (unsigned long)__builtin_frame_address(0); //  get current frame pointer
8000b09c:   mv      s2,s0

其实就是读取s0的值。

因为有s0保存了进入函数的时候的栈地址，就很容易找到SP进来的时候初始地址，然后也比较方便找到上一次的RA和S0。代码实现起来就比较方便，不需要一直解析反汇编。

其他的线程回溯的方法也是类似的。

汇编指令过滤方法

知道了上面的两种方法之后，比较难的其实是第一种，没有编译选项的时候，如何根据PC指针找到栈的地址。

void rvbacktrace_fno()
{
8000d7c6:	1141                	addi	sp,sp,-16
8000d7c8:	c606                	sw	ra,12(sp)
8000d7ca:	c422                	sw	s0,8(sp

例如上面的函数，我们就要知道两个命令addi sp,sp,-16 和sw ra,12(sp)

我们翻阅RISCV手册之后，看到如下的命令：
在这里插入图片描述

当然这个是压缩命令

主要的是计算出它的立即数，imm

参考链接如下:
https://riscv.github.io/riscv-isa-manual/snapshot/unprivileged/#_integer_register_immediate_instructions

static int riscv_backtrace_framesize_get1(unsigned int inst)
{unsigned int imm = 0;/* addi sp, sp, -im* example* d1010113             addi    sp,sp,-752* from spec addi FROM https://riscv.github.io/riscv-isa-manual/snapshot/unprivileged/#_integer_register_immediate_instructions* bit[31:20] = imm[11:0]* bit[19:15] = 00010* bit[14:12] = 000* bit[11:7]  = 00010* bit[6:0]  = 0010011*/if ((inst & 0x800FFFFF) == 0x80010113) {imm = (inst >> 20) & 0x7FF;imm = (~imm & 0x7FF) + 1;
#if __riscv_xlen == 64return imm >> 3; // RV64: 以 8 字节为单位
#elsereturn imm >> 2;  // RV32: 以 4 字节为单位
#endif}return -1;
}

CM BACKTRACE

https://github.com/armink-rtt-pkgs/CmBacktrace

CM backtrace 核心代码：

            /* first depth is PC */buffer[depth++] = regs.saved.pc;/* fix the LR address in thumb mode */pc = regs.saved.lr - 1;if ((pc >= code_start_addr) && (pc <= code_start_addr + code_size) && (depth < CMB_CALL_STACK_MAX_DEPTH)&& (depth < size)) {buffer[depth++] = pc;regs_saved_lr_is_valid = true;}size_t cm_backtrace_call_stack_any(uint32_t *buffer, size_t size, uint32_t sp, uint32_t stack_start_addr, uint32_t stack_size)
{uint32_t pc;size_t depth = 0;/* copy called function address */for (; sp < stack_start_addr + stack_size; sp += sizeof(size_t)) {/* the *sp value may be LR, so need decrease a word to PC */pc = *((uint32_t *) sp) - sizeof(size_t);/* the Cortex-M using thumb instruction, so the pc must be an odd number */if (pc % 2 == 0) {continue;}/* fix the PC address in thumb mode */pc = *((uint32_t *) sp) - 1;if ((pc >= code_start_addr + sizeof(size_t)) && (pc <= code_start_addr + code_size) && (depth < CMB_CALL_STACK_MAX_DEPTH)/* check the the instruction before PC address is 'BL' or 'BLX' */&& disassembly_ins_is_bl_blx(pc - sizeof(size_t)) && (depth < size)) {/* the second depth function may be already saved, so need ignore repeat */buffer[depth++] = pc;}}return depth;
}
static bool disassembly_ins_is_bl_blx(uint32_t addr) {uint16_t ins1 = *((uint16_t *)addr);uint16_t ins2 = *((uint16_t *)(addr + 2));#define BL_INS_MASK         0xF800
#define BL_INS_HIGH         0xF800
#define BL_INS_LOW          0xF000
#define BLX_INX_MASK        0xFF00
#define BLX_INX             0x4700if ((ins2 & BL_INS_MASK) == BL_INS_HIGH && (ins1 & BL_INS_MASK) == BL_INS_LOW) {return true;} else if ((ins2 & BLX_INX_MASK) == BLX_INX) {return true;} else {return false;}
}

用一个数组buffer[] 用来存放对应的PC和回溯的地址

然后从LR往上进行检查PC的值-1 之后，判断PC是否在代码开始段和结束段

如果在，则放到回溯的地址里面。

总结

RVBACKTRACE很好的帮助大家进行栈回溯，大家如果试用觉得有用的话，欢迎帮忙仓库点个star。
如果有建议也可以提issue和PR。

https://github.com/Yaochenger/RvBacktrace

RISC-V hardfault分析工具，RTTHREAD-RVBACKTRACE

RV BACKTRACE 简介本文主要讲述RV BACKTRACE 的内部主要原理没有接触过rvbacktrace可以看下面两篇文章，理解一下如何使用RVBACKTRACE RVBacktrace RISC-V极简栈回溯组件：https://club.rt-thread.org/ask/article/64bfe06feb7b3e29.html RVBacktra…...

编程日记 2025/8/12 8:26:01

c语言if else语句格式（非常详细）

在C语言中，if else 语句是一种常用的条件控制结构，用于根据不同条件执行不同的代码块。 if-else 语句的基本格式 if-else 语句的基本格式如下： if (条件) { // 如果条件为真，执行这里的代码 } else { // 如果条件为假&a…...

编程日记 2025/8/12 8:24:11

Logback官方文档翻译章节目录

Logback官方文档翻译章节目录第一章 Logback简介第二章 Logback的架构（一） Logback的架构（二） Logback的架构（三） 持续更新中…...

编程日记 2025/8/5 16:55:12

按摩椅的机芯类型和材质

按摩椅的机芯类型和材质是影响其按摩效果、使用寿命以及舒适度的重要因素。下面我将从这两个方面详细为你解析： 一、按摩椅机芯类型按摩椅的“机芯”相当于它的“心脏”，决定了按摩手法、力度、覆盖范围等关键性能。常见机芯类型（按技术发…...

编程日记 2025/8/12 8:24:08

HarmonyOS-hdc远程网络方式连接设备

hdc工具使用手册 1 hdc简介 hdc（OpenHarmony Device Connector）是为开发人员提供的用于设备连接调试的命令行工具，pc端开发机使用命令行工具hdc，该工具需支持部署在Windows/Linux/Mac等系统上与OpenHarmony设备（或模…...

编程日记 2025/8/5 16:55:08

秋招准备——2.跨时钟相关

格雷码异步FIFO跨时钟域处理格雷码一、格雷码规律相邻性：相邻两个数的格雷码只有一位不同，例如： 0000 → 0001（仅最低位变化）0001 → 0011（仅次低位变化）0011 → 0010（仅最低位…...

编程日记 2025/8/5 16:55:06

【开源版】likeshop上门家政系统PHP版全开源+uniapp前端

一.系统介绍 likeshop_上门家政系统，PHP版本更新至2.1.1最新版，全开源，适用于上门家政场景，系统拥有用户端、师傅端、无论运营还是二开都是性价比极高的100%开源家政系统。二.搭建环境-教程系统环境：CentOS、运行…...

编程日记 2025/8/5 16:55:04

Memgraph 的安装教程

目录 Memgraph 安装步骤1. 使用 Docker 安装 Memgraph2. 使用 Memgraph Lab3. 使用 Python 客户端连接 Memgraph Memgraph 安装步骤 1. 使用 Docker 安装 Memgraph Memgraph 可以通过 Docker 快速安装和运行。以下是使用 Docker 安装 Memgraph 的步骤： 安装 Docke…...

编程日记 2025/8/5 16:55:03

华为网路设备学习-21 路由过滤（filter-policy）

一、路由过滤（filter-policy） 1、用于控制路由更新、接收的一个工具 2、只能过滤路由信息，无法过滤LSA 二、路由过滤（filter-policy）与动态路由协议 1、距离矢量路由协议 RIP动态路由协议交换的是路由表&#xff0…...

编程日记 2025/8/12 4:20:27

Mac 平台字体Unicode范围分析器

字体Unicode范围分析器 #include <CoreText/CoreText.h> // CoreText框架头文件，用于字体处理 #include <CoreFoundation/CoreFoundation.h> // CoreFoundation框架头文件 #include <stdio.h> // 标准输入输出 #include…...

编程日记 2025/8/11 15:07:55

Android不能下载Gradle，解决方法Could not install Gradle distribution from.......

外网下载速度太慢导致失败，换成国内镜像，可加速下载： 官网地址：https://services.gradle.org/distributions/ 腾讯云镜像 Gradle下载地址：https://mirrors.cloud.tencent.com/gradle/ 阿里云镜像 Gradle下载地址&…...

编程日记 2025/8/5 16:54:56

树状数组的操作问题--Python

树状数组的操作问题一、问题引入二、解题步骤1.思维导图2.解题步骤三、代码实现1.代码2.复杂度分析四、个人总结一、问题引入请编写程序，实现树状数组区间求前缀和、单点修改的操作。输入格式： 输入首先给出一个正整数 n（2≤n<10^…...

编程日记 2025/8/5 16:54:54

FEKO许可限制

随着科技的飞速发展，电磁仿真软件在多个领域发挥着越来越重要的作用。FEKO作为一款业界领先的电磁仿真软件，广泛应用于通信、雷达、航空航天、电子对抗等领域。然而，为了确保软件使用的合规性与高效性，FEKO设定了相应的许可限制。…...

编程日记 2025/8/5 16:54:52

第5章深度学习和卷积神经网络

深度学习是人工智能的一种实现方法。本章我们将考察作为深度学习的代表的卷积神经网络的数学结构。 5-1小恶魔来讲解卷积神经网络的结构深度学习是重叠了很多层的隐藏层（中间层）的神经网络。这样的神经网络使隐藏层具有一定的结构，从而更加…...

编程日记 2025/8/5 16:54:49

window 显示驱动开发-处理内存段(一)

视频内存管理器 (VidMm) 负责管理 GPU 的地址空间。在此之前，内核模式显示微型端口驱动程序 (KMD) 必须通过使用内存段将 GPU 的地址空间描述为 VidMm。 KMD 创建内存段以概括和虚拟化视频内存资源。它可以根据硬件支持的存储器类型（例如，…...

编程日记 2025/8/12 8:24:10

.h文件 protected: void saveAxisRange();void wheelEvent(QWheelEvent *event) override;void mousePressEvent(QMouseEvent *event) override;void mouseMoveEvent(QMouseEvent *event) override;void mouseReleaseEvent(QMouseEvent *event) override;private:QPoint m_…...

编程日记 2025/8/12 2:47:55

龙虎榜——20250508

上证假阴包阳的走势，量能较昨天有萎缩，在前期压力附近~ 深证这两天假阴包阳的走势，60分钟未突破昨天的高点，缺口也未补等待明天的选择~ 2025年5月8日龙虎榜行业方向分析一、核心行业方向军工航天（政策催化地缘驱动…...

编程日记 2025/8/5 16:54:43

SEMI E40-0200 STANDARD FOR PROCESSING MANAGEMENT(加工管理标准)-(三)完结

10 消息服务详情 10.1 本章定义实现加工管理概念所需的消息服务。这些消息已在第8.1节中初步介绍。协议无关性：这些服务独立于所使用的消息协议，可映射至SECS-II（SEMI E5）或其他类似协议。 10.1.1 消息服务定义内容包括&#…...

编程日记 2025/7/1 18:11:18

算法竞赛进阶指南.次小生成树

目录题目算法标签: K r u s k a l Kruskal Kruskal, M S T MST MST, 倍增优化, l c a lca lca思路代码*警示后人题目 356. 次小生成树算法标签: K r u s k a l Kruskal Kruskal, M S T MST MST, 倍增优化, l c a lca lca 思路因为要求的是严格次小生成树, 假设最…...

编程日记 2025/7/26 7:56:19

ElasticSearch基本概念

为什么要使用ElasticSearch Elasticsearch 主要为系统提供搜索功能， MySQL 这类传统关系型数据库主要为系统提供数据存储功能 Elasticsearch 的优势 ： 支持多种数据类型，非结构化，数值，地理信息。简单的 RESTful AP…...

编程日记 2025/8/11 16:01:55

普通IT的股票交易成长史--20250508晚复盘

声明：本文章的内容只是自己学习的总结，不构成投资建议。价格行为理论学习可参考简介中的几位，感谢他们的无私奉献。送给自己的话： 仓位就是生命，绝对不能满仓！！！！&…...

编程日记 2025/6/29 4:58:51

SAP 交货单行项目含税金额计算报cx_sy_zerodivide处理

业务背景：SAP交货单只有数量，没有金额，所以开发报表从订单的价格按数量计算交货单的金额。用户反馈近期报表出现异常： ****2012/12/12 清风雅雨规格变更 Chg 修改开始 ** 修改原因:由于余数为0时，可能会报错溢出。…...

编程日记 2025/6/29 2:33:21

基于译码器和锁存器的运行逻辑的简易算法

74HC138 def decoder_74hc138(E1, E2, E3, A0, A1, A2):output [1] * 8 # 默认全高电平# 检查使能条件：E1和E2低电平，E3高电平if E1 0 and E2 0 and E3 1:# 计算地址索引（A2为高位，A0为低位）index (A2 <<…...

编程日记 2025/8/8 7:33:10

用电信息采集中的天线种类

一、4G/3G/2G 频率范围“698-960/1710-2700MHz 输入阻抗：50Ω 电压驻波比：<3.0 增益：5dBi/7dBi/9dBi； 824MHz～960MHz频段本体增益≥3.0dBi 1710MHz～2700MHz频段本体增益≥5.0dBi 天线长度225*30mm…...

编程日记 2025/6/29 4:08:35

2025年4月AI算力领域热点事件全景报告

目录一、政策要闻 01欧洲央行召开会议讨论AI影响 02中国生成式AI备案制落地 03多国政府公布AI基础设施投资计划 04香港发布生成式AI技术及应用指引 05美国出口管制政策影响 06欧盟《人工智能法案》落地 07中国 “东数西算” 工程深化 08美国CHIPS法案争议 09中国发…...

编程日记 2025/8/7 8:35:39

数据结构-非线性结构-二叉树

概述 /** * 术语 * 根节点（root node）：位于二叉树顶层的节点，没有父节点。 * 叶节点（leaf node）：没有子节点的节点，其两个指针均指向 None 。 * 边（edge）&…...

编程日记 2025/8/11 20:59:15

Android开发补充内容

Android开发补充内容 fragment通信生命周期 Okhttp基本使用websocket Retrofit基本使用 RxJava基本使用定时任务 Hilt基本使用进阶使用例子组件库Material ComponentsJetpack Compose fragment 通信 fragment于activity通信的一种原生方法是使用Bundle： Bundle …...

编程日记 2025/8/8 5:09:01

Go主要里程碑版本及其新增特性

Go 语言自 2009 年诞生以来，经历了多个里程碑版本的迭代，每个版本都引入了重要特性和改进。以下是 Go 语言的主要版本及其关键特性： Go 1.0 (2012-03-28) 首个稳定版，承诺向后兼容（Go 1 兼容性保证）。核心…...

编程日记 2025/6/29 3:55:47

Cut video with ffmpeg

To cut a snippet from a video based on timestamps like 02:52 to 04:20, the best tool is FFmpeg, which is fast, free, and doesn’t re-encode the video (so it keeps original quality if you don’t want re-encoding). Here’s the command you can run in a termi…...

编程日记 2025/8/8 17:27:06