对象的创建
当虚拟机遇到一条字节码new指令时,首先检查这个指令参数是否能在常量池中定位到一个类的符号引用,并且检查这个符号引用代表的类是否已经被加载,解析和初始化过。如果没有,那必须先执行相应的类加载过程。
类加载检查通过后,虚拟机为新生对象分配内存,对象所需的内存大小在类加载完成之后就完全可以确定。
假设 Java堆中内存是绝对规整的,使用过的内存放一边,空闲的内存放另一边,中间放一个指针作为分界点的指示器,那分配内存就仅仅是把那个指针向空闲方向挪动一段足够大的空间划分给对象实例,这种分配方式称为。“指针碰撞”
但如果 Java堆中的内存不是绝对规整的,已被使用的内存和空闲的内存相互交错在一起,那么虚拟机就必须维护一张表,记录上哪些内存是可用的。再分配的时候从列表中找到一块足够大的空间分配给对象实例。并更新表上的记录,这种分配方式称为 “空闲列表”。
选择哪种分配方式取决于Java堆是否规整,而Java堆是否规整则取决于所采用的垃圾收集器是否带有空间压缩整理的能力。
在虚拟机中对象创建是非常频繁的行为,即使仅仅修改一个指针指向的位置,在并发情况下也并不是线程安全的。解决这个问题有两种可选方案,一种是对分配内存空间的动作进行同步处理–实际上是虚拟机采用CSA配上失败重试的方式保证更新操作的原子性;另一种是把内存分配的动作按照线程划分在不同的空间之中进行。及每个线程在Java堆中预先分配一小块内存。
分配完内存之后,虚拟机必须将分配到的内存空间(但不包括对象头)都初始化为零值。