为什么c#垃圾收集器在请求得到满足之前不一直尝试释放内存

考虑以下代码：

using System;
namespace memoryEater
{
    internal class Program
    {
        private static void Main(string[] args)
        {
            Console.WriteLine("alloc 1");
            var big1 = new BigObject();
            Console.WriteLine("alloc 2");
            var big2 = new BigObject();
            Console.WriteLine("null 1");
            big1 = null;
            //GC.Collect();
            Console.WriteLine("alloc3");
            big1 = new BigObject();
            Console.WriteLine("done");
            Console.Read();
        }
    }
    public class BigObject
    {
        private const uint OneMeg = 1024 * 1024;
        private static int _idCnt;
        private readonly int _myId;
        private byte[][] _bigArray;
        public BigObject()
        {
            _myId = _idCnt++;
            Console.WriteLine("BigObject {0} creating... ", _myId);
            _bigArray = new byte[700][];
            for (int i = 0; i < 700; i++)
            {
                _bigArray[i] = new byte[OneMeg];
            }
            for (int j = 0; j < 700; j++)
            {
                for (int i = 0; i < OneMeg; i++)
                {
                    _bigArray[j][i] = (byte)i;
                }
            }
            Console.WriteLine("done");
        }
        ~BigObject()
        {
            Console.WriteLine("BigObject {0} finalised", _myId);
        }
    }
}

我有一个类BigObject，它在构造函数中创建了一个700MiB数组，并且有一个finalize方法，除了打印到控制台之外什么都不做。在Main中，我创建了其中两个对象，释放一个，然后创建第三个。

如果这是为32位编译的（以便将内存限制在2吉），则在创建第三个BigObject时会引发内存不足异常。这是因为，当第三次请求内存时，无法满足请求，因此垃圾收集器将运行。然而，准备收集的第一个BigObject有一个Finalizer方法，因此它没有被收集，而是被放在最终确定队列中并最终确定。然后，垃圾收集器停止并抛出异常。但是，如果调用GC。Collect被取消注释，或者finalize方法被删除，代码将正常运行。

我的问题是，为什么垃圾收集器不尽其所能来满足对内存的请求？如果它运行两次（一次是最终确定的，另一次是免费的），上面的代码会很好地工作。在抛出异常之前，垃圾收集器是否应该继续完成并收集，直到没有更多的内存可用为止？有没有任何方法可以将其配置为这种行为（在代码中或通过Visual Studio）？