811_AUTOSAR_TPS_BSWModuleDescriptionTemplate7_资源消耗3_静态存储分配以及动态存储中的栈

我就是我 2022-09-12 04:56 31阅读 0赞

全部学习汇总： [GitHub - GreyZhang/hack\_autosar: learning autosar documents, aha, very hard!][GitHub - GreyZhang_hack_autosar_ learning autosar documents_ aha_ very hard]

继续学习AUTOSAR的文档，看一下《AUTOSAR\_TPS\_BSWModuleDescriptionTemplate》。

![watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBAZ3JleV9jc2Ru_size_20_color_FFFFFF_t_70_g_se_x_16][]

存储段类型的语义

sectionType 必须与封闭的 SwAddrMethod 的用法在语义上兼容，这尤其意味着如果 SwAddrMethod 由 ExecutableEntity-s 关联，则 sectionType 必须可用作代码段，如果它由 SwDataDefProps 关联，则 sectionType 必须可用作数据段。

如果 sectionType 的值为 userDefined，则需要额外的文档来支持集成商从 ECU 中选择合适的内存段。

注意：不推荐使用 userDefined 节类型。 取而代之的是，用户定义的选择标准应由属性 SwAddrMethod.option 给出。 这允许在集成期间更正式地支持选择内存段。  （见\[23\]）。

AUTOSAR 预定义了几个可用于 SwAddrMethod.option 和 MemorySection.option 的值，请参见 \[6\] 中的 \[TPS\_SWCT\_01456\]。 除此之外，还标准化了以下两个值：

![watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBAZ3JleV9jc2Ru_size_20_color_FFFFFF_t_70_g_se_x_16 1][]

内联代码部分的选项

对于代码段，MemorySection.option 的以下两个值是标准化的（相互独占使用）：

• INLINE - 代码段是用编译器抽象宏 INLINE 声明的。

• LOCAL\_INLINE - 使用编译器抽象宏 LOCAL\_INLINE 声明代码部分 在这两种情况下，内联扩展都取决于这些宏的编译器特定实现。 根据这一点，代码部分要么对应于内存中的实际部分，要么被放入调用者的部分中。 有关更多详细信息，请参见 \[24\]。

批注：结合我自己的经验，有点没能够考虑明白这两部分是怎样的一个用法。

![watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBAZ3JleV9jc2Ru_size_20_color_FFFFFF_t_70_g_se_x_16 2][]

指向寻址方法的明确链接

如果MemorySection.swAddrMethod表示数据部分，则不得定义 MemorySection.executableEntity。MemorySection.executableEntity 不得引用与 MemorySection.swAddrMethod 链接到不同 SwAddrMethod 的 ExecutableEntity。

![watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBAZ3JleV9jc2Ru_size_20_color_FFFFFF_t_70_g_se_x_16 3][]

MemorySection.executableEntity 的使用

通常不需要为代码段定义关系 MemorySection.executableEntity，因为通过 MemorySection 和 ExecutableEntity 引用的 SwAddrMethod 可以充分确定这种关系。 但是，如果使用 MemorySection.prefix 属性定义了显式名称空间，并且如果 MemorySection.sectionType 定义了代码段，则必须通过 MemorySection.executableEntity 显式分配在此段中运行的所有 ExecutableEntity-s。 请注意，这不是可以在 ARXML 级别检查的约束。

本章中描述的元类还用于预定义每个内存部分的所谓编译器抽象内存类，以便宏 memclass 可以作为 AUTOSAR 编译器抽象头 Compiler\_Cfg.h 的一部分生成：

![watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBAZ3JleV9jc2Ru_size_20_color_FFFFFF_t_70_g_se_x_16 4][]

用于编译器抽象的内存类

作为默认规则，基本软件的 memclass 符号使用与关联内存部分相同的方式定义的前缀加上各个 MemorySections 引用的 SwAddrMethod.shortName 来构造。 但是，可以取代名称的第二部分（在前缀之后）的规则，并通过值 MemorySection.memClassSymbol 定义一个单独的 memclass 符号。 这是诸如如果许多小的标注代码部分共享一个公共 SwAddrMethod，则很有用。

对于应用软件，memclass 符号总是由 AtomicSwComponentType.shortName 加上各个 MemorySections 引用的 SwAddrMethod.shortName 构成。

详细规则参见\[24\]、\[SWS\_COMPILER\_00040\]。

![watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBAZ3JleV9jc2Ru_size_20_color_FFFFFF_t_70_g_se_x_16 5][]

9.4 动态内存需求

9.4.1 概述

