V8 —— 你需要知道的垃圾回收机制

前言

V8 blog近日发布了文章描述了“并发标记”的新技术,提升标记过程的效率。
并发标记是一个主要用新的平行和并发的垃圾收集器替换旧的垃圾回收器的项目,现在Chrome 64和Node.js v10已经默认启用并发标记。讲解之前我们先回顾一下基本知识点。


基本概念

弱分代假设(The Weak Generational Hypothesis)

  1. 多数对象的生命周期短
  2. 生命周期长的对象,一般是常驻对象
V8的GC也是基于假设将对象分为两代: 新生代和老生代。
对不同的分代执行不同的算法可以更有效的执行垃圾回收。


新生代与老生代

新生代包括一个New Space,老生代包括: Old Space, Code Space和Map Space,Large Object Space。
64位环境下的V8引擎的新生代内存大小32MB、老生代内存大小为1400MB,而32位则减半,分别为16MB和700MB。
对于新生代的对象,采用空间换取时间的Scavenge算法, 尽可能快的回收内存。如果对象经历了2次GC还依然坚挺,就会在第二次回收时晋升为老生代(准确的说是保存在Old Space中)。
而老生代的GC采取Mark-Sweep的算法,并使用Mark-Sweep解决内存碎片的问题。


Scavenge算法

对于新生代对象,采用Scavenge算法来回收。
简单来说,将内存的空间分为两个semispace,同一时刻只有一个空间处于使用中。使用中的叫做 to space,不被使用的叫做 from space。
分配对象时,先在From空间分配,垃圾回收时检查(宽度优先)From空间的存活对象,将存活对象复制到To空间,清理非存活对象,复制后,空间身份发生对调。


Mark-Sweep算法

处理老生代对象时,采用深度优先扫描,用三色标记的算法。
V8使用每个对象的两个mark-bits和一个标记工作栈来实现标记。
两个mark-bits编码三种颜色:白色(00),灰色(10)和黑色(11)。
白色表示对象可以回收,黑色表示对象不能回收,并且他的所有引用都被便利完毕了,灰色表示不可回收,他的引用对象没有扫描完毕。
扫描过程:
  1. 从已知对象开始,即roots(全局对象和激活函数), 将所有非root对象标记置为白色
  2. 将root对象的所有直接引用对象入栈(marking worklist)
  3. 依次pop出对象,出栈的对象标记为黑,同时将他的直接引用对象标记为灰色并push入栈
  4. 栈空的时候,仍然为白色的对象可以回收
  5. 回收白色的对象
在清除阶段,只清除没被标记的对象。
但是进行清除后,内存会出现不连续的状态,对后续的大对象分配地址造成无意义的回收(因为可用内存的不足),这时就需要Mark-Compact来处理内存碎片了。


Mark-Compact算法

在对象标记死亡后,在整理的过程中,将活着的对象向另一个内存页移动,移动完后内存页就可以还给操作系统,但如果这一页的活动对象被很多其他页的对象引用,就不会compact,因为移动完后更新其他引用的指针开销大。


全暂停与增量标记

垃圾回收的3种基本算法需要应用逻辑暂停下来,垃圾回收完后恢复应用程序逻辑,即“全暂停”,过长的停顿会让用户感到卡顿,所以为了降低全堆的垃圾回收,当堆的大小到一定程度后,开始增量GC,V8在标记阶段将标记的动作分为很多小“步进”,应用逻辑与垃圾回收交替进行直到标记阶段完成。
但是,对于过大的堆,GC在试图跟上应用程序分配速度的过程中,仍有长时间的停顿,并且应用程序需要通知GC对象图的所有变化,这些都是需要成本的(写保障 write-barrier)。
V8使用Dijkstra-style 的写屏障(write-barrier)来实现通知。
当object.field = value in JavaScript时,V8会插入以下代码:
// Called after `object.field = value`.
write_barrier(object, field_offset, value) {if (color(object) == black && color(value) == white) {set_color(value, grey);marking_worklist.push(value);}
}
write-barrier可以保障不会出现黑色对象指向了白色对象的现象发生(强三色不变形 strong tri-color invariant),这样应用程序不会在GC时误删活动对象。在GC完成后所有白色对象都是可安全删除的。
但是,由于write-barrier的损耗,降低了应用程序的吞吐量,所以需用其他的worker threads提高吞吐量,使worker threads也可以进行标记的工作。这就是下面要讲的平行标记和并发标记。


平行标记 parallel marking

