在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中调用数据库存储过程的示例代码

《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

springboot项目打jar制作成镜像并指定配置文件位置方式

《springboot项目打jar制作成镜像并指定配置文件位置方式》:本文主要介绍springboot项目打jar制作成镜像并指定配置文件位置方式,具有很好的参考价值,希望对大家有所帮助,如有错误... 目录一、上传jar到服务器二、编写dockerfile三、新建对应配置文件所存放的数据卷目录四、将配置文

Java实现自定义table宽高的示例代码

《Java实现自定义table宽高的示例代码》在桌面应用、管理系统乃至报表工具中,表格(JTable)作为最常用的数据展示组件,不仅承载对数据的增删改查,还需要配合布局与视觉需求,而JavaSwing... 目录一、项目背景详细介绍二、项目需求详细介绍三、相关技术详细介绍四、实现思路详细介绍五、完整实现代码

Go语言代码格式化的技巧分享

《Go语言代码格式化的技巧分享》在Go语言的开发过程中,代码格式化是一个看似细微却至关重要的环节,良好的代码格式化不仅能提升代码的可读性,还能促进团队协作,减少因代码风格差异引发的问题,Go在代码格式... 目录一、Go 语言代码格式化的重要性二、Go 语言代码格式化工具:gofmt 与 go fmt(一)

python3如何找到字典的下标index、获取list中指定元素的位置索引

《python3如何找到字典的下标index、获取list中指定元素的位置索引》:本文主要介绍python3如何找到字典的下标index、获取list中指定元素的位置索引问题,具有很好的参考价值,... 目录enumerate()找到字典的下标 index获取list中指定元素的位置索引总结enumerat

前端如何通过nginx访问本地端口

《前端如何通过nginx访问本地端口》:本文主要介绍前端如何通过nginx访问本地端口的问题,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录一、nginx安装1、下载(1)下载地址(2)系统选择(3)版本选择2、安装部署(1)解压(2)配置文件修改(3)启动(4)