JVM の内部: Java 仮想マシンの詳細な説明

[[325305]]

この記事では、Java 仮想マシン (JVM) の内部アーキテクチャについて説明します。次の図は、Java SE 7 仕様に準拠した一般的な JVM コアの内部を示しています。

上の図に示されているコンポーネントは、 2 つのセクションで説明されています。最初の章では各スレッド用に作成されるコンポーネントについて説明し、2 番目の章ではスレッドに依存しないコンポーネントについて説明します。

スレッド
JVM システムスレッド
各スレッドは関連している
プログラムカウンタ
スタック
ローカルスタック
スタック制限
スタックフレーム
ローカル変数配列
オペランドスタック
動的リンク
スレッド共有
ヒープ
メモリ管理
非ヒープメモリ
ジャストインタイムコンパイル
方法領域
クラスファイルの構造
クラスローダー
より高速なクラス読み込み
メソッド領域はどこですか?
クラスローダーリファレンス
ランタイム定数プール
例外テーブル
シンボルテーブル
インターンされた文字列

スレッド

ここで言うスレッドとは、プログラム実行プロセス中のスレッドエンティティを指します。 JVM を使用すると、アプリケーションは複数のスレッドを同時に実行できます。 Hotspot JVM の Java スレッドは、ネイティブオペレーティングシステムスレッドに直接マッピングされます。スレッドローカルストレージ、バッファー割り当て、同期オブジェクト、スタック、プログラムカウンターなどが準備されると、オペレーティングシステムのネイティブスレッドが作成されます。 Java スレッドが終了すると、ネイティブスレッドがリサイクルされます。オペレーティングシステムは、すべてのスレッドをスケジュールし、使用可能な CPU に割り当てる役割を担います。ネイティブスレッドが初期化されると、Java スレッドの run() メソッドが呼び出されます。 run() が返されたときに、例外がキャッチされない場合、ネイティブスレッドは、その終了により JVM プロセスを終了するかどうかを確認します (たとえば、このスレッドは最後の非デーモンスレッドです)。スレッドが終了すると、ネイティブスレッドと Java スレッドのすべてのリソースが解放されます。

JVM システムスレッド

jconsole または別のデバッガーを使用すると、バックグラウンドで多数のスレッドが実行されていることがわかります。これらのバックグラウンドスレッドは、public static void main(String[]) 関数をトリガーするメインスレッドや、メインスレッドによって作成された他のスレッドと一緒に実行されます。 Hotspot JVM のバックグラウンドで実行されるシステムスレッドは主に次のとおりです。

スレッド関連コンポーネント

実行中の各スレッドは次のコンポーネントで構成されます。

プログラムカウンタ (PC)

PC は、ローカル命令を除き、現在の命令 (またはオペコード) のアドレスを参照します。現在のメソッドがネイティブメソッドの場合、PC の値は未定義になります。すべてのCPUにはPCがあります。通常、PC は実行される各命令ごとに増加するため、PC は実行される次の命令のアドレスを格納します。 JVM は PC を使用して命令実行の場所を追跡します。 PC は実際にはメソッド領域内のメモリアドレスを指します。

スタック

各スレッドには独自のスタックがあり、その中に各メソッド実行のスタックフレームが含まれています。スタックは後入れ先出し (LIFO) データ構造であるため、現在実行中のメソッドがスタックの一番上にあります。メソッドが呼び出されるたびに、新しいスタックフレームが作成され、スタックの先頭にプッシュされます。メソッドが正常に返されるか、キャッチされない例外がスローされると、スタックフレームがポップされます。スタックフレームのプッシュとポップ以外に、スタックを直接操作することはできません。したがって、スタックフレームはヒープ上に割り当てることができ、連続したメモリを必要としません。

ネイティブスタック

すべての JVM 実装がネイティブメソッドをサポートしているわけではありません。ネイティブメソッドをサポートする実装では、通常、スレッドごとにネイティブメソッドスタックが作成されます。 JVM が C リンクモデルを使用して JNI (Java Native Invocation) を実装する場合、ネイティブスタックは C スタックになります。この場合、ネイティブメソッドスタック内の引数と戻り値の順序は、一般的な C プログラムと同じです。ネイティブメソッドは通常 (JVM 実装によって異なりますが)、JVM 内の Java メソッドを順番に呼び出すことができます。この Java へのネイティブメソッド呼び出しはスタック (通常は Java スタック) 上で発生します。スレッドはネイティブメソッドスタックを離れ、Java スタック上に新しいスタックフレームを開きます。

