Wild项目中的AArch64 TLS指令重定位问题解析

在Wild项目的开发过程中，开发团队遇到了一个关于AArch64架构下TLS(线程本地存储)指令重定位的有趣问题。这个问题涉及到链接器在处理特定类型的重定位时产生的指令序列差异。

问题背景

在AArch64架构中，处理线程本地存储(TLS)访问时，编译器会生成特定的指令序列。这些指令序列在链接过程中可能会被优化或重写，特别是当涉及到TLS描述符(TLSDESC)相关的重定位时。

具体问题表现

开发团队观察到两种不同的指令序列布局：

1. Wild链接器生成的布局：

0x3f5a0: nop
0x3f5a4: nop
0x3f5a8: movz x0, #0x0, lsl #16
0x3f5ac: movk x0, #0x58

2. GNU链接器(ld)生成的布局：

0x20518: movz x0, #0x0, lsl #16
0x2051c: movk x0, #0x58
0x20520: nop
0x20524: nop

这两种布局虽然指令内容相同，但顺序不同，这会导致二进制比较工具(linker-diff)报告差异。

技术分析

这个问题涉及到AArch64架构中几种特殊的重定位类型：

• R_AARCH64_TLSDESC_ADR_PAGE21：用于TLS描述符的页面地址计算
• R_AARCH64_TLSLE_MOVW_TPREL_G1：用于TLS局部执行模型的TPREL偏移移动
• R_AARCH64_TLSLE_MOVW_TPREL_G0_NC：同上，但不检查

在链接过程中，链接器可能会根据优化策略重新排列这些指令。Wild链接器选择将nop指令放在前面，而GNU链接器则选择将mov指令放在前面。

解决方案

开发团队通过修改linker-diff工具，使其能够识别这种重定位模式下的指令重排情况。具体来说，工具现在能够：

1. 识别R_AARCH64_TLSDESC_ADR_PAGE21重定位类型
2. 理解在这种重定位上下文中，nop指令和mov指令可以互换位置
3. 在比较时忽略这种无害的指令顺序差异

验证结果

修改后的linker-diff工具在Raspberry Pi 5等平台上测试通过，能够正确识别这种指令序列差异，不再产生误报。

总结

这个案例展示了在低级系统编程中，即使是相同的功能实现，不同的工具链也可能产生细微但无害的差异。理解这些差异背后的原因对于开发可靠的构建系统和调试工具至关重要。Wild项目团队通过深入分析AArch64的重定位机制，成功解决了这个工具兼容性问题。