GC如何在GC周期（Java / C＃）中阻止新创建的内存/对象被清除

Question

假设我们采用以下示例代码

class Employee 
{
    int id;
    String name;
}

Employee e = new Employee(1, "NewEmployee");

在上面的代码中，我假设首先为Employee Object分配堆内存，然后将其引用分配给堆栈引用e 。

以上是正确的还是发生了什么深渊？

如果是，则让我们假设在堆中创建内存之后，恰好在将其引用分配给e ，GC将启动，并从GC根目录识别出没有对此新Heap内存的引用。

标记Java和C＃，正如我所看到的，在Java和C＃的Mark和Sweep情况下进行清理的逻辑似乎几乎相同（至少就从根目录识别未使用的对象并进行清理而言）。

Answer 1

然后让我们假设在堆中创建内存之后，就在将其引用分配给e之前，GC将启动，并从GC根目录中识别出没有对此新Heap内存的引用。

这是一个错误的假设，GC根本不会在此类分配过程中加入。 显然，这将是不正确和危险的行为。

更一般而言，当使用JITtting方法时，会在GC可以插入的地方注入“安全点”。这些通常是子方法调用，长循环等（严格取决于JIT实现）。

不确定JVM，但是就CLR而言，即使您将抓住生成的汇编代码（例如，通过使用https://sharplab.io ），也很难看到有关安全点的“ GCInfo”。 除了WinDbg之外，我没有其他工具可以看到它。