Java 仮想マシンのメモリ管理の詳細な分析-＆＃＆チュートリアル-php.cn

この記事では、Java 仮想マシンのメモリ管理について詳しく説明します。必要な方は参考にしてください。

ランタイムメモリには以下が含まれます:

メソッド領域
仮想マシンスタック(VMスタック)
ネイティブメソッドスタック
ヒープ
プログラムカウンター登録

プログラムカウンター

は、現在のスレッドによって実行されるバイトコードの行番号インジケーターと見なすことができる比較的小さなメモリ空間です。 (バイトコードインタプリタは、このカウンタの値を変更して、実行する必要があるバイトコード命令を選択することによって機能します)。

Java 仮想マシンのマルチスレッドは、スレッドを順番に切り替えてプロセッサの実行時間を割り当てることによって実装されるため、いかなる瞬間においても、プロセッサは 1 つのスレッドでのみ命令を実行します。したがって、スレッド切り替え後に正しい実行位置に戻るためには、各スレッド間のカウンタが互いに影響を及ぼさずに独立して格納される、独立したプログラムカウンタが必要です。このようなメモリ領域を「スレッドプライベート」と呼びます。「記憶の。

スレッドが Java メソッドを実行している場合、このカウンタは実行中の仮想マシンのバイトコード命令のアドレスを記録します。ネイティブメソッドの場合、カウンタ値は空です。

Java 仮想マシンスタック

Java 仮想マシンスタックもスレッドプライベートであり、スレッドと同じライフサイクルを持ちます。

仮想マシンスタックは、実行のメモリモデルを表します。各メソッドが実行されると、ローカル変数テーブル、オペランドスタック、ダイナミックリンク、メソッド出口、その他の情報を保存するためにスタックフレームが作成されます。各メソッドの呼び出しから実行完了までの処理は、仮想マシンにおけるスタックフレームのスタックへのプッシュおよびスタックからのポップアウトの処理に相当する。

スタックとは通常、仮想マシンスタック、または仮想マシンスタックのローカル変数テーブル部分を指します。

ローカル変数テーブルには、コンパイル時に既知のさまざまな基本データ型、オブジェクト参照、および returnAddress 型 (バイトコード命令のアドレスを指す) が格納されます。

long 型と double 型のデータは 2 つのローカル変数空間 (スロット) を占有しますが、他のデータ型は 1 つだけを占有します。

ローカル変数テーブルに必要なメモリ空間は、メソッドを開始するときに、このメソッドがフレーム内でどのくらいのローカルスカラー空間を割り当てる必要があるか完全に決定されます。ローカル変数テーブルは、コンパイル中に変更されません。メソッドの実行。

仮想マシンの仕様では、この領域について 2 つの例外が規定されています。スレッドによって要求されたスタックの深さが仮想マシンで許可されている深さよりも大きい場合、仮想マシンのスタックが動的に拡張できる場合は StackOverflowError 例外がスローされます。十分なメモリがない場合は、拡張を適用できません。OutOfMemoryError 例外がスローされます。

ローカルメソッドスタック

は、仮想マシンスタックと非常によく似ています。ローカルメソッドスタックは、仮想マシンによって使用されるネイティブメソッドを提供します。ネイティブメソッドの言語、使用法、データ構造に関する必須のルールはありません。

Java ヒープ

ほとんどのアプリケーションにとって、ヒープは仮想マシンによって管理される最大のメモリ部分です。

ヒープはすべてのスレッドによって共有されるメモリ領域であり、仮想マシンの起動時に作成されます。このメモリ領域の唯一の目的はオブジェクトインスタンスを保持することであり、ほぼすべてのオブジェクトインスタンス (すべてのオブジェクトインスタンスと配列) にメモリが割り当てられます。

Java ヒープは、ガベージコレクターによって管理される主要な領域です。最新のコレクターは基本的にストライプコレクション方式を使用するため、Java ヒープは新世代と旧世代に細分化することもできます。

メモリ割り当ての観点から、スレッド共有 Java ヒープは、複数のスレッドプライベート割り当てバッファ (スレッドローカル割り当てバッファ、TLAB) に分割される場合があります。

