内存对齐原理剖析.docx

内存对齐原理剖析.docx

《内存对齐原理剖析.docx》由会员分享，可在线阅读，更多相关《内存对齐原理剖析.docx（36页珍藏版）》请在冰豆网上搜索。

内存对齐原理剖析

内存对齐原理剖析

一、什么是字节对齐,为什么要对齐?

现代计算机中内存空间都是按照byte划分的，从理论上讲似乎对任何类型的变量的访问可以从任何地址开始，但实际情况是在访问特定类型变量的时候经常在特定的内存地址访问，这就需要各种类型数据按照一定的规则在空间上排列，而不是顺序的一个接一个的排放，这就是对齐。

对齐的作用和原因：

各个硬件平台对存储空间的处理上有很大的不同。

一些平台对某些特定类型的数据只能从某些特定地址开始存取。

比如有些架构的CPU在访问一个没有进行对齐的变量的时候会发生错误,那么在这种架构下编程必须保证字节对齐.其他平台可能没有这种情况，但是最常见的是如果不按照适合其平台要求对数据存放进行对齐，会在存取效率上带来损失。

比如有些平台每次读都是从偶地址开始，如果一个int型（假设为32位系统）如果存放在偶地址开始的地方，那么一个读周期就可以读出这32bit，而如果存放在奇地址开始的地方，就需要2个读周期，并对两次读出的结果的高低字节进行拼凑才能得到该32bit数据。

显然在读取效率上下降很多。

二、请看下面的结构：

structMyStruct

{

doubledda1;

chardda;

inttype

};

对结构MyStruct采用sizeof会出现什么结果呢？

sizeof（MyStruct）为多少呢？

也许你会这样求：

sizeof（MyStruct）=sizeof（double）+sizeof（char）+sizeof（int）=13

但是当在VC中测试上面结构的大小时，你会发现sizeof（MyStruct）为16。

你知道为什么在VC中会得出这样一个结果吗？

其实，这是VC对变量存储的一个特殊处理。

为了提高CPU的存储速度，VC对一些变量的起始地址做了“对齐”处理。

在默认情况下，VC规定各成员变量存放的起始地址相对于结构的起始地址的偏移量必须为该变量的类型所占用的字节数的倍数。

下面列出常用类型的对齐方式（vc6.0,32位系统）。

类型

对齐方式（变量存放的起始地址相对于结构的起始地址的偏移量）

Char

偏移量必须为sizeof（char）即1的倍数

int

偏移量必须为sizeof（int）即4的倍数

float

偏移量必须为sizeof（float）即4的倍数

double

偏移量必须为sizeof（double）即8的倍数

Short

偏移量必须为sizeof（short）即2的倍数

各成员变量在存放的时候根据在结构中出现的顺序依次申请空间，同时按照上面的对齐方式调整位置，空缺的字节VC会自动填充。

同时VC为了确保结构的大小为结构的字节边界数（即该结构中占用最大空间的类型所占用的字节数）的倍数，所以在为最后一个成员变量申请空间后，还会根据需要自动填充空缺的字节。

下面用前面的例子来说明VC到底怎么样来存放结构的。

structMyStruct

{

doubledda1;

chardda;

inttype

}；

为上面的结构分配空间的时候，VC根据成员变量出现的顺序和对齐方式，先为第一个成员dda1分配空间，其起始地址跟结构的起始地址相同（刚好偏移量0刚好为sizeof（double）的倍数），该成员变量占用sizeof（double）=8个字节；接下来为第二个成员dda分配空间，这时下一个可以分配的地址对于结构的起始地址的偏移量为8，是sizeof（char）的倍数，所以把dda存放在偏移量为8的地方满足对齐方式，该成员变量占用sizeof（char）=1个字节；接下来为第三个成员type分配空间，这时下一个可以分配的地址对于结构的起始地址的偏移量为9，不是sizeof（int）=4的倍数，为了满足对齐方式对偏移量的约束问题，VC自动填充3个字节（这三个字节没有放什么东西），这时下一个可以分配的地址对于结构的起始地址的偏移量为12，刚好是sizeof（int）=4的倍数，所以把type存放在偏移量为12的地方，该成员变量占用sizeof（int）=4个字节；这时整个结构的成员变量已经都分配了空间，总的占用的空间大小为：

