字节对齐是怎么回事?
由于C语言是一门接近底层硬件的编程语言,它能直接对存储器地址进行访问(当前大部分处理器在操作系统的应用层所访问到的逻辑地址,而部分嵌入式系统由于不含带存储器管理单元,因此可直接访问物理地址)。
在计算机中,所谓“地址”就是用来标识存储单元的一个编号,就好比我们住房的门牌号。没有门牌号,快递就没法发货;如果门牌号记错了,那么快递就会把货物送错地方。
计算机中的地址也是一样,我们为了要访问存储器中特定单元的一个数据,那么我们首先要获悉该数据所在的地址,然后我们通过这个地址来访问它。
访问存储器,我们也简称为“访存”(Memory Access)。访问地址,我们也简称为“寻址”(Addressing)。
一般计算机架构中都会有地址总线和数据总线,CPU 先通过地址总线发送寻址信号,以指定所要访问存储器单元的地址。然后再通过数据总线向该地址读写数据,这样就完成了一次访存操作。这好比于快递送货,我们先打电话告诉快递通信地址,然后快递员把货送到该地址(写数据),或者去该地址拿货(读数据)送到别家。
一般对于 32 位系统来说,处理器一次可访问 1个(8比特)字节、2 个字节或 4 个字节。当访问单个字节时,对 CPU 不做对齐限制;而当访问多个字节时,比如要访问 N 个字节,由于计算机总线设计等诸多因素,要求 CPU 所访问的起始地址满足 N 个字节的倍数来访问存储器。如果在访问存储器时没有按照特定要求做字节对齐,那么可能会引发访存性能问题,甚至直接导致寻址错误而引发异常(引发异常后通常会导致当前应用意外退出,在嵌入式系统中可能就直接死机或复位)。
下面我们给出一张图来描述,看看一般对 32 位系统而言如何正确地做到访存字节对齐。
图:字节对齐
图中展示了如何正确对齐访问 1 个字节、2 个字节和 4 个字节的情况。图中画出了 6 个存储单元内容,地址低 16 位从 0x1000 到 0x1005,每个存储单元为 1 个字节。
然而,并不是说要访问多少字节,就必须要保证访问能被多少整除的地址才能满足对齐要求。如果一次访问 8 字节,对于 32 位系统而言,通过 32 位通用目的寄存器来读写存储器的话,某些 CPU 会自动将 8 字节的访存分为两次进行操作,每次为 4 字节,因此只要保证 4 字节对齐就能满足对齐要求。这些都根据特定的处理器来做具体处理。
就笔者用过的一些处理器而言,像 x86、ARM 等处理器,当访存不满足对齐要求时并不会引发总线异常,但是访问性能会降低很多。因为原本可一次通信的数据传输可能需要拆分为多次,并且前后还要保证数据的一致性,所以还可能会有锁步之类的操作。而像Blackfin DSP则会直接引发总线异常,导致整个系统的崩溃(如果不对此异常做处理的话)。
另外,像 ARMv5 或更低版本的处理器,在对非对齐的存储器地址进行访问时,CPU 会先自动向下定位到对齐地址,然后通过向右循环移位的方式处理数据,这就使得传输数据并不是原本想一次传输的数据内容,也就是说写入的或读出的数据是失真的。
比如,根据上图所示内容,如果我们要对一款 ARM7EJ-S 处理器(ARMv5TEJ 架构)从地址 0x1002 读 4 字节内容,那么实际获取到的数据为 0x02010403;而在 x86 架构或 ARMv7 架构的处理器下,则能获得 0x06050403。
在计算机中,所谓“地址”就是用来标识存储单元的一个编号,就好比我们住房的门牌号。没有门牌号,快递就没法发货;如果门牌号记错了,那么快递就会把货物送错地方。
计算机中的地址也是一样,我们为了要访问存储器中特定单元的一个数据,那么我们首先要获悉该数据所在的地址,然后我们通过这个地址来访问它。
访问存储器,我们也简称为“访存”(Memory Access)。访问地址,我们也简称为“寻址”(Addressing)。
一般计算机架构中都会有地址总线和数据总线,CPU 先通过地址总线发送寻址信号,以指定所要访问存储器单元的地址。然后再通过数据总线向该地址读写数据,这样就完成了一次访存操作。这好比于快递送货,我们先打电话告诉快递通信地址,然后快递员把货送到该地址(写数据),或者去该地址拿货(读数据)送到别家。
一般对于 32 位系统来说,处理器一次可访问 1个(8比特)字节、2 个字节或 4 个字节。当访问单个字节时,对 CPU 不做对齐限制;而当访问多个字节时,比如要访问 N 个字节,由于计算机总线设计等诸多因素,要求 CPU 所访问的起始地址满足 N 个字节的倍数来访问存储器。如果在访问存储器时没有按照特定要求做字节对齐,那么可能会引发访存性能问题,甚至直接导致寻址错误而引发异常(引发异常后通常会导致当前应用意外退出,在嵌入式系统中可能就直接死机或复位)。
下面我们给出一张图来描述,看看一般对 32 位系统而言如何正确地做到访存字节对齐。
图:字节对齐
图中展示了如何正确对齐访问 1 个字节、2 个字节和 4 个字节的情况。图中画出了 6 个存储单元内容,地址低 16 位从 0x1000 到 0x1005,每个存储单元为 1 个字节。
- 对于仅访问 1 个字节的情况,图中所有地址都能直接访问并满足字节对齐的情况。
- 对于一次访问 2 个字节的情况,要满足对齐要求,只能访问 0x1000、0x1002、0x1004 等必须要能被2整除的地址。
- 对于一次访问 4 字节的情况,要满足对齐要求,则只能访问 0x1000、0x1004 等必须要能被 4 整除的地址。
然而,并不是说要访问多少字节,就必须要保证访问能被多少整除的地址才能满足对齐要求。如果一次访问 8 字节,对于 32 位系统而言,通过 32 位通用目的寄存器来读写存储器的话,某些 CPU 会自动将 8 字节的访存分为两次进行操作,每次为 4 字节,因此只要保证 4 字节对齐就能满足对齐要求。这些都根据特定的处理器来做具体处理。
就笔者用过的一些处理器而言,像 x86、ARM 等处理器,当访存不满足对齐要求时并不会引发总线异常,但是访问性能会降低很多。因为原本可一次通信的数据传输可能需要拆分为多次,并且前后还要保证数据的一致性,所以还可能会有锁步之类的操作。而像Blackfin DSP则会直接引发总线异常,导致整个系统的崩溃(如果不对此异常做处理的话)。
另外,像 ARMv5 或更低版本的处理器,在对非对齐的存储器地址进行访问时,CPU 会先自动向下定位到对齐地址,然后通过向右循环移位的方式处理数据,这就使得传输数据并不是原本想一次传输的数据内容,也就是说写入的或读出的数据是失真的。
比如,根据上图所示内容,如果我们要对一款 ARM7EJ-S 处理器(ARMv5TEJ 架构)从地址 0x1002 读 4 字节内容,那么实际获取到的数据为 0x02010403;而在 x86 架构或 ARMv7 架构的处理器下,则能获得 0x06050403。
所有教程
- socket
- Python基础教程
- C#教程
- MySQL函数
- MySQL
- C语言入门
- C语言专题
- C语言编译器
- C语言编程实例
- GCC编译器
- 数据结构
- C语言项目案例
- C++教程
- OpenCV
- Qt教程
- Unity 3D教程
- UE4
- STL
- Redis
- Android教程
- JavaScript
- PHP
- Mybatis
- Spring Cloud
- Maven
- vi命令
- Spring Boot
- Spring MVC
- Hibernate
- Linux
- Linux命令
- Shell脚本
- Java教程
- 设计模式
- Spring
- Servlet
- Struts2
- Java Swing
- JSP教程
- CSS教程
- TensorFlow
- 区块链
- Go语言教程
- Docker
- 编程笔记
- 资源下载
- 关于我们
- 汇编语言
- 大数据
- 云计算
- VIP视频