Java ヒープは、論理的に連続している限り、物理的に不連続なメモリ空間を処理できます。実装する場合、固定サイズまたはスケーラブルとして実装できますが、主流の仮想マシンはスケーラブル (-Xms、-Xmx コントロール) として実装されます。

メソッド領域

Javaヒープと同様に、クラス情報、定数、静的変数、ジャストインタイムコンパイラでコンパイルされたコード、その他のデータを格納するために使用されます。仮想マシンによってロードされます。 Java 仮想マシンはメソッド領域をヒープの論理部分として記述しますが、Java ヒープと区別するために非ヒープと呼ばれる別名があります。

Java ヒープのような連続メモリを必要とせず、固定サイズまたは拡張性のオプションがあることに加えて、ガベージコレクションを実装しないことも選択できます。この領域ではガベージコレクションが発生することはほとんどありませんが、メソッド領域に入ると永遠の世代のように永続的に存在するわけではありません。この分野のメモリのリサイクルは、主に定数プールとアンロードタイプをリサイクルすることを目的としています。

ランタイム定数プール

はメソッド領域の一部です。クラスファイルには、クラスのバージョン、フィールド、メソッド、インターフェイス、その他の情報に加えて、情報が含まれています。もう 1 つの情報は定数プールテーブルです。これは、コンパイル中に生成されるさまざまなリテラルおよびシンボル参照に使用されます。この内容は、クラスのロード後にメソッド領域の実行時定数プールに保存されます。

これは動的です。クラスファイルに事前にインストールされている定数プールの内容のみがメソッド領域の実行時定数プールに入ることができます。この機能は、開発者によってよく使用されます。 String class intern().

オブジェクトの作成

仮想マシンが新しい命令を受け取ると、まずこの命令のパラメーターが定数プール内のクラスのシンボル参照を見つけることができるかどうかを確認し、シンボル参照をチェックします。表現されたクラスがロード、解析、および初期化されているかどうか。そうでない場合は、対応するクラスのロードプロセスを最初に実行する必要があります。

クラスロードチェック後に新しいオブジェクトにメモリを割り当てます。オブジェクトに必要なメモリの量は、クラスがロードされた後に完全に決定されます。

メモリ割り当ての完了後、仮想マシンに割り当てる必要のあるメモリ空間はゼロに初期化されます。TLAB を使用する場合、この作業は TLAB の割り当て時に事前に実行できます。

次に、仮想マシンは、オブジェクトがどのクラスのインスタンスであるか、クラスのメタデータ情報の検索方法、オブジェクトのハッシュコード、オブジェクトの GC 生成期間など、オブジェクトに必要な設定を行います。およびその他の情報。この情報は、オブジェクトのオブジェクトヘッダーに配置されます。

前のステップを完了すると、仮想マシンのタスクは完了しましたが、Java プログラムの観点から見ると、オブジェクトの作成が開始されたばかりで、はまだ実行されていません。

オブジェクトのメモリレイアウト

メモリ内のオブジェクトメモリのレイアウトは、オブジェクトヘッダー、インスタンスデータ、アライメントパディングの 3 つの部分に分けることができます。

HotSpot 仮想マシンのオブジェクトヘッダーは 2 つの部分で構成されます:

1. ハッシュ、GC 生成経過時間、ロックステータスフラグ、ロックを保持しているスレッド、バイアスされたスレッド ID、バイアスされたタイムスタンプなどのオブジェクト自体のランタイムデータを保存します。待って。 32 ビットおよび 64 ビットの仮想マシンのデータ長はそれぞれ 32 ビットおよび 64 ビットであり、正式には「マークワード」と呼ばれます。

2. オブジェクトのクラスメタデータのポインターである型ポインター。仮想マシンはこのポインターを使用して、オブジェクトがどのクラスのインスタンスであるかを判断します。オブジェクトが Java 配列の場合、仮想マシンは通常の Java オブジェクトのメタデータを通じて Java オブジェクトのサイズを決定できるため、オブジェクトヘッダーに配列の長さを記録するために使用されるデータが必要です。配列のメタデータからはサイズを決定できません。