【原创】在嵌入式系统中大小端和对齐问题

上面的示例只是处理器自身读取和写入内存的情况，在更多的情况下，内存中的数据可能来自外界的输入，例如：来自网络的数据包；处理器在写内存的时候，这块内存也可能是给系统中别的设备使用的，例如：处理器写显示内存的情况。这时，就更需要注意处理器的大小端问题，只有大小端处理协调匹配，才能获得正确的结果。

在C语言中，使用指针就可以操作内存，指针的基本类型long和short分别代表了32位和16位的数据。使用16位或32位指针操作内存的时候，同样涉及内存的大小端问题。

上面我们说了一下内存读写的模式不同，一个地址存的数据不同。
接下来我们说一下内存对齐的问题，有人会说了内存对齐不对齐还需要你来管吗？这个在写程序的时候也是有讲究的，那么到底什么是内存对齐？为什么要有这个概念呢，我们来一起学习一下吧。

内存对齐操作的含义是：对于一个4字节的数据，要求其内存是4字节对齐的（地址为4字节的整数倍）。32位对齐的含义是其内存的地址的最低位是：0x0,0x4,0x8,0xC
16位对齐的含义是其内存的地址的最低位是：0x0,0x2,0x4,0x6,0x8,0xA,0xC,0xE
显然，对于单字节的内存读写操作，没有内存对齐的问题。从处理器硬件的角度，处理器更适合处理对齐的内存操作。对于非对齐的内存操作，不同的处理器则有不同的结果。
局部变量建立在栈空间上的，由编译器分配，一般保证它们都是对齐的。但是在程序中可能出现不对齐的内存操作。对于嵌入式系统中常用的ARM体系结构，并不支持不对齐的地址操作，当进行不对齐的地址访问的时候，处理器将引发异常。
在嵌入式程序的编写过程中，更需要注意内存对齐的问题。对于内存操作，使用字节操作（8bit）不会有内存对齐的问题，但是效率比较低。在32位系统中，应该尽量使用32位的数据操作，但这将带来内存对齐的问题，因此需要根据系统的具体情况选择合适的内存操作。

我们再来说说常纠结或者容易迷惑的结构体成员的对齐问题。
结构体是一个基本的语法单元。在32位系统中，编译器一般会对结构体的成员变量作一定的对齐处理。例如，在程序中定义如下结构体：
typedef struct _S1
{
char m1;
int m2;
char m3;
short m4;
}S1;
在结构体的定义上，结构体的大小应该是各个结构体成员的大小之和。但是，对于上面这个结构体S1，它的大小并不等于4个成员变量之和。在这种定义中，三个成员变量之和是1+4+2+2=8，但是结构体的大小并不是8字节。

编译器在处理结构体的时候，默认将结构体内部各个变量的内存都是对齐的，由此在结构体的内部可能出现一些空的字节。一般情况下，在结构体含有4字节长整型成员的时候，结构体的大小将是4字节的倍数。为了对齐可能需要在结构体的最后补充1~3个字节。如果结构体中含有2字节短整型成员的时候，结构体的大小将是2字节的倍数。为了对齐可能需要在结构体的最后补充一个字节。这个算字节数的一般出现在找工作中的笔试题的概率还是很高的，其实就是考察的对这个内存对齐的掌握。