一文详解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日期类详解(最新推荐)

《Java日期类详解(最新推荐)》早期版本主要使用java.util.Date、java.util.Calendar等类,Java8及以后引入了新的日期和时间API(JSR310),包含在ja... 目录旧的日期时间API新的日期时间 API(Java 8+)获取时间戳时间计算与其他日期时间类型的转换Dur

Linux系统中的firewall-offline-cmd详解(收藏版)

《Linux系统中的firewall-offline-cmd详解(收藏版)》firewall-offline-cmd是firewalld的一个命令行工具,专门设计用于在没有运行firewalld服务的... 目录主要用途基本语法选项1. 状态管理2. 区域管理3. 服务管理4. 端口管理5. ICMP 阻断

Java中常见队列举例详解(非线程安全)

《Java中常见队列举例详解(非线程安全)》队列用于模拟队列这种数据结构,队列通常是指先进先出的容器,:本文主要介绍Java中常见队列(非线程安全)的相关资料,文中通过代码介绍的非常详细,需要的朋... 目录一.队列定义 二.常见接口 三.常见实现类3.1 ArrayDeque3.1.1 实现原理3.1.2

Java调用C#动态库的三种方法详解

《Java调用C#动态库的三种方法详解》在这个多语言编程的时代,Java和C#就像两位才华横溢的舞者,各自在不同的舞台上展现着独特的魅力,然而,当它们携手合作时,又会碰撞出怎样绚丽的火花呢?今天,我们... 目录方法1:C++/CLI搭建桥梁——Java ↔ C# 的“翻译官”步骤1:创建C#类库(.NET

Java Lambda表达式的使用详解

《JavaLambda表达式的使用详解》:本文主要介绍JavaLambda表达式的使用方式,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录一、前言二、Lambda表达式概述1. 什么是Lambda表达式?三、Lambda表达式的语法规则1. 无参数的Lambda表

Mysql的主从同步/复制的原理分析

《Mysql的主从同步/复制的原理分析》:本文主要介绍Mysql的主从同步/复制的原理分析,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录为什么要主从同步?mysql主从同步架构有哪些?Mysql主从复制的原理/整体流程级联复制架构为什么好?Mysql主从复制注意

详解如何使用Python构建从数据到文档的自动化工作流

《详解如何使用Python构建从数据到文档的自动化工作流》这篇文章将通过真实工作场景拆解,为大家展示如何用Python构建自动化工作流,让工具代替人力完成这些数字苦力活,感兴趣的小伙伴可以跟随小编一起... 目录一、Excel处理:从数据搬运工到智能分析师二、PDF处理:文档工厂的智能生产线三、邮件自动化:

Nacos注册中心和配置中心的底层原理全面解读

《Nacos注册中心和配置中心的底层原理全面解读》:本文主要介绍Nacos注册中心和配置中心的底层原理的全面解读,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录临时实例和永久实例为什么 Nacos 要将服务实例分为临时实例和永久实例?1.x 版本和2.x版本的区别

Spring @RequestMapping 注解及使用技巧详解

《Spring@RequestMapping注解及使用技巧详解》@RequestMapping是SpringMVC中定义请求映射规则的核心注解,用于将HTTP请求映射到Controller处理方法... 目录一、核心作用二、关键参数说明三、快捷组合注解四、动态路径参数(@PathVariable)五、匹配请

git stash命令基本用法详解

《gitstash命令基本用法详解》gitstash是Git中一个非常有用的命令,它可以临时保存当前工作区的修改,让你可以切换到其他分支或者处理其他任务,而不需要提交这些还未完成的修改,这篇文章主要... 目录一、基本用法1. 保存当前修改(包括暂存区和工作区的内容)2. 查看保存了哪些 stash3. 恢