スタックの制限

スタックは動的に割り当てることも、固定サイズにすることもできます。スレッドが許容範囲を超えるスペースを要求した場合、StackOverflowError がスローされます。スレッドに新しいスタックフレームが必要なのに、割り当てるのに十分なメモリがない場合は、OutOfMemoryError がスローされます。

フレーム

各メソッド呼び出しは新しいスタックフレームを作成し、それをスタックの先頭にプッシュします。メソッドが正常に返されるか、呼び出し中にキャッチされない例外がスローされると、スタックフレームがポップされます。例外処理の詳細については、以下の「例外情報テーブル」セクションを参照してください。

各スタックフレームには次のものが含まれます。

ローカル変数配列
戻り値
オペランドスタック
クラスの現在のメソッドのランタイム定数プール参照

ローカル変数配列

ローカル変数配列には、この参照、すべてのメソッドパラメーター、およびその他のローカル変数など、メソッド実行中のすべての変数が含まれます。クラスメソッド (つまり、静的メソッド) の場合、メソッドパラメータは添え字 0 から始まります。オブジェクトメソッドの場合、位置 0 はこのために予約されています。

次のローカル変数があります。

ブール値
バイト
文字
長さ
短い
整数
フロート
ダブル
参照
戻りアドレス

long 型と double 型を除き、すべての変数型はローカル変数配列内の 1 つの位置を占めます。 long と double は 64 ビット倍精度であり、他の型は 32 ビット単精度であるため、ローカル変数配列内で 2 つの連続した位置を占める必要があります。

オペランドスタック

オペランドスタックは、ネイティブ CPU レジスタと同様の方法でバイトコード命令の実行中に使用されます。ほとんどの JVM バイトコードは、オペランドスタック操作 (プッシュ、ポップ、コピー、スワップ、変数の作成と使用) に時間を費やします。そのため、ローカル変数配列とオペランドスタック間で変数を交換する命令操作は、バイトコードを通じて頻繁に実行されます。たとえば、単純な変数初期化ステートメントは、オペランドスタックと対話する 2 つのバイトコードを生成します。

整数i;

次のバイトコードにコンパイルされます。

 0: iconst_0 // 0をプッシュ トップ オペランドスタックの
1: istore_1 // 値をポップ トップ オペランドスタックに格納し、  ローカル変数 1

ローカル変数配列、オペランドスタック、およびランタイム定数プール間の相互作用の詳細については、「クラスファイル構造」セクションを参照してください。

動的リンク

各スタックフレームには、ランタイム定数プールへの参照があります。この参照は、スタックフレームの現在実行中のメソッドが配置されているクラスの定数プールを指します。この参照を通じて動的リンクがサポートされます。

C/C++ コードは通常、オブジェクトファイルにコンパイルされ、その後複数のオブジェクトファイルがリンクされて実行可能ファイルまたは dll が生成されます。リンクフェーズでは、各オブジェクトファイルのシンボリック参照が、最終的な実行可能ファイルの相対オフセットメモリアドレスに置き換えられます。 Java では、リンクフェーズは実行時に動的に実行されます。

Java クラスファイルがコンパイルされると、すべての変数およびメソッド参照がこのクラスの定数プールにシンボリック参照として保存されます。シンボリック参照は、実際には物理メモリアドレスを指していない論理参照です。 JVM は、シンボリック参照をいつ解決するかを選択できます。 1 つのオプションは、クラスファイルが読み込まれて検証された後に解決することです。この解決方法はハングリー法と呼ばれます。もう 1 つは、シンボル参照が初めて使用されるときに解決されることです。この解析方法は遅延メソッドと呼ばれます。いずれの場合でも、JVM は、シンボリック参照が初めて使用されるときに解決を完了し、発生する可能性のある解決エラーをスローする必要があります。バインディングは、オブジェクトフィールド、メソッド、クラスへのシンボリック参照を直接参照に置き換えるプロセスです。バインディングは一度だけ行われます。バインドされると、シンボル参照は完全に置き換えられます。クラスへのシンボリック参照がまだ解決されていない場合は、クラスがロードされます。各直接参照は、ランタイム変数またはメソッドの場所に関連付けられたストレージ構造を基準としたオフセットとして格納されます。

