SPARC和HP-UX中的Leaf函数

首先，您链接到的文档和您显示的代码不是Sparc，而是PA-RISC，它是一种独特的架构。据我所知，没有任何版本的HP / UX可以在基于Sparc的系统上运行。 尽管如此，关于叶功能的观点在许多架构中都是类似的，包括Sparc，PA-RISC，PowerPC，ARM，MIPS ......实际上所有RISC架构。对于所有这些，执行函数调用的操作码不会将返回地址存储在堆栈中;事实上，硬件并不存在“真正的”堆栈。相反，只有一个软件约定使用特定寄存器作为堆栈指针。调用操作码将返回的地址存储在特定的寄存器中，通常称为“链接寄存器”。从函数返回的操作码只读取该寄存器。 如果函数本身（让我们称之为A）调用另一个函数（B），那么该嵌套调用也将使用链接寄存器;但是，当它返回时，A将需要链接寄存器的内容。因此，A必须将链接寄存器保存在某处，通常在存储器中，更准确地说，在通常用作“堆栈”的存储区中。 叶子函数是一个不调用其他函数的函数;它只是做它的工作和回报。叶函数不需要将链接寄存器保存在堆栈上，因为没有任何东西会改变链接寄存器的内容。 另外的约束也是常规的，关于堆栈帧结构。某些体系结构上的某些操作系统坚持以非常特定的方式使用堆栈的功能（称为“堆栈帧”），调试器可以可靠地探索这些功能。然后，规范要求将返回地址保存在堆栈的精确插槽中，并且被调用的函数必须在执行的早期就这样做。然后，相同的操作系统可能会声明叶子函数不是绝对需要的（如果该函数不调用其他函数，调试器更容易处理无帧函数，即堆栈上没有框架被推入一个缺少的）。不设置堆栈帧比设置堆栈帧更有效（执行速度和代码大小），因此例外。