C语言中一个字节对齐问题的分析.pdfVIP

C 语言中一个字节对齐问题的分析 C 语言中一个字节对齐问题的分析 李 云 Email: yunli.sharing@ Blog: 摘要 字节对齐（alignment ）是 CPU 在性能方面所面临的一个非常重要的问题。有些处理器能自动 的处理不对齐数据的访问（对字节对齐要求不严格），但是，有些处理器却无法处理（对字节对齐要 求很严格）。当处理器无法处理对齐问题时，其将引发一个异常（exception ）,当然从程序的角度来 说就是出错（crash ）。 对于 C 程序员，大部分情况下我们并不考虑字节对齐问题，这并不是说我们不需要考虑，而是 因为碰到这种问题的情况很少。一方面要在特定的处理器上，而另一方面和我们写的程序也有关系， 只有两个条件同时满足时问题才会出现。因此，结果给我们的感觉是“字节对齐与我无关”。 本文通过对一小段简单的代码在不同处理器上的运行结果引出对字节对齐问题的关注，同时对 其原因进行了分析。 关键词 C 语言 字节对齐 参考资料 [1] The SPARC Architecture Manual v8 1 问题的引入 下面是一段被简化的程序，分别在 Windows （32 位的 x86 处理器）和 Solaris （32 位 的 SPARC 处理器）上编译和运行，其结果将完全不同。在 Windows 上程序运行正常，但 是在 Solaris 上程序运行会出错，并且会在终端上打印出“Bus Error”以及产生一个“Core dump ”文件。 main0.c typedef struct { short mark; char body[128]; } msg_t; typedef struct { char *pointer; } header_t; int main () █ 1 C 语言中一个字节对齐问题的分析 { msg_t msg = {0}; void *p = ((header_t *)msg.body)-pointer; return 0; } 为什么这么简单的一个程序在不同的操作系统（其实是处理器）上的运行结果却决然 不同？这其实是一个 CPU 字节对齐所引发的问题，下面我们通过对字节对齐问题的分析来 探究其背后的原理。后面的分析我们全部是针对运行在 32 位 SPARC 处理器上的 Solaris 操作系统进行的。 2 为什么要字节对齐 简单的说来就是为了提高 CPU 的性能，或者说是提高程序运行的效率。当然，在其背 后更有简化 CPU 设计的功效。因此，我们所写的 C 程序为了得到尽可能高的效率就必须 最大限度的满足 CPU 对于字节对齐的要求，编译器在这当中起着至关重要的作用。 下面的 C 程序编译后运行，在终端上将会打印出“size of type_t is 8 ”。为什么是8 而 不是 5 呢？这是因为编译器考虑到了运行效率从而将type_t 结构进行了 4 字节边界对齐的 处理。 #includ