函数栈结构与内存对齐

最新推荐文章于 2023-05-28 15:20:16 发布
最新推荐文章于 2023-05-28 15:20:16 发布
阅读量1.5k 收藏 5
点赞数
分类专栏： 汇编
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/wareric/article/details/80047706
版权
本文介绍了x86-64架构下函数栈的结构，重点解析了返回地址的作用和参数构造区的功能。此外，讨论了控制转移的概念，并详细阐述了数据对齐的原理，包括系统要求和数据类型对齐规则，以及结构体对齐的策略。
摘要由CSDN通过智能技术生成

函数栈

下图是x86-64的函数栈的结构， 函数P调用函数Q的过程，Q正在执行。
这里写图片描述
这里仅对两个地方解释，其他的很容易理解，就不细说了

  • 其中返回地址用来实现函数的返回。当Q要返回到P时，就要调用此地址获取返回位置。
  • 参数构造区是对调用函数P传递的参数的拷贝，因为当P传递参数过多时，无法通过寄存器传递，只好在P的栈帧中保存；调用Q时，将其拷贝到参数构造区

x86-64过程只分配自己所需要的栈帧部分，许多函数甚至根本不需要栈帧。

控制转移

指令 描述
call Label 过程调用
call *Operand 过程调用
ret 从过程调用中返回

数据对齐