8+1+3+4=16，刚好为结构的字节边界数（即结构中占用最大空间的类型所占用的字节数sizeof（double）=8）的倍数，所以没有空缺的字节需要填充。

所以整个结构的大小为：

sizeof（MyStruct）=8+1+3+4=16，其中有3个字节是VC自动填充的，没有放任何有意义的东西。

下面再举个例子，交换一下上面的MyStruct的成员变量的位置，使它变成下面的情况：

structMyStruct

{

chardda;

doubledda1;

inttype

}；

这个结构占用的空间为多大呢？

在VC6.0环境下，可以得到sizeof（MyStruc）为24。

结合上面提到的分配空间的一些原则，分析下VC怎么样为上面的结构分配空间的。

（简单说明）

structMyStruct

{

chardda;//偏移量为0，满足对齐方式，dda占用1个字节；

doubledda1;//下一个可用的地址的偏移量为1，不是sizeof（double）=8

//的倍数，需要补足7个字节才能使偏移量变为8（满足对齐

//方式），因此VC自动填充7个字节，dda1存放在偏移量为8

//的地址上，它占用8个字节。

inttype；//下一个可用的地址的偏移量为16，是sizeof（int）=4的倍

//数，满足int的对齐方式，所以不需要VC自动填充，type存

//放在偏移量为16的地址上，它占用4个字节。

}；//所有成员变量都分配了空间，空间总的大小为1+7+8+4=20，不是结构

//的节边界数（即结构中占用最大空间的类型所占用的字节数sizeof

//（double）=8）的倍数，所以需要填充4个字节，以满足结构的大小为

//sizeof（double）=8的倍数。

所以该结构总的大小为：

sizeof（MyStruc）为1+7+8+4+4=24。

其中总的有7+4=11个字节是VC自动填充的，没有放任何有意义的东西。

VC对结构的存储的特殊处理确实提高CPU存储变量的速度，但是有时候也带来了一些麻烦，我们也屏蔽掉变量默认的对齐方式，自己可以设定变量的对齐方式。

VC中提供了#pragmapack（n）来设定变量以n字节对齐方式。

n字节对齐就是说变量存放的起始地址的偏移量有两种情况：

第一、如果n大于等于该变量所占用的字节数，那么偏移量必须满足默认的对齐方式，第二、如果n小于该变量的类型所占用的字节数，那么偏移量为n的倍数，不用满足默认的对齐方式。

结构的总大小也有个约束条件，分下面两种情况：

如果n大于所有成员变量类型所占用的字节数，那么结构的总大小必须为占用空间最大的变量占用的空间数的倍数；

否则必须为n的倍数。

下面举例说明其用法。

#pragmapack（push）//保存对齐状态

#pragmapack（4）//设定为4字节对齐

structtest

{

charm1;

doublem4;

intm3;

};

#pragmapack（pop）//恢复对齐状态

以上结构的大小为16，下面分析其存储情况，首先为m1分配空间，其偏移量为0，满足我们自己设定的对齐方式（4字节对齐），m1占用1个字节。

接着开始为m4分配空间，这时其偏移量为1，需要补足3个字节，这样使偏移量满足为n=4的倍数（因为sizeof（double）大于n）,m4占用8个字节。

接着为m3分配空间，这时其偏移量为12，满足为4的倍数，m3占用4个字节。

这时已经为所有成员变量分配了空间，共分配了16个字节，满足为n的倍数。

如果把上面的#pragmapack（4）改为#pragmapack（16），那么我们可以得到结构的大小为24。

（请读者自己分析）

三、再看下面这个例子

#pragmapack（8）

structS1{

chara;

longb;

};

structS2{

charc;

structS1d;

longlonge;

};

#pragmapack（）

sizeof（S2）结果为24.

成员对齐有一个重要的条件,即每个成员分别对齐.即每个成员按自己的方式对齐.

也就是说上面虽然指定了按8字节对齐,但并不是所有的成员都是以8字节对齐.其对齐的规则是,每个成员按其类型的对齐参数（通常是这个类型的大小）和指定对齐参数（这里是8字节）中较小的一个对齐.并且结构的长度必须为所用过的所有对齐参数的整数倍,不够就补空字节.

