- 虚拟机遇到一条new指令时,首先将去检查这个指令的参数是否在常量池中定位到一个类的符号引用,并且检查这个符号引用代表的类是否已被加载、解析和初始化过。如果没有,那必须执行相应的类加载过程。
- 类加载检查通过后,接下来虚拟机将为新生对象分配内存。对象所需的内存的大小在类加载完成后便可完全确定。内存分配又有两种方式:指针碰撞(Bump the Pointer)和空闲列表(Free List)。选用哪种分配方式由堆是否规整来决定,而堆是否规整又由垃圾收集器是否带有压缩整理功能决定。
在Serial、ParNew等带有compact过程的收集器,系统采用的分配算法是指针碰撞,而使用CMS这种基于Mark-Sweep算法的收集器时,通常采用空闲列表。
除了如何划分空间之外,还要考虑并发情况下线程安全问题。由两种解决方案:
- 分配内存空间的动作进行同步处理-实际上虚拟机采用CAS配上失败重试的方式保证更新操作的原子性。
- 把内存分配的动作按照线程划分在不同的空间中进行,即每个线程在Java堆中预先分配一小块内存,称为本地线程分配缓冲(Thread Local Allocation Buffer, TLAB),哪个线程要分配内存,就在哪个线程的TLAB上分配。只有TLAB用完并分配新的TLAB时,才需要同步锁定。可以通过
-XX:+/-UseTLAB
参数来设定。
- 分配完内存后,虚拟机需要将分配到的内存空间初始化为0值(不包括对象头),如果使用TLAB,这一工作过程可以提前至TLAB分配时进行,这一操作保证了对象的实例字段在Java代码中可以不赋初始值就直接使用。
- 设置对象头(Object Header),对象是哪个类实例、如何才能找到类的元数据信息、对象哈希码、对象的GC分代年龄等信息。
- 上面工作完成之后,从虚拟机角度来看,一个新的对象已经产生了,但从Java程序视角来看,对象的创建才刚刚开始-<init>方法还没有执行,所有字段还都为0。
实时内容请关注微信公众号,公众号与博客同时更新:程序员星星