スレッド間の共有

ヒープ

ヒープは、実行時にクラスインスタンスと配列を割り当てるために使用されます。配列とオブジェクトはスタックに格納できません。スタックフレームは、作成後にサイズを変更できないように設計されているためです。スタックフレームには、ヒープ内のオブジェクトまたは配列への参照のみが格納されます。ローカル変数配列 (各スタックフレーム内) のプリミティブ型や参照型とは異なり、オブジェクトは常にヒープ上に格納されるため、メソッドが終了しても削除されません。オブジェクトはガベージコレクターによってのみ削除できます。

ガベージコレクションをサポートするために、ヒープは次の 3 つの領域に分割されます。

新世代
エデンとサバイバーに分けられることが多い
旧世代
永久世代

メモリ管理

オブジェクトと配列は明示的に回収されることはありませんが、ガベージコレクターによって自動的に回収されます。通常、プロセスは次のようになります。

新しいオブジェクトと配列が作成され、古い世代に配置されます。
新しい世代では、マイナーなガベージコレクションが実行されます。まだ生きているオブジェクトは、エデンスペースからサバイバースペースに移動されます。
メジャーガベージコレクションでは、通常、アプリケーションプロセスが一時停止し、オブジェクトが 3 つの領域間で移動されます。まだ生きているオブジェクトは、若い世代から古い世代に移動されます。
古い世代がリサイクルされるたびに、永久世代もリサイクルされます。いっぱいになったらリサイクルされます。

非ヒープメモリ

非ヒープメモリとは、論理的には JVM の一部であるが、実際にはヒープ上に作成されないオブジェクトを指します。

非ヒープメモリには次のものが含まれます。
永続的な世代には以下が含まれます:
方法領域
インターンされた文字列

コードキャッシュ: JIT コンパイラによってネイティブコードにコンパイルされるメソッドをコンパイルして保存するために使用されます。

ジャストインタイムコンパイル (JIT)

Java バイトコードは解釈されて実行されますが、JVM ホストでネイティブコードを直接実行するほど高速ではありません。パフォーマンスを向上させるために、Oracle Hotspot VM は最も頻繁に実行されるバイトコードスニペットを検出し、それをネイティブマシンコードにコンパイルします。コンパイルされたネイティブマシンコードは、非ヒープメモリ内のコードキャッシュに保存されます。このアプローチにより、Hotspot VM は、バイトコードをネイティブコードにコンパイルするために必要な追加時間と、バイトコードの解釈と実行に費やされる追加時間のバランスをとります。

方法領域

メソッド領域には、次のような各クラスに関する情報が格納されます。

クラスローダーリファレンス
ランタイム定数プール
数値定数
フィールド参照
メソッド参照
財産
フィールドデータ
フィールド名
タイプ
修飾子
属性
各フィールドの情報
メソッドデータ
メソッド名
戻り値の型
パラメータタイプ（順不同）
修飾子
財産
各方法
メソッドコード
バイトコード
オペランドスタックサイズ
ローカル変数のサイズ
ローカル変数テーブル
例外テーブル
各例外ハンドラ
出発点
終点
例外処理コードのプログラムカウンタ（PC）オフセット
キャッチされた例外クラスに対応する定数プールの添え字
各方法

すべてのスレッドは同じメソッド領域を共有するため、メソッド領域データおよび動的にリンクされたプロセスへのアクセスはスレッドセーフである必要があります。 2 つのスレッドが、ロードされていないクラスのフィールドまたはメソッドにアクセスしようとする場合、そのフィールドまたはメソッドは 1 回だけロードされ、両方のスレッドはロードされるまで待機してから実行を続行する必要があります。

クラスファイルの構造

コンパイルされたクラスファイルには、次の構造が含まれます。

javap を使用して、コンパイルされた Java クラスファイルのバイトコードを表示できます。

