Wild项目中的AArch64架构链接问题分析与解决方案
在开发Wild项目的过程中,我们遇到了一个关于AArch64架构下链接器错误的技术问题。这个问题涉及到GOT(Global Offset Table)内存分配不一致的情况,具体表现为链接器在分配.got段空间时出现了预期与实际值不匹配的错误。
问题现象
当尝试链接mold项目时,系统报告了以下错误信息:
Error: Unexpected memory offsets:
Part #5 (section `.got` alignment: 8) expected: 0x7907d0 actual: 0x7907b0 bumped by: 0x340 requested size: 0x360
这个错误表明在.got段的分配过程中,预期分配的内存地址与实际分配的内存地址存在0x20(32字节)的差异,这恰好对应4个GOT条目的大小。
问题根源分析
通过深入调查,我们发现问题的根源在于对TLS(Thread Local Storage)符号的处理上。具体来说,系统在处理_ZSt15__once_callable
和_ZSt11__once_call
这两个符号时,为它们分配了不必要的GOT条目:
- 对于每个符号,系统分配了:
- 1个GOT条目用于
GOT_TLS_OFFSET
- 2个GOT条目用于
GOT_TLS_DESCRIPTOR
- 1个GOT条目用于
然而,实际上这些符号只需要GOT_TLS_OFFSET
条目,因为它们是通过R_AARCH64_TLSIE_LD64_GOTTPREL_LO12_NC
和R_AARCH64_TLSIE_ADR_GOTTPREL_PAGE21
重定位类型引用的,这些类型只需要GOT_TLS_OFFSET
条目。
技术背景
在AArch64架构中,TLS访问有三种主要方式:
-
传统TLS访问模型:
- 使用
GOT_TLS_OFFSET
和GOT_TLS_MODULE
组合 - 每个TLS符号被分配一个(module ID, offset)对
- 使用
-
TLSDESC模型:
- 使用
GOT_TLS_DESCRIPTOR
- 更高效的TLS访问机制
- 使用
-
初始执行模型:
- 使用
GOT_TLS_OFFSET
单独 - 适用于已知在执行时已加载的TLS变量
- 使用
在我们的案例中,系统错误地为只需要GOT_TLS_OFFSET
的符号分配了额外的GOT_TLS_DESCRIPTOR
条目,导致了内存分配不一致。
解决方案
经过分析,我们确定了以下解决方案:
-
精确匹配重定位类型与GOT条目需求:
- 对于
R_AARCH64_TLSIE_LD64_GOTTPREL_LO12_NC
和R_AARCH64_TLSIE_ADR_GOTTPREL_PAGE21
重定位,只分配GOT_TLS_OFFSET
条目 - 不自动为这些符号分配
GOT_TLS_DESCRIPTOR
条目
- 对于
-
保持ABI兼容性:
- 确保解决方案不影响现有的TLS访问ABI
- 支持混合使用不同TLS访问模型的情况
-
验证测试:
- 创建了最小化测试用例验证修复效果
- 确保修复不会引入新的回归问题
经验总结
这个问题的解决过程给我们带来了几个重要的经验教训:
-
链接器内存分配一致性:
- 必须确保符号解析、地址分配和实际写入三个阶段保持严格一致
- 任何不一致都可能导致难以诊断的链接错误
-
TLS处理复杂性:
- 不同架构和ABI对TLS的处理方式差异很大
- 需要仔细理解每种重定位类型的实际需求
-
调试技巧:
- 使用
WILD_SAVE_BASE
隔离链接过程 - 通过打印关键路径信息定位问题
- 创建最小化测试用例验证假设
- 使用
这个问题最终通过精确匹配重定位类型与GOT条目需求得到了解决,确保了Wild项目在AArch64架构下的稳定链接能力。这个案例也展示了系统级软件开发中理解底层ABI和架构特性的重要性。
GLM-4.6
GLM-4.6在GLM-4.5基础上全面升级:200K超长上下文窗口支持复杂任务,代码性能大幅提升,前端页面生成更优。推理能力增强且支持工具调用,智能体表现更出色,写作风格更贴合人类偏好。八项公开基准测试显示其全面超越GLM-4.5,比肩DeepSeek-V3.1-Terminus等国内外领先模型。【此简介由AI生成】Jinja00- DDeepSeek-V3.2-ExpDeepSeek-V3.2-Exp是DeepSeek推出的实验性模型,基于V3.1-Terminus架构,创新引入DeepSeek Sparse Attention稀疏注意力机制,在保持模型输出质量的同时,大幅提升长文本场景下的训练与推理效率。该模型在MMLU-Pro、GPQA-Diamond等多领域公开基准测试中表现与V3.1-Terminus相当,支持HuggingFace、SGLang、vLLM等多种本地运行方式,开源内核设计便于研究,采用MIT许可证。【此简介由AI生成】Python00
GLM-V
GLM-4.5V and GLM-4.1V-Thinking: Towards Versatile Multimodal Reasoning with Scalable Reinforcement LearningPython00ops-transformer
本项目是CANN提供的transformer类大模型算子库,实现网络在NPU上加速计算。C++0107AI内容魔方
AI内容专区,汇集全球AI开源项目,集结模块、可组合的内容,致力于分享、交流。02Spark-Chemistry-X1-13B
科大讯飞星火化学-X1-13B (iFLYTEK Spark Chemistry-X1-13B) 是一款专为化学领域优化的大语言模型。它由星火-X1 (Spark-X1) 基础模型微调而来,在化学知识问答、分子性质预测、化学名称转换和科学推理方面展现出强大的能力,同时保持了强大的通用语言理解与生成能力。Python00GOT-OCR-2.0-hf
阶跃星辰StepFun推出的GOT-OCR-2.0-hf是一款强大的多语言OCR开源模型,支持从普通文档到复杂场景的文字识别。它能精准处理表格、图表、数学公式、几何图形甚至乐谱等特殊内容,输出结果可通过第三方工具渲染成多种格式。模型支持1024×1024高分辨率输入,具备多页批量处理、动态分块识别和交互式区域选择等创新功能,用户可通过坐标或颜色指定识别区域。基于Apache 2.0协议开源,提供Hugging Face演示和完整代码,适用于学术研究到工业应用的广泛场景,为OCR领域带来突破性解决方案。00- HHowToCook程序员在家做饭方法指南。Programmer's guide about how to cook at home (Chinese only).Dockerfile010
- PpathwayPathway is an open framework for high-throughput and low-latency real-time data processing.Python00
项目优选









