（译）你没必要担忧Dart的垃圾回收器

你没必要担忧Dart的垃圾回收器（译）

在学习Flutter的过程当中，咱们知道Widget只是最终渲染对象（RenderObject）的配置文件，它会在build的时候频繁的销毁和建立，那么，咱们不须要担忧他的建立和销毁带来的性能问题吗？

其实大可没必要，由于Dart针对Flutter的Widget的建立和销毁专门作过优化，这也是Flutter在多种语言中选择Dart的一个重要因素，甚至咱们还能够刻意利用这一点。

下面这篇文章解析了Dart的GC（Garbage Collector），对它作了个翻译以及部份内容的解析，包括一些排版，有不对的地方你们多多指正。

原文地址：https://medium.com/flutter/flutter-dont-fear-the-garbage-collector-d69b3ff1ca30

Flutter使用Dart做为开发语言和运行时机制，Dart一直保留着运行时机制，不管是在调试模式（debug）仍是发布模式（release），可是两种构建方式之间存在很大的差别。

• 在调试模型下，Dart将全部的管道（须要用到的全部配件）所有装载到设备上：运行时，JIT（the just-in-time）编译器/解释器（JIT for Android and interpreter for iOS），调试和性能分析服务。
• 在发布模式下，会除去JIT编译器/解释器依然保留运行时，由于运行时是Flutter App的主要贡献者。

debug和release

Dart的运行时包括一个很是重要的组件：垃圾回收器，它主要的做用就是分配和释放内存，当一个对象被实例化（instantiated）或者变成不可达（unreachable）。

在Flutter运行过程当中，会有不少的Object。

• 在StatelessWidget在渲染前（其实上还有StatefulWidget），他们被建立出来。
• 当状态发生变化的时候，他们又会被销毁。
• 事实上，他们又很短的寿命（lifespan）。
• 当咱们构建一个复杂的UI界面时，会有成千上万这样的Widgets。

因此，做为Flutter开发者，咱们须要担忧垃圾回收器不能很好的帮助咱们管理这些吗？（是否是会带来不少的性能问题呢）

• 当Flutter频繁的建立和销毁这些Widget（Objects），咱们是否须要很迫切的限制这种行为呢？
• 很是广泛，对于新的Flutter开发者来讲，当一个Widget的状态不须要改变时，他们会建立引用的Widget，来替代State中的Widget，以便于不会被销毁或者重建。

不须要这样作

担忧Dart的GC是没有任何事实根据的（没有必要），这是由于它分代（generational）架构和实现，可让咱们频繁建立和销毁对象有一个最优解。在大多数状况下，咱们只须要Flutter引擎按照它的方式建立和销毁这些Widgets便可。

Dart的GC

Dart的GC是分代的（generational）和由两个阶段构成：the young space scavenger（scavenger针对年轻一袋进行回收） and parallel mark sweep collectors（sweep collectors针对老一代进行回收）

注解：事实上V8引擎也是这样的机制

调度安排（Scheduling）

为了让RG最小化对App和UI性能的影响，GC对Flutter引擎提供了hooks，hooks被通知当Flutter引擎被政策到这个App处于闲置的状态，而且没有用户交互的时候。这就给了GC一个空窗期来运行它的手机阶段，而且不会影响性能。

垃圾收集器还能够在那些空闲间隔内进行滑动压缩（sliding compaction），从而经过减小内存碎片来最大程度地减小内存开销。

空闲时GC

阶段一：Young Space Scavenger

这个阶段主要是清理一些寿命很短的对象，好比StatelessWidget。当它处于阻塞时，它的清理速度远快于第二代的mark、sweep方式。而且结合调度，完成能够消除程序运行时的暂停现象。

本质上来说，对象在内存中被分配一段连续的、可用的内存空间，直接被分配完为止。Dart使用bump pointer（注解：若是像malloc同样，维护free_list再分配，效率很低。）分配新的空间，处理过程很是快。

分配了新对象的新空间，被为两部分，称之为semi spaces。一部分处于活动状态，另外一部分处于非活动状态。新对象分配在活动状态，一旦填充完毕，依然存活的Object，就会从活动状态copy到非活动状态，而且清除死亡的Object。这个时候非活动状态变成了活动状态，上面的步骤一次重复。（注解：GC来完成上面的步骤）

为了肯定哪些Object是存活的或死亡的，GC从根对象开始检测它们的应用。而后将有引用的Object（存活的）移动到非活动状态，直接全部的存活Object被移动。死亡的Object就被留下；

有关此的更多信息，请查看Cheney算法。

img

阶段二：Parallel Marking and Concurrent Sweeping

当对象达到必定的寿命（在第一阶段没有被GC回收），它们将被提高由第二代收集器管理的新内存空间：mark-sweep。

这个阶段的GC有两个阶段：第一阶段，首先遍历对象图（the object graph），而后标记人在使用的对象。第二阶段，将扫描整个内存，而且回收全部未标记的对象。

这种GC机制在标记阶段会阻塞，不能有内存变化和UI线程也会被阻塞。可是因为短暂的对象在Young Space Scavenger阶段以及被处理，全部这个阶段很是少出现。不过因为Flutter能够调用收集时间，影响的性能也会被见到最低。

可是若是引用程序不遵照分代的机制，反而这种状况会常常发生。可是因为Flutter的Widget的机制，全部这种状况不常常发生，可是咱们仍是须要了解这种机制。

Isolate

值得注意的是，Dart中的Isolate机制具备私有堆的概念，彼此是独立的。每一个Isolate有本身单独的线程来运行，每一个Isolate的GC不影响其余线程的性能。使用Isolate是避免阻塞UI和减轻密集型任务的好方法（注解：耗时操做可使用Isolate）。

总结

到这里你应该明白：Dart使用了强大的分代GC，以最大限度的减小Flutter中GC带来的性能影响。

因此，你不须要担忧Dart的垃圾回收器，这个反而是咱们应用程序的核心所在。

备注：全部内容首发于公众号，以后除了Flutter也会更新其余技术文章，TypeScript、React、Node、uniapp、mpvue、数据结构与算法等等，也会更新一些本身的学习心得等，欢迎你们关注

公众号