分析函数调用过程栈的布局(stack frame layout)

本文详细解析了C语言中函数调用的过程,包括参数传递、栈帧建立、局部变量分配、函数返回等关键步骤,以及GCC编译器在x86架构下生成的汇编代码示例。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

int add(int x, int y)
{
    int res = x + y;
    return res;
}

int main()
{    
    add(1, 2);
    return 0;
}

平台:x86,Ubuntu14.10

gcc -S -m32 -masm=intel add.c -o add.s


1. 将1和2推到栈中

push 2
push 1


注:图中上面的位置是内存高地址,是the bottom of stack;下面的位置是内存低地址,是the top of stack。栈增长的方向是从内存高地址到内存低地址。

2. 调用函数add

call add

call指令会把call后的下一条指令的地址(eip)压入栈中,即add函数的返回地址压入栈中。


3. 保存上一个函数栈帧的开始位置到栈中,并保存当前esp位置到ebp中

push ebp
mov ebp, esp



4. 若函数要用局部变量,则要在堆栈中开辟点空间

sub esp, 16



5. 具体的逻辑运算

; 将[ebp+8],即1送到edx寄存器
mov edx, DWORD PTR [ebp+8]
; 将[ebp+12],即2送到eax寄存器
mov eax, DWORD PTR [ebp+12]
; 将edx值加到eax中,eax的值变为3
add eax, edx
; 将eax的值送到[ebp-4],如下图所示
mov DWORD PTR [ebp-4], eax
; 将[ebp-4]中的值送到eax寄存器中,以便执行ret后还能访问
mov eax, DWORD PTR [ebp-4]



6. 恢复堆栈指针

leave

leave相当于:

mov esp, ebp
pop ebp

步骤一、

    

步骤二、



7. 执行return操作

ret

ret指令将call下一条指令的地址(调用call时存放在栈中)从栈中弹出到eip寄存器中。



8. 收尾,保持堆栈平衡

add esp, 8



附:完整的汇编代码

 .file "add.c"
 .intel_syntax noprefix
 .text
 .globl add
 .type add, @function
add:
.LFB0:
 .cfi_startproc
 push ebp
 .cfi_def_cfa_offset 8
 .cfi_offset 5, -8
 mov ebp, esp
 .cfi_def_cfa_register 5
 sub esp, 16
 mov edx, DWORD PTR [ebp+8]
 mov eax, DWORD PTR [ebp+12]
 add eax, edx
 mov DWORD PTR [ebp-4], eax
 mov eax, DWORD PTR [ebp-4]
 leave
 .cfi_restore 5
 .cfi_def_cfa 4, 4
 ret
 .cfi_endproc
.LFE0:
 .size add, .-add
 .globl main
 .type main, @function
main:
.LFB1:
 .cfi_startproc
 push ebp
 .cfi_def_cfa_offset 8
 .cfi_offset 5, -8
 mov ebp, esp
 .cfi_def_cfa_register 5
 push 2
 push 1
 call add
 add esp, 8
 mov eax, 0
 leave
 .cfi_restore 5
 .cfi_def_cfa 4, 4
 ret
 .cfi_endproc
.LFE1:
 .size main, .-main
 .ident "GCC: (Ubuntu 4.9.1-16ubuntu6) 4.9.1"
 .section .note.GNU-stack,"",@progbits




来自为知笔记(Wiz)



附件列表

 

转载于:https://my.oschina.net/u/2504786/blog/533953

