当finalization queue占用大量内存时，为什么GC不运行？

Question

我开始学习GC和finalization，我遇到了一个相当简单的示例，其中应用程序的行为对我来说是相当出乎意料的。

(注意:我知道终结器应该只与非托管资源一起使用，并且使用一次性模式，我只是想了解这里发生了什么。)

这是一个简单的控制台应用程序，可以生成“锯齿状”的内存模式。内存上升到90MB左右，然后进行GC，下降并开始再次上升，永远不会超过90MB。

    class Program
    {
        static void Main(string[] args)
        {
            for (int i = 0; i < 100000; i++)
            {
                MemoryWaster mw = new MemoryWaster(i);
                Thread.Sleep(250);
            }
        }
    }

    public class MemoryWaster
    {
        long l = 0;
        long[] array = new long[1000000];

        public MemoryWaster(long l)
        {
            this.l = l;
        }

        //~MemoryWaster()
        //{
        //    Console.WriteLine("Finalizer called.");
        //}
    }

如果我用finalizer删除注释，其行为将非常不同-应用程序在开始时执行一到两个GC，但随后内存以线性方式增加，直到它使用了超过1 1GB的内存(此时我终止了应用程序)

据我所知，这是因为GC将对象移动到finalization队列，而不是释放项。GC启动一个线程来执行终结器方法，然后等待另一个GC删除已完成的对象。当finalizer方法运行时间非常长时，这可能是一个问题，但这里不是这种情况。

如果我每隔几次迭代手动触发一次run GC.Collect()，应用程序就会按预期运行，并且我会看到内存释放的锯齿模式。

我的问题是-为什么应用程序使用的大量内存不能自动触发GC？在包含终结器的示例中，GC会在第一次运行后再次运行吗？

Answer 1

不要依赖终结器。它们是一个你永远不应该到达的安全网，而不是第一个选择。如果终结器必须在你之后清理，你已经搞得一团糟了。

我有两个关于一次性用品的基本规则，它们总是有效的：

• 从不将实例的创建和处理分开。创建、使用、处置。在同一段代码中，理想情况下，使用using block.
• If不能做第一件事-就像当您包装实现IDisposeable的东西时-您的类实现IDisposeable的唯一目的是中继Dispose调用。

至于GC：

当GC运行时，所有其他线程都必须暂停。这是一个绝对的规则。因此，GC相当懒惰。它试图避免奔跑。实际上，如果它在应用程序关闭期间只运行一次，那就是理想的情况。