对象的内存布局

对象的内存布局

内容参考 《深入理解Java虚拟机》JVM高级特性与最佳实践

 

在 HotSpot虚拟机 中，对象在堆内存中的存储布局可以划分为三个部分：

1. 对象头(Header)
2. 实例数据(Instance Data)
3. 对齐填充(Padding)

 

一 对象头

HotSpot虚拟机 对象的对象头部分包括两类信息：

1. 用于存储对象自身运行时的数据
2. 类型指针

1.1 用于存储对象自身运行时的数据

• 哈希码(HashCode)
• GC分代年龄
• 锁状态标志
• 线程持有的所
• 偏向线程ID
• 偏向时间
• ......

这部分数据的长度在32位和64位的虚拟机（未开启压缩指针）中分别为32个比特和64个比特，官方成为 Mark Word 。

对象需要存储的运行时数据很多，其实已经超出了32、64位Bitmap 结构所能记录的最大限度，但对象头里的信息是与对象自身定义的数据无关的额外存储成本，考虑到虚拟机的空间效率， Mark Word 被设计成一个有着动态定义的数据结构，以便在极小的空间内存储尽量多的数据，根据对象的状态复用自己的存储空间。

例如：在32位的HotSpot 虚拟机中，如对象未被同步锁锁定的状态下， Mark Word 的32个比特存储空间中的个25比特用于存储对象哈希码，4个比特用于存储对象分代年龄，2个比特用于存储锁标志位，1个比特固定为0，在其他状态（轻量级锁定、重量级锁定、GC标记、可偏向）下对象的存储内容如表所示

HotSpot 虚拟机对象头 Mark Word

存储内容	标志位	状态
对象哈希码、对象分代年龄	01	未锁定
指向锁记录的指针	00	轻量级锁定
指向重量级所得指针	10	膨胀（重量级锁定）
空，不需要记录信息	11	GC标记
偏向线程ID、偏向时间戳、对象分代年龄	01	可偏向

 

 

1.2 类型指针

类型指针即对象指向他的类型元数据指针，Java虚拟机通过这个指针来确定盖度像是哪个类的实例。并不是所有的虚拟机实现都必须在对象数据上保留类型指针，换句话说，查找对象的元数据信息并不一定要经过对象本身。

此外，如果对象是一个Java 数组，拿在对象头中还必须有一块用于记录数组长的数据，因为虚拟机可以通过普通 Java 对象的元数据信息确定Java对象的大小，但是如果数组的长度是不确定的，将无法通过元数据中的信息推断出数组的大小。

下面这个代码清单为 HotSpot 虚拟机代表 Mark Word中的代码注释片段，它描述了32位虚拟机 Mark Word 的存储布局

// Bit-format of an object header (most signigicant first, bog endian layout below):
//
// 32 bits:
// --------
// hash:25 ---->| age 4 biased_lock:1 lock:2 (normal object)
// JavaThread*:23 epoch:2 age:4 biased_lock:1 lock:2 (biased obejct)
// size:32------------------------------------------->| (CMS free block)
// PromotedObject*:29 ------------>| promo_bits:3 --->| (CMS promoted object)

从注释中看出：对象哈希码：25位+分代年龄4位+锁标志位：2位+固定位：1位 = 32位

 

实例数据

实例数据部分是对象真正存储的有效信息，即我们在程序代码里面所定义的各种类型的字段内容，无论是从父类继承下来的，还是在子类定义的字段都必须记录起来。

这部分的存储顺序会受到虚拟机分配策略参数(-XX:FieldsAllocationStyle参数) 和字段在 Java源码中定义的顺序的影响。

HotSpot虚拟机默认的分配顺序为 longs/doubles[8] 、ints[4]、shorts/chars[2]、bytes/booleans[1]、oops(Ordinary Object Points,OOPs) 

从以上默认分配策略中可以看到，相同宽度的字段总是被分配到一起存放，在满足这个前提的条件下，在父类中定义的变量就会出现在子类之前。

如果HotSpot虚拟机的 +XX:CompactFields 参数值位true（默认为true），那子类之中较窄的变量也允许插入父类变量的空隙之中，以节省出一点点空间。

基本类型	大小	最小值	最大值	包装器类型
boolean	8-bit	-	-	Boolean
byte	8-bit	-128	127	Byte
char	16-bit	Unicode 0	Unicode -1	Character
short	16-bit	-		Short
int	32-bit	-		Integer
float	32-bit	IEEE754	IEEE754	Float
long	64-bit	-		Long
double	64-bit	IEEE754	IEEE754	Double
void	-	-	-	Void

 

对齐填充

对齐填充并不是必然存在的，也没有特别的含义，它仅仅骑着占位符的作用。由于 HotSpot 虚拟机的自动内存呢管理系统要求对象起始地址必须是8字节的整数倍，换句话收就是任何对象的大小都必须是8字节的整数倍。

对象头的部分已经被精心设计成正好是8字节的背书(1倍或者是2倍)，因此，如果对象实例数据部分没有对其的话，就需要通过对齐填充来补全