在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 Future 类及代码示例

《深入解析JavaFuture类及代码示例》JavaFuture是java.util.concurrent包中用于表示异步计算结果的核心接口,下面给大家介绍JavaFuture类及实例代码,感兴... 目录一、Future 类概述二、核心工作机制代码示例执行流程2. 状态机模型3. 核心方法解析行为总结:三

python获取cmd环境变量值的实现代码

《python获取cmd环境变量值的实现代码》:本文主要介绍在Python中获取命令行(cmd)环境变量的值,可以使用标准库中的os模块,需要的朋友可以参考下... 前言全局说明在执行py过程中,总要使用到系统环境变量一、说明1.1 环境:Windows 11 家庭版 24H2 26100.4061

如何搭建并配置HTTPD文件服务及访问权限控制

《如何搭建并配置HTTPD文件服务及访问权限控制》:本文主要介绍如何搭建并配置HTTPD文件服务及访问权限控制的问题,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录一、安装HTTPD服务二、HTTPD服务目录结构三、配置修改四、服务启动五、基于用户访问权限控制六、

pandas实现数据concat拼接的示例代码

《pandas实现数据concat拼接的示例代码》pandas.concat用于合并DataFrame或Series,本文主要介绍了pandas实现数据concat拼接的示例代码,具有一定的参考价值,... 目录语法示例:使用pandas.concat合并数据默认的concat:参数axis=0,join=

C#代码实现解析WTGPS和BD数据

《C#代码实现解析WTGPS和BD数据》在现代的导航与定位应用中,准确解析GPS和北斗(BD)等卫星定位数据至关重要,本文将使用C#语言实现解析WTGPS和BD数据,需要的可以了解下... 目录一、代码结构概览1. 核心解析方法2. 位置信息解析3. 经纬度转换方法4. 日期和时间戳解析5. 辅助方法二、L

Python使用Code2flow将代码转化为流程图的操作教程

《Python使用Code2flow将代码转化为流程图的操作教程》Code2flow是一款开源工具,能够将代码自动转换为流程图,该工具对于代码审查、调试和理解大型代码库非常有用,在这篇博客中,我们将深... 目录引言1nVflRA、为什么选择 Code2flow?2、安装 Code2flow3、基本功能演示

IIS 7.0 及更高版本中的 FTP 状态代码

《IIS7.0及更高版本中的FTP状态代码》本文介绍IIS7.0中的FTP状态代码,方便大家在使用iis中发现ftp的问题... 简介尝试使用 FTP 访问运行 Internet Information Services (IIS) 7.0 或更高版本的服务器上的内容时,IIS 将返回指示响应状态的数字代

MySQL启动报错:InnoDB表空间丢失问题及解决方法

《MySQL启动报错:InnoDB表空间丢失问题及解决方法》在启动MySQL时,遇到了InnoDB:Tablespace5975wasnotfound,该错误表明MySQL在启动过程中无法找到指定的s... 目录mysql 启动报错:InnoDB 表空间丢失问题及解决方法错误分析解决方案1. 启用 inno

MySQL 添加索引5种方式示例详解(实用sql代码)

《MySQL添加索引5种方式示例详解(实用sql代码)》在MySQL数据库中添加索引可以帮助提高查询性能,尤其是在数据量大的表中,下面给大家分享MySQL添加索引5种方式示例详解(实用sql代码),... 在mysql数据库中添加索引可以帮助提高查询性能,尤其是在数据量大的表中。索引可以在创建表时定义,也可

使用C#删除Excel表格中的重复行数据的代码详解

《使用C#删除Excel表格中的重复行数据的代码详解》重复行是指在Excel表格中完全相同的多行数据,删除这些重复行至关重要,因为它们不仅会干扰数据分析,还可能导致错误的决策和结论,所以本文给大家介绍... 目录简介使用工具C# 删除Excel工作表中的重复行语法工作原理实现代码C# 删除指定Excel单元