米6体育平台手机版

ZHCADC4A September 2011 – March 2014

1
1 简介
1. 1.1 ABI - C6000
2. 1.2 范围
3. 1.3 ABI 变体
4. 1.4 工具链和互操作性
5. 1.5 库
6. 1.6 目标文件的类型
7. 1.7 段
8. 1.8 C6000 架构概述
9. 1.9 参考文档
10. 1.10 代码片段表示法
2 数据表示
1. 2.1 基本类型
2. 2.2 寄存器中的数据
3. 2.3 存储器中的数据
4. 2.4 复数类型
5. 2.5 结构体和联合体
6. 2.6 数组
7. 2.7 位字段
  1. 2.7.1 易失性位字段
8. 2.8 枚举类型
3 调用约定
1. 3.1 调用和返回
2. 3.2 寄存器惯例
3. 3.3 实参传递
4. 3.4 返回值
5. 3.5 通过引用传递并返回的结构体和联合体
6. 3.6 编译器辅助函数的约定
7. 3.7 段间调用的暂存寄存器
8. 3.8 设置 DP
4 数据分配和寻址
1. 4.1 数据段和数据区段
2. 4.2 静态数据的分配和寻址
3. 4.3 自动变量
4. 4.4 帧布局
5. 4.5 堆分配对象
5 代码分配和寻址
1. 5.1 计算代码标签的地址
2. 5.2 分支
3. 5.3 调用
4. 5.4 寻址紧凑指令
6 动态链接的寻址模型
1. 6.1 术语和概念
2. 6.2 动态链接机制概述
3. 6.3 DSO 和 DLL
4. 6.4 抢占
5. 6.5 PLT 条目
6. 6.6 全局偏移表
  1. 6.6.1 使用 Near DP 相对寻址的基于 GOT 的引用
  2. 6.6.2 使用 Far DP 相对寻址的基于 GOT 的引用
7. 6.7 DSBT 模型
8. 6.8 动态链接的性能影响
7 线程局部存储分配和寻址
1. 7.1 关于多线程和线程局部存储
2. 7.2 术语和概念
3. 7.3 用户界面
4. 7.4 ELF 目标文件表示
5. 7.5 TLS 访问模型
6. 7.6 线程局部符号解析和弱引用
8 辅助函数 API
1. 8.1 浮点行为
2. 8.2 C 辅助函数 API
3. 8.3 辅助函数的特殊寄存器约定
4. 8.4 复数类型的辅助函数
5. 8.5 C99 的浮点辅助函数
9 标准 C 库 API
1. 9.1 保留符号
2. 9.2 <assert.h> 实现
3. 9.3 <complex.h> 实现
4. 9.4 <ctype.h> 实现
5. 9.5 <errno.h> 实现
6. 9.6 <float.h> 实现
7. 9.7 <inttypes.h> 实现
8. 9.8 <iso646.h> 实现
9. 9.9 <limits.h> 实现
10. 9.10 <locale.h> 实现
11. 9.11 <math.h> 实现
12. 9.12 <setjmp.h> 实现
13. 9.13 <signal.h> 实现
14. 9.14 <stdarg.h> 实现
15. 9.15 <stdbool.h> 实现
16. 9.16 <stddef.h> 实现
17. 9.17 <stdint.h> 实现
18. 9.18 <stdio.h> 实现
19. 9.19 <stdlib.h> 实现
20. 9.20 <string.h> 实现
21. 9.21 <tgmath.h> 实现
22. 9.22 <time.h> 实现
23. 9.23 <wchar.h> 实现
24. 9.24 <wctype.h> 实现
10C++ ABI
1. 10.1 限制 (GC++ABI 1.2)
2. 10.2 导出模板 (GC++ABI 1.4.2)
3. 10.3 数据布局（GC++ABI 第 2 章）
4. 10.4 初始化保护变量 (GC++ABI 2.8)
5. 10.5 构造函数返回值 (GC++ABI 3.1.5)
6. 10.6 一次性构建 API (GC++ABI 3.3.2)
7. 10.7 控制对象构造顺序 (GC++ ABI 3.3.4)
8. 10.8 还原器 API (GC++ABI 3.4)
9. 10.9 静态数据 (GC++ ABI 5.2.2)
10. 10.10 虚拟表和键函数 (GC++ABI 5.2.3)
11. 10.11 回溯表位置 (GC++ABI 5.3)
11异常处理
1. 11.1 概述
2. 11.2 PREL31 编码
3. 11.3 异常索引表 (EXIDX)
4. 11.4 异常处理指令表 (EXTAB)
5. 11.5 回溯指令
6. 11.6 描述符
7. 11.7 特殊段
8. 11.8 与非 C++ 代码交互
  1. 11.8.1 EXIDX 条目自动生成
  2. 11.8.2 手工编码的汇编函数
