方法解析之Method与ConstMethod介绍

源代码位置：/vm/oops/method.hpp

class Method : public Metadata {
 friend class VMStructs;
 private:
  ConstMethod*      _constMethod;           // Method read-only data.
  // MethodData结构基础是ProfileData，记录函数运行状态下的数据
  // MethodData里面分为3个部分，一个是函数类型等运行相关统计数据，一个是参数类型运行相关统计数据，
  // 还有一个是extra扩展区保存着deoptimization的相关信息
  MethodData*       _method_data;
  MethodCounters*   _method_counters;
  AccessFlags       _access_flags;          // Access flags
  // vtable index of this method (see VtableIndexFlag)
  // note: can have vtables with >2**16 elements (because of inheritance)
  int               _vtable_index;

  u2                _method_size;           // size of this object
  u1                _intrinsic_id;          // vmSymbols::intrinsic_id (0 == _none)
  // Flags，在定义时指定各个变量占用的位
  u1                _jfr_towrite      : 1,  // Flags
                    _caller_sensitive : 1,
                    _force_inline     : 1,
                    _hidden           : 1,
                    _dont_inline      : 1,
                                      : 3;

  // Entry point for calling both from and to the interpreter.
  address _i2i_entry;           // All-args-on-stack calling convention

  /*
    _adapter 指向该Java方法的签名（signature）所对应的 i2c2i adapter stub。其实是一个 i2c stub
    和一个 c2i stub 粘在一起这样的对象，可以看到用的时候都是从 _adapter 取 get_i2c_entry() 或
    get_c2i_entry()。这些adapter stub用于在HotSpot VM里的解释模式与编译模式的代码之间适配其
    calling convention。HotSpot VM里的解释模式calling convention用栈来传递参数，而编译模式的
    calling convention更多采用寄存器来传递参数，两者不兼容，因而从解释模式的代码调用已经被编译的方法，
    或者反之，都需要在调用时进行适配。
  */
  // Adapter blob (i2c/c2i) for this Method*. Set once when method is linked.
  AdapterHandlerEntry*   _adapter;

  /*
    _from_compiled_entry 初始值指向c2i adapter stub。原因上面已经说了，因为一开始该方法尚未被JIT编译，
    需要在解释模式执行，那么从已经JIT编译好的Java方法调用过来的话就需要进行calling convention的转换，
    把参数挪到正确的位置上。当该方法被JIT编译并“安装”完之后，_from_compiled_entry 就会指向编译出来的机
    器码的入口，具体说时指向verified entry point。如果要抛弃之前编译好的机器码，那么 _from_compiled_entry
    会恢复为指向 c2i stub。
  */
  // Entry point for calling from compiled code, to compiled code if it exists
  // or else the interpreter.
  // Cache of: _code ? _code->entry_point() : _adapter->c2i_entry()
  volatile address _from_compiled_entry;

  // The entry point for calling both from and to compiled code is
  // "_code->entry_point()".  Because of tiered compilation and de-opt, this
  // field can come and go.  It can transition from NULL to not-null at any
  // time (whenever a compile completes).  It can transition from not-null to
  // NULL only at safepoints (because of a de-opt).
  // nmethod全名native method，指向的是Java method编译的一个版本。
  // 当一个方法被JIT编译后会生成一个nmethod，指向的是编译的代码
  // _code的类型为nmethod
  nmethod* volatile  _code;  // Points to the corresponding piece of native code

  /*
    _from_interpreted_entry 初始的值与 _i2i_entry 一样。但后面当该Java方法被JIT编译并“安装”之后，
    _from_interpreted_entry 就会被设置为指向 i2c adapter stub。而如果因为某些原因需要抛弃掉之前已
    经编译并安装好的机器码，则 _from_interpreted_entry 会被恢复为 _i2i_entry。
   */
  // Cache of _code ? _adapter->i2c_entry() : _i2i_entry
  volatile address  _from_interpreted_entry; // 如果有_code，则通过i2c_entry转向编译方法，否则通过_i2i_entry转向解释方法

  ...
}

源代码位置：/hotspot/src/share/vm/oop

class ConstMethod : public MetaspaceObj {
  ...
private:
  ...

  //  其中_constants，_method_idnum这两个是连接Method的参数，因为Method有ConstMethod指针，
  //  但ConstMethod没有Method的指针，需要通过如下步骤来查找：
  //  ConstantPool -> InstanceKlass -> Method数组->通过_method_idnum获取对应的Method指针
  //  原文链接：https://blog.****.net/raintungli/article/details/83857136
  ConstantPool*     _constants;        // Constant pool

  int               _constMethod_size;
  u2                _flags;

  // Size of Java bytecodes allocated immediately after Method*.
  u2                _code_size;
  u2                _name_index;       // Method name (index in constant pool)
  u2                _signature_index;  // Method signature (index in constant pool)
  u2                _method_idnum;     // unique identification number for the method within the class
                                       // initially corresponds to the index into the methods array.
                                       // but this may change with redefinition
  u2                _max_stack;        // Maximum number of entries on the expression stack
  u2                _max_locals;       // Number of local variables used by this method
  u2                _size_of_parameters;// size of the parameter block (receiver + arguments) in words
  ...
}