Golang 底层原理剖析笔记-内存模型

本文详细解析了Golang内存管理的连续内存策略,包括三级结构(Span、mcache、mcentral、mheap),以及对象分配过程中的微小对象、小对象和大对象处理。同时,深入探讨了操作系统内存管理的优化策略,如连续内存管理和非连续内存管理的分页、分段和分段分页方法。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

1. 内存划分

golang 内存管理采用的连续内存管理的动态内存管理的运作机制,三级结构。思想主要基于 Two LevelSegregated Fit(TLSF 算法描述),具体实现基于 tcmalloc 算法。

Span : 一段连续内存空间,共分为 67 个级别。不同级别的 span 中元素大小不同,最小的元素大小为 8B,span 大小为 8KB(一级)
Span 的管理结构分为了: mcache、mcentral、mheap
内存划分结构

  • mcache :每个 P 的局部缓存,具体对应管理 mspan,每个级别的 span 缓存一个,管理的 span 来自 mcentral,使用位图管理,每个位图标志的一个 page 是否被使用,
  • mcentral : P 共享的缓存,每个级别的 span 被统一管理在相同级别的 mcentral 中,mcentral 使用空闲列表法管理多个级别的 span
  • mHeap : 管理了虚拟内存的线性地址空间的映射、span 的分配、大对象的分配,使用一个 treap 树 来管理内存空间
    内存管理

2. 对象分配过程

golang 对对象划分为了 微小对象(< 16B)、小对象(< 32KB)、大对象(> 32KB)三个级别。
分配方法见 mallocgc,微小对象的划分和单独管理在于实验统计可以减少内存分配次数和堆的浪费。

2.1. 微小对象分配

  1. 查看前一个分配的元素的span中是否还有可用空间
  2. 确定 span 级别,微小对象 span 级别为 1,2
  3. 内存对其 (2,4,8 字节倍数对齐)
  4. mcache 寻找连续可用空间,利用缓存位图( uint64 )来查找,位图记录的是 span 中元素是否被分配。
  5. mcache 不满足:mcentral 遍历空闲列表,没有则遍历繁忙列表(非空闲列表可能已经标记为空闲了,但是尚未清理和移动)
  6. mcentral 将空闲表赋值到 mcache 中。
  7. mcentral 依然不满足:mheap 中进行查找,heap 中以 page 为单位,查找连续的可以构成 span 的空间,并赋值给 mcentral
  8. mheap 不满足:需要从操作系统进行内存申请,每次为 heapArena(64MB) 的整数倍

小对象和大对象的分配过程类似,大对象直接由 mcentral 负责管理,小对象从 mcache 开始依次查找。新申请内存会进行缓存。

Created with Raphaël 2.3.0
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值