Question

我正在准备C中的一些培训材料，我希望我的示例适合典型的堆栈模型。

在Linux，Windows，Mac OSX（PPC和x86），Solaris和最新的Unix中，C堆栈的发展方向是什么？

Answer 1

堆栈增长通常不依赖于操作系统本身，而是依赖于运行的处理器。例如，Solaris在x86和SPARC上运行。 Mac OSX（正如你所提到的）在PPC和x86上运行。 Linux可以运行从我的大工作室'System z到puny little wristwatch。

如果CPU提供任何选择，操作系统使用的ABI /调用约定指定如果您希望代码调用其他人的代码，则需要做出哪种选择。

处理器及其方向是：

x86：down。
SPARC：可选择。标准ABI使用了。
PPC：我觉得失望。
系统z：在链接列表中，我不会欺骗你（但仍然失败，至少对于zLinux而言）。
ARM：可选，但Thumb2仅具有向下的紧凑编码（LDMIA =之后的增量，STMDB =之前的减量）。
6502：向下（但只有256个字节）。
RCA 1802A：您需要的任何方式，但需遵守SCRT的实施。
PDP11：down。
8051：up。

显示我最近几年的年龄，1802是用于控制早期航天飞机的芯片（感觉门是否打开，我怀疑，基于它具有的处理能力:-)和我的第二台计算机，{ {3}}（跟随我的COMX-35）。

来自ZX80的here，8051详细信息收集的PDP11详细信息。

SPARC架构使用滑动窗口寄存器模型。体系结构可见的细节还包括寄存器窗口的循环缓冲区，这些缓冲区在内部有效并缓存，在上溢/下溢时具有陷阱。有关详细信息，请参阅here。作为here，SAVE和RESTORE指令类似于ADD指令和寄存器窗口旋转。使用正常数而不是通常的负数会产生向上增长的堆栈。

上述SCRT技术是另一种 - 1802使用了一些或十六个16位寄存器用于SCRT（标准呼叫和返回技术）。一个是程序计数器，您可以使用任何寄存器作为具有SEP Rn指令的PC。一个是堆栈指针，两个总是设置为指向SCRT代码地址，一个用于调用，一个用于返回。没有寄存器以特殊方式处理。请记住，这些细节来自记忆，可能不完全正确。

例如，如果R3是PC，则R4是SCRT调用地址，R5是SCRT返回地址，R2是“堆栈”（引用它在软件中实现），SEP R4将R4设置为是PC并开始运行SCRT呼叫代码。

然后将R3存储在R2“堆栈”上（我认为R6用于临时存储），向上或向下调整它，抓住R3后面的两个字节，将它们加载到 R3中，然后执行SEP R3并在新地址运行。

要返回，它将SEP R5将旧地址从R2堆栈中拉出，向其中添加两个（跳过调用的地址字节），将其加载到R3和SEP R3中开始运行上一个代码。

在所有基于6502/6809 / z80堆栈的代码之后，很难将你的头部包裹起来，但仍然优雅地以一种砰然一碰你的方式。此外，该芯片的一大卖点是全套16个16位寄存器，尽管事实上你会立即丢失其中的7个（SCRT为5个，DMA为2个，内存为中断）。啊，营销胜过现实的胜利： - ）

System z实际上非常相似，使用其R14和R15寄存器进行呼叫/返回。

Answer 2

在C ++中（适用于C）stack.cc：

static int
find_stack_direction ()
{
    static char *addr = 0;
    auto char dummy;
    if (addr == 0)
    {
        addr = &dummy;
        return find_stack_direction ();
    }
    else
    {
        return ((&dummy > addr) ? 1 : -1);
    }
}

Answer 3

增长的优点是在旧系统中，堆栈通常位于内存的顶部。程序通常从底部开始填充内存，因此这种内存管理最大限度地减少了测量堆栈底部和放置堆栈底部的需要。

Answer 4

堆栈在x86上增长（由体系结构定义，弹出增量堆栈指针，推送减量。）

Answer 5

在MIPS中，没有push / pop指令。所有推送/弹出都是通过相对于堆栈指针加载/存储显式完成的，然后手动调整$sp指针。但是，由于所有寄存器（$0除外）都是通用的，理论上任何寄存器都可以是堆栈指针，并且堆栈可以在程序员想要的任何方向上增长。 MIPS ABI通常会向下发展。

在Intel 8051中，堆栈会增长，可能是因为内存空间非常小（原始版本为128字节），因此没有堆，您不需要将堆栈放在顶部，以便将它与堆从底部开始增长。

Answer 6

它变长，因为分配给程序的内存具有“永久数据”，即程序本身在底部的代码，然后是中间的堆。你需要另一个固定点来引用堆栈，这样你就可以了。这意味着堆栈向下扩展，直到它可能与堆上的对象相邻。

Answer 7

在大多数系统上，堆栈都在增长，我在https://gist.github.com/cpq/8598782的文章解释了为什么它会逐渐减少。原因是这是两个不断增长的内存区域（堆和堆栈）的最佳布局。

Answer 8

此宏应在没有UB的运行时对其进行检测：

#define stk_grows_up_eh() stk_grows_up__(&(char){0})
_Bool stk_grows_up__(char *ParentsLocal);

__attribute((__noinline__))
_Bool stk_grows_up__(char *ParentsLocal) { 
    return (uintptr_t)ParentsLocal < (uintptr_t)&ParentsLocal;
}

Answer 9

仅是其他答案的一小部分，据我所知，这还没有涉及到这一点：

使堆栈向下增长会使堆栈内的所有地址相对于堆栈指针具有正偏移。不需要负偏移量，因为它们只会指向未使用的堆栈空间。当处理器支持相对于堆栈指针的寻址时，这可以简化对堆栈位置的访问。

许多处理器的指令都允许以相对于某些寄存器的正偏移量进行访问。这些包括许多现代建筑以及一些旧建筑。例如，ARM Thumb ABI提供了在单个16位指令字中编码的具有正偏移量的相对于堆栈指针的访问。

如果堆栈向上增长，则相对于堆栈指针的所有有用偏移都将为负，这将使直观性和便利性降低。与寄存器相对寻址的其他应用程序（例如用于访问结构的字段）的应用程序也不一致。

在大多数现代系统中，堆栈增长的方向是什么？

9 个答案: