写在前面
Java 中的对象在 JVM 中是怎么映射的?这个话题一直想写。但是一直没有动笔。后来发现 Java 中的锁很多问题都与这个在 JVM 中映射的对象存在着关系。还是需要搞定它。
我们平时在写 Java 代码的时候,最常见的就是创建一个对象了。这些代码最终都是会在虚拟机上运行的。而一个对象最终在 JVM 中呈现的样子到底是什么呢?还是非常值得我们探究一番。毕竟虚拟机 HotSpot 是 C++ 实现的。
探寻过程
HotSpot 设计的一套 OOP-Klass 模型用来在 JVM 内部进行表示一个对象。这里我们需要提到一个词语 OOP-Klass 二分模型。先从这个单词的含义来理解它。OOP 是 oridinary object pointer,即普通对象指针,它是用来描述对象的实例信息。而 Klass 是代表 Java 类的 C++ 对等体,用来描述 Java 类。
Oops模块可以分为两个独立的部分:OOP 框架与 Klass 框架。
1.探寻 OOP 框架
在 Java 应用程序过程中,每次创建一个 Java 对象的时候,在 JVM 内部也会相应地创建一个 OOP 对象来表示一个 Java 对象。OOPS 类的共同基类为 oopDesc。
class oopDesc {
friend class VMStructs;
private:
volatile markOop _mark;
union _metadata {
wideKlassOop _klass;
narrowOop _compressed_klass;
} _metadata;
在 HotSpot 中,根据 JVM 内部使用的对象业务类型,分成了多种 oopDesc 子类。每种类型的 OOP 都代表了一个在 JVM 内部使用的特定对象模型。有点接口和具体实现类的感觉了。
类 | 作用 |
---|---|
oopDesc | OOPS 抽象基类 |
instanceOopDesc | 描述 Java 类的实例 |
methodOopDesc | 描述 Java 方法 |
constMethodOopDesc | 描述 Java 方法的只读信息 |
methodDataOopDesc | 描述 Java 方法的信息 |
arrayOopDesc | 描述数组的抽象基类 |
objArrayOopDesc | 描述容纳对象( OOPS ) 元素的数组 |
typeArrayOopDesc | 描述容纳基本类型(非 OOPS )的数组 |
constantPoolOopDesc | 描述容纳类文件中常量池项的数组 |
constantPoolCacheOopDesc | 描述常量池高速缓存 |
klassOopDesc | 描述一个 Java 类 |
markOopDesc | 描述对象头 |
当我们在 Java 中使用 new 创建一个 Java 实例对象的时候,JVM 会相应的创建一个instanceOopDesc 对象来表示这个 Java 对象。当我们使用 new 创建一个 Java 数组实例的时候,JVM 就会创建一个 arrayOopDesc 对象来代表这个数组对象。
一个对象在堆内存的存储布局可以分为三个部分,对象头( Header )、实例数据(Instance Data)、和对齐填充( Padding )。而 instanceOopDesc 或者 arrayOopDesc 就是我们提到的对象头。
对象头里面包含了哪些信息呢,它包含了两部分的信息:
-
一部分是存储对象运行时记录信息,如哈希码( HashCode )、GC 年代分布、锁状态标志、线程持有的锁、偏向线程 ID、偏向时间戳等。很多地方也称这部分为 MarkWord。
-
另一部分是元数据指针,指向描述类型的 Klass 对象的指针。Klass 对象包含了实例对象所属类型的元数据(meta data)。Java 虚拟机通过这个指针来确定该对象是哪个类的实例。在运行的时候会使用这个指针定位到位于方法区的类型信息。
-
如果对象是一个 Java 数组的话,那在对象头中还有一块用于记录数组长度的数据。
对象的对齐填充,并不是一定需要存在的。它也没有啥特别大的作用。仅仅是起着占位符的作用。因为 HotSpot 虚拟机要求对象的起始地址必须是 8 字节的整数倍。也即任何对象的大小必须是 8 字节的整数倍。如果不够的时候就需要这个进行补齐。
当我们在 Java 程序里面,使用 new 关键字创建对象的时候,对象的引用保存在栈上,在堆中分配对象实例。这个除了实例数据外,JVM 还会在实例数据的前面自动加上一个对象头 instanceOopDesc 。对象的元数据( instanceKlass )保存在方法区中。
顺便回顾一下方法区是保存什么数据的,方法区是用来存储被虚拟机加载的类型信息、常量、静态常量、即使编译器编译后的代码缓存等数据。
通过栈上引用可以访问到 JVM 内部表示的该对象实例(instanceOop)。当需要调用该类的方法或者访问该类的类变量的时候。就是通过 instanceOop 持有的类元数据指针定位到方法区中的 instanceKlass 对象来完成。
2.探寻 Klass 框架
Klass 数据结构:描述类型自身的布局,以及刻画出于其他类间的关系(父类、子类、兄弟类)。Klass 是一个顶层的基类。
这里主要说一下 instanceKlass, JVM 在运行的时候,为每一个已经加载的 Java 类创建一个instanceKlass 对象。用在 JVM 层表示 Java 类。
instanceKlass 内存布局如下:
//类拥有的方法列表
objArrayOop _methods;
//描述方法顺序
typeArrayOop _method_ordering;
//实现的接口
objArrayOop _local_interfaces;
//继承的接口
objArrayOop _transitive_interfaces;
//域
typeArrayOop _fields;
//常量
constantPoolOop _constants;
//类加载器
oop _class_loader;
//protected域
oop _protection_domain;
klassOop _host_klass;
objArrayOop _signers;
typeArrayOop _inner_classes;
klassOop _implementors 0;
klassOop _implementors 1;
typeArrayOop _class_annotations;
objArrayOop _fields_annotations;
objArrayOop _methods_annotations;
objArrayOop _methods_parameter_annotations;
objArrayOop _methods_default_annotations;
以上是 OOP 块的内容,在 JVM 中,对象在内存中的基本存在形式就是 OOP。
写在后面
通过以上的探索,基本上有以下的共识。很重要的两个词汇instanceOopDesc、instanceKlass需要在脑海中留下一些印象。
对象头 instanceOopDesc 包含了 MarkWord 与 元数据指针。而 instanceKlass 是用来在JVM 层面表示一个 Java 类的(保存在方法区)。其中元数据指针就是指向 JVM 层表示一个 Java 对象的 instanceKlass 。Klass 对象包含了实例对象所属类型的元数据(meta data)。自然指向它的就被称为了元数据指针了。
MarkWord 里面就包含了与 Java 中锁相关的信息了。这个后面在写一篇专门论述。