Критерии инициирования сборки "мусора" в .NET

Я столкнулся с некоторым любопытным поведением относительно сборки "мусора" в .NET.

Следующая программа бросит OutOfMemoryException очень быстро (после того, как меньше, чем секунда на 32-разрядной, машине на 2 ГБ). Финализатор Нечто никогда не называют.

class Foo
{
    Guid guid = Guid.NewGuid();
    byte[] buffer = new byte[1000000];

    static Random rand = new Random();
    public Foo()
    {
        // Uncomment the following line and the program will run forever.
        // rand.NextBytes(buffer);
    }

    ~Foo()
    {
        // This finalizer is never called unless the rand.NextBytes
        // line in the constructor is uncommented.
    }

    static public void Main(string args[])
    {
        for (; ; )
        {
            new Foo();
        }
    }
}

Если rand.nextBytes строка будет не прокомментирована, то она будет работать до бесконечности, и финализатор Foo регулярно вызывается. Почему это?

Мое лучшее предположение - то, что в бывшем случае, или CLR или Windows VMM ленивы о выделении физической памяти. Буфер никогда не пишется в, таким образом, физическая память никогда не используется. Когда адресное пространство заканчивается, системные катастрофические отказы. В последнем случае система исчерпывает физическую память, прежде чем это исчерпает адресное пространство, GC инициирован, и объекты собраны.

Однако вот первая часть, не добираются. Принятие моей теории корректно, почему GC не инициировал, когда адресное пространство кончается? Если моя теория является неправильной, то, каково реальное объяснение?