一连三问 !!! 什么是内存对齐?内存对齐的原因是什么?内存对齐的好处是什么?

一.前言

问题:比较两个结构体变量是否一样能用memcmp吗?以及如何实现memcmp

首先我们知道memcmp函数是逐字节进行比较的,而struct存在内存对齐,对齐时补的字节是随机值,会产生垃圾值,所以无法比较.

int memcmp(const void* ptr1,const void* ptr2,size_t num ){
    assert(ptr1);
    assert(ptr2);
    char* dest = (char*)ptr2;
    char* src = (char*)ptr1;
    while(num-- &&(*dest == *src)){
        dest++;
        src++;
    }
    if(count == 0){
        return 0;
    }
    return *dest - *src;
}

 二.内存对齐

struct s1 {
	char c1;
	int i;
	char c2;
};

struct s2 {
	char c1;
	char c2;
	int i;
};

struct s3 {
	double d;
	char c;
	int i;
};

struct s4 {
	char c1;
	struct s3 s;
	double d;
};

int main() {
	cout << "s1:" <<sizeof(s1) << endl;
	cout << "s2:" <<sizeof(s2) << endl;
	cout << "s3:" <<sizeof(s3) << endl;
	cout << "s4:" <<sizeof(s4) << endl;
	return 0;
}

 

对齐规则:

1. 第一个成员在与结构体变量偏移量为0的地址处
2. 其它成员变量要对齐到某个数字(对齐数)的整数倍的地址处
   1. 对齐数 = 编译器默认的一个对齐数 与 该成员大小的较小值
   2. 修改默认对齐数:#pargma pack(n)
   3. 取消设置的默认对齐数,还原默认: #pragma pack()
3. 结构体总大小为最大对齐数(每个变量都有一个最大对齐数)的整数倍
4. 如果嵌套了结构体的情况下,嵌套的结构体对齐到自己最大对齐数的整数倍处,结构体的整体大小就是所有最大对齐数(含嵌套结构体的对齐数)的整数倍

对齐原因:

1. 平台原因(移植原因): 不是所有的硬件平台都能访问任意地址上的任意数据.某些硬件平台只能在某些地址取某些特定类型的数据,否则就会抛出硬件异常
2. 性能原因:数据结构(尤其是栈)应该尽可能的在自然边界上对齐.原因在于:为了访问未对齐的内存,处理器需要做两次内存访问,而对齐的内存访问只需要一次.

更底层的原因:

一个内存是由若干个黑色的内存颗粒构成的,每一个内存颗粒叫做一个chip,每个chip内部是由8个bank组成的.

内存编址方式

我们在应用程序内存中地址连续的8个字节(例如:0x0000 ~ 0x0007),其实并不是在第一个bank.程序员视角看起来连续的地址(0x0000 ~ 0x0007),实际上是位于8个bank中,每一个bank只保存了一个字节,在物理上它们并不连续.

原因: 电路工作效率,内存中的8个bank是可以并行工作的.如果想要读取(0x0000 ~ 0x0007),每个bank工作一次,拼起来就是想要的数据,IO效率比较高.但要存在一个bank里,那这个bank只能自己干活,只能进行串行读取,需要读8次,这样速度会慢很多.

高速缓存的机制: 高速缓存里的cache line是64字节,是内存IO的8倍,不会让内存IO浪费.

cache line:本级缓存向下层取数据时的基本单位

内存的IO是以8个字节64比特为单位进行的.对于64位的数据宽度的内存,假如CPU也是64位的CPU(现在的计算机基本都是这样的),每次内存IO获取数据都是从同行同列的8个bank中各自取一个字节拼起来的.从内存的0地址开始,0~7字节的数据可以一次IO读取出来,8~15字节的数据也可以一次读取出来.

如果内存不对齐,同样取8个字节的数据,但是不是0开头的.那么内存只好先工作一次把0x0000~0x0007取出来,然后再把0x0008~0x0015取出来,把两次的结果返回.CPU和内存IO的硬件限制导致没办法一次跨在两个数据宽度中间进行IO,这样应用程序就会变慢.