第1章　準備

HotspotVMとは何かという点から話をはじめましょう。

HotspotVMはOracle社主導で開発されているもっともポピュラーなJavaVMです。

HotspotVMの特徴は「プログラムの実行頻度の高い部分のみ機械語にコンパイルする」という点です。これにはプログラムの実行時間を多く費やす部分（実行頻度の高い部分）を最適化し、プログラム全体の実行時間を短くしようという狙いがあります。また、機械語へのコンパイルをある程度の範囲に絞るため、コンパイル時間が短くなるという効果もあります。「実行頻度の高い部分」をHotspotと呼びます。この点がHotspotVMの名前の由来となっています。

HotspotVMのもう1つの特徴は複数のGCアルゴリズムが実装されているという点でしょう。通常GCアルゴリズムは、レスポンス性能とスループット性能のどちらかを優先してチューンアップします。一般的にレスポンス性能を優先したGCアルゴリズムはスループット性能が低下します。逆にスループット性能を優先したGCアルゴリズムはレスポンス性能が低下します。そのた、さまざまな要素から現在のところは完璧なGCというものが存在していません。HotspotVMはこのジレンマに対する回答として複数のGCアルゴリズムを実装するという手法をとりました。プログラマはアプリケーションの特性に合わせてHotspotVMのGCアルゴリズムを選択できます。つまり、レスポンス性能を求めるアプリケーションの場合は、それに適したGCアルゴリズムを「プログラマ」が選択できるということです。プログラマによるGCアルゴリズムの選択は優れた手法だと言えるでしょう。

Javaの開発用プログラミングツール群のことをまとめて「Java SE Development Kit（JDK）」と呼びます。

JDKにはHotspotVMの他に、JavaのソースコードをJavaバイトコードにコンパイルするJavaコンパイラ、Javaソースコードからドキュメントを生成するツールなどが同梱されています。

OpenJDKの公式サイトは次のURLです。

HotspotVMのソースコード内の「src」という名前のディレクトリにHotspotVMのソースコードが置かれています。

表1.1内最後の「share」ディレクトリ内には「vm」というディレクトリがあります。この「vm」ディレクトリの中にHotspotVMの大半部分のコードが置かれています。

また、「src」ディレクトリ内のソースコード分布を表1.3に示します。

HotspotVMは約45万行のソースコードから成り立っており、そのほとんどがC++で書かれています。

HotspotVM内のほとんどのクラスは次の2つのクラスのいずれかを継承しています。

• CHeapObjクラス
• AllStaticクラス

ソースコード上ではこれらのクラスが頻出しますので、ここで意味をおさえておきましょう。

CHeapObjクラスはCのヒープ領域上のメモリで管理されるクラスです。CHeapObjクラスを継承するクラスのインスタンスは、Cヒープ上にメモリ確保されます。

CHeapObjクラスの特殊な点はオペレータのnewとdeleteを書き換え、C++の通常のアロケーションにデバッグ処理を追加してるところです。このデバッグ処理は開発時にのみ使用されます。

CHeapObjクラスにはいくつかのデバッグ処理が実装されていますが、今回はその中のメモリ破壊検知機能を見てみましょう。

デバッグ時、CHeapObjクラス（または継承先クラス）のインスタンスを生成する際に、わざと余分にアロケーションします。アロケーションされたメモリのイメージを図1.2に示します。

図1.2: デバッグ時のCHeapObjインスタンス

余分にアロケーションしたメモリ領域を図1.2に示すとおり「メモリ破壊検知領域」として使います。メモリ破壊検知領域には0xABという値を書き込んでおきます。CHeapObjクラスのインスタンスとして図1.2の真ん中に示したメモリ領域を使用します。

そして、CHeapObjクラスのインスタンスのdelete時にメモリ破壊検知領域が0xABのままであるかをチェックします。もし、書き換わっていれば、CHeapObjクラスのインスタンスの範囲を超えたメモリ領域に書き込みがおこなわれたということです。これはメモリ破壊がおこなわれた証拠となりますので、発見次第エラーを出力し、終了します。

AllStaticクラスは「静的な情報のみをもつクラス」という意味を持つ特殊なクラスです。

AllStaticクラスを継承したクラスはインスタンスを生成なくなります。そのため、グローバル変数や関数を1つの名前空間にまとめたいときに、AllStaticクラスを継承します。継承するクラスにはグローバル変数やそのアクセサ、静的（static）なメンバ関数など、クラスから使える情報のみが定義されます。

HotspotVMはさまざまなOS上で動作する必要があります。そのため、各OSのAPIを統一のインタフェースを使って扱う便利な機構が用意されています。

80: class os: AllStatic {
       ...
223:   static char*  reserve_memory(size_t bytes, char* addr = 0,
224:                                size_t alignment_hint = 0);
       ...
732: };

osクラスはAllStaticクラスを継承するためインスタンスを作らずに利用します。

osクラスに定義されたメンバ関数の実体は各OSに対して用意されています。

• os/posix/vm/os_posix.cpp
• os/linux/vm/os_linux.cpp
• os/windows/vm/os_windows.cpp
• os/solaris/vm/os_solaris.cpp

上記ファイルはOpenJDKのビルド時に各OSに合う適切なものが選択され、コンパイル・リンクされます。os/posix/vm/os_posix.cppはPOSIX API準拠のOS（LinuxとSorarisの両方）に対してリンクされます。例えばLinux環境ではos/posix/vm/os_posix.cppとos/linux/vm/os_linux.cppがリンクされます。

そのため、例えば上記のshare/vm/runtime/os.hppで定義されているos::reserve_memory()を呼び出し時には、各OSで別々のos::reserve_memoryが実行されます。

os:xxx()というメンバ関数はソースコード上によく登場しますので、よく覚えておいてください。