两个以上的局部变量的栈分配
程序如下:
# vi test3.c
int main()
{
int i, j=2, k=4;
i=3;
i=++i;
k=i+j+k;
return k;
}
编译该程序后,用mdb反汇编得出如下成果:
# gcc test3.c -o test3
# mdb test3
Loading modules: [ libc.so.1 ]
> main::dis
main: pushl %ebp
main+1: movl %esp,%ebp ; main至main+1,创立Stack Frame
main+3: subl $0x18,%esp ; 为局部变量i,j,k分配栈空间,并确保栈16字节对齐
main+6: andl $0xf0,%esp
main+9: movl $0,%eax
main+0xe: subl %eax,%esp ; main+6至main+0xe,再次确保栈16字节对齐
main+0x10: movl $2,-8(%ebp) ; j=2
main+0x17: movl $4,-0xc(%ebp) ; k=4
main+0x1e: movl $3,-4(%ebp) ; i=3
main+0x25: leal -4(%ebp),%eax ; 将i的地址装入到EAX
main+0x28: incl (%eax) ; i++
main+0x2a: movl -8(%ebp),%eax ; 将j的值装入到 EAX
main+0x2d: movl -4(%ebp),%edx ; 将i的值装入到 EDX
main+0x30: addl %eax,%edx ; j+i,成果存入EDX
main+0x32: leal -0xc(%ebp),%eax ; 将k的地址装入到EAX
main+0x35: addl %edx,(%eax) ; i+j+k,成果存入地址ebp-0xc即k中
main+0x37: movl -0xc(%ebp),%eax ; 将k的值装入EAX,作为回来值
main+0x3a: leave ; 吊销Stack Frame
main+0x3b: ret ; main函数回来
>
问题:为什么3个变量分配了0x18字节的栈空间?
在2个变量的时分,分配栈空间的指令是:subl $8,%esp
而在3个局部变量的时分,分配栈空间的指令是:subl $0x18,%esp
3个整型变量只需求0xc字节,为何实践上分配了0x18字节呢?
答案便是:坚持16字节栈对齐。
gcc默许的编译是要16字节栈对齐的,subl $8,%esp会使栈16字节对齐,而8字节空间只能满意2个局部变量,假如再分配4字节满意第3个局部变量的话,那栈地址就不再16字节对齐的,而一起满意空间需求并且坚持16字节栈对齐的最接近的便是0x18。
假如,各界说一个50字节和100字节的字符数组,在这种情况下,实践分配多少栈空间呢?答案是0x8+0x40+0x70,即184字节。
下面着手验证一下:
# vi test4.c
int main()
{
char str1[50];
char str2[100];
return 0;
}
# mdb test4
Loading modules: [ libc.so.1 ]
> main::dis
main: pushl %ebp
main+1: movl %esp,%ebp
main+3: subl $0xb8,%esp ; 为两个字符数组分配栈空间,一起确保16字节对齐
main+9: andl $0xf0,%esp
main+0xc: movl $0,%eax
main+0x11: subl %eax,%esp
main+0x13: movl $0,%eax
main+0x18: leave
main+0x19: ret
> 0xb8=D ; 16进制换算10进制
184
> 0x40+0x70+0x8=X ; 表达式核算,成果指定为16进制
b8
>
问题:界说了多个局部变量时,栈分配次序是怎样的?
局部变量栈分配的次序是依照变量声明先后的次序,同一行声明的变量是依照从左到右的次序入栈的,在test2.c中,变量声明如下:
int i, j=2, k=4;
而反汇编的成果中:
movl $2,-8(%ebp) ; j=2
movl $4,-0xc(%ebp) ; k=4
movl $3,-4(%ebp) ; i=3
其间不难看出,i,j,k的栈中的方位如下图:
+—————————-+——> 高地址
| EIP (_start函数的回来地址) |
+—————————-+
| EBP (_start函数的EBP) | <------ main函数的EBP指针(即SFP结构指针)
+—————————-+
| i (EBP-4) |
+—————————-+
| j (EBP-8) |
+—————————-+
| k (EBP-0xc) |
+—————————-+——> 低地址
声明:本文内容来自网络转载或用户投稿,文章版权归原作者和原出处所有。文中观点,不代表本站立场。若有侵权请联系本站删除(kf@86ic.com)https://www.86ic.net/qiche/adas/260213.html