对齐链接器文件的 .bss 部分中的静态数组

Question

我有一个函数：

void testfunction() {
 static char_t theChar1 = 1;
 static unsigned char smallArray[1];
 static unsigned char largeArray[135];
    ...
}

和一个链接器文件：

  . = ALIGN(4);
  _edata = . ;
  PROVIDE (edata = .);

  .bss (NOLOAD) :
  {
    __bss_start = . ;
    __bss_start__ = . ;
    *(.bss)
    *(.bss.*)
    *(COMMON)
    . = ALIGN(4);
  } > ramEXT

  . = ALIGN(4);
  __bss_end__ = . ;
  PROVIDE (__bss_end = .);

我需要静态数组（.bss 数据）在 4 字节边界上对齐，但数组似乎拒绝这样做。结构和基本类型对齐得很好（参见填充线），但数组全部结束了。这是我的地图文件：

 .data.firstTimeFlag.7295
                0xa000098c        0x4 output/file1.o
 .data.theChar1.5869
                0xa0000990        0x1 output/file2.o
 *fill*         0xa0000991        0x3 00
 .data.debounce
                0xa0000994      0x270 output/file3.o

...

 .bss.initialized.5826
                0xa000812c        0x1 output/file2.o
 *fill*         0xa000812d        0x3 00
 .bss.allocator.5825
                0xa0008130       0x34 output/file2.o
 .bss.largeArray.5869
                0xa0008164       0x87 output/file2.o
 .bss.smallArray.5868
                0xa00081eb        0x1 output/file2.o
 .bss.initialized.5897
                0xa00081ec        0x1 output/file2.o
 *fill*         0xa00081ed        0x3 00
 .bss.allocator.5896

有人知道如何对齐数组吗？

Answer 1

我不确定您是否可以使用链接器脚本来完成此操作，并且我对您的目标感到困惑；附加到每个汇编器声明的对齐属性大概满足 ABI 和机器要求。您是否想提高缓存命中率？补偿源代码中不合格的类型双关？

您可以“轻松”做的一件事是将 gnu 对齐扩展添加到 C 源代码中。

static unsigned char smallArray[1] __attribute__ ((aligned (4)));

更新：嗯，一个大型第三方宏库会生成明显不合格的代码？ （如果它是符合标准的代码，它可能会正常工作。:-) 好吧，这是一个可怕的拼凑，但我几乎可以保证它会“工作”，FSDO“工作”，并且不需要调试宏库..您可以对编译器的汇编语言输出进行后处理。本地静态 bss 符号对布局不敏感，通常在单个 .comm 或 .lcomm 指令中声明，其中最后一个参数可能是对齐量。

这个参数是__attribute__改变的。您可以在构建过程中使用某种脚本来更改它们......

Answer 2

在我开发的系统中，可以控制链接器参数来设置每个部分开头的对齐方式，但不能设置该部分内各个变量的对齐方式。各个变量的对齐方式由编译器根据变量的类型确定。

您也许可以使用某种编译器杂注，当然是特定于平台的。

另一种方法是将数组定义为需要对齐的任何类型的数组，例如 uint32_t。

我很想知道你想要实现什么——如果你有这种对齐要求，听起来好像你正在做一些不寻常且特定于平台的事情。当然，如果可能的话，最好创建独立于平台的代码。