次の単純なクラスをコンパイルすると:

パッケージ org.jvminternals;
パブリッククラスSimpleClass{
パブリックvoid sayHello() {
 システム。 .println ( "こんにちは" );
 }
 }

次のコマンドを実行すると、次の出力が得られます: javap -v -p -s -sysinfo -constants classes/org/jvminternals/SimpleClass.class。

このクラスファイルには、定数プール、コンストラクターメソッド、および sayHello メソッドという 3 つの主要な部分があります。

定数プール: 以下に説明するように、シンボルテーブルによって通常提供されるものと同じ情報を提供します。
方法: 各方法は4つの領域から構成され、
署名とアクセスタグ
バイトコード
LineNumberTable: ソースコードの各行に対応するバイトコード情報をデバッガーに提供します。上記の例では、Java ソースコードの 6 行目は sayHello 関数のバイトコード番号 0 に関連付けられ、7 行目はバイトコード番号 8 に関連付けられています。
LocalVariableTable: すべてのスタックフレーム内のローカル変数を一覧表示します。上記の 2 つの例では、唯一のローカル変数は this です。

このクラスファイルでは、次のバイトコード演算子を使用します。

一般的なバイトコードと同様に、オペランドとローカル変数、オペランドスタック、およびランタイム定数プールとの主な相互作用を以下に示します。

コンストラクター関数には 2 つの命令が含まれています。まず、 this 変数がオペランドスタックにプッシュされ、次に親クラスのコンストラクター関数が呼び出され、このコンストラクターが this を消費し、次に this がオペランドスタックからポップされます。

前に説明したように、 sayHello() メソッドは、ランタイム定数プールからのシンボリック参照への実際の参照を使用する必要があるため、より複雑です。最初のオペコード getstatic は、System クラスからの出力静的変数をオペランドスタックにプッシュします。次のオペコード ldc は、文字列「Hello」をオペランドスタックにプッシュします。最後に、invokevirtual 演算子は System.out 変数の println メソッドを呼び出し、オペランドスタックから "Hello" 変数を println のパラメーターとしてポップし、現在のスレッドで新しいスタックフレームを開きます。

クラスローダー

JVM が起動すると、ブートストラップクラスローダーを使用して初期化クラスがロードされ、このクラスは、public static void main(String[]) が呼び出される前にリンクと初期化を完了します。このメソッドを実行すると、必要な追加のクラスとインターフェースが読み込まれ、リンクされ、初期化されます。

ロードとは、クラスを表すクラスファイルを検索するか、特定の名前に基づいてインターフェイスタイプを検索し、それをバイト配列に読み込むプロセスです。次に、バイトが解析され、クラスオブジェクトを表し、正しいメジャーバージョン情報とマイナーバージョン情報が含まれていることが確認されます。直下の親クラスのクラスとインターフェースもロードされます。これらの操作が完了すると、バイナリ表現からクラスまたはインターフェースオブジェクトが作成されます。

リンクは、クラスまたはインターフェースを検証し、型と親クラスおよび親インターフェースを準備するプロセスです。リンクプロセスは、検証、準備、およびオプションで解決の 3 つのステップで構成されます。

検証では、クラスまたはインターフェースの表現が構造的に正しく、Java 言語および JVM のセマンティック要件に準拠しているかどうかが検証されます。たとえば、次のチェックが実行されます。

一貫性があり、正しくフォーマットされたシンボルテーブル
最終メソッドとクラスはオーバーライドされない
メソッドはアクセス制御キーワードに従います
メソッドパラメータの数とタイプは正しい
バイトコードはスタックデータを不適切に操作しない
変数は読み取られる前に初期化されました。
変数の値は正しい型です

検証フェーズ中にこれらのチェックを実行すると、実行フェーズ中にチェックを実行する必要がなくなります。リンク段階でチェックするとクラスの読み込みが遅くなりますが、これらのバイトコードを実行するときに複数のチェックを回避できます。

準備プロセスには、JVM で使用される静的ストレージとデータ構造 (メソッドテーブルなど) 用のメモリ領域の割り当てが含まれます。静的変数は作成され、デフォルト値に初期化されますが、初期化コードは初期化プロセスの一部であるため、この段階では実行されません。