平行标记期间,应用程序暂停,main thread和worker thread共同执行标记操作,下图显示了平行标记所涉及的数据结构。箭头指示数据流的方向。
其中,对象图是只读的,不允许去修改他,Mark-bits和Marking worklist是可以读和写的。
Marking worklist负责决定分给其他worker thread的工作量,决定了性能与保持本地线程的均衡,所以如何高效地完成工作的分配至关重要。
如下图所示,V8使用基于内存段的方式去平衡各个线程的工作量,避免线程同步的耗时与尽可能的工作。


并发标记 concurrent marking

并发标记允许标记行为与应用程序同时进行。这就需要解决数据竞争的问题,比如JS代码在更改一个对象的字段,而worker thread又在标记字段,就可能导致错误的垃圾回收。
所以main thread需要与worker threads在发生数据竞争时进行同步,大多数的数据竞争行为通过轻量级的原子级内存访问就可以同步,但是一些特殊的场景需要独占整个对象的访问。


优化的结果

有了平行标记与并发标记后,对比上面讲的流程,GC的流程变为:
  1. 从root对象开始扫描,填充对象到marking worklist
  2. 分布并发标记任务到worker threads
  3. worker threads帮助main thread去更快地消费marking worklist中的对象
  4. main thread 偶尔会通过执行bailout worklist 和 marking worklist来marking
  5. 一旦marking worklists为空,main thread 就完成GC行为
  6. 在结束之前,main thread重新扫描roots,可能会发现其他的白色节点,这些白色节点会在worker threads的帮助下,被平行标记


参考文献:

  • Concurrent marking in V8
  • 解读 V8 GC Log
  • 思维导图:https://github.com/bailinlin/Awsome-Front-End-Xmind



更多专业前端知识,请上 【猿2048】www.mk2048.com

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/366417.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

词法分析器java_Java代码到底是如何编译成机器指令的。

原文地址:https://mp.weixin.qq.com/s/XH-JajAne0O7_yCYE5wBbg作者:Hollis在《Java代码的编译与反编译》中,有过关于Java语言的编译和反编译的介绍。我们可以通过javac命令将Java程序的源代码编译成Java字节码,即我们常说的class文…

python中的PEP是什么?怎么理解?(转)

PEP是什么? PEP的全称是Python Enhancement Proposals,其中Enhancement是增强改进的意思,Proposals则可译为提案或建议书,所以合起来,比较常见的翻译是Python增强提案或Python改进建议书。 我个人倾向于前一个翻译&…

Java方法中的参数太多,第6部分:方法返回

