language-agnostic - 存在哪些 "time precise"垃圾回收算法？

Question

哪些垃圾收集算法可以立即将垃圾对象变成来识别？

我唯一想到的是每次将引用计数递减为非零值时，都会通过添加循环搜索来添加引用计数。

还有其他有趣的收集算法可以实现吗？ (请注意，我只是出于好奇而问；我知道所有此类收集器的效率可能都非常低)

Answer 1

尽管不是垃圾收集算法，但转义分析允许推理对象的生命周期。因此，如果效率是一个问题，并且不是在所有情况下而是在“明显的”情况下都应该收集对象，那么它会很方便。基本思想是对程序进行静态分析(如果是为VM编译，则在编译时或在加载时)，并弄清新创建的对象是否可以转义其创建于其中的例程(因此称为分析名称) 。如果对象未传递到其他任何地方，未存储在全局存储器中，未从给定例程返回等，则可以在从该例程返回之前或更早在其最后使用位置将其释放。

生存时间不长于关联方法调用的对象可以分配在堆栈上，而不是分配在堆中，因此可以在编译时将它们从垃圾回收周期中删除，从而降低了常规GC的压力。