以常用的虚拟机HotSpot和常用的内存区域java堆为例,深入探讨HotSpot虚拟机在java堆中对象分配、布局和访问的全过程。
一、对象的创建
java是一门面向对象的编程语言,在java程序运行过程中无时无刻都有对象被创建出来。在语言层面上,创建对象(例如克隆、反序列化)通常仅仅是一个new关键字而已,而在虚拟机中,对象(文中讨论的对象限于普通java对象,不包括数组和Class对象等)的创建又是怎样的一个过程呢?
1、对象内存分配
虚拟机在遇到一条new指令时,首先将去检查这个指令的参数是否能在常量池中定位到一个类的符号引用,并且检查这个符号引用代表的类是否已被加载、解析和初始化过。如果没有,那必须先执行相应的类加载过程。
在类加载检查通过后,虚拟机将在堆中为新生对象分配内存,对象所需的内存大小在类加载完成后便可完全确定。分配内存的算法有指针碰撞和空闲列表两种方式。选择哪种分配方式由java堆是否规整决定,而java堆是否规整又由所采用的垃圾收集器是否带有压缩整理功能决定。因此,在使用Serial、ParNew等带Compact过程的收集器时,系统采用的分配算法是指针碰撞,而使用CMS这种基于Mark-Sweep算法的收集器时,通常采用空闲列表。
对象创建虚拟中是非常频繁的行为,在并发情况下保证线程安全,有两种方案:
一种是对分配内存空间的动作进行同步处理——实际上虚拟机采用CAS配上失败重试的方案保证更新操作的原子性;
另一种是把内存分配的动作按照线程划分在不同的空间之中进行,即每个线程在java堆中预先分配一小块内