垃圾收集器如何保持从堆栈跟踪根

Question

void method() 
{ 
    Type obj = new Type() ; 
} 

也许我误解了某些东西，但是当函数返回并且堆栈解开后，'obj'必须以某种方式从根集合中删除。这个机制如何工作？我已经搜索了here并将其搜索到了，但没有发现任何内容来澄清我的问题。

Answer 1

没有“减法”，这将使调用方法完全过于昂贵。这里的主要角色是即时编译器。它不仅仅将MSIL转换为机器码，还会生成一个表，描述方法如何使用对象。该表包含对象使用的代码位置的地址以及它的存储位置。

注意堆栈是如何抽象的，存储对象引用的更常见的地方是在处理器寄存器中。 GC需要知道哪些寄存器用于正确跟踪对象使用情况。如果确实溢出堆栈，则堆栈帧偏移。

当垃圾回收器开始时，它遍历堆栈，遍历活动方法的堆栈帧。并使用与每种方法关联的表来查找对象引用。有一个很大的好处，就是当一个方法完成时没有什么特别的事情需要完成，堆栈框架根本就不存在了。该表还使垃圾收集非常高效，即使该方法还没有完成执行，也可以收集对象。比如，你的Main（）方法很重要，你不希望你在该方法中使用的任何对象在应用程序的整个生命周期内泄漏。它使得fixed声明非常便宜，表格只是简单地表示该对象不应被移动。

该表的存在是托管和非托管代码之间的区别。更多关于this answer中的表格。

Answer 2

在这里看到这篇文章。 http://www.c-sharpcorner.com/uploadfile/riteshratna/garbage-collection-memory-management-in-net/

通过应用程序根检查出托管堆的部分。垃圾收集器可以使用此列表来确定可以收集哪个对象。