数据的入栈和出栈
栈在处理函数调用过程中起到至关重要的作用。
栈是一种数据结构,可以添加或删除值,不过要遵循后进先出的原则。
通过push操作把数据压入栈中,通过pop操作删除数据。
它具有一个属性:弹出的值永远是最近被压入而且仍然在栈中的值。
栈可以实现为一个数组,总是从数组的一端插入和删除元素。这一端被称为栈顶。
在x86-64中,程序栈存放在内存中某个区域。
栈向下增长,这样一来,栈顶元素的地址是所有栈元素地址中最低的。
栈指针%rsp保存着栈顶元素的地址。
数据入栈指令
指令 | 效果 | 描述 |
---|---|---|
p u s h q S pushq \quad S pushqS | R [ % r s p ] ← R [ % r s p ] − 8 ; M [ R [ % r s p ] ] ← S R[\%rsp]\leftarrow R[\%rsp]-8;\\M[R[\%rsp]] \leftarrow S R[%rsp]←R[%rsp]−8;M[R[%rsp]]←S | 将四字压入栈中 |
pushq指令的功能是把数据压入到栈上,将一个四字值压入栈中,首先要将栈指针减8,然后将值写道新的栈顶地址。
数据出栈指令
指令 | 效果 | 描述 |
---|---|---|
p o p q D popq \quad D popqD | D ← M [ R [ % r s p ] ] ; R [ % r s p ] ← R [ % r s p ] + 8 D \leftarrow M[R[\%rsp]]; \\R[\%rsp] \leftarrow R[\%rsp] + 8 D←M[R[%rsp]];R[%rsp]←R[%rsp]+8 | 将四字弹出栈 |
pop指令是弹出数据,弹出一个四字的操作包括从栈顶位置读出数据,然后栈顶指针加8.
因为栈和程序代码以及其他形式的程序数据都是放在同一内存中,所以程序可以用标准的内存寻址方法访问栈内的任意位置。