许多计算机系统对基本的数据类型的合法地址做出了一些限制，要求某种类型对象的地址必须是某个值K(通常是2、4或8)的倍数。一是为了读取效率，二是某些硬件设备要求。
最低0.47元/天 解锁文章
WarEric
关注
专栏目录
C/C++编程笔记：C语言对齐问题【结构体、栈内存以及位域对齐】
致力于C语言C++知识分享！
06-09 683
引言 考虑下面的结构体定义： 假设这个结构体的成员在内存中是紧凑排列的，且c1的起始地址是0，则s的地址就是1，c2的地址是3，i的地址是4。 现在，我们编写一个简单的程序： 运行后输出： 为什么会这样？这就是字节对齐导致的问题。 本文在参考诸多资料的基础上，详细介绍常见的字节对齐问题。因成文较早，资料来源大多已不可考，敬请谅解。 一,什么是字节对齐 现代计算机中，内存空间按照字节划分，理论上可以从任何起始地址访问任意类型的变量。但实际中在访问特定类型变量时经常在特定的内存地址访
浅谈C++内存管理及内存对齐
m0_55754984的博客
04-29 482
C++的内存管理 以C++为例来介绍一下编程语言的内存管理。 如果我们写C++的程序，就要知道栈和堆的概念，程序运行时所需的内存空间分为 固定部分，和可变部分，如下： 固定部分的内存消耗 是不会随着代码运行产生变化的， 可变部分则是会产生变化的 更具体一些，一个由C/C++编译的程序占用的内存分为以下几个部分： 栈区(Stack) ：由编译器自动分配释放，存放函数的参数值，局部变量的值等，其操作方式类似于数据结构中的栈。 堆区(Heap) ：一般由程序员分配释放，若程序员不释放，程序结束时可
C语言函数参数，内存对齐问题
jason的专栏
03-31 550
我们都知道C语言中，struct会做内存对齐，实际分配的内存出现比程序员预想的多。 C语言函数参数传递的时候也会有类似的情形。但这个和struct内存对齐（https://stackoverflow.com/questions/4306186/structure-padding-and-packing）不一样，它不是插入同类型的数据而是忽略比较小的参数，然后widen这个参数。 具体扩展到多大...
函数帧和可变参数和内存对齐
lizhihaoweiwei的专栏
11-08 1417
函数帧和可变参数和内存对齐
【C语言】详解可变参数与函数参数的内存对齐
熠熠L的博客
03-27 1098
什么是可变参数？ 有时，您可能会碰到这样的情况，您希望函数带有可变数量的参数，而不是预定义数量的参数。 C 语言为这种情况提供了一个解决方案，它允许您定义一个函数，能根据具体的需求接受可变数量的参数。 比如我们最常用的printf函数，它的函数声明是：int printf(const char *format, ...);该函数就是一个典型的应用可变参数的实例，后面那三个...就是说明该函数是可变参数函数。 使用可变参数 要使用可变函数，得引用一个头文件#include <stdarg.h>该文
C语言栈生成方向以及内存存放方向（小端对齐）
热门推荐
Y4tacker的博客
01-16 2万+
????首先这是一个很详细的图片，看下，简单记忆一下： 1、栈的生成方向 #include<stdio.h> void fun1() { int z = 10; //栈底（高地址） int x = 20; int c = 30; int d = 40; //栈顶（低地址） printf("变量z地址：%#x\n",&z); printf("变量x地址：%#x...
深入理解c/c++ 内存对齐
12-31
为了提高程序的性能，数据结构（尤其是栈）应该尽可能地在自然边界上对齐。原因在于，为了访问未对齐的内存，处理器需要作两次内存访问；然而，对齐的内存访问仅需要一次访问。内存对齐一般讲就是cpu access memory...
C++编程基础：初始化、内存对齐与main函数行为
文档还提供了一个示例，展示了如何使用`alignas`来改变`Info`结构体的内存对齐，并展示了实际的内存大小变化。通过这个例子，读者可以理解如何在C++中控制内存布局以优化性能。整体而言，这篇文章帮助C++开发者理解...
C++内存结构解析：对象与虚函数表
6. **内存对齐**： - 对象内的数据成员会按照一定的对齐规则排列，以提高访问效率。可能导致对象实际大小比成员变量总和大。 7. **静态变量与函数**： - **静态变量**：只有一份，所有对象共享，通过类名访问。 ...
对gdb调试，函数栈的形式，以及栈对齐方式的理解和实例
hoppboy的专栏
03-16 3036
第一  栈 首先我们需要了解一下在函数调用时候栈的结构    栈的生长方向由高地址向低地址生长，栈顶指针由sp或者esp确定，当压栈时sp减法操作   每一个函数都是一个栈框架（frame stack）。   我们简单来分析一下下来函数，对压栈，以及汇编语言，调试有进一步的了解 Section 1 Int sum (int x ,
X64-对齐和栈帧分析
qq_41490873的博客
09-29 964
为了程序稳定性，自己在分配栈空间时尽量对齐0x10 例如： sub esp,0x30 可以看出即使我在test里面调用了一个没有参数的函数test1。栈也提升了0x20 下面是函数的堆栈图
内存对齐含义
果冻先生的专栏
05-24 550
百度百科解释：      内存对齐”应该是编译器的“管辖范围”。编译器为程序中的每个“数据单元”安排在适当的位置上。但是C语言的一个特点就是太灵活，太强大，它允许你干预“内存对齐”。如果你想了解更加底层的秘密，“内存对齐”对你就不应该再透明了。       对于内存对齐问题，主要存在于struct和union等复合结构在内存中的分布情况，许多实际的计算机系统对基本类型数据在内存中存放的位置有限制，...
关于内存对齐#pragma pack( n )和__declspec( align(#) 的理解
yanxinrui0027的博客
04-18 1191
有问题欢迎指正 关于内存对齐，是程序员指定将内存中数据放在“对齐”的位置上，这虽然造成了部分的内存空间的浪费，但可以提高计算机的速度。 这个“对齐”的位置，就是指可以被一个数整除的地址，这个数叫做“对齐参数”，一般是1,2,4,8,16……具体这个参数的选取就要用到#pragma pack( n )和__declspec( align(#) 中的n，#以及数据本身所占字节的大小，比如char=
栈帧
liubeck的专栏
04-10 620
http://blog.csdn.net/yxysdcl/article/details/5569351 最近在看《深入理解计算机系统》，第三章中的栈帧看得不是很明白，所以搜到了这篇文章，收藏一下。 首先应该明白，栈是从高地址向低地址延伸的。每个函数的每次调用，都有它自己独立的一个栈帧，这个栈帧中维持着所需要的各种信息。寄存器ebp指向当前的栈帧的底部（高地址），寄存器esp指向当
结构体、位域、栈的字节对齐
kafmws的博客
12-22 704
为什么要字节对齐 可移植性：不是所有硬件都能从任意地址开始访问数据，如 MIPS 遇到未对齐内存直接报错 效率：CPU 每次读取内存时是一块一块读取的，如果目标数据跨越了两个块，CPU 要把两个块都读进来，去掉无关字节，然后将两个块中的目标数据拼接起来，大大降低了 CPU 的效率 结构体/联合体中的字节对齐 结构体内的第一个成员的偏移量为0，此后每个成员的偏移量为 min(#pargma pac...
栈上的内存对齐
hekailing的专栏
11-11 1221
C++ Primer Plus第四章10节第一个程序清单（4.24 choices.cpp）
内存对齐
痞子龙3D编程
07-14 987
对于大部分程序员来说，“内存对齐”对他们来说都应该是“透明的”。“内存对齐”应该是编译器的“管辖范围”。编译器为程序中的每个“数据单元”安排在适当的位置上。但是C语言的一个特点就是太灵活，太强大，它允许你干预“内存对齐”。如果你想了解更加底层的秘密，“内存对齐”对你就不应该再透明了。 2详细解释 对齐原因 大部分的参考资
对于变长栈帧中数组申请对齐的处理
最新发布
weixin_51798819的博客
05-28 143
andq $-16,%rax //获取向下舍入16的最小的倍数，n为奇数时为8n+8，n为偶数时为8n+16 实现16位对齐。subq $16,%rsp // long本来只需要8位，这里进行16位对齐。subq %rax,%rsp //分配空间。csapp p202对于vframe汇编代码中。主要理解对于andq $-16的处理。
字节对齐，字节序，struct在C和C++中的区别，栈帧
ganbatewa的专栏
10-20 340
http://topic.csdn.net/t/20020302/19/551430.html
评论 1
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值