У меня такой вопрос.
   class First
   {
      Second ob = new Second();

      ~First()
      {
         ob.show();
      }
   }

   class Second
   {
      public void show()
      {
         Console.WriteLine("in second show.");
      }
   }


void Main()
{
             First frstOb = new First();
}
Когда по выходу из Main() объект типа First теряет корень (ссылку frstOb), сборщик мусора помечает объект типа First как готовым для вызова Finalize(). Что в это время происходит с объектом типа Second?
Результат выполнения таков:

in second show.

Можно со 100% гарантией сказать что такой результат будет получатся при каждом выполнении программы?

Second тоже уничтожится после того, как уничтожится First.

А к тому моменту как будет вызван ob.show(), Second  может уже и не быть?

ChiciucMaxim, нет, пока объект First  не уничтожится, ссылка на Second будет в нём...деструктор вызывается перед уничтожением объекта...

А как тогда понимать это:
The finalizers of two objects are not guaranteed to run in any specific order, even if one object refers to the other. That is, if Object A has a reference to Object B and both have finalizers, Object B might have already finalized when the finalizer of Object A starts.

Добавлено через 40 секунд
это из msdn

ChiciucMaxim, финалайзер вызывается после/в самом конце деструктора. к тому же по умолчанию object.Finalize ничего не делает.
в вашем примере реализаций финалайзеров нету...



вот очень хорошая презентация на тему управления памятью в .net:
http://www.dotsite.spb.ru/lectures/dotnet_5.ppt

вот еще статья про завершители