拆分静态链接ELF文件的节是否会影响程序性能？

我正在研究拆分静态链接ELF文件的节是否会影响性能：现有多个静态链接库（lib1、lib2、lib3、lib4），未采用常规的按类型聚合节的布局，而是按库拆分各类节。

原布局中链接脚本规定所有节按类型聚合，修改后的链接脚本为每个库创建独立节，示例如下：

.text.lib1   : { lib1.o(.text); }
.rodata.lib1 : { lib1.o(.rodata); }
.data.lib1   : { lib1.o(.data); }
.bss.lib1    : { lib1.o(.bss); }
...
.text.lib4   : { lib4.o(.text); }
.rodata.lib4 : { lib4.o(.rodata); }
.data.lib4   : { lib4.o(.data); }
.bss.lib4    : { lib4.o(.bss); }

修改后ELF文件的节/段信息如下：

Section Headers:
  [ 1] .text.lib1        PROGBITS        0000000000400000 001000 0010dc 00  AX  0   0  1
  [ 2] .rodata.lib1      PROGBITS        00000000004010e0 0020e0 00011d 00   A  0   0 32
  [ 3] .data.lib1        PROGBITS        0000000000401200 002200 000021 00  WA  0   0 16
  [ 4] .bss.lib1         NOBITS          0000000000401240 002221 000052 00  WA  0   0 32
  [ 5] .text.lib2        PROGBITS        0000000000402000 003000 0041a1 00  AX  0   0  1
  [ 6] .rodata.lib2      PROGBITS        00000000004061c0 0071c0 000378 00   A  0   0 32
  ...
Segment Sections...
   00
   01     .text.lib1 .rodata.lib1 .data.lib1 .bss.lib1 (RWE)
   02     .text.lib2 .rodata.lib2 .data.lib2 .bss.lib2 (RWE)
   03     .text.lib3 .rodata.lib3 .data.lib3 .bss.lib3 (RWE)
   04     .text.lib4 .rodata.lib4 .data.lib4 .bss.lib4 (RWE)
   05     .text.main .rodata.main .bss.main (RWE)

1. 拆分布局对性能的影响 #

分页层面 #

• 每个库的所有节被打包进一个RWE权限的段，若库的总大小不足一页，会造成内存页空间浪费，增加整体内存占用。
• 更多独立段会生成更多页表项，消耗TLB（Translation Lookaside Buffer）资源，导致TLB miss概率上升——TLB用于加速虚拟地址到物理地址的转换，miss时需遍历多级页表，带来额外延迟。
• 段权限设置冗余：原本.text只需RX权限、.rodata只需R权限、.data/.bss只需RW权限，现在统一为RWE，虽不直接影响性能，但会引入安全隐患。

缓存局部性层面 #

• 优势场景：若程序运行时集中调用单个库的函数并访问其关联数据，同库的代码、常量、变量在虚拟/物理地址上连续分布，能提高缓存命中率——缓存加载同库内容时，可一次性覆盖更多常用数据，减少缓存miss。
• 劣势场景：若程序频繁交叉调用多个库的函数，按库分组会导致缓存频繁加载不同库的内容，引发缓存颠簸，命中率大幅下降；而按类型聚合时，所有代码集中在.text段，交叉调用时缓存无需频繁切换不同类型的内存块。

内存访问模式层面 #

• 同库的代码与数据地址连续，函数访问自身库的全局变量/常量时，内存访问路径更短，CPU预取器可更高效地预测后续访问，减少内存等待时间。
• 按类型聚合时，代码段与数据段地址空间分离，跨段访问的延迟略高，但现代CPU的统一缓存架构会弱化这一差异。

2. 按库分组与按类型分组的权衡 #

性能与内存开销 #

• 按库分组：单库密集访问时性能提升明显，但多库交叉访问时性能下降；内存页浪费更多，整体内存占用更高。
• 按类型聚合：内存利用率更高，TLB资源消耗更少；多库交叉访问时缓存稳定性更好，但单库密集访问时局部性不如按库分组。

安全性 #

• 按库分组的段采用统一RWE权限，破坏了内存安全的最小权限原则，代码段可写、只读数据段可写，易被恶意利用。
• 按类型聚合可将不同权限的节分配到对应段（如.text为RX、.rodata为R、.data为RW），安全性更高。

可维护性与调试 #

• 按库分组：链接脚本需为每个库单独配置，新增或删除库时需修改脚本；但节命名清晰，调试时可快速定位到对应库的代码/数据。
• 按类型聚合：链接脚本通用，无需随库的增减修改；但调试时需依赖符号表区分不同库的内容，定位成本稍高。

内容的提问来源于stack exchange，提问作者Khrn