一文详解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

相关文章

HTML5的input标签的`type`属性值详解和代码示例

《HTML5的input标签的`type`属性值详解和代码示例》HTML5的`input`标签提供了多种`type`属性值,用于创建不同类型的输入控件,满足用户输入的多样化需求,从文本输入、密码输入、... 目录一、引言二、文本类输入类型2.1 text2.2 password2.3 textarea(严格

C++ move 的作用详解及陷阱最佳实践

《C++move的作用详解及陷阱最佳实践》文章详细介绍了C++中的`std::move`函数的作用,包括为什么需要它、它的本质、典型使用场景、以及一些常见陷阱和最佳实践,感兴趣的朋友跟随小编一起看... 目录C++ move 的作用详解一、一句话总结二、为什么需要 move?C++98/03 的痛点⚡C++

MySQL中between and的基本用法、范围查询示例详解

《MySQL中betweenand的基本用法、范围查询示例详解》BETWEENAND操作符在MySQL中用于选择在两个值之间的数据,包括边界值,它支持数值和日期类型,示例展示了如何使用BETWEEN... 目录一、between and语法二、使用示例2.1、betwphpeen and数值查询2.2、be

python中的flask_sqlalchemy的使用及示例详解

《python中的flask_sqlalchemy的使用及示例详解》文章主要介绍了在使用SQLAlchemy创建模型实例时,通过元类动态创建实例的方式,并说明了如何在实例化时执行__init__方法,... 目录@orm.reconstructorSQLAlchemy的回滚关联其他模型数据库基本操作将数据添

Java中ArrayList与顺序表示例详解

《Java中ArrayList与顺序表示例详解》顺序表是在计算机内存中以数组的形式保存的线性表,是指用一组地址连续的存储单元依次存储数据元素的线性结构,:本文主要介绍Java中ArrayList与... 目录前言一、Java集合框架核心接口与分类ArrayList二、顺序表数据结构中的顺序表三、常用代码手动

Spring Boot Interceptor的原理、配置、顺序控制及与Filter的关键区别对比分析

《SpringBootInterceptor的原理、配置、顺序控制及与Filter的关键区别对比分析》本文主要介绍了SpringBoot中的拦截器(Interceptor)及其与过滤器(Filt... 目录前言一、核心功能二、拦截器的实现2.1 定义自定义拦截器2.2 注册拦截器三、多拦截器的执行顺序四、过

Go异常处理、泛型和文件操作实例代码

《Go异常处理、泛型和文件操作实例代码》Go语言的异常处理机制与传统的面向对象语言(如Java、C#)所使用的try-catch结构有所不同,它采用了自己独特的设计理念和方法,:本文主要介绍Go异... 目录一:异常处理常见的异常处理向上抛中断程序恢复程序二:泛型泛型函数泛型结构体泛型切片泛型 map三:文

JAVA线程的周期及调度机制详解

《JAVA线程的周期及调度机制详解》Java线程的生命周期包括NEW、RUNNABLE、BLOCKED、WAITING、TIMED_WAITING和TERMINATED,线程调度依赖操作系统,采用抢占... 目录Java线程的生命周期线程状态转换示例代码JAVA线程调度机制优先级设置示例注意事项JAVA线程

详解C++ 存储二进制数据容器的几种方法

《详解C++存储二进制数据容器的几种方法》本文主要介绍了详解C++存储二进制数据容器,包括std::vector、std::array、std::string、std::bitset和std::ve... 目录1.std::vector<uint8_t>(最常用)特点:适用场景:示例:2.std::arra

C++构造函数中explicit详解

《C++构造函数中explicit详解》explicit关键字用于修饰单参数构造函数或可以看作单参数的构造函数,阻止编译器进行隐式类型转换或拷贝初始化,本文就来介绍explicit的使用,感兴趣的可以... 目录1. 什么是explicit2. 隐式转换的问题3.explicit的使用示例基本用法多参数构造