S1中,成员a是1字节默认按1字节对齐,指定对齐参数为8,这两个值中取1,a按1字节对齐;成员b是4个字节,默认是按4字节对齐,这时就按4字节对齐,所以sizeof（S1）应该为8;

S2中,c和S1中的a一样,按1字节对齐,而d是个结构,它是8个字节,它按什么对齐呢?

对于结构来说,它的默认对齐方式就是它的所有成员使用的对齐参数中最大的一个,S1的就是4.所以,成员d就是按4字节对齐.成员e是8个字节,它是默认按8字节对齐,和指定的一样,所以它对到8字节的边界上,这时,已经使用了12个字节了,所以又添加了4个字节的空,从第16个字节开始放置成员e.这时,长度为24,已经可以被8（成员e按8字节对齐）整除.这样,一共使用了24个字节.

ab

S1的内存布局：

11**,1111,

cS1.aS1.bd

S2的内存布局：

1***,11**,1111,****11111111

这里有三点很重要:

1.每个成员分别按自己的方式对齐,并能最小化长度。

2.复杂类型（如结构）的默认对齐方式是它最长的成员的对齐方式,这样在成员是复杂类型时,可以最小化长度。

3.对齐后的长度必须是成员中最大的对齐参数的整数倍,这样在处理数组时可以保证每一项都边界对齐。

Win32平台下的微软编译器（cl.exefor80×86）的对齐策略：

1）结构体变量的首地址能够被其最宽基本类型成员的大小所整除；

备注：

编译器在给结构体开辟空间时，首先找到结构体中最宽的基本数据类型，然后寻找内存地址能被该基本数据类型所整除的位置，作为结构体的首地址。

将这个最宽的基本数据类型的大小作为上面介绍的对齐模数。

2）结构体每个成员相对于结构体首地址的偏移量（offset）都是成员大小的整数倍，如有需要编译器会在成员之间加上填充字节（internaladding）；

备注:

为结构体的一个成员开辟空间之前，编译器首先检查预开辟空间的首地址相对于结构体首地址的偏移是否是本成员的整数倍，若是，则存放本成员，反之，则在本成员和上一个成员之间填充一定的字节，以达到整数倍的要求，也就是将预开辟空间的首地址后移几个字节。

3）结构体的总大小为结构体最宽基本类型成员大小的整数倍，如有需要，编译器会在最末一个成员之后加上填充字节（trailingpadding）。

备注：

结构体总大小是包括填充字节，最后一个成员满足上面两条以外，还必须满足第三条，否则就必须在最后填充几个字节以达到本条要求。

文章1

一、内存对齐的原因

大部分的参考资料都是如是说的：

1、平台原因（移植原因）：

不是所有的硬件平台都能访问任意地址上的任意数据的；某些硬

件平台只能在某些地址处取某些特定类型的数据，否则抛出硬件异常。

2、性能原因：

数据结构（尤其是栈）应该尽可能地在自然边界上对齐。

原因在于，为了访问

未对齐的内存，处理器需要作两次内存访问；而对齐的内存访问仅需要一次访问。

二、对齐规则

每个特定平台上的编译器都有自己的默认“对齐系数”（也叫对齐模数）。

程序员可以通过预编

译命令#pragmapack（n），n=1,2,4,8,16来改变这一系数，其中的n就是你要指定的“对齐系数”。

规则1：

数据成员对齐规则：

结构（struct）（或联合（union））的数据成员，第一个数据成员放在offset

为0的地方，以后每个数据成员的对齐按照#pragmapack指定的数值和这个数据成员自身长度中，比较小的那个进行。

规则2：

结构（或联合）的整体对齐规则：

在数据成员完成各自对齐之后，结构（或联合）本身也要进

行对齐，对齐将按照#pragmapack指定的数值和结构（或联合）最大数据成员长度中，比较小的那个进行。

规则3：

结合1、2颗推断：

当#pragmapack的n值等于或超过所有数据成员长度的时候，这个n

值的大小将不产生任何效果。

三、试验

我们通过一系列例子的详细说明来证明这个规则吧!

我试验用的编译器包括GCC3.4.2和VC6.0的C编译器，平台为WindowsXP+Sp2。

