Java虚拟机（二）对象的创建与OOP-Klass模型

相关文章
Java虚拟机系列

前言
在前一篇文章中我们学习了Java虚拟机的结构原理与运行时数据区域，那么我们大概知道了Java虚拟机的内存的概况，那么内存中的数据是如何创建和访问的呢？这篇文章会给你答案。

1.对象的创建
对象的创建通常是通过new一个对象而已，当虚拟机接收到一个new指令时，它会做如下的操作。
（1）判断对象对应的类是否加载、链接、初始化
虚拟机接收到一条new指令时，首先会去检查这个指定的参数是否能在常量池中定位到一个类的符号引用，并且检查这个符号引用代表的类是否已被类加载器加载、链接和初始化过。如果没有则先执行相应的类加载过程。关于类加载器我们在前一篇文章中已经提到过，这里不再赘述。

（2）为对象分配内存
类加载完成后，接着会在Java堆中划分一块内存分配给对象。内存分配根据Java堆是否规整，有两种方式：

指针碰撞：如果Java堆的内存是规整，即所有用过的内存放在一边，而空闲的的放在另一边。分配内存时将位于中间的指针指示器向空闲的内存移动一段与对象大小相等的距离，这样便完成分配内存工作。
空闲列表：如果Java堆的内存不是规整的，则需要由虚拟机维护一个列表来记录那些内存是可用的，这样在分配的时候可以从列表中查询到足够大的内存分配给对象，并在分配后更新列表记录。
Java堆的内存是否规整根据所采用的来及收集器是否带有压缩整理功能有关，关于垃圾收集器，本系列后面的文章会介绍。

（3）处理并发安全问题
创建对象是一个非常频繁的操作，所以需要解决并发的问题，有两种方式：

对分配内存空间的动作进行同步处理，比如在虚拟机采用CAS算法并配上失败重试的方式保证更新操作的原子性。
每个线程在Java堆中预先分配一小块内存，这块内存称为本地线程分配缓冲（Thread Local Allocation Buffer）简写为TLAB，线程需要分配内存时，就在对应线程的TLAB上分配内存，当线程中的TLAB用完并且被分配到了新的TLAB时，这时候才需要同步锁定。通过-XX:+/-UserTLAB参数来设定虚拟机是否使用TLAB。
（4）初始化分配到的内存空间
将分配到的内存，除了对象头都初始化为零值。

（5）设置对象的对象头
将对象的所属类、对象的HashCode和对象的GC分代年龄等数据存储在对象的对象头中。

（6）执行init方法进行初始化
执行init方法，初始化对象的成员变量、调用类的构造方法，这样一个对象就被创建了出来。

2.对象的堆内存布局
对象创建完毕，并且已经在Java堆中分配了内存，那么对象在堆内存是如何进行布局的呢？
以HotSpot虚拟机为例，对象在堆内存的布局分为三个区域，分别是对象头（Header）、实例数据（Instance Data）、对齐填充（Padding）。

对象头：对象头包括两部分信息分别是Mark World和元数据指针，Mark World用于存储对象运行时的数据，比如HashCode、锁状态标志、GC分代年龄等。而元数据指针用于指向方法区的中目标类的类型信息，通过元数据指针可以确定对象的具体类型。
实例数据：用于存储对象中的各种类型的字段信息（包括从父类继承来的）。
对齐填充：对齐填充不一定存在，起到了占位符的作用，没有特别的含义。
对象的内存布局如下图所示。

3.HotSpot的对象模型
HotSpot中采用了OOP-Klass模型，它是用来描述Java对象实例的一种模型，OOP（Ordinary Object Pointer）指的是普通对象指针，而Klass用来描述对象实例的具体类型。
HotSpot中，用instanceOopDesc 和 arrayOopDesc 来描述对象头，其中arrayOopDesc对象用于描述数组类型。
instanceOopDesc的代码如下所示。
openjdk/hotspot/src/share/vm/oops/instanceOop.hpp

class instanceOopDesc : public oopDesc {
public:
// aligned header size.
static int header_size() { return sizeof(instanceOopDesc)/HeapWordSize; }

// If compressed, the offset of the fields of the instance may not be aligned.
static int base_offset_in_bytes() {
// offset computation code breaks if UseCompressedClassPointers
// only is true
return (UseCompressedOops && UseCompressedClassPointers) ?
klass_gap_offset_in_bytes() :
sizeof(instanceOopDesc);
}

static bool contains_field_offset(int offset, int nonstatic_field_size) {
int base_in_bytes = base_offset_in_bytes();
return (offset >= base_in_bytes &&
(offset-base_in_bytes) < nonstatic_field_size * heapOopSize);
}
};
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
可以看出instanceOopDesc继承自oopDesc：
openjdk/hotspot/src/share/vm/oops/oop.hpp

