微对象分配

微对象(tiny object)是指那些小于 16 byte 的对象分配,
微对象分配会将多个对象存放到一起,与小对象分配相比,过程基本类似。

// 偏移量
off := c.tinyoffset
// 将微型指针对齐以进行所需(保守)对齐。
if size&7 == 0 {
    off = round(off, 8)
} else if size&3 == 0 {
    off = round(off, 4)
} else if size&1 == 0 {
    off = round(off, 2)
}

if off+size <= maxTinySize && c.tiny != 0 {
    // 能直接被当前的内存块容纳
    x = unsafe.Pointer(c.tiny + off)
    // 增加 offset
    c.tinyoffset = off + size
    // 统计数量
    c.local_tinyallocs++
    // 完成分配,释放 m
    mp.mallocing = 0
    releasem(mp)
    return x
}
// 根据 tinySpan 的大小等级获得对应的 span 链表
// 从而用于分配一个新的 maxTinySize 块,与小对象分配的过程一致
span := c.alloc[tinySpanClass]
v := nextFreeFast(span)
if v == 0 {
    v, _, shouldhelpgc = c.nextFree(tinySpanClass)
}
x = unsafe.Pointer(v)
(*[2]uint64)(x)[0] = 0
(*[2]uint64)(x)[1] = 0
// 看看我们是否需要根据剩余可用空间量替换现有的小块
if size < c.tinyoffset || c.tiny == 0 {
    c.tiny = uintptr(x)
    c.tinyoffset = size
}
size = maxTinySize

寻找 span 的过程其实与小对象分配完全一致,区别在于微对象分配只寻找 tinySpanClass 大小等级的 span。
而且不会对这部分内存进行清零。

最后编辑: kuteng  文档更新时间: 2021-10-19 14:31   作者:kuteng