Wild项目AArch64架构共享库创建问题分析

问题概述

在Wild项目中，当尝试为AArch64架构创建简单的共享库时，程序会在运行时出现段错误(SIGSEGV)。这个问题源于动态链接器在处理特定类型的重定位时出现异常。

技术背景

在AArch64架构中，地址加载通常采用分页方式实现。典型的地址加载序列由两条指令组成：

1. adrp指令：加载目标地址所在页的高位部分，基于当前执行页的相对偏移
2. add指令：加载目标地址在页内的低位偏移

这种设计使得代码可以在不同内存位置重定位，因为页内偏移保持不变，只需要调整页基址。

问题现象分析

当运行测试程序时，动态链接器在处理.rela.dyn段中的R_AARCH64_RELATIVE重定位时崩溃。具体表现为：

1. 崩溃发生在elf_machine_rela_relative函数中
2. 重定位目标是指向.tm_clone_table段的地址
3. 原始重定位来自crtbeginS.o中的deregister_tm_clones函数

根本原因

问题出在Wild项目当前对AArch64重定位的处理方式上：

1. 对于R_AARCH64_ADD_ABS_LO12_NC类型的重定位，Wild生成了动态重定位项
2. 实际上，由于AArch64共享库总是按页对齐方式重定位，页内偏移不需要动态调整
3. 动态链接器尝试修改只读的代码段(.text)，导致段错误

解决方案对比

在x86_64架构上，类似的代码使用了PC相对寻址方式：

lea    0x0(%rip),%rdi

这种指令天然支持重定位，不需要额外的动态重定位处理。

而AArch64的指令序列：

adrp    x0, 0
add     x0, x0, #0x0

虽然看起来需要重定位，但实际上add指令的12位偏移在重定位后保持不变，因此不需要生成动态重定位项。

技术实现建议

Wild项目应修改AArch64后端，使其能够：

1. 正确识别不需要动态重定位的情况
2. 将页内偏移直接编码为绝对地址
3. 避免生成不必要的动态重定位项
4. 确保不修改只读的代码段

这种处理方式与其他成熟的AArch64工具链一致，能够保证生成的共享库正确运行。

总结

AArch64架构的地址加载特性要求链接器对重定位有特殊的处理。Wild项目需要完善对AArch64重定位类型的支持，特别是理解哪些重定位需要动态处理，哪些可以在链接时静态解决。通过正确处理R_AARCH64_ADD_ABS_LO12_NC等重定位类型，可以避免运行时错误，生成功能正常的共享库。