3.7 过程
1.过程的控制
函数的调用分了三部分,第一部分是过程的控制,它实现了函数调用的转移,例如调用和返回
call指令后跟的可以是一个label,也可以是一个地址,程序计数器(PC)(保存在寄存器%rip种)会跟据这个地址将过程转移到被调用的地址,在这之前,他会先将返回的地址,也就是被调用过程结束后调用者的下一步压入栈中。在被调用过程结束后,栈会依次弹执行过的指令,直到刚刚压入栈中的返回地址,在这个地址被弹出后,程序计数器会根据这个地址回到原过程,继续执行。
2.数据传送
函数调用时有时会传递参数,返回时也会有返回值,这些数据的传送大多通过寄存器来实现,但有时传递参数很多时(大于6个)寄存器会不够用,就要用栈来传递参数。
1)传递参数
用寄存器来传递参数有一个顺序,这个顺序相当于是调用者和被调用者的共识,所以机器代码不会显示的指出哪个参数在哪个寄存器中,机器会根据这个共识自己判断。
这个顺序如下
如果超出了6个参数,剩下的参数会通过堆栈传递,机器会将参数压入栈顶,每个数据不论大小都向8的倍数对齐,在取出时再根据大小选择对应的指令。
2)返回值
返回值通过寄存器%rax传递
3.数据的局部存储
1)栈上的局部存储
大部分过程不需要超出寄存器大小的本地存储区域,但有些特例,一是寄存器不足够存放所有数据,二是当对一个局部变量使用&时,相当于产生了一个临时的指针,所以必须给他产生一个地址,可是这个地址不能存在寄存器中吗?
这时过程在进行时会给这些数据分配栈的空间,并且在过程结束时释放。
2)寄存器中的局部存储
在过程的运行中,寄存器是被所有过程共享的,所以有时必须确保某些特定的寄存器不被覆盖。根据惯例,这里分了两种寄存器,
一种是被调用者保存寄存器,也就是说保存这些寄存器数据的责任在被调用者身上,被调用者必须保证在返回时这些数据与开始时一样,它可以通过不动这些数据,或是在过程开始时将这些数据压入栈中,结束时在写回寄存器来实现。这些寄存器有%rbx,%rbp,%r12~%r15。
二是调用者保存寄存器,也就是说保存这些寄存器数据的责任在调用者身上,如果调用者需要这些值不被改变,那么调用者需要在调用另一个过程之前,将这些数据压入栈中。除了被调用者保存寄存器和栈指针%rsp,其余的寄存器都是调用者保存寄存器。