Top

methodOopDesc クラス関連のクラス (methodOopDesc, CompressedLineNumberWriteStream, CompressedLineNumberReadStream, BreakpointInfo, 及びそれらの補助クラス(SignatureTypePrinter))

これらは, Java レベルでの「メソッド」を表すためのクラス (See: here for details).

クラス一覧(class list)


methodOopDesc

概要(Summary)

Java レベルでの「メソッド」を表すためのクラス. 1つの methodOopDesc オブジェクトが 1つのメソッドに対応する.

    ((cite: hotspot/src/share/vm/oops/methodOop.hpp))
    // A methodOop represents a Java method.
    ((cite: hotspot/src/share/vm/oops/methodOop.hpp))
    class methodOopDesc : public oopDesc {

使われ方(Usage)

インスタンスの格納場所(where its instances are stored)

(#TODO)

生成箇所(where its instances are created)

methodKlass::allocate() というファクトリメソッドが用意されており, その中で生成されている. そして, このファクトリメソッドは, 現在は以下のパスで(のみ)呼び出されている.

* 
  ClassFileParser::parse_method()
  -> oopFactory::new_method()
     -> methodKlass::allocate()

* 
  methodOopDesc::make_invoke_method()
  -> oopFactory::new_method()
     -> (同上)
  
* 
  methodOopDesc::clone_with_new_data()
  -> oopFactory::new_method()
     -> (同上)

* 
  MethodHandleCompiler::get_method_oop
  -> oopFactory::new_method()
     -> (同上)

内部構造(Internal structure)

定義されているフィールドは以下の通り.

oopDesc の共通ヘッダ (mark)

oopDesc の共通ヘッダ (klass)

この methodOopDesc に対応する constMethodOopDesc オブジェクト. メソッド情報中の read-only なデータを格納する (See: constMethodOopDesc).

この methodOopDesc が属するクラス用の constantPoolOopDesc オブジェクト. Constant Pool 情報を格納する (See: constantPoolOopDesc).

この methodOopDesc に対応する methodDataOopDesc オブジェクト. JIT コンパイラのための補助情報を格納する (See: methodDataOopDesc).

JIT コンパイラ用のフィールド. インタープリタ状態で呼び出された回数を記録する. (なお, Tiered 時には...#TODO)

この methodOopDesc に対応する AccessFlags オブジェクト. アクセスフラグ情報(public, synchronized, etc)を管理する (See: AccessFlags).

vtable 中におけるこのメソッドの番号(index). なお負値が入っている場合は index ではなく以下のような別の意味を持つ (See: VtableIndexFlag).

    ((cite: hotspot/src/share/vm/oops/methodOop.hpp))
      // vtable index
      enum VtableIndexFlag {
        // Valid vtable indexes are non-negative (>= 0).
        // These few negative values are used as sentinels.
        highest_unused_vtable_index_value = -5,
        invalid_vtable_index    = -4,  // distinct from any valid vtable index
        garbage_vtable_index    = -3,  // not yet linked; no vtable layout yet
        nonvirtual_vtable_index = -2   // there is no need for vtable dispatch
        // 6330203 Note:  Do not use -1, which was overloaded with many meanings.
      };

C++ Interpreter 用のフィールド (#ifdef CC_INTERP 時にしか定義されない). (#TODO).

この methodOopDesc の大きさ (わざわざフィールドが用意されているのは, ネイティブメソッドだとフィールドが追加されて大きさが変わるので単純な sizeof では取得できないため. 下記の native_function や signature_handler 参照)

このメソッド実行中のオペランドスタックの最大の深さ (これはクラスファイル中に記載されている情報).

このメソッドが使用する局所変数の数 (これはクラスファイル中に記載されている情報).

局所変数領域内でこのメソッドの引数(receiver + arguments)が占めるメモリ量 (単位は word).

このメソッドに対応する vmIntrinsics::ID の値 (See: vmIntrinsics).

JIT コンパイラ用のフィールド. インタープリタ状態で例外が投げられた回数を記録する.

JVMTI の SetBreakpoint() でこのメソッド中に設定されたブレークポイントの数. (See: here for details)

JIT コンパイラ使用時用のフィールド. このメソッドが呼び出された回数を管理する InvocationCounter オブジェクト (See: InvocationCounter). (See: here for details)

JIT コンパイラ使用時用のフィールド. このメソッド内で実行された backward-branch の回数を管理する InvocationCounter オブジェクト (See: InvocationCounter). (See: here and here for details)

Tiered Compilation 用のフィールド (#ifdef TIERED 時にしか定義されない). (#TODO).

Tiered Compilation 用のフィールド (#ifdef TIERED 時にしか定義されない). (#TODO).

デバッグ用(開発時用)のフィールド (#ifndef PRODUCT 時にしか定義されない). JIT 生成コードが呼び出された回数を記録する.

インタープリタ実行時にメソッドのエントリ部で行う処理をまとめたスタブコードへのポインタが格納されている (_from_interpreted_entry フィールドも参照). (See: here for details)

JIT コンパイラ使用時用のフィールド. インタープリタ実行のメソッドから JIT 生成コードが呼ばれる(あるいはその逆)場合のために, 引数の marsharing 等を行うためのスタブコード (i2c_entry, c2i_entry) が格納されている. なお, このスタブはメソッドのリンク時に生成される (SharedRuntime::generate_i2c2i_adapters() 参照. (See: here for details)).

JIT コンパイラ使用時用のフィールド. このメソッドが JIT 生成コードから呼び出された場合のエントリポイントを指す (JIT 生成コードがあれば code, なければ c2i_entry を指している).

JIT コンパイラ用のフィールド. JIT が生成したコードの先頭を指すポインタが格納される(まだ作ってなければ NULL). なお, ここのフィールドは JIT コンパイラが非同期に (NULLからnon-NULLに) 変更する. deopt 処理も (non-NULLからNULLに) 変更するが, こちらは safepoint 内で変更する.

このメソッドがインタープリタ実行のメソッドから呼び出された場合のエントリポイントを指す (JIT 生成コードがあれば code への i2c_entry, なければ i2i_entry を指している).

フィールド宣言はされてないが, ネイティブメソッドの場合にはここにデータが存在する. 格納されているのは, ネイティブ関数の先頭を指す関数ポインタ. (InterpreterGenerator::generate_native_entry() や SharedRuntime::generate_native_wrapper() 等を参照. (See: here and here for details))

フィールド宣言はされてないが, ネイティブメソッドの場合にはここにデータが存在する. 格納されているのは, 引数をネイティブのABI(レジスタ渡し等)に合わせて変換するための関数(signature handler). この関数はネイティブ関数に飛ぶ直前に呼び出される. (InterpreterGenerator::generate_native_entry() を参照. (See: here for details))

なお, メモリ上でのレイアウトは以下の通り (ただしこれは 32bit 環境時であることに注意).

    ((cite: hotspot/src/share/vm/oops/methodOop.hpp))
    // Memory layout (each line represents a word). Note that most applications load thousands of methods,
    // so keeping the size of this structure small has a big impact on footprint.
    //
    // We put all oops and method_size first for better gc cache locality.
    //
    // The actual bytecodes are inlined after the end of the methodOopDesc struct.
    //
    // There are bits in the access_flags telling whether inlined tables are present.
    // Note that accessing the line number and local variable tables is not performance critical at all.
    // Accessing the checked exceptions table is used by reflection, so we put that last to make access
    // to it fast.
    //
    // The line number table is compressed and inlined following the byte codes. It is found as the first
    // byte following the byte codes. The checked exceptions table and the local variable table are inlined
    // after the line number table, and indexed from the end of the method. We do not compress the checked
    // exceptions table since the average length is less than 2, and do not bother to compress the local
    // variable table either since it is mostly absent.
    //
    // Note that native_function and signature_handler has to be at fixed offsets (required by the interpreter)
    //
    // |------------------------------------------------------|
    // | header                                               |
    // | klass                                                |
    // |------------------------------------------------------|
    // | constMethodOop                 (oop)                 |
    // | constants                      (oop)                 |
    // |------------------------------------------------------|
    // | methodData                     (oop)                 |
    // | interp_invocation_count                              |
    // |------------------------------------------------------|
    // | access_flags                                         |
    // | vtable_index                                         |
    // |------------------------------------------------------|
    // | result_index (C++ interpreter only)                  |
    // |------------------------------------------------------|
    // | method_size             | max_stack                  |
    // | max_locals              | size_of_parameters         |
    // |------------------------------------------------------|
    // | intrinsic_id, (unused)  |  throwout_count            |
    // |------------------------------------------------------|
    // | num_breakpoints         |  (unused)                  |
    // |------------------------------------------------------|
    // | invocation_counter                                   |
    // | backedge_counter                                     |
    // |------------------------------------------------------|
    // |           prev_time (tiered only, 64 bit wide)       |
    // |                                                      |
    // |------------------------------------------------------|
    // |                  rate (tiered)                       |
    // |------------------------------------------------------|
    // | code                           (pointer)             |
    // | i2i                            (pointer)             |
    // | adapter                        (pointer)             |
    // | from_compiled_entry            (pointer)             |
    // | from_interpreted_entry         (pointer)             |
    // |------------------------------------------------------|
    // | native_function       (present only if native)       |
    // | signature_handler     (present only if native)       |
    // |------------------------------------------------------|

備考(Notes)

なお, 実際の使用箇所では methodOop という別名(もしくはラッパークラス)で使われることが多い (See: methodOop).

備考(Notes)

methodOopDesc クラスは HotSpot が内部的に使用するデータ構造であり, Java のオブジェクトを表すものではない.

java.lang.reflect.Method オブジェクトや java.lang.invoke.MethodHandle オブジェクトは instanceOopDesc で表現される.

詳細(Details)

See: here for details


CompressedLineNumberWriteStream

概要(Summary)

methodOopDesc クラス用の補助クラス.

methodOopDesc 内では line_number_tables 情報は大きいので圧縮して保持している. その圧縮処理を行うためのクラス.

    ((cite: hotspot/src/share/vm/oops/methodOop.hpp))
    // Utility class for compressing line number tables

    class CompressedLineNumberWriteStream: public CompressedWriteStream {

詳細(Details)

See: here for details


CompressedLineNumberReadStream

概要(Summary)

methodOopDesc クラス用の補助クラス.

methodOopDesc 内では line_number_tables 情報は大きいので圧縮して保持している. その圧縮された情報を解凍するためのクラス.

    ((cite: hotspot/src/share/vm/oops/methodOop.hpp))
    // Utility class for decompressing line number tables

    class CompressedLineNumberReadStream: public CompressedReadStream {

詳細(Details)

See: here for details


BreakpointInfo

概要(Summary)

保守運用機能のためのクラス (JVMTI 機能用のクラス).

JVMTI の SetBreakpoint() によって設定されたブレークポイントを表す. 1つのブレークポイントに付き1つの BreakpointInfo オブジェクトが生成される (See: here for details).

なおコメントによると「もう少しフィールド等が増えてきたら methodOop.hpp ではなく独立したファイルに定義してもよい」とのこと. また「現状では BreakpointInfo のリストに対して並行して変更する仕組みがないが JVMTI の処理についてならとりあえずこれで問題ない. なぜなら変更は safepoint 時だけであり, 読み込みは並行で行われるが safepoint 時以外だけなので」 とのこと.

    ((cite: hotspot/src/share/vm/oops/methodOop.hpp))
    /// Fast Breakpoints.

    // If this structure gets more complicated (because bpts get numerous),
    // move it into its own header.

    // There is presently no provision for concurrent access
    // to breakpoint lists, which is only OK for JVMTI because
    // breakpoints are written only at safepoints, and are read
    // concurrently only outside of safepoints.

    class BreakpointInfo : public CHeapObj {

使われ方(Usage)

インスタンスの格納場所(where its instances are stored)

各 instanceKlass オブジェクトの _breakpoints フィールドに(のみ)格納されている.

(正確には, このフィールドは BreakpointInfo の線形リストを格納するフィールド. BreakpointInfo オブジェクトは _next フィールドで次の BreakpointInfo オブジェクトを指せる構造になっている. その instanceKlass オブジェクト内で生成した BreakpointInfo オブジェクトは全てこのフィールドの線形リストに格納されている)

生成箇所(where its instances are created)

methodOopDesc::set_breakpoint() 内で(のみ)生成されている (See: here for details).

詳細(Details)

See: here for details


SignatureTypePrinter

概要(Summary)

デバッグ用(開発時用)のクラス (#ifndef PRODUCT 時にしか使用されない).

指定されたメソッドの引数や返値の型を outputStream に出力する機能を提供する.

    ((cite: hotspot/src/share/vm/oops/methodOop.cpp))
    #ifndef PRODUCT
    class SignatureTypePrinter : public SignatureTypeNames {

使われ方(Usage)

methodOopDesc::print_name 内で(のみ)使用されている.

内部構造(Internal structure)

(スーパークラスである SignatureTypeNames クラスのメソッド以外で) 定義されているメソッドは以下の 2つだけ. それぞれ, 引数の型, 返値の型を出力する.

    ((cite: hotspot/src/share/vm/oops/methodOop.cpp))
      void print_parameters()              { _use_separator = false; iterate_parameters(); }
      void print_returntype()              { _use_separator = false; iterate_returntype(); }

詳細(Details)

See: here for details



This document is available under the GNU GENERAL PUBLIC LICENSE Version 2.