为什么需要栈Red Zone？其声称的节省指令作用是否真实有效？

首先要明确：你能写出movq $5, -200(%rsp)的代码，不代表这段代码在常规运行环境下是安全的。

按照主流的System V AMD64 ABI约定，rsp下方的低地址空间默认是未预留的，信号处理函数、异步中断这类无需你主动调用的系统逻辑，会直接使用rsp下方的空间存储临时数据，如果你没有主动调整rsp预留对应大小的栈空间，你存在-200(%rsp)里的数据随时可能被这类逻辑覆盖，最终导致程序出现不可预期的错误。

Red zone的实际作用 #

Red zone是ABI明确规定的、rsp下方固定128字节大小的受保护区域：系统的信号处理、异步中断逻辑都会主动避开这段区域，不会向其中写入内容，保证了这段区域内存储的临时数据的安全性。

• 它的核心使用场景就是你提到的叶函数：叶函数不会调用其他子函数，也就不存在子函数误用这段空间的问题，只要临时数据总大小不超过128字节，就可以直接在rsp下方的red zone里读写，完全不需要调整rsp的值。
• 超出128字节的临时存储需求，还是需要主动调整rsp预留栈空间，这部分也不属于red zone的覆盖范围。

关于节省指令的说法完全成立 #

如果没有red zone，哪怕你只需要在栈上存一个8字节的临时变量，你都需要执行两条额外指令完成栈空间的申请和释放：

subq $8, %rsp  # 预留栈空间
# 读写 -8(%rsp)的业务逻辑
addq $8, %rsp  # 恢复栈指针

而有red zone的情况下，你可以直接读写-8(%rsp)，不需要任何调整栈指针的操作，自然就省了这两条指令，对于高频调用的小叶函数来说，这种优化带来的性能收益是非常可观的。

内容的提问来源于stack exchange，提问作者algo