对象的创建(不包括数组和Class对象)
虚拟机遇到一条new指令时,首相检查这个指令的参数是否能再常量池中定位到一个类的符号引用,并且检查这个符号引用代表的类是否已被加载、解析和初始化过。如果没有,那必须先执行相应的类加载过程。
类加载检查通过后,虚拟机将为新生对象分配内存。对象所需的大小再类加载完成后便可完全确定(如何确定参见下一小节)。为对象分配内存的任务等同于把一块确定大小的内存从java堆中划分出来。有两种情况:1.Java堆中内存时绝对规整的,所有使用中的内存在一边,空闲内存在另一边,中间有一个指针作为分界点的指示器,则分配内存就是将指针向空闲内存一边挪动与对象大小相等的距离,这种分配方法成为“指针碰撞(Bump the Pointer)”。2.Java堆中内存并不是规整的,使用中和空闲的内存相互交错,这时虚拟机必须维护一个用于记录那些内存快可用的列表,在分配的时候从列表中找到一块足够大的空间划分给对象,并更新列表上的记录,这种方法称为“空闲列表(Free List)”。选择哪种分配方法取决于内存是否规整,内存是否规整又取决于垃圾收集器是否带有压缩整理功能。
另一个需要考虑的问题是上述的内存分配过程并不是线程安全的,有两种方法解决这个问题:1.对分配内存空间的动作进行同步处理——实际上虚拟机采用CAS配上失败重试的方式保证更新操作的原子性。2.把内存分配的动作按照线程划分在不同的空间中进行,即每个线程在Java堆中预先分配一小块内存,称为本地线程分配缓冲(Thread Local Allocation Buffer, TLAB)。哪个线程要分配内存就在哪个线程的TLAB上分配,只有TLAB用完并分配新的TLAB时,才需要同步锁定。是否使用TLAB可以通过 -XX:+/-UseTLAB 参数来设定。
内存分配完成后,虚拟机需要将分配的内存空间都初始化为零值,如果使用TLAB,该过程也可以提前到TLAB分配时进行。
接下来,虚拟机要对对象进行必要到设置,例如这个对象时哪个类的实例、如何才能找到类的元数据信息、对象的哈希码、对象的GC分代年龄等信息。这些信息存放在对象的对象头(Object Header)中。
最后,执行<init>方法,按程序员意愿对对象进行初始化,产生一个真正可用的对象。
下面时HotSpot虚拟机bytecodeInterPReter.cpp中的代码片段:
1 // 确保常量池中存放的是已解释的类 2 if (!constants->tag_at(index).is_unresolved_klass()) { 3 //断言确定klassOop和instanceKlassOop 4 oop entry = (klassOop) *constants->obj_at_addr(index); 5 assert(entry->is_klass(), "Should be resolved klass"); 6 klassOop k_entry = (klassOop) entry; 7 assert(k_entry->klass_part()->oop_is_instance(), "Should be instanceKlass"); 8 instanceKlass* ik = (instanceKlass*) k_entry->klass_part(); 9 // 确保对象所属类型已经经过初始化阶段10 if (ik->is_initialized() && ik->can_be_fastpath_allocated()) {11 // 取对象长度12 size_t obj_size = ik->size_helper();13 oop result = NULL;14 bool need_zero = !zeroTLAB;15 if (UserTLAB) {16 result = (oop) THREAD->tlab().allocate(obj_size);17 }18 if (result == NULL) {19 need_zero = true;20 // 直接在eden中分配对象21 retry:22 HeapWord* compare_to = *Universe::heap()->top_addr();23 HeapWord* new_top = compare_to + obj_size;24 // cmpxchg 是x86中的CAS指令,这里是一个c++方法,通过CAS方式分配空间25 // 如果并发失败,转到retry中重试,知道成功分配为止26 if (new_top <= *Universe::heap()->end_addr()) {27 if (Atomic::cmpxchg_ptr(new_top, Universe::heap()->top_addr(), compare_to) != compare_to) {28 goto retry;29 }30 result = (oop) compare_to;31 }32 }33 if (result != NULL) {34 // 如果需要,则为对象初始化零值35 if (need_zero) {36 HeapWord* to_zero = (HeapWord*) result + sizeof(oopDesc) / oopSize;37 obj_size -= sizeof(oopDesc) / oopSize;38 if (obj_size > 0) {39 memset(to_zero, 0, obj_size * HeapWordSize);40 }41 }42 // 根据是否启用偏向锁来设置对象头信息43 if (UseBiasedLocking) {44 result->set_mark(ik->prototype_header();45 } else {46 result->set_mark(markOopDesc::prototype());47 }48 result->set_klass_gap(0);49 result->set_klass(k_entry);50 // 将对象引用入栈,继续执行下一条指令51 SET_STACK_OBJECT(result, 0);52 UPDATE_PC_AND_TOS_AND_CONTINUE(3, 1);53 }54 }55 }
对象的内存布局
在HotSpot虚拟机中,对象在内存中存储的布局可以分为3块区域:对象头(Header)、实例数据(Instance Data)和对齐填充(Padding)。
对象头包括两部分:
存储内容 | 标志位 | 状态 |
对象哈希码、对象分代年龄 | 01 | 未锁定 |
指向锁记录的指针 | 00 | 轻量级锁定 |
指向重量级锁的指针 | 10 | 膨胀(重量级锁定) |
空,不需要记录信息 | 11 | GC标记 |
偏向线程ID、偏向时间戳、对象分代年龄 | 01 | 可偏向 |
实例数据部分是对象真正存储的有效信息,也是在程序代码中所定义的各种类型的字段内容。包括父类继承的和子类定义的都需要记录下来。这部分存储顺序会受虚拟机分配策略参数和字段在Java源码中定义顺序的影响。HotSpot虚拟机默认的分配策略为longs/doubles、ints、shorts/chars、bytes/booleans、oops(Ordinary Object Pointers),从分配策略中可以看出,相同宽度的字段总是被分配到一起。在满足这个前提条件的情况下,在父类中定义的变量会出现在子类之前。如果CompactFields参数值为true(默认为true),那子类之中较窄的变量也可能会插入到父类变量的空隙之中。
对齐填充并不是必然存在,没有特别含义,仅仅起占位符的作用。对象的大小必须是8字节的整数倍。
对象的访问定位
我们的Java程序需要通过栈上的reference数据来操作堆上的具体对象,目前主流的访问方式有使用句柄和直接指针两种:
使用句柄来访问的最大好处就是reference中存储的是稳定句柄地址,在对象被移动(垃圾收集时移动对象是非常普遍的行为)时只会改变句柄中的实例数据指针,而reference本身不需要被修改。使用直接指针来访问最大的好处就是速度更快,它节省了一次指针定位的时间开销,由于对象访问的在Java中非常频繁,因此这类开销积小成多也是一项非常可观的执行成本。
新闻热点
疑难解答