JVM虚拟机学习笔记（2）

一.内存分配方式

1.指针碰撞（Bump The Pointer）：堆中的内存是绝对规整的，所有被使用过的内存都被放在一边，空闲的内存被放在另一边，中间放着一个指针作为分界点的指示器，那所分配内存就仅仅是把那个指针想空闲方向多动一段与对象大小想等的距离。

 

2.空闲列表（Free List）：当堆中的内存并不是规整的，已被使用的内存和空闲的内存交错在一起，那就没有办法简单地进行制止碰撞了，虚拟机就必须维护一个列表，记录上哪些内存块是可用的，在分配的时候从列表中找到一块足够大的空间划分给对象实例，并更新列表上的记录。

 

注：

如何选择分配方法：选择哪种分配方法有Java堆是否规整决定，而Java堆是否规整又由所采用的垃圾收集器是否带有空间压缩整理的能力决定的。因此，当使用Serial、PerNew等待压缩整理过程的收集器，系统采用的分配算法是指针碰撞，既简单又搞笑；而当使用CMS这种基于消除算法的收集器时，理论上就只能采用较为复杂的空闲列表来分配内存。（在CMS的实现里面，为了能在多数情况下分配更快，设计了一个Linear Allocation Buffer的分配缓冲区，通过空闲列表拿到一大块分配缓冲区之后，在它里面仍然可以使用指针碰撞方式来分配）

 

如何处理并发问题：1.对分配内存空间的动作进行同步处理--实际上虚拟机时采用CAS配上是被充实的方法保证更新操作原子性；2.把内存分配的动作按照线程划分为不同的空间之中进行，即每个线程在Java堆中预先分配一小块内存，称为本地线程分配缓冲（Thread Local Allocation Buffer, TLAB），哪个线程要分配内存，就在哪个线程的本地缓冲区中分配，只有本地缓冲区用完了，分配新的缓存区时才需要同步锁定。虚拟中是否使用TLAB，可以通过-XX：+/-UseTLAB参数来设定。

 

二.堆内存中的存储布局

1.对象头（Header）：其中存储对象自身的运行时数据和类型指针

运行时数据：哈希码（HashCode）、GC分代年龄、锁状态标志、线程持有的锁、偏向线程ID、偏向时间戳等，这部分数据的长度在 32位和64位虚拟机（未开启压缩指针）中分别为32个比特和64个比特，官方称它为“Mark Word”。

类型指针：对象指向它的类型元数据的指针，Java虚拟机通过这个指针来确定该对象是哪个类的实例。并不是所有的虚拟机实现都必须在对象数据上保留类型指针。如果对象是一个Java数组，那在对象头中还必须有一块用于记录数组长度的数据。

 

2.实例数据（Instance Data）：对象真正存储的有效信息，即我们在程序代码里面所定义的各类型的字段内容，无论是从父类继承下来的还是在子类中定义的字段都必须记录起来。这部分的存储顺序会受到虚拟机分配策略参数（-XX:FieldsAllocationStyle参数）和字段在Java源码中定义顺序的影响。HotSpot虚拟机默认的分配顺序为longs/doubles、ints、shorts/chars、bytes/booleans、oops（Ordinary Object Pointers，OOPs），即相同宽度的字段被分配到一起存放，在满足这个前提条件的情况下，在父类中定义的变量会出现在子类之前。如果HotSpot虚拟机的+XX：CompactFields参数值为true（默认就是true），那子类中较窄的变量也允许插入父类变量的空隙之间，以节省出一点点空间。

 

3.对齐填充（Padding）：这一部分不是必然存在的，且没有特别含义，仅仅是占位符的作用。HotSpot虚拟机自动内存管理系统要求对象其实地址必须是8字节的整倍数。对象头已经被设计为刚好是8字节的倍数，因此，如果对象实例数据部分没有对齐的话，就需要通过对齐填充来补全。

 

三.对象的方位定位

1.句柄访问：Java堆将会划分出一块内存来作为句柄池，reference中存储的就是对象的句柄地址，而句柄中包含了对象实例数据与类型数据各自具体的地址信息。

2.直接指针访问：reference中存储的直接就是对象地址，如果只是访问对象本身的话，就不需要多一次间接访问的开销。

HotSpot虚拟机主要使用的是直接指针访问（有例外情况，如果使用了Shenandoah收集器的话也会有一次额外转发）

 

注：文章内容是本人学习《深入理解Java虚拟机》书籍总结的，详细信息可以参考阅读原书。

 

关注公众号，和我一起学习成长：小磊学习记录​