2007年6月6日

C# garbage collection 筆記

最近有點被 C# 的 Garbage collection（GC） 的機制搞得有點昏頭 !!昏頭!! 故查點資料整理一下。


主要參考自 .NET Gotchas 這本書的 Garbage Collection Gotchas 部份：

一、之前在 class 內的物件，一般在 destruct 過程內處理，比如 
 
 class SomeClass 
 { 
     private OtherClass ref1; 
     public SomeClass(OtherClass givenObject) 
     { 
         ref1 = givenObject; 
     } 
  
     ~SomeClass() 
     { 
         ref1 = null;  
     } 
 }


在 C# 內，也是有 ~SomeClass 這種 destruct 的寫法，但意義己不同於 C++ 的 destruct，在 C# 內稱之為 Finalize() 的做法，而 destruct 是種 pseudo-destruct，在 compile 後，會將此 pseudo-destruct 編成 Finalize()；而這個 Finalize() 並不會在於使用者將 class SomeClass 宣告成 null 後馬上被進行（C++ 的做法），而是在 GC 在一段時間後決定回收此 class 的資源時，才會去進行 Finalize()。

回到上述的問題，可能在 SomeClass 被處理後，隔好久一段時間後 GC 才處理 ~SomeClass()，此時 ref1 的實際 giveObject 物件可能在別處早就被「處理」成 null 了；另外，在 SomeClass 被處理後，GC 會去除此物件的標記，而變為 inaccessible，當然在內的 ref1 也會變成 inaccessible，所以，做 ref1 = null; 這個動作是沒有意義的。呵～若熟 C++ 的人，一定覺得這個蠻怪的～

所以，不要將 C++ destruct 的觀念用在這裡，用起來一定會覺得很怪，特別在 Trace 每個 class 使用記憶體的情形下 :)

在 Finalize() 內不用特別針對 class 內物件設定 ref1 = null 的情形，同理，由於各 class 進行 GC 的順序也不一定，所以，也不要在 Finalize() 內對其他物件做 method 的動作，比如 ref1.close()，在某些情形下，會造成 deadlock.

Finalize() 屬 protected overridable，所以，在內不應呼叫 base.Finalize().

二、GC 的機制讓使用者不用管 managed resource 的管理（即 .NET 的部份），但 unmanaged resource 的部份就必需馬上處理了，比如 .NET 物件有去調用 COM 元件，而 COM 元件即屬於 unmanaged resource，GC 並不會幫忙處理此類的資源。所以，在 .NET 內提供 IDisposable 的介面，讓 .NET 元件內，提供 Dispose() 函數來處理 unmanaged resource 的釋放。 

 
 //Wrapper.cs 
 using System; 
 using ACOMCompLib; 
 using System.Runtime.InteropServices.Marshal; 
  
 public class Wrapper : IDisposable 
 { 
      IMyComp comp = new MyCompClass(); 
  
      public int doSomething() 
      { 
          int result; 
          comp.doSomething(out result); 
          return result; 
      } 
  
      ~Wrapper() 
      { 
          ReleaseComObject(comp); 
      } 
  
      #region IDisposable Members 
  
      public void Dispose() 
      { 
          ReleaseComObject(comp); 
      } 
 }


其中，ReleaseComObject 屬於 System.Runtime.InteropServices.Marshal 下的 Method，用來釋放 COM 元件的資源，由於相對於 .NET 元件，可能 COM 元件佔的資源會很大，不能等到 GC 進行 Finalize() 時才釋放該 COM 元件的資源，所以， .NET 提供 Dispose() 讓使用者在於迴圈多次使用時，可以決定什麼時候釋放。 

 
 for(int i = 0; i < iterations; i++) 
 { 
   Wrapper theWrapper = null; 
   try 
   { 
      theWrapper = new Wrapper(); 
      result = theWrapper.doSomething(); 
    } 
    finally 
    { 
         theWrapper.Dispose();  
     } 
 }


回到前面所提到的 Finalize()，其實做的事情就和 Dispose() 一樣，都在處理 unmanaged resource 為主，但 Finalize() 則交給 GC 安排時間去處理， Dispose() 則讓使用者使用的時機。

可在 Dispose() 結束前，呼叫 GC.SuppressFinalize(); 則 GC 則不會再處理此 class 的 Finalize() 了。

bool disposing=true/false 都表示有做 resource cleanup 的動作，唯 disposing=true 表示做了 IDisposable.Dispose()，而 disposing=false 表示做了 Finalize()。

三、可讓 Dispose() 處理 managed and unmanaged resource 管理，而 Finalize() 處理 unmanaged resource，所以，有類似下述的設計 

 
 protected virtual void Dispose(bool disposing) 
 { 
         if (!disposed) 
         { 
             if (disposing) 
             { 
                  // Code to clean up managed resources 
             } 
                  // Code to clean up unmanaged resources 
         } 
  
         disposed = true; 
     } 
  
     public void Dispose() 
  
     { 
         Dispose(true); 
         GC.SuppressFinalize(this); 
     } 
  
     ~Base() 
     { 
         Dispose(false); 
     } 
 }


其他 References:


唉～ 雖然整理出來，好像不是我目前所遇到的問題？ Orz
Orignal From: C# garbage collection 筆記

張貼者： 於