首先要提到总线宽度这个概念,我们平常提到的32位处理器、64位处理器,就是指的总线宽度为32、64位,也就是在一个处理器访问周期中访问的数据位数。对于某些处理器多字节访问必须从偶数字节开始,如果从奇数地址取一个short整形数(两字节)将会导致异常,而对于另外一些处理器,即使多字节的访问可以从任意字节开始,但是访问未对齐的数据时会需要额外的时间开销。所以如果一个变量的内存地址正好是它长度的整数倍,就称为自然对齐,此时访问效率最高。例如对于一个32位类型的数据,如果它在内存中的地址刚好可以被4整除(也就是最低两位为0),那么它就是自然对齐的。因此对于一个大小为2n字节类型的数据,它地址的最低有效位后n位都应该是0。
每一个C的类型都有自然边界:如果某种类型数据地址是N的整数倍时访问效率最高,那么N就是该类型的自然边界。
N = min(总线宽度,数据类型大小)
下面列出了数据类型的大小和其自然边界值:
对于非压缩的结构体,在内存中的布局遵循以下两个原则。
- 非压缩的结构体的自然边界和具有最大需要的数据成员一致,为了准确对齐,在成员之间可能需要填充字节。
- 非压缩的结构体的总大小是其自然边界的倍数,因此在结构体末尾可能需要填充字节。
struct simple
{
char A;
int B;
char C;
};
struct simple vect[2];
struct outer
{
char X;
struct simple Y;
};
struct point
{
char C;
double X, Y;
};
每个字母表示一个字节,*表示一个填充字节。
16位总线中的内存布局:
struct simple {A*BBBBC*}
struct simple vect[2] {{A*BBBBC*}{A*BBBBC*}}
struct outer {X*{A*BBBBC*}}
struct pointer {C*XXXXXXXXYYYYYYYY}
32位总线中的内存布局:
struct simple {A***BBBBC****}
struct simple vect[2] {{A****BBBBC****}{A****BBBBC****}}
struct outer {X****{A****BBBBC****}}
struct pointer {C****XXXXXXXXYYYYYYYY}
64位总线中的内存布局:
struct simple {A****BBBBC****}
struct simple vect[2] {{A****BBBBC****}{A****BBBBC****}}
struct outer {X****{A*BBBBC****}}
struct pointer {C********XXXXXXXXYYYYYYYY}
在GNU C中有一个特色就是__attribute__(前后是两个下划线)机制。_attribute_可以设置函数属性、变量属性和类型属性。这里主要讲它的变量属性设置。
- aligned
该属性规定变量或结构体成员的最小的对齐格式,以字节为单位。如:
int x __attribute__ ((aligned (16))) = 0;
编译器将以16字节对齐的方式分配变量。也可以对结构体成员变量设置该属性,如
struct foo
{ int x[2] __attribute__ ((aligned (8))); };
可以手动指定对齐的格式,如果aligned后面没有数值,则编译器将根据实际情况选择最有益的对齐方式。
- packed
使用该属性可以使得变量或者结构体使用最小的对齐方式,即一个字节的对齐方式,忽略所有填充字节。
struct exam
{
int a;
int x[2] __attribute__((packed));
}'
参考资料:
《嵌入式软件开发精解》
《嵌入式Linux C语言开发》