ARM架构中的程序执行与调用
1. 几个名词
- ABI ：
- 可执行文件必须遵守的规范，以在特定执行环境中运行；
- 单独产生的可重定址的文件必须遵守的规范，以用来链接和执行。
-
EABI:
适用于嵌入式环境的ABI -
PCS：
程序调用规范（Procedure Call Standard） -
AAPCS：
PCS for ARM Architecture
AAPCS定义了单独编译、单独汇编的程序是如何一起工作的。 -
Routine、subroutine
控制可以进入的一段程序，调用之后，可以将控制返回给它的调用者。这里可分别理解为程序调用者、被调用者 -
Procedure:
A routine returns no result value. -
Function；
A routine returns a result value. -
Active stack、call-frame stack:
调用者栈帧
2. 数据类型
2.1 基础数据类型
-
整型
unsigned byte(8), signed byte(8), unsigned half-word(16), signed half-word(16), unsigned word(32), signed word(32), unsigned double-word(64), signed double-word(64) -
浮点型
half precision(2), single precision(4), double precision(8) -
容器向量
64-bit vector(8)，128-bit vector(16) -
指针
数据指针(4)，指令指针(4)
字节序
从软件视角看，内存是字节的阵列，每一个字节都是可寻址的。
-
小端字节序
数据在内存中，数据的最低字节放在内存中最低地址上。 -
大端字节序
数据在内存中，数据的最低字节放在内存中的最高地址上。
复合类型
-
an aggregate, 类似于C中的结构体, where the members are laid out sequentially in memmory
-
a union, 枚举类型内的元素有相同的地址
-
数组， 相同类型数据的集合，连续地址存储
2.2 数据对齐
-
数据自身对齐
比如，byte对齐为1个字节，word对齐为4个字节。如果数据的对齐值为N，则该数据的存放地址位于N的整数倍的位置，即“数据地址 % N == 0”。 -
结构体对齐值
结构体成员中最大的对齐值即为结构体对齐值。同样，该结构体存放的地址为对齐值N的整数倍。 -
在C中可以使用 #pragma pack(N) 来指定对齐值
下面以C语言为例，看一下结构体的对齐方式：
#include <stdio.h>
#include <stdlib.h>
typedef struct s{
int a;
char b;
long long c;
short d
} s;
s t;
int main(void)
{
char *c;
t.a = 1;
t.b = 1;
t.c = 1;
t.d = 1;
printf("size of t is %d
", sizeof(t));
for(c = (char*)&t + sizeof(t) -1; c>=(char*)&t; c--)
{
printf("0x%x: |--%x--|
",c,*c);
}
return 0;
}
程序输出如下：
size of t is 24
0x40ea3f: |--0--|
0x40ea3e: |--0--|
0x40ea3d: |--0--|
0x40ea3c: |--0--|
0x40ea3b: |--0--|
0x40ea3a: |--0--|
0x40ea39: |--0--|
0x40ea38: |--1--|
0x40ea37: |--0--|
0x40ea36: |--0--|
0x40ea35: |--0--|
0x40ea34: |--0--|
0x40ea33: |--0--|
0x40ea32: |--0--|
0x40ea31: |--0--|
0x40ea30: |--1--|
0x40ea2f: |--0--|
0x40ea2e: |--0--|
0x40ea2d: |--0--|
0x40ea2c: |--1--|
0x40ea2b: |--0--|
0x40ea2a: |--0--|
0x40ea29: |--0--|
0x40ea28: |--1--|
可以看出这是小端字节序，即数据的最低字节存放在最低地址。b的存放位置位于0x40ea2c地址处，虽然只占一个字节。但是由于成员c是8字节对齐的，c的起始地址8位对齐，所以c应该位于0x40ea30，0x40ea2d到0x40ea2f这三个字节是为了对齐而扩充的。而该结构体的对齐值为成员的最大对齐值也为8，所以最后一个成员d，虽然只占2字节，但是需要扩充的8字节对齐。
3. 程序调用
ARM架构定义了一组核心指令集和一些有协处理实现的附加指令。核心指令集可以访问核心寄存器，协处理器合一提供附加的寄存器用于某些特殊操作。
3.1 ARM寄存器
ARMv7架构中包含了16个32位寄存器，可以用R0-R15表示。下表中描述了每个寄存器的特定应用。
| 寄存器 | 特殊名称 | 用途 |
|---|---|---|
| R15 | PC | 程序计数器 Program Counter |
| R14 | LR | 链接寄存器 Link Register |
| R13 | SP | 栈指针 Stack Pointer |
| R12 | IP | The Intra-Procedure-call scratch register |
| R11 | 变量寄存器8 Variable-register 8 | |
| R10 | 变量寄存器7 Variable-register 7 | |
| R9 | v6 SB TR | 平台寄存器，其功能是由平台定义的 |
| R8 | 变量寄存器5 Variable-register 5 | |
| R7 | 变量寄存器4 Variable-register 4 | |
| R6 | 变量寄存器3 Variable-register 3 | |
| R5 | 变量寄存器2 Variable-register 2 | |
| R4 | 变量寄存器1 Variable-register 1 | |
| R3 | 参数寄存器4 Argument, scratch register 4 | |
| R2 | 参数寄存器3 Argument , scratch register 3 | |
| R1 | 参数、结果寄存器2 Argument, result, scratch register 2 | |
| R0 | 参数、结果寄存器1 Argument, result, scratch register 1 |
r0-r3四个寄存器用来向被调用程序传递参数，以及从一个函数返回结果。ARMv7中用寄存器传递参数最多可以有四个，更多的参数传递，则需要用到栈来实现。这几个寄存器也可以当做普通寄存器来存储临时值。
寄存器r12(IP)被链接器使用，在调用程序和子程序之间作为一个scratch register 。
r9寄存器功能是对应平台定义的，一个虚拟平台可以任意使用该寄存器，但要给出说明。比如，它可以作为一个静态基地址（static base, SB）在一个位置无关数据中； 或者也可以作为线程寄存器（thread register， TR）。
一个被调用程序必须保存寄存器r4-r8,r10,r11的值，因为这些值可能保存着调用程序的某些局部变量。被调用程序还必须保存SP寄存器，以在返回时恢复调用前的栈信息。
在所有的程序调用标准中，寄存器 r12-r15都有着特殊的角色，用IP、SP、IR、PC来表示。
寄存器CPSR（当前程序状态寄存器）包含以下特性：
-
The N, Z, C, V and Q bits (bits 27-31) and the GE[3:0] bits (bits 16-19) are undefined on entry to or return from a public interface. The Q and GE[3:0] bits may only be modified when executing on a processor where these features are present。
-
On ARM Architecture 6, the E bit (bit 8) can be used in applications executing in little-endian mode, or in bigendian-8 mode to temporarily change the endianness of data accesses to memory. An application must have a designated endianness and at entry to and return from any public interface the setting of the E bit must match the designated endianness of the application
-
The T bit (bit 5) and the J bit (bit 24) are the execution state bits. Only instructions designated for modifying these bits may change them
-
The A, I, F and M[4:0] bits (bits 0-7) are the privileged bits and may only be modified by applications designed to operate explicitly in a privileged mode.
-
All other bits are reserved and must not be modified. It is not defined whether the bits read as zero or one, or whether they are preserved across a public interface.
| 位 | 作用 |
|---|---|
| N | 负标志位，当运算结果为负时，该位被置1 |
| Z | 零标志位，当运算结果为零时，该位被置1 |
| C | 进位and借位标志，当运算结果为负时，该位被置1 |
| V | 溢出标志，有符号溢出时，该位被置1 |
| Q | 溢出饱和标志，在一些DSP指令中，该位指示是否发生溢出或者饱和 |
| GE[3：0] | 大于等于标志 |
| E | 装载、存储字节序 |
| A | disable data aborts when it is set |
| I | disable IRQ when it is set |
| F | disable FIQ when it is set |
| M[4：0] | 处理器运行模式 |
处理器的运行模式如下所示：
3.2 ARM中程序的栈、内存
AAPCS 应用于单线程执行，程序状态保存在机器寄存器及该程序可访问的内存里面。一个进程可访问的内存是可以在执行中变化的。
程序的内存可以分为以下五个部分：
- Code 代码段，只读，存放指令代码
- Read-only static data, 只读的静态数据区
- Writable static data, 可写的静态数据区
- the heap, 堆
- the stack， 栈
其中，可写的静态数据区可以进一步分为初始化的、零初始化、未初始化的数据区。除了栈，其他部分不必占用连续的内存地址。一个程序必须有栈和代码区，其他部分不是必须的。
堆是一段由进程自己管理的内存区域，比如在C中通过malloc分配的空间就在堆上。堆常用于动态创建数据对象。
程序只能执行位于代码段的指令。
3.2.1 栈
栈用来保存局部变量和传递参数，当参数寄存器不够用时就是通过栈来传递参数的。
栈被设计为向下增长的，即栈顶在最低地址，栈顶的位置保存在寄存器SP中。一般情况下，栈有一个基地址base和一个栈大小限制limit。栈可以用固定的大小，或者是动态变化的（通过调整limit来实现）。
栈的一些规则：
- 栈指针在基地址与栈限制之间， stack_limit < SP <= stack_base
- SP mod 4 = 0, 栈地址保持4字节对齐
- 程序只能访问闭区间[SP, stack_base-1]的栈内存范围
3.3 子程序调用
ARM指令集中的BL指令表示带链接寄存器的跳转，当执行 BL 指令时，会把PC中下一条指令地址存到LR寄存器中，然后将跳转的目的地址存到PC中。跳转到r4中地址的代码可以用如下的指令实现，其效果等效于 BL r4。
MOV LR, PC
BX r4
3.4 结果返回
返回的方式取决于返回结果的类型：
- 半精度浮点类型占2个字节，返回在r0的低16位
- 小于四个字节的数据类型返回到r0中，但是做了0扩展或是符号扩展
- 四个字节的数据类型，直接返回到r0中
- 双字的类型返回到r0和r1中
- 128位的类型返回到 r0~r3中
- 小于等于四个字节的复合类型返回到r0中。
- 大于四个字节的复合类型，存在内存中，内存的地址是通过参数传进子函数的。
3.5 参数传递
程序调用通过寄出去你r0-r3和栈来传递参数，参数较少时便用不到栈。
参数传递被定义为两层概念模型：
- 一种从源码语言参数到机器类型的映射 A mapping from a source language argument onto a machine type
- 整理机器类型来产生最终的参数列表 The marshalling of machine types to produce the final parameter list