内存对齐

原文:【Golang】这个内存对齐呀!?_哔哩哔哩_bilibili

cpu要想从内存读取数据,需要通过地址总线把地址传输给内存。内存准备好数据输出到数据总线,交给cpu。如果地址总线只有8根。那这个地址就只有8位,可以表示256个地址,因为表示不了更多的地址,就用不到更大的内存。所以256就是8根地址总线最大的选址空间。要使用更大的内存,就要有更宽的地址总线。例如,32位地址总线就可以选址4G内存。每次操作一字节太慢,那就加宽数据总线。要想每次操作4字节,就要至少32根数据总线,8字节就要64位,这里每次操作的字节数。就是所谓的机器字长。


image.png

如果内存就像我们逻辑上认为的那样,一个挨一个,形成这样一个大矩阵。我们可以访问任意地址并把它输出到总线


image.png

但是实际上,为了实现更高的访问效率,典型的内存布局是这样的。


image.png

一个内存条的一面是一个Rank,红色圈中是一个Chip,而一个chip包括8个Banks。到bank这里,就可以通过选择行,选择列来定位一个地址了。


image.png

这不像是我们逻辑上认为的那样连续的存在,他们共用同一个地址。各自选择同一个位置的一个字节,再组合起来,作为我们逻辑上认为的连续8个字节。通过这样的并行操作提高了内存访问效率,但如果使用这种设计,这里的地址就只能是8的倍数。如果非要错开一个格,由于最后一个字节对应的位置与前七个不同。不能在一次操作中被同一个地址选中,所以这样的地址是不能用的。

之所以有些cpu能够支持访问任意地址。是因为他多做了许多处理,例如,你想从地址1开始读8字节的数据,cpu会分两次读。第一次从0-7。但只取后7字节,第二次从8-15。但只取第1字节,把两次结果拼接起来,拿到所需数据,


image.png
image.png

但是这必然会影响性能。所以,为保证程序顺利高效的运行,编译器会把各种类型的数据安排到合适的地址,并占用合适的长度。这就是内存对齐。每种类型的对齐值都要是它的对其边界。内存对齐要求数据存储地址以及占用的字节数都要使它对其边界的倍数。所以这个int32要错开2字节,从4开始,却不能紧接着从2开始。

image.png

现在的问题是怎么确定每种类型的对其边界呢?

image.png

这和平台有关,go语言支持这些平台。可以看到,常见的32位平台指针宽度和寄存器宽度都是4字节,64位平台上都是8字节。而被go语言称为寄存器宽度的这个值就可以理解为机器字长,也是平台对应的最大对齐边界。

image.png

而数据类型的对齐边界是取类型大小与平台最大对齐边界中较小的那个。不过要注意,同一个类型在不同平台上大小可能不同,对其边界也可能不同。

为什么不统一使用平台最大对齐边界,或者统一按各类型大小来对齐呢?我们来试一下。假设目前是64位平台,最大对齐边界为8字节,int8只有一个字节。


image.png

按照1字节对齐的话,它可以放在任何位置,因为总能通过一次读取把它完整拿出来。如果统一对齐到8字节,虽然同样只要读取一次,但每个int8类型的变量都要浪费7字节,所以对齐到1。int16占两字节,按照2字节对齐,可以从这些地址开始存,而且能保证只用读取一次。


image.png

如果按照一次节对齐就可能存成这样,


image.png

那就要读取两次,再截取拼接会影响性。如果对齐到8字节,与int8类型一样会浪费内存,所以对齐到2。


image.png

这是小于最大对齐边界的情况。再来看看大于的情况,假设要在32位平台存储一个int64类型的数据,在这2字节被占用的情况下。如果对齐到类型大小8就要从这里开始存,


image.png

如果对齐到4,就可以从这里开始,


image.png

内存浪费更少,应该选择它。所以类型对齐边界会这样选择依然是为了减少浪费,提高性能。

最后来看看怎么确定一个结构体的对其边界。

image.png

对结构体而言,首先要确定每个成员的对齐边界,然后取其中最大的,这就是这个结构体类型的对齐边界。然后我们来存储这个结构体变量,看看它怎么对齐。内存对其第一个要求存储这个结构体的起始地址是对其边界的倍数。假设从这里开始存。


image.png

结构体的每个成员在存储时都要把这个起始地址当作地址0,然后再用相对地址来决定自己该放在哪。来看第一个成员a,他要对齐到1字节,而这里是相对地址0所以直接放这,然后是第二个成员b。
他要对齐到8字节,但是接下来的地址对8取模并不等于0,所以要往后挪,挪到这。


image.png

接下来是c,他要对其到4字节,这里就行。


image.png

最后是d对齐到2字节,所以直接放。


image.png
image.png

所有成员都放好,还不算完,别忘了内存对其的第二个要求。结构体整体占用字节需要是类型对齐边界的倍数,不够的话要往后扩张一下,所以它要扩充到相对地址23这里。最终,这个结构题类型的大小就是24字,ok,对齐完成。


image.png

至于为什么要限制类型大小等于其对齐边界的整数倍,我们可以这样理解。如果这里不扩到对齐边界的整数倍,这个结构体类型大小就是22字节。那么,要使用一个长度为2的t类型的数组,按照元素类型大小,会占用44字节的,


image.png

内存第一个元素在这。第二个元素在这。问题出现了,第二个元素并没有内存对齐。所以只有每个结构体的大小都是对齐值的整数倍,才能保证数组中每一个都是内存对齐的。

©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 203,362评论 5 477
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 85,330评论 2 381
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 150,247评论 0 337
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 54,560评论 1 273
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 63,580评论 5 365
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 48,569评论 1 281
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 37,929评论 3 395
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 36,587评论 0 258
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 40,840评论 1 297
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 35,596评论 2 321
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 37,678评论 1 329
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 33,366评论 4 318
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 38,945评论 3 307
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 29,929评论 0 19
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 31,165评论 1 259
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 43,271评论 2 349
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 42,403评论 2 342

推荐阅读更多精彩内容

  • 一. 结构体引入 结构体是由基本数据类型或者指针,数组,结构体/联合体/枚举等类型组成的一种结构,我们可以简单地定...
    王俏阅读 296评论 0 1
  • 在面试或工作中,经常会遇到内存对齐的问题。这里结合我的理解谈一谈对内存对齐的理解。 1. 为什么要内存对齐,不对齐...
    张权_松果时序数据阅读 684评论 1 4
  • 计算机内存是以字节(Byte)为单位划分的,理论上CPU可以访问任意编号的字节,但实际情况并非如此。 CPU 通过...
    没我找不到电子书阅读 1,387评论 0 1
  • 转载,详见原文:https://www.cnblogs.com/zhangjinfu/articles/11273...
    andy_shx阅读 423评论 0 0
  • 内存对齐之前需要掌握的一张图 内存对齐的目的 对于程序而言,一个变量的数据存储范围是在一个寻址步长范围内的话,这样...
    愚十二阅读 2,228评论 0 1