.NET Frameworkにおける マネージヒープと ガベージコレクション

Presentation on theme: ".NET Frameworkにおける マネージヒープと ガベージコレクション"— Presentation transcript:

1 .NET Frameworkにおける マネージヒープと ガベージコレクション

2 プログラミング.NET Framework 第4版
21章のお話

3 実際のオブジェクト オブジェクトヘッダ フィールド 型オブジェクトポインター(4byte, 8byte)
型の構造体へのポンタ 同期ブロックインデックス(4byte, 8byte) ロックとかCOMで利用する フィールド

4 リソースを割り当てる マネージヒープ NextObjPtr

5 リソースを割り当てる マネージヒープ オブジェクトAを割り当てたい！ NextObjPtr 同期ブロック 型ハンドル フィールド
同期ブロックインデックス～ フィールドまでが入るようにする 型ハンドル フィールド

6 リソースを割り当てる A マネージヒープ NextObjPtr
オブジェクトAを割り当てたら NextObjPtrjがオブジェクトの直後まで 進む

7 リソースを割り当てる マネージヒープ A B NextObjPtr

8 リソースを割り当てる マネージヒープ A B C NextObjPtr オブジェクトの割り当ては単なる ポインタの加算なので非常に速い

9 いつからマネージドヒープが 無限にあると勘違いしていた？

10 ガベージコレクション A B C D E F G H マネージヒープ NextObjPtr
オブジェクトを割り当てようとしたが 十分なアドレス空間がのこっていない！ NextObjPtr ガベージコレクション 実行！

11 ガベージコレクションの実行手順 全てのスレッドを一時停止 GCマーキングフェイズ コンパクションフェイズ
ガベージコレクション終わるまですべてのスレッ ドがオブジェクトにアクセスできない GCマーキングフェイズ 使ってないオブジェクトを探す コンパクションフェイズ 不要なオブジェクトを削除して圧縮する

12 マーキングフェイズ A B C D E F G H マネージヒープ 参照を表す
ルート： フィールドや 変数 マネージヒープ A B C D E F G H 参照を表す クラスの静的またはインスタンスフィールド、 メソッドの実引数、ローカル変数などで 参照型の変数を総称してルートと呼びます NextObjPtr

13 マーキングフェイズ A B C D E F G H マネージヒープ
ルート： フィールドや 変数 マネージヒープ A B C D E F G H 全オブジェクトの同期ブロックインデックス フィールドに含まれているビットに０を指定 ⇒これはすべてのオブジェクトを 　削除するという意味 NextObjPtr

14 マーキングフェイズ A B C D E F G H マネージヒープ 1 1 1 1
ルート： フィールドや 変数 マネージヒープ A B C D E F G H 1 1 1 1 ルートから直接参照されている オブジェクトをマークします。 NextObjPtr

15 マーキングフェイズ A B C D E F G H マネージヒープ 1 1 1 1 1
ルート： フィールドや 変数 マネージヒープ A B C D E F G H 1 1 1 1 1 マークをする際に、もし他のオブジェクトを 参照している場合は、そのオブジェクト もマークします。 この例だとDをマークするときはGもマークします NextObjPtr

16 マーキングフェイズ A B C D E F G H マネージヒープ 1 1 1 1 1 これでマーキングフェイズが完了です。
ルート： フィールドや 変数 マネージヒープ A B C D E F G H 1 1 1 1 1 これでマーキングフェイズが完了です。 マークされたオブジェクトは到達可能 といいます。 マークされていないのは到達不能といいます。 NextObjPtr

17 コンパクションフェイズ A B C D E F G H マネージヒープ 1 1 1 1 1
ルート： フィールドや 変数 マネージヒープ A B C D E F G H 1 1 1 1 1 マークされているオブジェクトによって 使用されているメモリを移動させて メモリ上に連続するようにします。 NextObjPtr

18 コンパクションフェイズ A C C D F G マネージヒープ
ルート： フィールドや 変数 マネージヒープ A C C D F G オブジェクトを移動させる際に、 オブジェクトを参照しているルートなどは移動した分のバイト数を引く必要があります。

19 コンパクションフェイズ A C D F G マネージヒープ マークされているすべてのオブジェクトに対して 行います。 ルート： フィールドや
変数 マネージヒープ A C D F G マークされているすべてのオブジェクトに対して 行います。

20 なんでコンパクションが 必要なの？ メモリの空容量を連続的にすることで、マネージヒープ上でメモリの断片化がなくなります。

