どのようにガベージコレクタは

Question

void method() 
{ 
    Type obj = new Type() ; 
} 

はたぶん私は何かを誤解スタックから根を追跡し続けますが、関数が戻ると、スタックが巻き戻されたとき、「objの何とかルートセットから削除する必要があります。このメカニズムはどのように機能しますか？私は既にhereを検索してそれを検索しましたが、私の質問を明確にするものは何も見つかりませんでした。

Answer 1

メソッドを完全に高価すぎるように呼び出す「減算」はありません。ここでの主な役割は、ジャストインタイムコンパイラによって行われます。 MSILを機械コードに変換するだけでなく、メソッドがオブジェクトをどのように使用するかを記述するテーブルも生成します。このテーブルには、オブジェクトが格納されている場所と同様に、オブジェクトが使用されているコードの場所のアドレスが格納されます。

スタックがどのように抽象化されているかに注目してください。オブジェクト参照が格納されるもっと一般的な場所はプロセッサレジスタにあります。 GCはオブジェクトの使用状況を正しく追跡するためにどのレジスタが使用されているかを知る必要があります。 の場合、スタックフレームのオフセットはになります。

ガベージコレクタは、スタックを歩き、アクティブメソッドのスタックフレームを走査します。各メソッドに関連付けられたテーブルを使用して、オブジェクト参照を検索します。メソッドが完了したときに特別な作業をする必要がないという大きな利点により、スタックフレームは単に存在しなくなります。また、表はガベージコレクションを非常に効率的にするため、メソッドがまだ実行を終了していなくてもオブジェクトを収集できます。あなたのMain（）メソッドのために多くのことを考慮すると、あなたは、そのメソッドで使用するオブジェクトがアプリケーションの存続期間にわたって漏れてしまうことは望みません。 fixedステートメントは非常に安くなりますが、テーブルにはオブジェクトが移動してはいけないというビットがあります。

の管理コードと非管理コードの区別があります。そのテーブルの詳細はthis answerです。

Answer 2

この記事を参照してください。 http://www.c-sharpcorner.com/uploadfile/riteshratna/garbage-collection-memory-management-in-net/

アプリケーションルートによるマネージヒープのセクションを参照してください。ガベージコレクタは、どのオブジェクトを収集できるかを判断するために、このルートリストを利用できます。