在当前的系列文章中,我正在致力于减少调用Java方法和构造函数所需的参数数量,到目前为止,我一直专注于直接影响参数本身的方法( 自定义类型 , 参数对象 , 构建器模式 , 方法重载和方法命名 &…

2017前端技术大盘点

前言 临近2017的尾声,总是希望来盘点一下这一年中前端的发展。到目前为止,前端的井喷期也快临近尾声了。并不像几年前一样,总是会有层出不穷的新东西迸发出来。同时,前端技术也慢慢的趋于稳固,自成一套体系。如果你喜…

jenkins pipeline api获取stage的详细信息_Jenkins + Docker 助力 Serverless 应用构建与部署...

本文来源: ServerlessLife 公众号近日,使用 Serverless 开发了一个应用。其中 CI/CD,是需要考虑的一个问题。这里用到了 Jenkins 和 Docker。并且 Jenkins Pipeline 运行在容器中。本文将介绍如何使用 Jenkins 和 Docker 构建并部署 Serverle…

BZOJ 1305 [CQOI2009]dance跳舞

这是一道最大流的模版题 一定要记住不能开出来重点呀 #include <queue> #include <cstdio> #include <cstring> #include <iostream> #include <algorithm> using namespace std; const int MAXN205; const int MAXM6005; const int inf0x3f3f3f…

项目本地部署

1.将数据库导出&#xff0c;并导入到本地 exp dgpdg/pass192.168.1.33/ORCL fileD:\gd_base.dmp logD:\gd_base.log&#xff08;不要加fully&#xff0c;会把整个数据库下所有用户的表倒下来&#xff09; imp dgpdg/pass127.0.0.1/orcl file"D:\gd_base.dmp" log&quo…

Java方法中的参数太多,第7部分:可变状态

在我的系列文章的第七篇中&#xff0c;有关解决Java方法或构造函数中过多参数的问题 &#xff0c;我着眼于使用状态来减少传递参数的需要。 我等到本系列的第七篇文章来解决这个问题的原因之一是&#xff0c;它是我最不喜欢的减少传递给方法和构造函数的参数的方法之一。 也就是…

命名空间不能直接包含字段或方法之类的成员是什么意思_Python 学习笔记之类与实例...

Python 学习笔记之类与实例一、定义1.1、定义类 (class) 封装一组相关数据&#xff0c;使之成为一个整体&#xff0c;并使用一种方法持续展示和维护。这有点像把零件组装成整车提供给用户&#xff0c;无须了解汽车的内部结构和工作原理&#xff0c;只要知道方向盘&#xff0c;刹…

跨平台开发框架 Lynx 初探

跨平台开发是目前开发较热门的方向&#xff0c;React Native 在这方面取得了很大的成功&#xff0c;同时 Flutter 也获得了非常多的关注。React Native 采用 Web 框架开发并使用 Native UI 进行渲染&#xff0c;很大程度上降低了 Native 开发的门槛并且提高迭代的效率&#xff…

linux ubuntu 关于vim得一些基本命令

&#xff11;.vim显示行号 :set number 2. 快捷键 J 向下 K 往上 H 向左 L 向右 ctrlshiftT  打开新窗口 ctrlPage Down 所有vim窗口向下切换 ctrlPage Up 所有vim窗口向上切换 &#xff13;. 复制vim打开的内容 yy 复制光标所在行 2yy 复制光标所在行往下的两行 ....…

ajax包含mysql吗_php 实例ajax与mysql怎么只查询出一条数据?

http://www.runoob.com/php/php...使用这个实例操作之后为什么只显示一条数据&#xff0c;如何让符合条件的数据全部显示出来如&#xff0c;我使用的查询字段是yesterday_str&#xff0c;查询2017-04-18这个数据怎么样才能把2017-04-18包含这个的全部数据提取出来&#xff1f;p…

使用Servlet 3.0,Redis / Jedis和CDI的简单CRUD –第2部分

在本文中&#xff0c;我们将重点介绍CDI和Servlet 3.0。 您可以在此处看到第1部分。 让我们从CDI开始。 当我开始撰写源自该系列的文章时&#xff0c;我并没有考虑撰写CDI。 真诚地说&#xff0c;我以前从未使用过。 这篇文章的想法是使用jedis和servlet创建一个对象。 但是&a…

Safari支持Service Worker,PWA还有多久爆发?

作者 | 彭星 编辑 | 尾尾 在之前的文章《PWA 将带来新一轮大前端技术洗牌&#xff1f;》中&#xff0c;我们回顾了 Web 在移动时代遭遇的两大枷锁&#xff0c;并就PWA是否能真正弥补 Web 劣势进行了分析&#xff0c;同时&#xff0c;提出“根据当前的发展趋势&#xff0c;PWA…

安装python3 及virtual与virtualenvwrapper

安装python3 下载python源码包 网址&#xff1a;https://www.python.org/downloads/release/python-362/ 下载地址&#xff1a;https://www.python.org/ftp/python/3.6.2/Python-3.6.2.tar.xz 安装python前的库环境&#xff0c;非常重要 yum install gcc patch libffi-devel py…

响应式设计与前端工程性

一&#xff1a;响应式的几个基本知识 字体选择 有衬线和无衬线&#xff0c;那种字体看自己的美学意识和考虑 透视比例与体验一致性保证&#xff08;人眼的位置&#xff09; 行高&#xff0c;字体大小&#xff0c;间距&#xff0c;要根据整个展示范围的透视比例合理的去规划pc 离…

aspx写入mysql_Asp.net用户登陆数据库验证与注册写入数据库

1.思路与效果图Index.aspx注册注册成功登陆登陆验证通过进入内容页1登陆没通过验证思路&#xff1a;首先建一个Sqlserver数据库Student,再建一个student表(name,pwd)存放用户名和密码。然后注册功能的实现&#xff1a;通过数据库插入信息到表的Sql语句来实现&#xff0c;成功提…

在WildFly中将Apache Camel和Spring添加为jboss模块

这些天&#xff0c;我在玩Wildfly &#xff0c; Apache Camel和Spring 。 在EAR / WAR之间进行通信的一种简单方法是使用Camel的direct-vm组件。 有或没有骆驼&#xff0c;有很多方法可以实现这一目标。 骆驼在WildFly中就像一个饰物&#xff0c;不需要任何额外的配置。 骆驼很…

页面体验提升小技巧—渐进式图片

前端性能方面有许多可优化的点&#xff0c;而这些优化带来的就是用户体验的提升。今天我们要聊的东西并不能给性能带来提升&#xff0c;但却能在一定程度上提升用户的体验。 参考博客 场景&#xff1a;在访问页面的时候如果图片较大或者网速慢的情况我们会看到图片加载起来是有…

php mysql无限分类排序_PHP 无限级分类、排序

lyk625358header(content-type:text/html;charsetutf-8);echo "";//-无限级排序,自己优化改良的,清除上次调用此函数后留下的静态变量的值$arr array(array(id>2,cname>分类2,parent_id>1),array(id>9,cname>分类9,parent_id>8),array(id>1,cn…