21 ガベージコレクション実行しても メモリが足りないときは？
OutOfMemoryExceptionの例外が発生します。 アプリケーションはその例外をキャッチして回復を試みることができますが、ほとんどのアプリケーションはやってないのでプロセスが終了して、OSがプロセスが使用していたメモリを解放します。

22 メソッド内の オブジェクトの生存期間 メソッド内のオブジェクトの生存期間は最後に参照したところまでです。 メソッドの終了時までじゃないです。

23 メソッド内の オブジェクトの生存期間 static void Main(string[] args) { Timer t = new Timer(TimerCallback, null, 0, 2000); // タイミングA Console.ReadLine(); // オブジェクトtの参照 Console.WriteLine(t.ToString()); // タイミングB }

24 メソッド内の オブジェクトの生存期間 static void Main(string[] args) { Timer t = new Timer(TimerCallback, null, 0, 2000); // タイミングA Console.ReadLine(); // オブジェクトtの参照 Console.WriteLine(t.ToString()); // タイミングB } オブジェクトｔ は保障される オブジェクトｔ は保障されない ガベージコレクションが 実行されたら消える

25 メソッド内の オブジェクトの生存期間 なおDebugでビルドした場合、JITコンパイラが生存期間を恣意的にメソッドの最後まで伸ばします
Releaseビルドと Debugビルドで動きがかわるぞ！ がっでむ！

26 世代別ガベージコレクタ CLRのGCは世代別ガレージコレクタを採用している 世代別GCは次のことを前提にしている
オブジェクトが新しいほど、その生存期間は短い オブジェクトが古いほど、その生存期間は長い ヒープの一部分の回収はヒープ全体の回収より高 速である

27 世代別ガベージコレクタ マネージヒープ A B C D E 世代０ 新しく追加されるオブジェクトは常に 世代０に追加される。

28 世代別ガベージコレクタ A B C D E マネージヒープ 世代０
しばらくしてオブジェクトCとEが到達不能となる その後、ガベージコレクションが発生したとする。

29 世代別ガベージコレクタ A B D マネージヒープ 世代１ 世代０
ガベージコレクションの後に世代０で生き残った オブジェクトが世代１に移動して世代０は空になる

30 世代別ガベージコレクタ A B D F G H マネージヒープ 世代１ 世代０ 新しいオブジェクトは世代０に割り当てられていく。
世代０の予約サイズを超えた場合に ガベージコレクションが実行される。

31 世代別ガベージコレクタ A B D F H マネージヒープ 世代１ 世代０

32 世代別ガベージコレクタ マネージヒープ A B D F H I J K L 世代１ 世代０

33 世代別ガベージコレクタ A B D F H I L マネージヒープ 世代０ 世代１ ガベージコレクションを実行していくと
このように世代１が徐々に増加していく。

34 世代別ガベージコレクタ A B D F H I L M N O マネージヒープ 世代０ 世代１ 世代１のサイズが上限を超えた時に
ガベージコレクション が発生したとしよう

35 世代別ガベージコレクタ A D L M O マネージヒープ 世代２ 世代１ 世代０
世代１～世代０のオブジェクトを検査する。 世代１の到達可能オブジェクトは世代２となる。 世代０の到達可能オブジェクトは世代１となる

36 世代別ガベージコレクタ 世代別にGCを行うので、すべてのオブジェクトを検査しなくてすむ。

37 GCの起動要因 世代０の使用量が予約サイズを超えた System.GCをコードで実行 Windowsが空容量低下の状況を報告
予約サイズはCLRが動的に決める System.GCをコードで実行 Windowsが空容量低下の状況を報告

38 ラージオブジェクト その１ CLRは個々のオブジェクトをスモールオブジェクトかラージオブジェクトのどちらかであると見なす
ラージオブジェクト　その１ CLRは個々のオブジェクトをスモールオブジェクトかラージオブジェクトのどちらかであると見なす 現在85,000バイト以上をラージオブジェクト ※ただし、変更される可能性あり ラージオブジェクトはスモールオブジェクトと違うアドレス空間に割り当てられる ラージオブジェクト⇒Large Object Heap（LOH) スモールオブジェクト⇒Small Object Heap (SOH)

39 ラージオブジェクト その２ 現時点では、GCはラージオブジェクトに対してコンパクションを行わない。
ラージオブジェクト　その２ 現時点では、GCはラージオブジェクトに対してコンパクションを行わない。 ラージオブジェクトは割り当て後、すぐに世代２の一部とみなされる 世代２でGCが実行される時じゃないとラージオ ブジェクトに対してGCは行われない。

40 どういうことだってばよ？

41 どういうことだってばよ？ ラージオブジェクトだとメモリの断片化（フラグメンテーション）が発生します

42 LOHの割り当てとGC Large Object Heap A B C D

43 LOHの割り当てとGC Large Object Heap A B C D オブジェクトB,Cが到達不能になった。

44 LOHの割り当てとGC A D Large Object Heap
ガベージコレクション発生後、到達不能の オブジェクトは解放され、１つの空き容量を作成する コンパクションは行わない

45 LOHの割り当てとGC A E D Large Object Heap

46 LOHの割り当てとGC Large Object Heap
　→OutOfMemoryExceptionがスルーされる可能性ある

47 LOHが例外を生むなら… プロセス再起動するしかないじゃない！

48 .NET なら その必要はないわ！

49 メソッド内の オブジェクトの生存期間 LOHもコンパクションできる そう.NET4.5.1ならね！
Using System; Using System.Runtime; // LOHに対するコンパクションを要求 GCSettings.LOHCompactionMode = GCLargeObjectHeapCompactionMode.CompactOnce; // GCが発生してLOHがコンパクションされる GC.Collect(): LOHもコンパクションできる そう.NET4.5.1ならね！

50 ファイナライゼーション finalization
オブジェクトがGCにより回収対象になった後で、オブジェクトのメモリが解放される前に何らかのコードを実行できる

51 Finalizeメソッド class Hoge{ // Finalizeメソッド ~Hode() { // } }
C++のデストラクタと似ていますが、動作は異なる。 C++ではスコープを外れた時に、確実に呼ばれます。 C#ではFinalizeメソッドが実行されるタイミングは全く 制御できません。

52 ファイナライゼーションの動作 A B C D E F B C E F マネージヒープ ﾌｧｲﾅﾗｲｾﾞｰｼｮﾝﾘｽﾄ Fﾘｰﾁｬﾌﾞﾙｷｭｰ
Finalizeメソッドが定義してあるオブジェクトを 割り当てる際、型インス箪笥コンストラクターが呼ばれる 前にFinalizationリストにオブジェクトのポインタが配置 される。

53 ファイナライゼーションの動作 A B C D E F B C E F マネージヒープ ﾌｧｲﾅﾗｲｾﾞｰｼｮﾝﾘｽﾄ Fﾘｰﾁｬﾌﾞﾙｷｭｰ
C、D、Fが参照されなくなった

54 ファイナライゼーションの動作 A B C E F B E C F マネージヒープ ﾌｧｲﾅﾗｲｾﾞｰｼｮﾝﾘｽﾄ Fﾘｰﾁｬﾌﾞﾙｷｭｰ
ガベージコレクションが実行されると、 FinalizeメソッドのないオブジェクトDは削除され、 Finalizeメソッドのあるオブジェクト、C、FはFﾘｰﾁｬﾌﾞﾙｷｭｰ へ参照が移動する

55 ファイナライゼーションの動作 マネージヒープ A B C E F B E C F ﾌｧｲﾅﾗｲｾﾞｰｼｮﾝﾘｽﾄ Fﾘｰﾁｬﾌﾞﾙｷｭｰ

56 ファイナライゼーションの動作 A B C E F B E マネージヒープ ﾌｧｲﾅﾗｲｾﾞｰｼｮﾝﾘｽﾄ Fﾘｰﾁｬﾌﾞﾙｷｭｰ
Fﾘｰﾁｬﾌﾞﾙｷｭｰにデータが入ると、 Finalize用のスレッドが動作してキューからデータを 取り出して、Finalizeメソッドを実行します 　→ Fﾘｰﾁｬﾌﾞﾙｷｭｰから参照が消えて、 　　C,Fオブジェクトは到達不能となる

57 ファイナライゼーションの動作 A B E B E マネージヒープ ﾌｧｲﾅﾗｲｾﾞｰｼｮﾝﾘｽﾄ Fﾘｰﾁｬﾌﾞﾙｷｭｰ
その次のタイミングのガベージコレクションで オブジェクトは削除される

58 ファイナライゼーション finalization
Finalizeを使うオブジェクトは削除されるまでに２回のガベージコレクションが必要になる。

59 参考 CLR オブジェクトヘッダーの構造 大きなオブジェクト ヒープの秘密
ml 大きなオブジェクト ヒープの秘密 The Dangers of the Large Object Heap the-large-object-heap/