golang的堆内存结构

        首先,golang的虚拟内存单元叫做heapArena,go每次申请的虚拟内存单元为64MB,最多能有2^20个内存单元 ,所有的heapArena组成了mheap(go的堆内存)。        

        简单结构如图:

         go的堆内存用的是分级分配机制,也就是将一个堆内存分成不同的等级,不同等级的堆内存所占空间不同,如下图:

         它会分配合适的内存块给对象,如果有一个小的对象,那么就让他放进最小的空间而不能把他放到大的空间里,如果把他放到大的内存里,会影响到大内存块的效率。

        如果对象比小内存块稍微大点,比大内存块小,那么我们就把他放进大内存块里,我们会让他占据一整块内存块,这内存块的其他空间并不会给其他对象使用,相当于一坑一萝卜,即使这样会使得内存有些浪费,但为了避免内存碎片化,我们允许这种空间浪费。如下图:

         go的这种堆内存所分级出来的内存块叫做内存管理单元(mspan)

         等级表如下:

         而且,go的堆内存不是一定会按照一定规模一定数量的内存块进行分割,它会按需切割内存块,如果我们不需要8级的内存块,那么我们就不切割出8级的内存块,如果我们需要1级的内存块,那我们就现场切割出1级的内存块。

        那么,按这种机制,每个内存单元里的所切割的内存块大小和数目都不一样,那我们该怎么找到我们所需要的内存块呢?总不能一个一个遍历寻找吧?当然,我们并不会一个一个去遍历寻找,那样的话效率太低了。这时就用到了中心索引(mcentral)

        当然,当我们使用中心索引时,为了避免两个对象用到了同一个内存块,就得用到互斥锁保护,那么在高并发情况下,锁冲突的问题就会越来越严重,严重影响到了程序的效率,那么就该增加本地缓存了。

 

             

         线程缓存结构图如下图,每个线程预先分配好68个需要GC分配的mspan和68个不需要GC扫描的mspan,而且P和P之间是不会有冲突的,因为每个P所分配到mspan是不一样的,并且每个线程就跟单线程操作一样,就不用考虑到高并发的问题了,如果本地队列的span用满了怎么办?那么我们就可以去中心索引那边交换空的内存块过来

 

 

### Golang 中的内存逃逸分析与优化 #### 内存逃逸的概念 在 Go 语言中,内存逃逸是指当一个局部变量被分配到堆上而不是栈上的情况。通常情况下,局部变量会被分配在栈上以获得更好的性能,因为栈的操作速度远快于堆。然而,在某些特定条件下,编译器会决定将这些局部变量移到堆上来确保程序的正确性和安全性[^1]。 #### 导致内存逃逸的原因 多个因素可能导致内存逃逸的发生: - **返回指针或引用**:如果函数内部创建的对象需要在其作用域外仍然有效,则该对象必须位于堆上。 - **闭包捕获变量**:当匿名函数捕捉外部范围内的变量时,为了保证其生命周期超过当前执行上下文,这些被捕获的变量可能会被移动至堆上。 - **大尺寸的数据结构**:对于非常大的复合类型实例(如数组),即使它们只存在于本地范围内也可能放置在堆上以便更好地管理内存布局。 - **接口转换**:任何涉及接口类型的赋值操作都可能触发逃逸行为,尤其是当具体实现不是内联的小型结构体时[^2]。 #### 如何避免不必要的内存逃逸 为了避免不必要地增加堆分配次数并提升应用程序的整体效率,开发人员可以从以下几个方面着手改进代码设计: - **优化数据结构的选择**:尽量采用简单而紧凑的形式表示所需的信息;减少复杂嵌套层次以及动态大小字段的数量。 - **优先考虑传值而非传递指针**:除非确实有必要共享状态或者处理大型实体,否则应倾向于按值复制参数来保持独立副本之间的隔离性。 - **限制全局/静态存储区使用频率**:过度依赖此类区域容易造成难以追踪的状态变化,并且不利于并发场景下的同步控制。 - **谨慎对待接口和反射机制的应用**:虽然二者提供了极大的灵活性,但也增加了潜在的风险点——特别是有关运行期类型检查开销及间接寻址带来的额外负担。 - **审查递归算法的设计合理性**:深层数量级较大的迭代过程往往伴随着较高的空间需求增长趋势,需评估是否有更优解法替代传统方式[^3]。 下面是一个简单的例子展示了如何通过调整代码逻辑降低发生逃逸的可能性: ```go // 不推荐的做法:此版本中的切片s将会逃逸到heap上 func badExample() []int { var s []int for i := 0; i < 1e6; i++ { s = append(s, i) } return s } // 推荐做法:预先声明容量可防止频繁扩容引起逃逸 func goodExample() []int { s := make([]int, 0, 1e6) // 预先指定足够的长度 for i := 0; i < 1e6; i++ { s = append(s, i) } return s } ```
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值