v8 GC机制

1.为何要分代

V8是Chrome浏览器的javascript解释器，为何须要把堆分代？不分代不能完成他所作的事情么？其实不分代彻底能够，分代的惟一理由就是优化GC性能。你先想一想，若是没有分代，那咱们全部的对象都在一块，GC的时候咱们要找到哪些对象没用，这样就会对堆的全部区域进行扫描。而咱们的不少对象都是朝生夕死的，若是分代的话，咱们把新建立的对象放到某一地方，当GC的时候先把这块存“朝生夕死”对象的区域进行回收，这样就会腾出很大的空间出来。

 

2.怎么分代

首先堆内存分为新生代和老生代。新生代又分为了三部分：1个Eden区和2个Survivor区（分别叫from和to）。默认比例为8：1：1。

 

2.为何要设置Survivor区

Survivor的存在乎义，就是减小被送到老年代的对象，进而减小Full GC的发生，Survivor的预筛选保证，只有经历16次Minor GC还能在新生代中存活的对象，才会被送到老年代。

 

3.为何要设置两个Survivor区

• Minor GC 会清理年轻代的内存。
• Major GC 是清理老年代。
• Full GC 是清理整个堆空间—包括年轻代和老年代。

为何一个Survivor区不行？第一部分中，咱们知道了必须设置Survivor区。假设如今只有一个survivor区，咱们来模拟一下流程： 
刚刚新建的对象在Eden中，一旦Eden满了，触发一次Minor GC，Eden中的存活对象就会被移动到Survivor区。这样继续循环下去，下一次Eden满了的时候，问题来了，此时进行Minor GC，Eden和Survivor各有一些存活对象，若是此时把Eden区的存活对象硬放到Survivor区，很明显这两部分对象所占有的内存是不连续的，也就致使了内存碎片化。 

那么，瓜熟蒂落的，应该创建两块Survivor区，刚刚新建的对象在Eden中，经历一次Minor GC，Eden中的存活对象就会被移动到第一块survivor space S0，Eden被清空；等Eden区再满了，就再触发一次Minor GC，Eden和S0中的存活对象又会被复制送入第二块survivor space S1（这个过程很是重要，由于这种复制算法保证了S1中来自S0和Eden两部分的存活对象占用连续的内存空间，避免了碎片化的发生）。S0和Eden被清空，而后下一轮S0与S1交换角色，如此循环往复。若是对象的复制次数达到16次，该对象就会被送到老年代中。

 
上述机制最大的好处就是，整个过程当中，永远有一个survivor space是空的，另外一个非空的survivor space无碎片。

那么，Survivor为何不分更多块呢？比方说分红三个、四个、五个?显然，若是Survivor区再细分下去，每一块的空间就会比较小，很容易致使Survivor区满，所以，我认为两块Survivor区是通过权衡以后的最佳方案。

 

4.怎么GC

通常状况下，新建立的对象都会被分配到Eden区(一些大对象特殊处理),这些对象通过第一次Minor GC后，若是仍然存活，将会被移到Survivor区。

对象在Survivor区中每熬过一次Minor GC，年龄就会增长1岁，当它的年龄增长到必定程度时，就会被移动到年老代中。

由于年轻代中的对象基本都是朝生夕死的(80%以上)，因此在年轻代的垃圾回收算法使用的是复制算法，复制算法的基本思想就是将内存分为两块，每次只用其中一块，当这一块内存用完，就将还活着的对象复制到另一块上面。复制算法不会产生内存碎片。

在GC开始的时候，对象只会存在于Eden区和名为“From”的Survivor区，Survivor区“To”是空的。紧接着进行GC，Eden区中全部存活的对象都会被复制到“To”，而在“From”区中，仍存活的对象会根据他们的年龄值来决定去向。年龄达到必定值(年龄阈值，能够经过-XX:MaxTenuringThreshold来设置)的对象会被移动到年老代中，没有达到阈值的对象会被复制到“To”区域。通过此次GC后，Eden区和From区已经被清空。这个时候，“From”和“To”会交换他们的角色，也就是新的“To”就是上次GC前的“From”，新的“From”就是上次GC前的“To”。无论怎样，都会保证名为To的Survivor区域是空的。Minor GC会一直重复这样的过程，直到“To”区被填满，“To”区被填满以后，会将全部对象移动到年老代中。

为了确保js的正常执行，gc和js执行不能并行执行，所以选择了相似于共享CPU时间片的执行方式，将gc 和js交替执行。