动态内存主要分为栈和堆两大类。虽然堆栈几乎总是在嵌入式软件中使用，但由于其实现的复杂性和碎片问题，尽可能避免使用堆。 软件的动态内存消耗与静态内存消耗有很大不同。 静态内存消耗量可以从编译器中检索，并且仅取决于所使用的编译器和处理器以及实例数量。

动态内存消耗在很大程度上取决于正在执行的实际代码，而后者又取决于软件的状态和参数。 随着递归概念的引入，不确定性甚至更高。 因此，动态内存消耗的方法与第 9.5 章中介绍的执行时间描述更相关。

![watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBAZ3JleV9jc2Ru_size_20_color_FFFFFF_t_70_g_se_x_16 6][]

9.4.2 栈

栈是内存中的一块区域，用于存储函数调用的参数、局部变量等临时信息。 因此，栈使用高度依赖于调用层次结构和函数调用的嵌套级别。 栈以 LIFO（后进先出）方式组织。 所以每次调用一个函数都会占用必要的栈内存。 离开函数后，相关的内存区域也被再次释放，可用于下一个函数调用。 在不相互中断的任务中，碎片对于堆栈来说不是问题。 从软件的角度来看，只有可用的堆栈内存量是相关的。 但是，在一个并发任务环境中可以有多个堆栈。 请注意，定义堆栈数量不在模块或组件的范围内，只能给出已使用的堆栈内存量。

可以使用不同的机制来描述软件的堆栈内存需求。可以计算、测量或估计所需的堆栈大小。 如图 9.3 所示。

![watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBAZ3JleV9jc2Ru_size_20_color_FFFFFF_t_70_g_se_x_16 7][]

给定的栈内存消耗取决于 ECU、软件上下文，也可能取决于硬件配置。 软件上下文和硬件配置描述了收集给定堆栈使用情况的软件和硬件状态。 因此，对于每个给定的堆栈内存消耗，必须提供这些环境描述。

上面的表格描述了一个栈的使用相关信息。

![watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBAZ3JleV9jc2Ru_size_20_color_FFFFFF_t_70_g_se_x_16 8][]

上面两个表格分别是最坏情况下的栈使用以及可测量的栈应用。

![watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBAZ3JleV9jc2Ru_size_20_color_FFFFFF_t_70_g_se_x_16 9][]

可测量的堆栈使用

MeasuredStackUsage 的属性值必须满足： minimumMemoryConsumption <= averageMemoryConsumption <= maximumMemoryConsumption

疑问：按理说，只要不是出故障，上面的条件应该总是成立才对吧？

这一次，看完了静态存储分配的一些信息之后，又开了动态存储中的栈。基本都是基础特征的讲解，理解相对容易。

[GitHub - GreyZhang_hack_autosar_ learning autosar documents_ aha_ very hard]: https://github.com/GreyZhang/hack_autosar
[watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBAZ3JleV9jc2Ru_size_20_color_FFFFFF_t_70_g_se_x_16]: /images/20220828/a1797525eb88431fbd641fa9803b67f3.png
[watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBAZ3JleV9jc2Ru_size_20_color_FFFFFF_t_70_g_se_x_16 1]: /images/20220828/9ab09921c0024980b54df6c3aaa59354.png
[watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBAZ3JleV9jc2Ru_size_20_color_FFFFFF_t_70_g_se_x_16 2]: /images/20220828/8ac109dbff854f17985c6a5ad5b7d2db.png
[watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBAZ3JleV9jc2Ru_size_20_color_FFFFFF_t_70_g_se_x_16 3]: /images/20220828/c48262039931436dbfc924fc76467cf1.png
[watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBAZ3JleV9jc2Ru_size_20_color_FFFFFF_t_70_g_se_x_16 4]: /images/20220828/ff5f596004ea4ff19ba1f78c679e4f24.png
[watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBAZ3JleV9jc2Ru_size_20_color_FFFFFF_t_70_g_se_x_16 5]: /images/20220828/a86f71ebef854c57ba6783a9a4bd2d99.png
[watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBAZ3JleV9jc2Ru_size_20_color_FFFFFF_t_70_g_se_x_16 6]: /images/20220828/37ce46c4b88048ce92e7b58175f24c27.png
[watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBAZ3JleV9jc2Ru_size_20_color_FFFFFF_t_70_g_se_x_16 7]: /images/20220828/9df0885ab00640ed996df0d8f2795064.png
[watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBAZ3JleV9jc2Ru_size_20_color_FFFFFF_t_70_g_se_x_16 8]: /images/20220828/7638ef94ffa544d3857fd0733f8aee71.png
[watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBAZ3JleV9jc2Ru_size_20_color_FFFFFF_t_70_g_se_x_16 9]: /images/20220828/572642f67caf47329f0828546acb9257.png