Wild项目中ELF文件.preinit_array段位置问题分析

问题背景

在Wild项目（一个ELF链接器）中，发现了一个关于.preinit_array段位置的特殊问题。当使用Wild链接器处理包含.preinit_array段的程序时，该段会被放置在.eh_frame和.gcc_except_table之间，这与传统链接器（如GNU ld）的行为不同。

问题表现

通过一个简单的测试程序可以重现这个问题。程序包含：

1. 构造函数和析构函数标记的函数
2. 一个preinit函数
3. 异常处理代码

使用Wild链接后，通过readelf工具查看生成的ELF文件，发现.preinit_array段被放置在.eh_frame_hdr和.gcc_except_table之间，而传统链接器会将其放在.init_array和.fini_array附近。

技术分析

ELF段布局差异

Wild链接器的段布局：

.eh_frame_hdr
.eh_frame
.preinit_array  <-- 问题段
.gcc_except_table
...
.init_array
.fini_array

传统链接器的段布局：

.eh_frame_hdr
.eh_frame
.gcc_except_table
.preinit_array  <-- 与init/fini数组相邻
.init_array
.fini_array

段映射问题

进一步分析发现，Wild生成的ELF文件中，.preinit_array段没有被正确映射到RELRO（只读重定位）段中，而传统链接器会将其包含在RELRO段内。

解决方案

尝试的修复方法包括：

1. 为.preinit_array段添加WRITE标志
2. 将其标记为RELRO段

虽然初步修复没有完全解决问题，但通过后续提交（65b9a79）最终解决了这个段布局问题。

影响范围

这个问题特别影响需要精确控制段布局的场景，尤其是：

1. 异常处理机制（.eh_frame和.gcc_except_table的连续性）
2. 程序初始化顺序（.preinit_array需要在.init_array之前执行）
3. 内存保护机制（RELRO段的安全特性）

结论

ELF链接器中的段布局对程序行为有重要影响。Wild链接器在这个特定案例中展示了与传统链接器不同的行为，但通过适当的修复可以保持兼容性。这个问题也提醒我们，在开发系统级工具时需要特别注意标准段布局和内存保护特性的正确处理。