GC（垃圾回收）必须Stop-the-world？

并发编程的许多困难都源于对象生存期问题，当对象在线程之间传递时，要确保它们安全地释放就变得很麻烦。因此GC可以使得并发编程变得容易。但是实GC也是一个挑战，但是一次实现，就可以解决人们手动管理内存的麻烦（C语言），大大提高的开发效率和避免了许多Bug。
但是GC也是有成本的，他会影响程序的效率，GC是一个非常挑战的工作，很多计算机科学家在上面耗费了数十年不断的提升效率。
GC算法设计时，会考虑几个重要指标：

• 程序吞吐量：GC对程序效率的影响，也就花费在GC的时间和程序处理正常业务的时间比；
• GC吞吐量：单位时间内垃圾回收的数量；
• 暂停时间：Stop-the-world 的时间；
• 并发：垃圾回收机制如何使用多核；
• 等等还有很多

很多人问为什么GC的时候要暂停（Stop-the-world）整个程序，为什么不能并发的执行GC呢？GC本质上是一种权衡，Stop-the-world 是为了GC吞吐量（在给定CPU时间内多少垃圾可以被收集器清除？），便不是说GC必须STW,你也可以选择降低运行速度但是可以并发执行的收集算法，这取决于你的业务。
比如:你做金融交易类的项目，分秒必争，那可以选择并行的方式。如果你是一种后台任务，比如数据处理，那你可以选择STW类型算法，使 GC 的吞吐量得到最高。
两类算法最终的权衡指标就GC效率：程序工作时间与执行收集时间的比率。
没有单一的算法在所有方面都完美，语言也不可能知道程序的业务类型，这也就是“GC调优”存在的原因。这也是科学的基础规律。

更多内容，欢迎关注我的 Github
。