go语言结构体内存对齐

cpu要想从内存读取数据,需要通过地址总线,把地址传输给内存,内存准备好数据,输出到数据总线,交给cpu,如果地址总线只有8根,那这个地址就只有8位可以表示[0,255]256个地址,因为表示不了更多的地址,就用不了更大的内存,所以256就是8根地址总线最大的寻址空间,要使用更大的内存,就要有更宽的地址总线,例如32位地址总线就可以寻址4G内存了,每次操作1字节太慢,那就加宽数据总线,要想每次操作4字节,就要至少32位数据总线,8字节就要64位,这里每次擦操作的字节数,就是所谓的机器字长。
0
如果内存就像我们逻辑上认为的那样,一个挨着一个形成这样的大矩阵,我们可以访问任意地址,并把他输出到总线,但是实际上为了实现更高的访问效率,典型的内存布局是这样的,一个内存条的一面是一个rank,黑色是一个chip,一个chip包括8个banks,到bank这里就可以通过选择行选择列来定位一个地址了。
0
这不像是我们逻辑上认为的那样连续的存在,但是他们公用同一个地址,各自选择同一个位置的一个字节,再组合起来作为我们逻辑上认为的连续8个字节,通过这样的并行操作,提高了内存访问效率,但是如果使用这种设计,这里的地址就只能是8的倍数,如果非要错开一个格,由于最后一个字节对应位置与前七个不同,不能在一次操作中被同一个地址选中,所以这样的地址是不能用的。
之所以有些CPU能够支持访问任意地址,是因为它多做了许多处理,比如你想从地址1开始读8字节的数据CPU会分两次读,第一次从0-7,但只取后7字节,第二次从8-15,但只取第1字节,把两次结果拼起来拿到所需数据,但是这必然会影响性能,所以为了保证程序顺利高效的运行,编译器会把各种类型的数据安排到合适的地址并占用合适的长度,这就是内存对齐,每种类型的对齐值就是它的对齐边界,内存对齐要求数据存起始储地址以及占用字节数都要是它对齐边界的倍数,所以这个int32要错开两个字节,从4开始存却不能紧接着从2开始。
0
现在的问题是怎么确定每种类型的对齐边界呢,这和平台有关。
0
go语言支持这些平台,可以看到,指针宽度和寄存器宽度都是4字节,64位平台上都是8字节,而被go语言称为寄存器宽度的这个值,就可以理解位机器字长,也是平台对应的最大对齐边界 。
而数据类型的对齐边界是取数据类型大小和平台对齐边界中较小的那个,不过要注意,同一个类型在不同平台上的大小可能不同,对齐边界也可能不同
 
0
为什么不统一使用平台对齐边界或者统一按数据类型大小来对齐呢?我们来试一下:
假设现在是64位平台,最大对齐边界是8字节,int8只有一个字节,按照1字节对齐的话,它可以放在任何位置,因为总能通过一次读取把它完整拿出来,如果统一对齐到8字节,虽然同样只要读取一次,但是每次读取都要浪费7个字节,所以对齐到1可以节省内存空间。
0
int16占2字节,按照2字节对齐,可以从这些地址开始存,而且能保证只用读取一次
 
0
如果按照1字节对齐就可能存成这样,那就要读取2次(0-7最后一个,8-15第一个)再截取拼接,会影响性能
 
0
如果对齐到8字节,与int8一样,浪费6个内存空间,所以对齐到2
 
0
这是小于最大对齐边界的情况,如果大于最大对齐边界呢?
假设32位平台存储int64类型的数据,(此时我们取的对齐边界是4bytes)
当0和1被占用的情况下,如果类型对齐大小为8,就要从这里开始存
0
如果对齐到4,就可以从这里开始,内存浪费更少
0
所以内存对齐边界会这样选择依然是为了减少浪费,提高性能
最后,来看看怎么确定一个结构体的对齐边界
对结构体而言,首先要确定每个成员的对齐边界,然后取其中最大的,这就是这个结构体类型的对齐边界
0
然后我们来存储这个结构体变量,内存对齐第一个要求,存储这个结构体的起始地址,是对齐边界的倍数,假设从这里开始存
 
0
结构体的每个成员在存储时,都要把这个起始地址当作地址0,然后再用相对地址来决定自己该放在哪儿
来看第一个成员a,他要对齐1字节,而这里是相对地址0,所以直接放在这
 
0
接下来是成员b,他要对齐8字节,但是接下来的相对地址1对8取模并不等于0,所以要往后挪,b放这里
 
0
接下来是c,它要对齐4字节,直接放在这里就行
 
0
最后是d,对齐到2字节,所以放这儿
0
所有成员都放好还不算完,别忘了内存对齐的第二个要求,结构体整体占用字节数需要是类型对齐边界的倍数,不够的话需要往后扩张一下,所以他要扩充到相对地址23这里(24%8=0),最终,这个结构体的类型大小就是24字节。
至于为什么要限制类型大小等于其对齐边界的整数倍,我们可以这样理解
如果这里不扩张到整数倍,则这个结构体的类型大小为22字节,那么要使用一个长度为2的T类型数组按照元素类型大小会占用44字节的内存,问题出现了
0
第二个元素并没有内存对齐(22%8 !=0)
所以,只有结构体的大小是对齐边界的整数倍,才能保证数组中每个元素的内存都是对齐的。
 
注:本文总结自B站UP主幼麟实验室的视频,只为方便复习使用。
posted @ 2021-02-19 14:28  Kingram  阅读(558)  评论(0编辑  收藏  举报