在C代码中找到栈顶的位置并访问栈空间

2023-10-26 17:45

本文主要是介绍在C代码中找到栈顶的位置并访问栈空间,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

任务目标

在主循环中写一个任务,检查栈是否溢出。

思路

先找到任务的栈顶位置。在初始化时在栈顶位置写一个标志,运行过程中及时检查该标志是否被改写。如果标志位改变了,则判断为栈溢出。

问题

在RTOS中,任务的栈空间是自己分配的,可以知道栈顶的位置。

在不使用RTOS时,栈的大小是在startup_xxxx.s中定义。栈空间的位置是由编译器分配的。

那么,如果在C代码中访问这个位置呢?

测试环境

KEIL-MDK V5.35

新建一个工程。

默认编译器版本V5.

不使用微库MicroLIB。

默认分配的栈空间的大小为0x0400 = 1KB

分析过程

编译完成后,查看编译结果。

查看map文件:

可以得到以下信息:

全局变量从0x2000 0000开始分配。使用了不到256个字节(0x0100)。

堆空间为0x2000 0100 ~ 0x2000 0500,共1024个字节(0x0400)。

栈空间为0x2000 0500 ~ 0x2000 0900,共1024个字节(0x0400)。

使用仿真器调试运行,刚进入main函数时,查看寄存器:

可以看到,栈顶位置确实是在0x2000 0900。

方案一

在此时,使用__get_MSP()函数,可以得到当前的栈指针,再减去栈的大小(是减,不是加,因为栈是向下生长的)

	#define STACK_SIZE				0x0400volatile UINT32 *pStack;pStack = (UINT32 *)(__get_MSP() - STACK_SIZE);

该方案的缺点时,当修改栈的大小时,需要手动更改宏定义。

方案二

仔细查看map文件,在Image Symbol Table节中,有下列    Global Symbols :

这里的 STACK $ $ Base 和 STACK $ $ Limit 是指示了栈空间的起始位置和结束位置。

这个符号可以直接访问的。开启调试环境,在Command命令窗口中,输入&STACK$$Base即可看到其值。

注:如果输入STACK$$Base,则得到的是地址为0x2000 0500处的存储器的值。

可以使用以下方法来获取栈顶位置:

extern uint32_t STACK$$Base;static UINT32 *GetStackTop(void)
{return &STACK$$Base;}

甚至,要在栈顶位置写入标志字,可以直接操作:

		STACK$$Base = 0x11223344;

结果为:

方案三

如果使能了微库(MicroLib),还可以访问.s文件中定义的__heap_limit符号。该符号代表堆空间的结束位置,也就是栈顶的位置。

参考代码:

extern const uint32_t __initial_sp;
const uint32_t stack_start_addr = (uint32_t)&__initial_sp;        //The value of stack_start_addr represents the start/top address of the stack

参考文档:

How to know the start and end address of the system stack memory regionicon-default.png?t=N7T8https://developer.arm.com/documentation/ka005206/1-0/?lang=en

 

Arm Compiler for Embedded Arm C and C++ Libraries and Floating-Point Support User Guideicon-default.png?t=N7T8https://developer.arm.com/documentation/100073/0621/The-Arm-C-and-C---Libraries/Stack-and-heap-memory-allocation-and-the-Arm-C-and-C---libraries/Stack-pointer-initialization-and-heap-bounds?lang=en

这篇关于在C代码中找到栈顶的位置并访问栈空间的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/285724

相关文章

Python使用Tenacity一行代码实现自动重试详解

《Python使用Tenacity一行代码实现自动重试详解》tenacity是一个专为Python设计的通用重试库,它的核心理念就是用简单、清晰的方式,为任何可能失败的操作添加重试能力,下面我们就来看... 目录一切始于一个简单的 API 调用Tenacity 入门:一行代码实现优雅重试精细控制:让重试按我

WinForm跨线程访问UI及UI卡死的解决方案

《WinForm跨线程访问UI及UI卡死的解决方案》在WinForm开发过程中,跨线程访问UI控件和界面卡死是常见的技术难题,由于Windows窗体应用程序的UI控件默认只能在主线程(UI线程)上操作... 目录前言正文案例1:直接线程操作(无UI访问)案例2:BeginInvoke访问UI(错误用法)案例

Python实现MQTT通信的示例代码

《Python实现MQTT通信的示例代码》本文主要介绍了Python实现MQTT通信的示例代码,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一... 目录1. 安装paho-mqtt库‌2. 搭建MQTT代理服务器(Broker)‌‌3. pytho

MySQL进行数据库审计的详细步骤和示例代码

《MySQL进行数据库审计的详细步骤和示例代码》数据库审计通过触发器、内置功能及第三方工具记录和监控数据库活动,确保安全、完整与合规,Java代码实现自动化日志记录,整合分析系统提升监控效率,本文给大... 目录一、数据库审计的基本概念二、使用触发器进行数据库审计1. 创建审计表2. 创建触发器三、Java

Ubuntu如何分配​​未使用的空间

《Ubuntu如何分配​​未使用的空间》Ubuntu磁盘空间不足,实际未分配空间8.2G因LVM卷组名称格式差异(双破折号误写)导致无法扩展,确认正确卷组名后,使用lvextend和resize2fs... 目录1:原因2:操作3:报错5:解决问题:确认卷组名称​6:再次操作7:验证扩展是否成功8:问题已解

Java中调用数据库存储过程的示例代码

《Java中调用数据库存储过程的示例代码》本文介绍Java通过JDBC调用数据库存储过程的方法,涵盖参数类型、执行步骤及数据库差异,需注意异常处理与资源管理,以优化性能并实现复杂业务逻辑,感兴趣的朋友... 目录一、存储过程概述二、Java调用存储过程的基本javascript步骤三、Java调用存储过程示

Visual Studio 2022 编译C++20代码的图文步骤

《VisualStudio2022编译C++20代码的图文步骤》在VisualStudio中启用C++20import功能,需设置语言标准为ISOC++20,开启扫描源查找模块依赖及实验性标... 默认创建Visual Studio桌面控制台项目代码包含C++20的import方法。右键项目的属性:

MySQL中的InnoDB单表访问过程

《MySQL中的InnoDB单表访问过程》:本文主要介绍MySQL中的InnoDB单表访问过程,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录1、背景2、环境3、访问类型【1】const【2】ref【3】ref_or_null【4】range【5】index【6】

MySQL之InnoDB存储页的独立表空间解读

《MySQL之InnoDB存储页的独立表空间解读》:本文主要介绍MySQL之InnoDB存储页的独立表空间,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录1、背景2、独立表空间【1】表空间大小【2】区【3】组【4】段【5】区的类型【6】XDES Entry区结构【

MySQL数据库的内嵌函数和联合查询实例代码

《MySQL数据库的内嵌函数和联合查询实例代码》联合查询是一种将多个查询结果组合在一起的方法,通常使用UNION、UNIONALL、INTERSECT和EXCEPT关键字,下面:本文主要介绍MyS... 目录一.数据库的内嵌函数1.1聚合函数COUNT([DISTINCT] expr)SUM([DISTIN