Chinaunix

标题: Solaris(X86版)局部变量入栈顺序的一个小例子 [打印本页]

作者: system888net 时间: 2008-04-25 12:19
标题: Solaris(X86版)局部变量入栈顺序的一个小例子
平台:Solaris(X86版)+gcc
fun1()
{
      int i=1, m=2, n=3;
   ....
}

  这里有三个局部变量i,m,n
对与gcc编译成机器码后,栈分配顺序一般是从左到右的顺序入栈
而反汇编的结果中局部变量赋值语句有：

      movl $1,-4(%ebp)       ; i=1
      movl $2,-8(%ebp)       ; m=2
      movl $3,-0xc(%ebp)       ; n=3
那么，i,m,n的栈中的位置如下图：
|----------------------------------|------> HIGH
| EIP (t函数的返回地址)          |
|----------------------------------|
| EBP (函数的EBP)                |
|----------------------------------|
| i (EBP-4)                         |
|----------------------------------|
| m (EBP-

|
|----------------------------------|
| n (EBP-0xc) |
|----------------------------------|------> LOW

当然实际写或移植编译器时也可不安这个顺序,但为了调试的一致性,可考虑与gcc相近.

[ 本帖最后由 system888net 于 2008-4-25 12:22 编辑 ]

作者: cjaizss 时间: 2008-04-25 12:27

这种方式从栈的方式来看是最合理的。先定义的先入栈，后定义的后入栈。其实从C语言的角度来说，应该没有什么栈与堆这些名词，C语言角度只有局部变量、全局变量、动态分配、静态变量，而栈、堆则是与机器相关、OS相关的术语了。

作者: system888net 时间: 2008-04-25 12:29

原帖由 cjaizss 于 2008-4-25 12:27 发表
这种方式从栈的方式来看是最合理的。先定义的先入栈，后定义的后入栈。其实从C语言的角度来说，应该没有什么栈与堆这些名词，C语言角度只有局部变量、全局变量、动态分配、静态变量，而栈、堆则是与机器相关、 ...

斑竹正确,顶...

[ 本帖最后由 system888net 于 2008-4-25 12:43 编辑 ]

作者: cjaizss 时间: 2008-04-25 12:35
标题: 回复 #3 system888net 的帖子
.......大侠是对混黑社会的人的称呼,偶现在是从政的

作者: system888net 时间: 2008-04-25 12:41

原帖由 cjaizss 于 2008-4-25 12:35 发表
.......大侠是对混黑社会的人的称呼,偶现在是从政的

"斑竹正确,顶..." 那这样改可以吗?

作者: newIT666 时间: 2008-04-25 12:48

原帖由 cjaizss 于 2008-4-25 12:35 发表
.......大侠是对混黑社会的人的称呼,偶现在是从政的

作者: albcamus 时间: 2008-04-25 13:23
先声明先入栈。还有反例吗？

作者: cjaizss 时间: 2008-04-25 13:54
标题: 回复 #7 albcamus 的帖子
C++这个方面应该是强制的（因为牵涉到析构先后的问题），但是C语言这个还真说不准，因为没有一个标准，栈是机器级的基础概念，不是C语言中的概念。刚才又搜了一下standard C99,全文没搜到stack这个词......

作者: mik 时间: 2008-04-25 18:35
汗~ LZ 这个也叫例子呀，意义何在？

作者: zx_wing 时间: 2008-04-26 13:01

原帖由 albcamus 于 2008-4-25 13:23 发表
先声明先入栈。还有反例吗？

有反例，用gcc4编译

作者: system888net 时间: 2008-04-26 18:01

原帖由 zx_wing 于 2008-4-26 13:01 发表

有反例，用gcc4编译

OK,是这样的,不过还要注明平台.

作者: chzCPU 时间: 2008-06-08 20:45

原帖由 system888net 于 2008-4-25 12:19 发表
平台:Solaris(X86版)+gcc
fun1()
{
      int i=1, m=2, n=3;
   ....
}

  这里有三个局部变量i,m,n
对与gcc编译成机器码后,栈分配顺序一般是从左到右的顺序入栈
而反汇编的结果中局部 ...

对于栈快照,先声明先入栈和先声明后入栈的效率会有区别吗?

作者: Godbach 时间: 2008-06-08 23:48

原帖由 albcamus 于 2008-4-25 13:23 发表
先声明先入栈。还有反例吗？

GCC3和GCC4对于声明顺序相同的入栈顺序是不同的，可能编译器会还做其他方面的调整

作者: chzCPU 时间: 2008-06-09 00:09

原帖由 Godbach 于 2008-6-8 23:48 发表

GCC3和GCC4对于声明顺序相同的入栈顺序是不同的，可能编译器会还做其他方面的调整

nod,同意

[ 本帖最后由 chzCPU 于 2008-6-9 00:11 编辑 ]

作者: Godbach 时间: 2008-06-09 00:34

原帖由 chzCPU 于 2008-6-9 00:09 发表

nod,同意

呵呵，这是前天在C/C++版块讨论的结果啊

欢迎光临 Chinaunix (http://bbs.chinaunix.net/)