Warm tip: This article is reproduced from serverfault.com, please click
assembly c gcc x86-64 callstack

assembly-为什么GCC为C数组分配了过多的堆栈空间

(assembly - Why is GCC allocating too much stack space for a C array)

发布于 2020-11-30 22:58:51

考虑以下程序：

int main()
{
   int arr[8];
}

在Linux 20上使用gcc 9.3.0进行编译时，文件的反汇编在开始时看起来像这样（这不是上面代码的整体汇编！）：

┌ 72: int dbg.main (int argc, char **argv, char **envp);
│           ; var int[8] arr @ rbp-0x30
│           ; var int64_t canary @ rbp-0x8
│           0x00001169      f30f1efa       endbr64                     ; test.c:2 { ; int main();
│           0x0000116d      55             push rbp
│           0x0000116e      4889e5         mov rbp, rsp
│           0x00001171      4883ec30       sub rsp, 0x30

当arr只有8个int = 8 * 4个字节长（sub rsp, 0x30）时，为什么汇编程序会在堆栈上分配0x30 = 48个字节？

Questioner
Hell stormer
Viewed
0
分享
Nate Eldredge 2020-12-01 07:08:47

那是：

总计：48个字节。

Jester 2020-11-30 23:15:53

但是主要是因为它没有优化。由于它是叶函数，因此只要本地变量适合红色区域，就不需要对齐堆栈，也不需要任何分配。另外，format注释中提到的内容似乎表明这是与所示程序不同的程序集。

Nate Eldredge 2020-11-30 23:25:45

@Jester：就此而言，arr可以完全优化；通过优化，您就可以得到xor eax, eax ; ret。我发现这是format神秘的，因为它似乎重叠了arr。

热门github

1
A multi-platform library for OpenGL, OpenGL ES, Vulkan, window and input (翻译：适用于 OpenGL、OpenGL ES、Vulkan、窗口和输入的多平台库)
2
Dev tool that writes scalable apps from scratch while the developer oversees the implementation (翻译：可扩展开发工具的 PoC，该工具从头开始编写整个应用程序，同时开发人员监督实施)
3
shadcn/ui, but for Svelte. ✨ (翻译：shadcn-svelte是shadcn/ui的非官方社区主导的Svelte端口。)
4
The Python Risk Identification Tool for generative AI (PyRIT) is an open access automation framework to empower security professionals and machine learning engineers to proactively find risks in their generative AI systems. (翻译：用于生成式 AI 的 Python 风险识别工具 (PyRIT) 是一个开放式访问自动化框架，使安全专业人员和机器学习工程师能够主动发现其生成式 AI 系统中的风险。)
5
Performance-portable, length-agnostic SIMD with runtime dispatch (翻译：Highway 是一个提供可移植 SIMD/向量内在函数的 C++ 库。)
6
ZK Credo (翻译：ZK信条)
7
OpenCodeInterpreter: Integrating Code Generation with Execution and Refinement (翻译：OpenCodeInterpreter：将代码生成与执行和优化集成)
8
Joplin - the secure note taking and to-do app with synchronisation capabilities for Windows, macOS, Linux, Android and iOS. (翻译：Joplin - 一个开源的笔记和待办事项应用程序，具有Windows，macOS，Linux，Android和iOS的同步功能。)
9
Mamba is a new state space model architecture showing promising performance on information-dense data such as language modeling, where previous subquadratic models fall short of Transformers. It is based on the line of progress on structured state space models, with an efficient hardware-aware design and implementation in the spirit of FlashAttention. (翻译：Mamba 是一种新的状态空间模型架构，在信息密集型数据（例如语言建模）上显示出良好的性能，而之前的二次模型在 Transformers 方面存在不足。它基于结构化状态空间模型的进展，并本着FlashAttention的精神进行高效的硬件感知设计和实现。)
10
This repository contains System Design resources which are useful while preparing for interviews and learning Distributed Systems (翻译：该存储库包含系统设计资源，在准备面试和学习分布式系统时非常有用)
11
Curso para aprender el lenguaje de programación Python desde cero y para principiantes. 75 clases, 37 horas en vídeo, código, proyectos y grupo de chat. Fundamentos, frontend, backend, testing, IA... (翻译：从零开始学习 Python 编程语言的课程，适合初学者)
12
🎓 Path to a free self-taught education in Computer Science! (翻译：🎓计算机科学免费自学教程！)
13
1️⃣🐝🏎️ The One Billion Row Challenge -- A fun exploration of how quickly 1B rows from a text file can be aggregated with Java (翻译：十亿行挑战 —— 使用 Java 对文本文件中的 10 亿行数据进行聚合的有趣探索)
14
A collective list of free APIs (翻译：免费 API 的集合列表)
15
📚 Freely available programming books (翻译：📚 免费提供的编程书籍)