在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

相关文章

JAVA项目swing转javafx语法规则以及示例代码

《JAVA项目swing转javafx语法规则以及示例代码》:本文主要介绍JAVA项目swing转javafx语法规则以及示例代码的相关资料,文中详细讲解了主类继承、窗口创建、布局管理、控件替换、... 目录最常用的“一行换一行”速查表(直接全局替换)实际转换示例(JFramejs → JavaFX)迁移建

Go异常处理、泛型和文件操作实例代码

《Go异常处理、泛型和文件操作实例代码》Go语言的异常处理机制与传统的面向对象语言(如Java、C#)所使用的try-catch结构有所不同,它采用了自己独特的设计理念和方法,:本文主要介绍Go异... 目录一:异常处理常见的异常处理向上抛中断程序恢复程序二:泛型泛型函数泛型结构体泛型切片泛型 map三:文

MyBatis中的两种参数传递类型详解(示例代码)

《MyBatis中的两种参数传递类型详解(示例代码)》文章介绍了MyBatis中传递多个参数的两种方式,使用Map和使用@Param注解或封装POJO,Map方式适用于动态、不固定的参数,但可读性和安... 目录✅ android方式一:使用Map<String, Object>✅ 方式二:使用@Param

SpringBoot实现图形验证码的示例代码

《SpringBoot实现图形验证码的示例代码》验证码的实现方式有很多,可以由前端实现,也可以由后端进行实现,也有很多的插件和工具包可以使用,在这里,我们使用Hutool提供的小工具实现,本文介绍Sp... 目录项目创建前端代码实现约定前后端交互接口需求分析接口定义Hutool工具实现服务器端代码引入依赖获

利用Python在万圣节实现比心弹窗告白代码

《利用Python在万圣节实现比心弹窗告白代码》:本文主要介绍关于利用Python在万圣节实现比心弹窗告白代码的相关资料,每个弹窗会显示一条温馨提示,程序通过参数方程绘制爱心形状,并使用多线程技术... 目录前言效果预览要点1. 爱心曲线方程2. 显示温馨弹窗函数(详细拆解)2.1 函数定义和延迟机制2.2

Springmvc常用的注解代码示例

《Springmvc常用的注解代码示例》本文介绍了SpringMVC中常用的控制器和请求映射注解,包括@Controller、@RequestMapping等,以及请求参数绑定注解,如@Request... 目录一、控制器与请求映射注解二、请求参数绑定注解三、其他常用注解(扩展)四、注解使用注意事项一、控制

C++简单日志系统实现代码示例

《C++简单日志系统实现代码示例》日志系统是成熟软件中的一个重要组成部分,其记录软件的使用和运行行为,方便事后进行故障分析、数据统计等,:本文主要介绍C++简单日志系统实现的相关资料,文中通过代码... 目录前言Util.hppLevel.hppLogMsg.hppFormat.hppSink.hppBuf

关于MySQL将表中数据删除后多久空间会被释放出来

《关于MySQL将表中数据删除后多久空间会被释放出来》MySQL删除数据后,空间不会立即释放给操作系统,而是会被标记为“可重用”,以供未来插入新数据时使用,只有满足特定条件时,空间才可能真正返还给操作... 目录一、mysql数据删除与空间管理1.1 理解MySQL数据删除原理1.3 执行SQL1.3 使用

VS Code中的Python代码格式化插件示例讲解

《VSCode中的Python代码格式化插件示例讲解》在Java开发过程中,代码的规范性和可读性至关重要,一个团队中如果每个开发者的代码风格各异,会给代码的维护、审查和协作带来极大的困难,这篇文章主... 目录前言如何安装与配置使用建议与技巧如何选择总结前言在 VS Code 中,有几款非常出色的 pyt

利用Python将PDF文件转换为PNG图片的代码示例

《利用Python将PDF文件转换为PNG图片的代码示例》在日常工作和开发中,我们经常需要处理各种文档格式,PDF作为一种通用且跨平台的文档格式,被广泛应用于合同、报告、电子书等场景,然而,有时我们需... 目录引言为什么选择 python 进行 PDF 转 PNG?Spire.PDF for Python