堆栈是向上还是向下增长

Question

在某些地方，我读到堆栈从较高的地址增长到较低的地址，但是当我自己检查时，我注意到它是从较低的地址增长到较高的地址。例如，我为地址 2aba5ab06010 的线程分配了堆栈，并在某个时刻发现其值为 2aba5b7050f0，这明显大于堆栈顶部。

但是当我检查反汇编时，我可以看到函数序言减去 %rsp 而尾声添加它，所以从这个意义上说，%rsp 的值不应该小于堆栈顶部。为什么会出现这些矛盾的结果？

请注意，我在 x86 64 位机器上使用 Linux 和 gcc 编译器。

Answer 1

线程堆栈可以向上或向下增长，具体取决于平台。检查这一点的典型方法是让 A 调用 B 函数，然后

void FunctionB( int* FromFunctionA )
{
   int localStackVariableB;
   //Compare &localStackVariableB and FromFunctionA addresses
}


 void FunctionA( )
{
   int localStackVariableA;
   FunctionB( &localStackVariableA) 
}

比较 localStackVariableB 和 FromFunctionA 的地址并确定方向。确保优化完全关闭。

Answer 2

在旧的 DOS 时代，代码和数据段通常加载在内存段的开头，堆位于内存段之上。然后栈位于内存段的顶部并向下向堆增长，而堆则逆着栈增​​长。现代系统很少有这种方式。

Answer 3

放弃公共前缀 (2ABA)，您似乎声称 0x5A...> 0x5B...。
事实并非如此，所以堆栈向下增长。

Answer 4

通常，当您将堆栈地址传递给线程创建函数时，您会传递已分配内存块的开始 - 这是最低地址，并且在像 x86-64 这样的系统上当堆栈向下增长时，这是堆栈的底部。但是，新线程将从顶部（最高地址）开始使用堆栈。

根据您的数字，我们可以得出结论，您分配的堆栈从 0x2aba5ab06010 开始，并且至少有 12MB 大 - 比如说，在 0x2aba5b706010 结束。如果是这样，则意味着您进行测量时正在使用 3872 字节。

Answer 5

当你说你在 2aba5ab06010 分配了堆栈时，你的意思是你给了它从该地址开始的一块堆栈内存吗？那么你的参考点将位于分配内存的开始之上，但只有一个参考点你无法真正判断它的增长方式。