本文将介绍System V ABI的相关知识。

What is ABI?

ABI

Let’s first talk about APIs and ABIs. In programming, many people talk about application programming interfaces (APIs). APIs define how a program can call into another piece of functionality. In C, APIs are often contained in header files and these are documented in manual pages. For example, here are some API declarations in C:

1
2
3
extern int fstat(int struct stat *);
extern void *(size_t);
extern int fputc(int, FILE *);

The API names a function and describes the types of the parameters and the return value of the function. These declarations (and dependent headers) are all that one needs to write a C program. While the API is enough to write a program, when the compiler and link-editor get to work and you actually run your program, you need to rely on something else entirely: the ABI.

The application binary interface (ABI) describes a lot of aspects of the program that are required to have it run. For example, when you call into libc, where are the arguments found? Are they found on the stack? Are they found in registers? The ABI also describes certain things like how many bytes comprise an int and how should one lay out a structure.

Now, a large amount of the ABI is standardized in different documents for a given platform. For example, many Unix-based systems follow the System V ABI. This ABI defined many aspects of systems such as ELF (executable and linkable format) and dynamic linking.

Spec

System V Application Binary Interface AMD64 Architecture Processor Supplement

Demo

1
2
// https://github.com/projectacrn/acrn-hypervisor/blob/v1.6/hypervisor/common/schedule.c
arch_switch_to(&prev->host_sp, &next->host_sp)

arch_switch_to函数的实现为:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
# https://github.com/projectacrn/acrn-hypervisor/blob/v1.6/hypervisor/arch/x86/sched.S

.global arch_switch_to
arch_switch_to:
pushf
pushq %rbx
pushq %rbp
pushq %r12
pushq %r13
pushq %r14
pushq %r15
pushq %rdi
movq %rsp, (%rdi)
movq (%rsi), %rsp
popq %rdi
popq %r15
popq %r14
popq %r13
popq %r12
popq %rbp
popq %rbx
popf
retq

查看spec可知:

Function schedule() will finally call arch_switch_to here for x86 platform, which use the pointer of previous & next thread_obj->host_sp as the input parameters (rdi & rsi).
此时,就可以理解上面的那句话了。


参考资料:

  1. Lessons from the Unix stdio ABI: 40 Years Later
  2. System V Application Binary Interface AMD64 Architecture Processor Supplement
  3. ELF(System V)简介
  4. Where is the x86-64 System V ABI documented?