c - 嵌入式:大多数 CRT 启动代码不使用 memcpy/memset——为什么？

Question

上下文:
我正在研究 ARM 目标，更具体地说是 ST 的 Cortex-M4F 微 Controller 。在这样的平台(一般是微 Controller )上工作时，显然没有操作系统；为了获得一个工作的 C/C++“环境”(此外，为了在变量初始化方面符合标准)必须有某种启动代码在重置时运行，在显式调用 main 之前执行所需的最少设置。正如我所暗示的，这样的启动代码必须初始化已初始化的全局变量和静态变量(例如 int foo = 42; 在全局范围内)并将其他全局变量清零(例如 int bar; 在全局范围内)。然后，如有必要，将调用全局“参与者”。

在微 Controller 上，这仅仅意味着启动代码必须为每个初始化的全局变量(全部在“.data”部分)将数据从闪存复制到 ram，并清除其他(全部在“.bss”部分)。因为我使用 GCC，所以我必须提供这样的启动代码，并且我很高兴地分析了几个启动代码(及其关联的链接器脚本!)与我在 Internet 上找到的大量示例捆绑在一起，所有示例都使用我正在开发的相同演示板.

问题:
如前所述，我见过许多启动代码，它们以不同的方式初始化全局变量，其中一些在空间和时间方面比其他方式更有效。但它们都有一些奇怪的共同点:它们没有使用memset 或memcpy，而是求助于手写循环来完成这项工作.因为在可能的情况下使用标准函数对我来说很自然(简单的“DRY 原则”)，所以我尝试了以下方法来代替最初的手写循环:

/* Initialize .data section */
ldr r0, DATA_LOAD
ldr r1, DATA_START
ldr r2, DATA_SIZE
bl  memcpy       /* memcpy(DATA_LOAD, DATA_START, DATA_SIZE); */

/* Initialize .bss section */
ldr r0, BSS_START
mov r1, #0
ldr r2, BSS_SIZE
bl  memset       /* memset(BSS_START, 0, BSS_SIZE); */

...而且效果很好。节省的空间可以忽略不计，但现在显然非常简单。

所以，我考虑了一下，我认为在这种情况下没有理由手写循环:

• memcpy 和 memset 很可能无论如何都链接到可执行文件中，因为程序员会直接使用它，或通过另一个库间接使用它；
• 它更小；
• 速度对于启动代码来说不是一个非常重要的因素，但它可能会更快；
• 几乎不可能出错。

知道为什么人们不依赖于 memcpy 和 memset 作为启动代码吗？

Answer 1

我怀疑启动代码不想对 libc 中的 memcpy 等的实现做出假设。例如，memcpy 的实现可能会使用由 libc 初始化代码设置的全局变量来报告可用的 cpu 扩展，以便在支持此类操作的机器上提供优化的 SIMD 复制。在早期的“crt”启动代码运行时，这样一个全局的存储可能完全未初始化(包含随机垃圾)，在这种情况下调用 memcpy 是危险的。即使使调用对你有效，这也是实现(或者甚至可能是 UB 的不可预测的结果......)使其有效的结果；这可能不是 crt 代码想要依赖的东西。