我们将用典型的struct对齐来说明。

首先我们定义一个struct：

#pragmapack（n）/*n=1,2,4,8,16*/

structtest_t

{

inta;

charb;

shortc;

chard;

};

#pragmapack（n）

首先我们首先确认在试验平台上的各个类型的size，经验证两个编译器的输出均为：

sizeof（char）=1

sizeof（short）=2

sizeof（int）=4

我们的试验过程如下：

通过#pragmapack（n）改变“对齐系数”，然后察看sizeof（structtest_t）的值。

1、1字节对齐（#pragmapack

（1））

输出结果：

sizeof（structtest_t）=8[两个编译器输出一致]

分析过程：

1）成员数据对齐

#pragmapack

（1）

structtest_t{

inta;/*长度4<1按1对齐；起始offset=00%1=0；存放位置区间[0,3]*/

charb;/*长度1=1按1对齐；起始offset=44%1=0；存放位置区间[4]*/

shortc;/*长度2>1按1对齐；起始offset=55%1=0；存放位置区间[5,6]*/

chard;/*长度1=1按1对齐；起始offset=77%1=0；存放位置区间[7]*/

};

#pragmapack（）

成员总大小=8

2）整体对齐

整体对齐系数=min（（max（int,short,char）,1）=1

整体大小（size）=$（成员总大小）按$（整体对齐系数）圆整=8/*8%1=0*/[注1]

2、2字节对齐（#pragmapack

（2））

输出结果：

sizeof（structtest_t）=10[两个编译器输出一致]

分析过程：

1）成员数据对齐

#pragmapack

（2）

structtest_t{

inta;/*长度4>2按2对齐；起始offset=00%2=0；存放位置区间[0,3]*/

charb;/*长度1<2按1对齐；起始offset=44%1=0；存放位置区间[4]*/

shortc;/*长度2=2按2对齐；起始offset=66%2=0；存放位置区间[6,7]*/

chard;/*长度1<2按1对齐；起始offset=88%1=0；存放位置区间[8]*/

};

#pragmapack（）

成员总大小=9

2）整体对齐

整体对齐系数=min（（max（int,short,char）,2）=2

整体大小（size）=$（成员总大小）按$（整体对齐系数）圆整=10/*10%2=0*/

3、4字节对齐（#pragmapack（4））

输出结果：

sizeof（structtest_t）=12[两个编译器输出一致]

分析过程：

1）成员数据对齐

#pragmapack（4）

structtest_t{

inta;/*长度4=4按4对齐；起始offset=00%4=0；存放位置区间[0,3]*/

charb;/*长度1<4按1对齐；起始offset=44%1=0；存放位置区间[4]*/

shortc;/*长度2<4按2对齐；起始offset=66%2=0；存放位置区间[6,7]*/

chard;/*长度1<4按1对齐；起始offset=88%1=0；存放位置区间[8]*/

};

#pragmapack（）

成员总大小=9

2）整体对齐

整体对齐系数=min（（max（int,short,char）,4）=4

整体大小（size）=$（成员总大小）按$（整体对齐系数）圆整=12/*12%4=0*/

4、8字节对齐（#pragmapack（8））

输出结果：

sizeof（structtest_t）=12[两个编译器输出一致]

分析过程：

1）成员数据对齐

#pragmapack（8）

structtest_t{

inta;/*长度4<8按4对齐；起始offset=00%4=0；存放位置区间[0,3]*/

charb;/*长度1<8按1对齐；起始offset=44%1=0；存放位置区间[4]*/

shortc;/*长度2<8按2对齐；起始offset=66%2=0；存放位置区间[6,7]*/

chard;/*长度1<8按1对齐；起始offset=88%1=0；存放位置区间[8]*/

};

#pragmapack（）

成员总大小=9

2）整体对齐

整体对齐系数=min（（max（int,short,char）,8）=4

整体大小（size）=$（成员总大小）按$（整体对齐系数）圆整=12/*12%4=0*/

5、16字节对齐（#pragmapack（16））

输出结果：

sizeof（structtest_t）=12[两个编译器输出一致]

分析过程：

1）成员数据对齐

#pragmapack（16）

