一文详解go底层原理之垃圾回收

2024-09-07 12:28

本文主要是介绍一文详解go底层原理之垃圾回收,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

1 前置知识

1.1 三色回收法

三色回收法在gov1.5版本时是主流的gc方式

简单介绍一下流程:

  1. 暂停程序执行流程(开启STW)
  2. 将新创建的对象全部标记为白色
  3. 从根节点开始遍历,把遍历到的第一层全部改为灰色
  4. 遍历一次灰色集合,将灰色集合引用对象变为黑色
  5. 重复上述步骤,知道没有灰色对象
  6. 清除白色对象
  7. 结束STW

1.2 STW

上述1.1所说的STW就是指的stop the world,简单的说就是让程序停止,肯定是要耗费大量的时间,所以我们应该尽量减少STW

因此我们来看一个如果不进行STW就进行三色回收的场景
一个白色对象被黑色对象引用,且灰色对象与它可达的白色对象断联

这时候白色对象和其下游对象可能被清理,造成对象丢失

1.3强弱不等式

强不等式:
强制性的不允许黑色对象引用白色对象

弱不等式:
黑色对象可以引用白色对象,但是这个白色对象必须存在其他灰色对象对它的引用,或者可达其链路上存在灰色对象

1.4两种屏障方式

插入写屏障 :
是在垃圾回收器执行过程中插入的一种机制,用来确保对对象的修改不会干扰垃圾回收的正确性。当程序在执行时,可能会修改对象的字段,这些字段可能指向其他对象。在这种情况下,写屏障会插入到代码中,以便在修改对象的字段时,垃圾回收器能够及时更新它的状态,从而避免垃圾回收器丢弃仍在使用的对象。
简单的说,就是如果B挂在A的下游,则B必须为灰色

但是注意,插入写屏障在栈上不能生效,原因就是栈上函数调用弹出频繁使用,所以插入写屏障过于影响性能

删除写屏障:
删除写屏障 是指在不再需要写屏障时,移除写屏障的操作。在某些情况下,垃圾回收器不再需要持续跟踪某些对象的引用,写屏障可以被删除以优化性能。删除写屏障可以减少运行时开销,提高程序的效率。

简单的说,被删除的对象,如果自身为灰色或者白色,则为灰色,这种方式回收精度过低,原因就是一个对象即使被删除掉最后一个指向它的指针,它依然可以存活一轮

2 混合写屏障+三色回收法

Go V1.8版本引入了混合写屏障机制(hybrid write barrier),避免了对栈re-scan的过程,极大的减少了STW的时间。结合了两者的优点。

注意混合写屏障是GC的一种屏障机制,所以只是当程序执行GC的时候,才会触发这种机制

​Golang中的混合写屏障满足弱三色不变式,结合了删除写屏障和插入写屏障的优点,只需要在开始时并发扫描各个goroutine的栈,使其变黑并一直保持,这个过程不需要STW,而标记结束后,因为栈在扫描后始终是黑色的,也无需再进行re-scan操作了,减少了STW的时间。

步骤
GC开始将栈上的对象全部扫描并标记为黑色(之后不再进行第二次重复扫描,无需STW)
GC期间,任何在栈上创建的新对象,均为黑色
被删除的对象标记为灰色
被添加的对象标记为灰色
满足->变形的弱三色不变式

这里我们注意, 屏障技术(步骤三四)是不在栈上应用的,因为要保证栈的运行效率

这篇关于一文详解go底层原理之垃圾回收的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/1145055

相关文章

Java中流式并行操作parallelStream的原理和使用方法

《Java中流式并行操作parallelStream的原理和使用方法》本文详细介绍了Java中的并行流(parallelStream)的原理、正确使用方法以及在实际业务中的应用案例,并指出在使用并行流... 目录Java中流式并行操作parallelStream0. 问题的产生1. 什么是parallelS

MySQL数据库双机热备的配置方法详解

《MySQL数据库双机热备的配置方法详解》在企业级应用中,数据库的高可用性和数据的安全性是至关重要的,MySQL作为最流行的开源关系型数据库管理系统之一,提供了多种方式来实现高可用性,其中双机热备(M... 目录1. 环境准备1.1 安装mysql1.2 配置MySQL1.2.1 主服务器配置1.2.2 从

Java中Redisson 的原理深度解析

《Java中Redisson的原理深度解析》Redisson是一个高性能的Redis客户端,它通过将Redis数据结构映射为Java对象和分布式对象,实现了在Java应用中方便地使用Redis,本文... 目录前言一、核心设计理念二、核心架构与通信层1. 基于 Netty 的异步非阻塞通信2. 编解码器三、

Linux kill正在执行的后台任务 kill进程组使用详解

《Linuxkill正在执行的后台任务kill进程组使用详解》文章介绍了两个脚本的功能和区别,以及执行这些脚本时遇到的进程管理问题,通过查看进程树、使用`kill`命令和`lsof`命令,分析了子... 目录零. 用到的命令一. 待执行的脚本二. 执行含子进程的脚本,并kill2.1 进程查看2.2 遇到的

MyBatis常用XML语法详解

《MyBatis常用XML语法详解》文章介绍了MyBatis常用XML语法,包括结果映射、查询语句、插入语句、更新语句、删除语句、动态SQL标签以及ehcache.xml文件的使用,感兴趣的朋友跟随小... 目录1、定义结果映射2、查询语句3、插入语句4、更新语句5、删除语句6、动态 SQL 标签7、ehc

Java HashMap的底层实现原理深度解析

《JavaHashMap的底层实现原理深度解析》HashMap基于数组+链表+红黑树结构,通过哈希算法和扩容机制优化性能,负载因子与树化阈值平衡效率,是Java开发必备的高效数据结构,本文给大家介绍... 目录一、概述:HashMap的宏观结构二、核心数据结构解析1. 数组(桶数组)2. 链表节点(Node

详解SpringBoot+Ehcache使用示例

《详解SpringBoot+Ehcache使用示例》本文介绍了SpringBoot中配置Ehcache、自定义get/set方式,并实际使用缓存的过程,文中通过示例代码介绍的非常详细,对大家的学习或者... 目录摘要概念内存与磁盘持久化存储:配置灵活性:编码示例引入依赖:配置ehcache.XML文件:配置

从基础到高级详解Go语言中错误处理的实践指南

《从基础到高级详解Go语言中错误处理的实践指南》Go语言采用了一种独特而明确的错误处理哲学,与其他主流编程语言形成鲜明对比,本文将为大家详细介绍Go语言中错误处理详细方法,希望对大家有所帮助... 目录1 Go 错误处理哲学与核心机制1.1 错误接口设计1.2 错误与异常的区别2 错误创建与检查2.1 基础

k8s按需创建PV和使用PVC详解

《k8s按需创建PV和使用PVC详解》Kubernetes中,PV和PVC用于管理持久存储,StorageClass实现动态PV分配,PVC声明存储需求并绑定PV,通过kubectl验证状态,注意回收... 目录1.按需创建 PV(使用 StorageClass)创建 StorageClass2.创建 PV

Python版本信息获取方法详解与实战

《Python版本信息获取方法详解与实战》在Python开发中,获取Python版本号是调试、兼容性检查和版本控制的重要基础操作,本文详细介绍了如何使用sys和platform模块获取Python的主... 目录1. python版本号获取基础2. 使用sys模块获取版本信息2.1 sys模块概述2.1.1