<think>嗯,用户之前问过MIPS中的叶指令,现在又问MIPS的内存布局上的局部数据。看起来用户可能在学MIPS汇编,或者在做相关的项目。需要先确认用户的需求,可能他们需要理解程序在MIPS中是如何管理内存的,特别是函数调用时局部变量的存储。 首先,用户提到了“memory layout”和“local data on the stack”。我需要先解释MIPS的内存布局,包括不同段的作用,比如text、data、stack、heap等。然后重点放在上局部数据的存储,这部分可能涉及函数调用时的帧结构,如何保存寄存器和局部变量。 用户之前的问题关于叶函数,所以可能需要联系到的使用在叶函数和非叶函数中的区别。比如,叶函数可能不需要在上保存返回地址,而非叶函数需要。这时候可以对比一下两种情况,帮助用户理解的使用场景。 要注意用户可能的误解,比如“local data on the atack”可能是“local data on the stack”的拼写错误。需要确认这一点,并在回答中纠正,避免混淆。另外,用户可能对的增长方向、指针的操作($sp)不太清楚,需要详细解释。 还要考虑用户的实际应用场景,比如他们可能在编写或分析MIPS汇编代码时遇到问题,需要了解如何分配和管理局部变量。这时候需要举一些具体的例子,比如函数中的局部变量如何通过来存储,以及如何访问这些变量。 另外,需要检查之前的回答结构,保持一致性。之前使用了分点解释、对比表格,这次也可以采用类似的结构,让用户更容易理解。比如先概述内存布局,再深入的结构,最后用例子说明局部数据在上的存储方式。 可能还需要提到动态内存分配(heap)与的区别,但用户的问题集中在和局部数据,所以这部分可以简要带过。重点放在帧的创建和销毁过程,以及如何通过$sp和$fp寄存器来管理空间。 最后,确保回答准确,符合MIPS的实际规范,比如是从高地址向低地址增长,每个帧包含返回地址、保存的寄存器、局部变量等。同时注意术语的正确使用,避免混淆,比如“指针”和“帧指针”的区别和作用。</think>以下是关于 **MIPS 内存布局(Memory Layout)** 和 **上的局部数据(Local Data on the Stack)** 的详细解释: --- ### 1. **MIPS 内存布局概览** MIPS 内存分为以下几个主要区域(从低地址到高地址): | **内存区域** | **地址范围(示例)** | **用途** | |----------------|---------------------|-------------------------------------------------------------------------| | **Text 段** | `0x00400000` | 存储可执行代码(指令) | | **Data 段** | `0x10000000` | 存储全局变量、静态数据(初始化或未初始化) | | **Heap 段** | 动态增长 | 动态分配的内存(例如通过 `malloc` 或 `new`) | | **Stack 段** | `0x7ffffffc` 向下 | 存储函数调用时的局部变量、参数、返回地址等(后进先出) | --- ### 2. **Stack)的作用与结构** 用于管理**函数调用时的临时数据**,包括: - **局部变量(Local Variables)** - **函数参数(Arguments)** - **返回地址(Return Address `$ra`)** - **保存的寄存器(Saved Registers,如 `$s0`~`$s7`)** #### **指针与帧指针** - **指针 `$sp`**:指向顶(当前可用地址)。 - **帧指针 `$fp`**(可选):指向当前函数的帧基址,方便访问局部变量。 --- ### 3. **局部数据在上的存储** #### **示例场景**:函数调用时分配局部变量 假设函数 `func` 需要存储两个局部变量 `int a, b`: ```assembly func: # 分配空间(假设每个变量占4字节,共8字节) addiu $sp, $sp, -8 # 向下增长8字节 # 存储变量 a 在 $sp+0 位置 sw $t0, 0($sp) # $t0 是变量 a 的值 # 存储变量 b 在 $sp+4 位置 sw $t1, 4($sp) # $t1 是变量 b 的值 # ... 其他操作 ... # 释放空间 addiu $sp, $sp, 8 jr $ra ``` #### **关键步骤**: 1. **分配空间**:通过减小 `$sp` 预留空间(例如 `addiu $sp, $sp, -N`)。 2. **存储数据**:通过 `sw`(存储字)指令将数据写入。 3. **释放空间**:函数返回前恢复 `$sp`(例如 `addiu $sp, $sp, N`)。 --- ### 4. **帧(Stack Frame)结构** 一个典型的帧包含以下内容(从高地址到低地址): ``` |-------------------| | 调用者的帧 | 高地址 |-------------------| | 保存的寄存器 | |-------------------| | 局部变量 | |-------------------| | 参数空间(可选) | |-------------------| | 返回地址 $ra | <-- $sp 初始位置 |-------------------| ``` --- ### 5. **与非叶函数的对比** - **叶函数**(不调用其他函数)可能无需操作(如不保存 `$ra`)。 - **非叶函数**必须保存 `$ra` 和其他寄存器到,防止被覆盖。 --- ### 6. **的优化** - **复用空间**:局部变量的生命周期仅限于函数执行期间,空间可重复利用。 - **对齐要求**:MIPS 通常要求地址按 8 字节对齐。 --- ### 总结 - ****是函数调用的核心机制,用于管理局部数据和调用上下文。 - **局部变量**通过 `$sp` 偏移量访问(例如 `lw $t0, 4($sp)`)。 - 理解布局对调试和优化汇编代码至关重要。 如果需要具体代码示例或进一步分析,请告知!
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值