解析はオプションのフェーズです。参照されているクラスとインターフェースをロードして、これらのシンボル参照が正しいことを確認します。この段階で発生しない場合は、バイトコード命令が参照を使用するまで、シンボリック参照の解決は発生しません。

クラスまたはインターフェースの初期化は、クラスまたはインターフェースの初期化メソッドによって行われます。実行構成。

JVM には複数のクラスローダーがあり、それぞれ異なる役割を果たします。各クラスローダーは、その親クラスローダーによってロードされます。例外は、すべてのクラスローダーの中で最上位のクラスローダーであるブートストラップローダーです。

ブートストラップローダーは、JVM がロードされた後の初期段階で初期化されるため、通常はネイティブコードによって実装されます。ブートストラップローダーは、rt.jar を含む基本的な Java API をロードする役割を担います。起動パスで見つかった信頼レベルの高いクラスのみをロードするため、通常のクラスに必要な多くの検証作業が省略されます。
拡張ローダーは、セキュリティ拡張機能などの標準 Java 拡張 API のクラスをロードします。
システムローダーはアプリケーションのデフォルトのクラスローダーです。つまり、クラスパスからアプリケーションクラスをロードします。
ユーザー定義のクラスローダーを使用してアプリケーションクラスをロードすることもできます。カスタムクラスローダーを使用する特別な理由は多数あります。実行時にクラスを再ロードしたり、ロードされたクラスを異なるグループに分離したりします。典型的な使用例としては、Web サーバー Tomcat などがあります。

クラスの読み込みを高速化する

共有クラスデータ (CDS) は、Hotspot JVM 5.0 で導入された新しい機能です。 JVM インストールプロセス中に、インストールプロセスはコア JVM クラスのセット (rt.jar など) を共有メモリマップ領域にロードします。 CDS は、これらのクラスのロードに必要な時間を短縮し、JVM の起動速度を向上させ、これらのクラスを異なる JVM インスタンスで共有できるようにし、メモリ消費も削減します。

メソッド領域はどこですか?

Java 仮想マシン仕様 Java SE 7 エディションでは、次のように明確に述べられています。「メソッド領域は論理的にはヒープ領域の一部ですが、単純な実装では、メソッド領域を再利用または圧縮しないことを選択できます。」 Oracle JVM の jconsle では、メソッド領域とコードキャッシュ領域が非ヒープメモリとして扱われていることが示されていますが、OpenJDK では、CodeCache が VM 内の ObjectHeap の別のドメインとして扱われていることが示されています。

クラスローダーリファレンス

ロードされたすべてのクラスには、それらをロードしたローダーへの参照が含まれており、各クラスローダーには、ロードするすべてのクラスへの参照が含まれています。

ランタイム定数プール

JVM は、シンボルテーブルに似たランタイムデータ構造である、型固有の定数プールを維持します。より多くのデータが含まれています。 Java バイトコードにはデータが必要です。このデータはバイトコードに直接保存するには大きすぎる場合が多く、代わりにバイトコードに参照が含まれる定数プールに保存されます。ランタイム定数プールは、上記の動的リンクに使用されます。

定数プールにはさまざまな種類のデータを保存できます。

デジタル
弦
クラスリファレンス
ドメイン参照
メソッド参照

サンプルコードは次のとおりです。

オブジェクト foo = 新しい Object();

バイトコードとして記述すると次のようになります。

 0: 新しい #2 // クラス java/lang/Object
 1: 重複
2:invokespecial #3 // メソッド java/lang/Object "<init>" ( ) V

新しいオペコードの後にはオペランド #2 が続きます。このオペランドは定数プールへのインデックスであり、定数プールの 2 番目のエントリを指します。 2 番目のエンティティはクラスへの参照であり、そのクラスは定数プール内の UTF8 でエンコードされた文字列クラス名を含む別のエンティティを参照します (// Class java/lang/Object)。このシンボリック参照は、java.lang.Object クラスを検索するために使用されます。新しいオペコードはクラスのインスタンスを作成し、その変数を初期化します。新しいクラスインスタンスへの参照がオペランドスタックに追加されます。 dup オペコードは、オペランドスタックの最上位要素への参照の追加コピーを作成します。最後に、invokespecial を使用して、2 行目のインスタンス初期化メソッドを呼び出します。オペコードには、定数プールへの参照も含まれています。初期化メソッドは、メソッドへのパラメーターとしてポップされたオペランドスタックの最上部への参照を受け取ります。最後に、この新しいオブジェクトには参照が 1 つだけあり、オブジェクトが作成され、初期化されました。

