MicroBlaze MCS 嵌入式程序空间不足导致异常

kennencool

已于 2023-08-05 21:48:39 修改

阅读量613

点赞数 2

分类专栏： FPGA 嵌入式文章标签： fpga开发嵌入式硬件

于 2023-08-05 21:45:31 首次发布

本文链接：https://blog.csdn.net/qq_43581650/article/details/132121248

版权

FPGA 同时被 2 个专栏收录

3 篇文章 0 订阅

订阅专栏

嵌入式

1 篇文章 0 订阅

订阅专栏

项目场景：

项目场景：在 FPGA 开发中需要对一系列的外部设备进行统一管理，使用到了 MicroBlaze MCS IP 核作为嵌入式系统实现需求。MicroBlaze MCS IP 核是一种轻量级的软核处理器，它的资源和性能相对有限。在 Xilinx SDK 中进行嵌入式程序开发的过程中需要注意空间大小的问题。

问题描述

下面这段代码来自 Xilinx SDK 中编写的嵌入式程序，已知 SelfTest_SSX30D() 和 SelfTest_SSX0804() 函数中均没有对变量 GlbSelfTestRet 进行修改。在 Xilinx SDK 调试环境中，我单步跟踪发现上述两个函数的执行结果均为正确，也就是说 GlbSelfTestRet 的值没有被修改，仍然是 0。但是当进行 if 判断时，GlbSelfTestRet 的值不为 0，程序退出。

注：如果没有使用过 Xilinx SDK 对嵌入式程序进行上板调试，可以参考我的另一篇播客Xilinx SDK 基于 MicroBlaze MCS IP 核的嵌入式开发与调试_kennencool的博客-CSDN博客

UINT8 GlbSelfTestRet = 0;

int main()
{
    // 其他部分

    GlbSelfTestRet = 0;

    if( (dwRet = SelfTest_SSX30D()) != SDF_OK )
   	    GlbSelfTestRet |= 2;
    if( (dwRet = SelfTest_SSX0804()) != SDF_OK )
	    GlbSelfTestRet |= 1;

    if(GlbSelfTestRet)
        return 0;

    // 其他部分
}

原因分析：

首先我们需要注意到 GlbSelfTestRet 是一个全局变量，在 C 语言中，全局变量通常存放在数据段中。因此只有当程序中发生了内存越界访问（而非内存泄漏），即访问了超出分配内存空间的位置，才可能会导致数据段中变量 GlbSelfTestRet 的值被错误地修改。

注：内存泄漏通常不会直接导致数据段中的数据被修改。内存泄漏指的是在程序中动态分配了内存（通常是使用 malloc 或类似的函数），但在不再需要这些内存时没有正确地释放它们，导致这些内存无法被再次使用，从而造成内存资源的浪费。

使用 Xilinx SDK 中自带的 Memory Monitor 工具对变量 GlbSelfTestRet 的存储空间进行监控：

注：Xilinx SDK 中自带的 Memory Monitor 是一个内存监视工具，它可以帮助开发者查看嵌入式系统中内存的使用情况，并检测诸如内存越界访问，内存泄漏等问题。

一监控全局变量 GlbSelfTestRet 的地址空间

1.1 执行 GlbSelfTestRet = 0;

将鼠标悬停在变量 GlbSelfTestRet 上，获取内存 Address: 0xc93c。

1.2 对变量 GlbSelfTestRet 的内存添加监控

①在 Xilinx SDK 的菜单栏，点击 Window -> show view -> other：

在 Debug 目录下找到 Memory，点击 OK。

②点击 Memory 窗口下 Monitors 旁边的绿色加号，输入地址：

此时数据段中的数据情况：

1.3 执行 if( (dwRet = SelfTest_SSX30D()) != SDF_OK )

可以看到出现了红色数据，说明出现了内存越界访问。

4、执行 if( (dwRet = SelfTest_SSX0804()) != SDF_OK )

不出所料，存放 GlbSelfTestRet 的地址空间中的值被隐式地修改了。

二监控 Stack 空间、Heap 空间、数据段空间

2.1 在 Xilinx SDK 的项目下新增编译链接命令，查看变量 GlbSelfTestRet 存放在哪个数据段

①右键项目点击 properties，依次点击 C/C++ Build -> Settings -> MicroBlaze gcc linker -> Inferred Options -> Software Platform，点击绿色加号添加参数 “-Wl,-Map=output.map”

注：在 .map 文件中（链接脚本生成的映射文件），可以找到全局变量的存放地址和所在段的信息。

②右键重新 Build 项目，在 src 下生成一个 output.map 文件。

全局搜索发现变量 GlbSelfTestRet 在 bss 段。

2.2 根据 .ld 链接文件获取 Stack、Heap 以及 bss 段的开始地址和结束地址标记

注：

①Stack 的地址空间标记

.stack (NOLOAD) : {
   _stack_end = .;
   . += _STACK_SIZE;
   . = ALIGN(8);
   _stack = .;
   __stack = _stack;
} > ilmb_cntlr_Mem_dlmb_cntlr_Mem

起始地址标记：__stack，结束地址标记：_stack_end。

②Heap 的地址空间标记

.heap (NOLOAD) : {
   . = ALIGN(8);
   _heap = .;
   _heap_start = .;
   . += _HEAP_SIZE;
   _heap_end = .;
} > ilmb_cntlr_Mem_dlmb_cntlr_Mem

起始地址标记：_heap_start，结束地址标记：_heap_end。

③bss 段的地址空间标记

.bss (NOLOAD) : {
   . = ALIGN(4);
   __bss_start = .;
   *(.bss)
   *(.bss.*)
   *(.gnu.linkonce.b.*)
   *(COMMON)
   . = ALIGN(4);
   __bss_end = .;
} > ilmb_cntlr_Mem_dlmb_cntlr_Mem

起始地址标记：__bss_start，结束地址标记：__bss_end。

2.3 在嵌入式程序中添加代码获取运行时各空间的实际地址

extern uint8_t _heap_start;
extern uint8_t _heap_end;
extern uint8_t __stack;
extern uint8_t _stack_end;
extern uint8_t __bss_start;
extern uint8_t __bss_end;

int main()
{
	// 其他操作

	uint8_t* heap_start_addr = &_heap_start;
	uint8_t* heap_end_addr = &_heap_end;
	uint8_t* stack_start_addr = &__stack;
	uint8_t* stack_end_addr = &_stack_end;
	uint8_t *__bss_start_addr = &__bss_start;
	uint8_t *__bss_end_addr = &__bss_end;
    
    // 其他操作
}

获取情况：

_heap_start:0xd040

_heap_end:0xd840

__stack:0xdc40

_stack_end:0xd840

__bss_start:0xc928

__bss_end:0xd040

画图表示：