class oopDesc {
friend class VMStructs;
private:
volatile markOop _mark;
union _metadata {
Klass* _klass;
narrowKlass _compressed_klass;
} _metadata;

// Fast access to barrier set. Must be initialized.
static BarrierSet* _bs;
...
}
1
2
3
4
5
6
7
8
9
10
11
12
13
oopDesc中包含两个数据成员：_mark 和 _metadata。其中markOop类型的_mark对象指的是前面讲到的Mark World。_metadata是一个共用体，其中_klass是普通指针，_compressed_klass是压缩类指针，它们就是前面讲到的元数据指针，这两个指针都指向instanceKlass对象，它用来描述对象的具体类型。
instanceKlass的代码如下所示。
openjdk/hotspot/src/share/vm/oops/instanceKlass.hpp

class InstanceKlass: public Klass {
...
enum ClassState {
allocated, // allocated (but not yet linked)
loaded, // loaded and inserted in class hierarchy (but not linked yet)
linked, // successfully linked/verified (but not initialized yet)
being_initialized, // currently running class initializer
fully_initialized, // initialized (successfull final state)
initialization_error // error happened during initialization
};
...
}
1
2
3
4
5
6
7
8
9
10
11
12
instanceKlass继承自Klass ，枚举ClassState 用来标识对象的加载进度。
知道了OOP-Klass模型，我们就可以分析Java虚拟机是如何通过栈帧中的对象引用找到对应的对象实例，如下图所示。

从图中可以看出，通过栈帧中的对象引用找到Java堆中的instanceOopDesc对象，再通过instanceOopDesc中的元数据指针来找到方法区中的instanceKlass，从而确定该对象的具体类型。

参考资料
《深入理解Java虚拟机》
《JAVA虚拟机精讲》
深入探究 JVM | klass-oop 对象模型研究
JVM源码分析之Java对象的创建过程
JVM源码分析之Java类的加载过程
---------------------
作者：刘望舒
来源：CSDN
原文：https://blog.csdn.net/itachi85/article/details/71159719

Java虚拟机（二）对象的创建与OOP-Klass模型相关推荐

从Java类到对象的创建过程都做了些啥？内存中的对象是啥样的？
转载自从Java类到对象的创建过程都做了些啥?内存中的对象是啥样的? 先回顾一下Java程序执行的过程: Java程序执行时,第一步系统创建虚拟机进程,然后虚拟器用类加载器Class Loade ...
Java 面向对象与对象的创建过程及变量
Java 面向对象与对象的创建过程及变量: 1.面向对象和面向过程的思想对比 : 面向过程 :是一种以过程为中心的编程思想,实现功能的每一步,都是自己实现的面向对象 :是一种以对象为中心的编 ...
Java虚拟机学习（1）：体系结构内存模型
一:Java技术体系模块图二:JVM内存区域模型 1.方法区也称"永久代" ."非堆", 它用于存储虚拟机加载的类信息.常量.静态变量.是各个线程共享的内 ...
Java虚拟机：对象创建过程与类加载机制、双亲委派模型
一.对象的创建过程: 1.对象的创建过程: 对象的创建过程一般是从 new 指令(JVM层面)开始的,整个创建过程如下: (1)首先检查 new 指令的参数是否能在常量池中定位到一个类的符号引用: ( ...
java虚拟机(二)
2019独角兽企业重金招聘Python工程师标准>>> 一.GC 1.垃圾回收器垃圾收集 Garbage Collection 通常被称为"GC"; jvm 中 ...
Java虚拟机专题对象内存定位
一对象在内存中的布局 1.1对象的创建过程对象的创建过程可以如下图所示: 1.2 什么是符号引用和直接引用,为什么需要在常量池定位到符号的引号? 在类的解析阶段,把虚拟机常量池内的符号引号替换为 ...
java中对象的生存期_深入理解Java虚拟机-判断对象是否存活算法与对象引用
我们知道Java中的对象一般存放在堆中,但是总不能让这些对象一直占着内存空间,这些对象最终都会被回收并释放内存,那么我们如何判断对象已经成为垃圾呢?这篇文章会提出两种算法解决这个问题.另外,本文还要谈 ...
java占位符填充_程序员：深入理解Java虚拟机，对象的内存布局
在 HotSpot 虚拟机中,对象在内存中存储的布局分为 3 块区域:对象头 ( Header ) .实例数据 ( InstanceData ) 和对齐填充 (Padding) . 一.对象的内存布局 ...
深入理解Java虚拟机二（类加载器和类的加载过程）
类加载器子系统作用类加载器子系统负责从文件系统或者网络中加载Class文件,class文件在文件开头有特定的文件标识. ClassLoader只负责class文件的加载,至于它是否可以运行,则由Ex ...
手写java_手写JAVA虚拟机(二)——实现java命令行
咱们都知道,咱们编译.java并运转.class文件时,需求一些java指令,如最简略的helloworld程序.java初学者可以看一下下面的教程. 这儿的程序最好不要加包名,因为加了包名的话编译和 ...

Java虚拟机（二）对象的创建与OOP-Klass模型

Java虚拟机（二）对象的创建与OOP-Klass模型相关推荐

最新文章

热门文章