structtest_t{

inta;/*长度4<16按4对齐；起始offset=00%4=0；存放位置区间[0,3]*/

charb;/*长度1<16按1对齐；起始offset=44%1=0；存放位置区间[4]*/

shortc;/*长度2<16按2对齐；起始offset=66%2=0；存放位置区间[6,7]*/

chard;/*长度1<16按1对齐；起始offset=88%1=0；存放位置区间[8]*/

};

#pragmapack（）

成员总大小=9

2）整体对齐

整体对齐系数=min（（max（int,short,char）,16）=4

整体大小（size）=$（成员总大小）按$（整体对齐系数）圆整=12/*12%4=0*/

四、结论

8字节和16字节对齐试验证明了“规则”的第3点：

“当#pragmapack的n值等于或超过所有数据成员长度的时候，这个n值的大小将不产生任何效果”。

另外内存对齐是个很复杂的东西，上面所说的在有些时候也可能不正确。

呵呵^_^

[注1]

什么是“圆整”？

举例说明：

如上面的8字节对齐中的“整体对齐”，整体大小=9按4圆整=12

圆整的过程：

从9开始每次加一，看是否能被4整除，这里9，10，11均不能被4整除，到12时可以，则圆整结束。

程序校验（环境VC++6.0）

intmain（）

{

inta;charb;shortc;chard;//ox0012ff1cox0012ff18ox0012ff14ox0012ff10

printf（"ox%08x",&a）;

printf（"ox%08x",&b）;

printf（"ox%08x",&c）;

printf（"ox%08x\n",&d）;

}

文章2

此页面可以通过在dev_c++4.9.9.2运行,并通过小量的更改在其他IDE下运行.

摘要：

本文描述了内存对齐的各种概念和内存管理的其他知识点,应用相应的程序示例进行解释.

备注:

本文资料收集于网络并通过作者整理.此篇不考虑继承和虚函数虚表问题.此类问题分析详见下个版本.

whatandwhy

什么是字节对齐,为什么要对齐?

现代计算机中内存空间都是按照byte划分的，从理论上讲似乎对任何类型的变量的访问可以从任何地址开始,但实际情况是在访问特定类型变量的时候经常在特定的内存地址访问,这就需要各种类型数据按照一定的规则在空间上排列,而不是顺序的一个接一个的排放,这就是对齐.

对齐的作用和原因?

各个硬件平台对存储空间的处理上有很大的不同.一些平台对某些特定类型的数据只能从某些特定地址开始存取.比如有些架构的CPU在访问一个没有进行对齐的变量的时候会发生错误,那么在这种架构下编程必须保证字节对齐.其他平台可能没有这种情况,但是最常见的是如果不按照适合其平台要求对齐数据存放进行对齐,会在存取效率上带来损失.比如有些平台每次读都是从偶地址开始,如果一个int型（假设为32位系统）如果存放在偶地址开始的地方,那么一个读周期就可以读出这32bit,而如果存放在奇地址开始的地方,就需要2个读周期,并对两次读出的结果的高低字节进行拼凑才能得到该32bit数据.显然在读取效率上下降很多.

4个重要概念

1.数据类型自身的对齐值：

对于char型数据,其自身对齐值为1;对于short型为2;对于int,float,double类型,

其自身对齐值为4单位字节.

2.结构体或者类的自身对齐值：

其成员中自身对齐值最大的那个值.

3.指定对齐值：

#pragmapack（value）时的指定对齐值value.

4.数据成员,结构体和类的有效对齐值：

自身对齐值和指定对齐值中小的那个值.

有效对齐值拓展

有效对齐值n是最终用来决定数据存放地址方式的值.有效对齐n,就是表示对齐在n上,也就是说该数据的"存放起始地址%n=0".而数据结构中的数据变量都是按定义的先后顺序来排放的.第一个数据变量的起始地址就是数据结构的起始地址.结构体的成员变量要对齐排放,结构体本身也要根据自身的有效对齐值圆整（就是结构体成员变量占用总长度需要是对结构体有效对齐值的整数倍,结合下面例子理解）.

#endif

#include

usingstd:

:

cout;

usingstd:

:

endl;

voidnewSet（）;

voidnewSet_P（）;

typedefstruct

{

intid;//4：

[0]....[3]

doubleweight;//8：

[7].....[1