[面试]如果交换堆和栈的位置?

sonicling

别纠结栈方向了，碰到多线程，什么方向都是扯淡。栈肯定是有大小限制的。

starwing83

回复 18# zylthinking


    举个例子就清楚了，假设当前栈顶esp是0x100，现在调用了一个新函数，需要压栈。

1. *esp <- 0x100
2. 假设当前函数使用了0x20个字节的内存，则esp += 0x20
3. 现在新的栈顶为0x120，而栈顶使用了多少字节的内存？多少都行，因为没有“底限制”，从0x120开始所有的字节都是可用的（对比栈从上往下增长的情况，如果写过了那么就覆盖了以前的栈空间了，而现在不会这样）
4. 只需要在调用新的函数（压栈）的时候，才需要确定某函数到底使用了多少空间。

弹栈的时候就一个操作：
esp <- *esp
就可以了。

是不是比相反的情况简单多了？（不需要ebp）

zhaohongjian000

zylthinking 发表于 2014-04-23 17:53
回复 1# hitcser01

则编译器必须想办法记住最后一个分配的空间为多大...

这不是个问题吧。编译器当然知道它分配的元素多大，最后这个大小体现在汇编寻址指令使用的偏移量上。

zhaohongjian000

回复 10# windoze


    我觉得这个靠谱。

lxyscls

starwing83 发表于 2014-04-25 12:10
回复 18# zylthinking

请问“使用0x20个字节”如何记录？

lxyscls

zhaohongjian000 发表于 2014-04-25 14:13
这不是个问题吧。编译器当然知道它分配的元素多大，最后这个大小体现在汇编寻址指令使用的偏移量上。
...

向上的栈esp移位有意义吗？移位就是为了分配一定的空间供自动变量使用，但是移位了结果用的是esp地址之上的部分（而不是分配的部分）

starwing83

回复 25# lxyscls


    根据当前的C语言上下文，编译器很显然能通过当前的自动变量的定义知道当前用了多少内存了。

zylthinking

回复 22# starwing83

编译器自然不关心某元素地址， 但程序员关心； 怎么传递给程序员呢， esp - 20
你说的就是我说的第二类情况


   

sonicling

堆栈都是基址寻址，用ebp做基址，则每个局部变量在不同基本块中的偏移是固定的，用esp做基址，变量在不同基本块中的偏移可能是变化的，因为esp会变化。

至于堆栈方向和空栈/满栈，x86是向下+满栈，ARM可以任意指定。这都没有本质上的差别，只是稍微影响一下管理手段。你说那种配置会比另外一种更方便，更高效，那都未必。

zylthinking

sonicling 发表于 2014-04-25 22:02
堆栈都是基址寻址，用ebp做基址，则每个局部变量在不同基本块中的偏移是固定的，用esp做基址，变量在不同基 ...

我没有仔细想过这问题， 只是对象地址是所占用的内存的 低地址， 这个貌似是个不对称因素