接上一篇,下面来看看内存分配的初始化
、分配
等。
初始化
首先会申请一段连续的内存空间以供使用,大小(64位机器上)512M(spans_mapped)+16G(bitmap_mapped)+512G(arena)。
hmap初始化的源码在src/runtime/proc.go
中,大家可以参照本文看一下。
mheap初始化
func (h *mheap) init(spansStart, spansBytes uintptr)
1、初始化空间
2、mcentral初始化
3、spans初始化
mheap具体的初始化发生在mallocinit()
函数中(被schedinit()
调用):
func mallocinit()
1、检查系统/硬件信息
2、 计算预留空间大小
3、尝试预留地址
4、初始化mheap中的一部分变量
5、其他部分初始化,67个mcentral在这里初始化
mcentral 初始化
1、设置自己的级别
2、将两个mspanList初始化
mcache
func procresize(nprocs int32) *p
而mcache的初始化在func procresize(nprocs int32)
中,procresize也在schedinit()
中调用,顺序在mallocinit()之后,所以说也就是说mcentral先初始化,然后是mheap.
allocmcache
allocmcache初始化比较简单,直接看下源码吧:
func allocmcache() *mcache {
lock(&mheap_.lock)
c := (*mcache)(mheap_.cachealloc.alloc())
unlock(&mheap_.lock)
for i := 0; i < _NumSizeClasses; i++ {
c.alloc[i] = &emptymspan
}
c.next_sample = nextSample()
return c
}
这几个函数执行完,管理结构、mheap、67个mcentral及每个goroutine的mcache都初始化完毕。
内存分配
针对于不同大小的的对象,go的分配策略是不同的:
(0, 16B) 且不包含指针的对象: Tiny分配
(0, 16B) 包含指针的对象:正常分配
[16B, 32KB] : 正常分配
(32KB, -) : 大对象分配
Tiny分配和大对象分配都属于内存管理的优化范畴,这里就仅看正常分配。
1、获取当前线程的私有缓存mcache
2、跟据size计算出适合的class的id
3、从mcache的alloc[class]数组中找到可用的span
4、如果mcache没有可用的span,则从mcentral申请一个新的span加入mcache中。
5、如果mcentral中也没有可用的span,则从mheap中申请一个新的span加入mcentral。(这里大家可以注意下mcache、mcentral、mheap的层级关系)
6、从该span中获取到空闲对象地址并返回。
go的内存分配非常复杂,中间还有很多GC的细节在里面,一言半语的也说不详细,大家可以对着简单的纲要直接看源码,注释也非常详细,一定要对照上一篇的图来理解go内存管理。