次のクラスをコンパイルすると:

パッケージ org.jvminternals;
パブリッククラスSimpleClass{ 
  
パブリックvoid sayHello() {
 システム。 .println ( "こんにちは" );
 } 
  
 }

生成されたクラスファイル定数プールは次のようになります。

この定数プールには次の型が含まれます。

例外テーブル

例外テーブルには、各例外処理情報が次のように格納されます。

出発地
終点
例外処理コードの PC オフセット
キャッチされた例外の定数プールインデックス

メソッドに try-catch または try-finally 例外ハンドラーが定義されている場合は、例外テーブルが作成されます。ハンドラによってカバーされるコードブロック領域や処理される例外の種類など、各例外ハンドラとコードブロックに必要な情報を格納します。

メソッドが例外をスローすると、JVM は一致する例外ハンドラーを探します。見つからない場合、メソッドは直ちに終了し、現在のスタックフレームがポップされ、このメソッドを呼び出したメソッド (新しいスタックフレーム内) に例外が再スローされます。すべてのスタックフレームがポップされ、一致する例外ハンドラーが見つからない場合、スレッドは終了します。この例外が最後の非デーモンプロセスでスローされた場合 (たとえば、このスレッドがメインスレッドである場合)、JVM プロセスが終了する可能性もあります。

Finally 例外ハンドラーはすべての例外タイプに一致し、どの例外がスローされても finally コードブロックが実行されます。この場合、例外がスローされなければ、メソッドの最後に finally コードブロックが実行されます。これは、コードが戻る前に finally ブロックにジャンプすることによって行われます。

シンボルテーブル

Hotspot JVM には、タイプ別に分割されたランタイム定数プールに加えて、永続世代のシンボルテーブルも含まれています。このシンボルテーブルは、シンボルポインタとシンボル間のマッピング関係を格納するハッシュテーブルです（つまり、ハッシュテーブル

参照カウントは、シンボルテーブルからシンボルを削除するプロセスを制御するために使用されます。たとえば、クラスがアンロードされると、定数プール内でそのクラスが所有するすべてのシンボルの参照カウントが減少します。シンボルテーブル内のシンボル参照カウントが 0 に達すると、シンボルテーブルはシンボルが参照されなくなったと見なし、シンボルテーブルからアンロードされます。後述するシンボルテーブルと文字列テーブルは、効率性を向上させ、各インスタンスが 1 回だけ出現するようにするために、正規化された構造で格納されます。

文字列テーブル

Java 言語仕様では、同一の (つまり、同じ Unicode ポインターシーケンスのシーケンスを含む) 文字列リテラルは同じ String インスタンスを指す必要があると規定されています。これに加えて、文字列インスタンスで String.intern() メソッドを呼び出すことによって返される参照は、文字列がリテラルである場合と同じである必要があります。したがって、次のコードは true を返します。

 ( "j" + "v" + "m" ).intern() == "jvm"

Hotspot JVM では、インターン化された文字列は文字列テーブルに格納されます。文字列テーブルは、オブジェクトポインタとシンボル間のマッピング関係を格納するハッシュテーブルです（つまり、ハッシュテーブル

クラスがロードされると、文字列リテラルはコンパイラによって自動的にインターン化され、シンボルテーブルに追加されます。さらに、String クラスのインスタンスは、String.intern() を呼び出すことによって明示的にインターン化できます。 String.intern() メソッドが呼び出されると、シンボルテーブルにすでに文字列が含まれている場合は、シンボルテーブル内の参照が返されます。そうでない場合、文字列は文字列テーブルに追加され、参照が返されます。

<<: ∑co 時間 |企業の支援 - ファーウェイと合肥シティクラウドが協力し、企業が新たなオンライン経済フォーマットを構築できるよう支援

>>: VMware のブリッジネットワークと NAT ネットワークモードを理解する方法