嵌入式中的数据对齐

     首先要提到总线宽度这个概念，我们平常提到的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语言开发》