评估 GNAT 2012 中裸板的内存使用情况

Question

我已经为裸板安装了 GNAT 2012，并调整了为 STM32F4XX（探索板）发布的 sfp 运行时（ravenscar 配置文件），以将其用于 STM32F2XX 微控制器。修改后的 SFP 运行时有效，它已与应用程序、库和一些驱动程序集成：UART、SPI 和 DMA 也是用 Ada 编写的，并且运行良好。

唯一的问题是编译器已经开始抱怨 SRAM。更具体地说，“.bss”部分被“x”个字节溢出。

为了公平比较，我们有一个用 C 语言编写的类似项目（应用程序、库和驱动程序）在同一个微控制器上运行，我们可以看到（内存映射）内存使用量几乎是内存的一半（STM32F2XX：128千字节内存）。所以我想知道 ADA 需要比 C 运行那么多内存是否正常？

提前感谢您的意见！ :)

Answer 1

我在 2014 年底才开始使用 MCU，我有 2014 和 2015 版本。 AdaCoredemo_leds使用了大约15kb BSS，其中10k是主程序的二级栈，在s-taskin.adb，在s-secsta.ads中配置Default_Secondary_Stack_Size的值。

您需要辅助堆栈来处理返回不定类型值的函数（例如，String）。我认为你不太可能需要在你的主程序中这样做，更不可能你需要那么多。

主程序也有一个堆栈大小，4kb 也相当大，在链接描述文件 (_DEFAULT_STACK_SIZE) 中设置：

__stack_start = .;
. += DEFINED (_STACK_SIZE) ? _STACK_SIZE : _DEFAULT_STACK_SIZE;
. = ALIGN(0x8);
__stack_end = .;

我不知道你是怎么设置_STACK_SIZE的。

就在这个堆栈声明之前，有一段中断堆栈：

__interrupt_stack_start = .;
*(.interrupt_stacks)
. = ALIGN(0x8);
__interrupt_stack_end = .;

我不知道中断堆栈是如何设置的，我一直在使用 FreeRTOS 开发自己的 ARTS，但在这里可能会有所收获。

每个任务都有自己的辅助堆栈，作为其主堆栈的一部分分配；比例由Sec_Stack_Percentage 在s-parame.ads 中给出，在我拥有的版本中设置为10%（带有误导性的评论大约为25%！）。

任务默认堆栈大小也在s-parame.ads中设置为4kb。您始终可以使用pragma Storage_Size (ARM J.15.4) 指定您自己的。虽然如果这些是从堆中分配的，你会得到一个运行时错误而不是链接时错误。

GNAT GPL 2015 arm-eabi 版本支持-Og，它提供了良好的空间性能，同时尝试保持变量可用于调试。当然，这主要影响代码大小，因此不太可能帮助您解决数据大小问题。