9. 11.9 与系统功能交互
10. 11.10 TI 工具链中的汇编语言运算符
12DWARF
1. 12.1 DWARF 寄存器名称
2. 12.2 调用帧信息
3. 12.3 供应商名称
4. 12.4 供应商扩展
13ELF 目标文件（处理器补充）
1. 13.1 注册供应商名称
2. 13.2 ELF 标头
3. 13.3 段
4. 13.4 符号表
5. 13.5 重定位
14ELF 程序加载和动态链接（处理器补充）
1. 14.1 程序标头
2. 14.2 程序加载
3. 14.3 动态链接
4. 14.4 裸机动态链接模型
15Linux ABI
1. 15.1 文件类型
2. 15.2 ELF 标识
3. 15.3 程序标头和段
4. 15.4 数据寻址
  1. 15.4.1 数据区段基表 (DSBT)
  2. 15.4.2 全局偏移量表 (GOT)
5. 15.5 代码寻址
6. 15.6 延迟绑定
7. 15.7 可见性
8. 15.8 抢占式
9. 15.9 “作为自有导入”占先
10. 15.10 程序加载
11. 15.11 动态信息
12. 15.12 初始化和终止函数
13. 15.13 Linux 模型摘要
16符号版本控制
1. 16.1 ELF 符号版本控制概述
2. 16.2 版本段标识
17构建属性
1. 17.1 C6000 ABI 构建属性子段
2. 17.2 C6000 构建属性标签
18复制表和变量初始化
1. 18.1 复制表格式
2. 18.2 压缩的数据格式
  1. 18.2.1 RLE
  2. 18.2.2 LZSS 格式
3. 18.3 变量初始化
19扩展程序标头属性
1. 19.1 编码
2. 19.2 属性标签定义
3. 19.3 扩展程序标头属性段格式
20修订历史记录

15.6 延迟绑定

对于大型程序，加载时符号解析会显著缩短程序启动时间。延迟绑定是一种机制，能够延迟函数符号的解析，直到程序实际调用函数符号为止，从而缩短启动时间并提高整体性能，因为只需要解析实际调用的函数。

一般方法是，通过 PLT 向量进行的首次调用依靠动态链接器中的解析器函数来实现控制，该函数执行解析并将后续调用直接重新路由至函数本身。

解析器需要两个实参。第一个是标识当前模块（该模块包含引用）的模块 id。模块 id 的表示不是 ABI 指定的，而是由加载器确定。第二个实参指定对应于目标函数的重定位条目。而该重定位条目提供目标符号的名称以及 GOT 中引用的位置。重定位条目由其在目标文件中的文件 .dynamic 段中 DT_RELPLT 标记中地址的字节偏移量指定。

所有这些都发生在调用方的后方，因此该机制必须保留影响标准函数调用接口的任何状态。特别是，它不得干扰任何用于实参传递的寄存器或返回地址寄存器，并且必须保留所修改的任何由被调用方保存的寄存器。为避免干扰正常实参寄存器，解析器的两个实参在 B0 和 B1 中传递。

保留全局偏移量表中的两个时隙，以供动态加载器用来实现延迟绑定。加载器使用 GOT[0] 来保存解析器函数的地址。GOT[1] 用于保存模块 id。

描述该机制的序列如下：

静态链接器标识用于延迟绑定的候选。候选是仅由 PLT 条目引用的 GOT 条目；也就是说，仅用于调用导入函数。
静态链接器生成特殊解析器存根，或包含库中的该存根。在该描述中，存根称为 PLT0，尽管 ABI 未指定其名称或位置。
静态链接器使用 PLT0 的地址来初始化候选 GOT 条目，并使用 R_C6000_JUMP_SLOT 重定位进行标记。链接器在动态重定位表的段中定位任何此类重定位，该表标有 DT_JMPREL 标签。
PLT 条目是使用附加指令生成的，用于延迟解析。该指令使用解析器的两个实参中的第一个实参来加载寄存器 B0：R_C6000_JUMP_SLOT 重定位条目相对于动态重定位表的字节偏移量由 DT_REL[A] 标签指示。然后，它以常规方式从 GOT 加载目标地址并跳转到该地址。作为步骤 3 中初始化的结果，第一次发生该跳转时，控制权转移到 PLT0。
PLT0 将解析器的两个实参中的第二个实参从 GOT[1] 加载到 B1 中：一个由加载器定义的值，用于标识当前模块。然后，它从 GOT[0] 加载加载器的解析器函数的地址，并进行尾调用。
解析器函数使用其两个实参来在由模块 id 指定的目标文件中查找指定的动态重定位，它在动态符号表中查找符号以获取函数的实际地址，并用该地址替换 GOT 条目。最后，它跳转到该地址，从而有效地尾调用目标函数。
当输入 PLT 条目以供后续调用时，GOT 已更新为实际地址，因此控制权直接传递给函数。

延迟绑定 PLT 条目

   $sym$plt:
         MVK   reloc_offset(sym),B0   ;byte offset of GOT reloc entry from DT_RELPLT
         MVKH  reloc_offset(sym),B0
         LDW   *+DP($GOT(sym)),tmp    ;&PLT0 first time, &sym after that
         B     tmp

解析器存根—PLT0

   PLT0:
         LDW   *+DP($GOT(0)),tmp      ; address of resolver
         LDW   *+DP($GOT(4)),B1       ; module id
         B tmp                        ; tail-call resolver

全局偏移量表

               ; $GOT(0) reserved, initialized to module id
               ; $GOT(4) reserved, initialized to &resolver function
               ; ...
               ; $GOT(sym) R_C6000_JUMP_SLOT initialized to &PLT0
               ; updated to &sym by resolver