hotspot中的OO对象分析

最新推荐文章于 2024-08-10 01:11:02 发布

最新推荐文章于 2024-08-10 01:11:02 发布 · 169 阅读

文章标签：

#OO #JVM #thread

openjdk学习专栏收录该内容

22 篇文章

订阅专栏

本文深入探讨HotSpot虚拟机中对象的内部结构，包括MarkWord、Class Metadata Address及具体数据内容如常量池值等组成部分。重点分析了klassOop与klassKlass的实现方式及其在内存中的布局。

hotspot中的OO对象，涉及到类的加载、gc等，相当复杂。

class oopDesc是基类。为Object header

class oopDesc {
         friend class VMStructs;
         private:
               volatile markOop _mark;
               union _metadata {
                          wideKlassOop    _klass;
                          narrowOop       _compressed_klass;
               } _metadata;

...

}

由上面可以看出对象由下面3部分组成。

1、Mark Word

2、Class Metadata Address

3、Array Length，一些具体的内容，象常量池里面的值等。

mark work具体内容如下

Bitfields                                 Tag            State
Hashcode Age 0                      01              Unlocked
Lock record address                00              Light-weight locked
Monitor address                      10              Heavy-weight locked
Forwarding address, etc.        11               Marked for GC
Thread ID Age 1                      01               Biased / biasable

在此关注两个类的实现

klassKlass、klassOop

在hotspot里面经常看到象这样的用法

klassOop next = ...

next->klass_part()->...

这样的用法

typedef class klassOopDesc* klassOop;

由上面可知klassOop其实是一个指针。

Klass* klassOopDesc::klass_part() {

return (Klass*)((address)this + klass_part_offset_in_bytes());

}

int klassOopDesc::klass_part_offset_in_bytes(){

return sizeof(klassOopDesc);

}

因为klassOopDesc没有成员变量，所以klass_part() 也就是说在某个继承klassOopDesc的对象，在它的this指针往后固定字节(sizeof(klassOopDesc))就是Klass对象。由这推想，java里面的每个对象应该是某个klass的子类，jvm在分配内存时候，会分配一个Object header，也就是sizeof(klassOopDesc)的部分。

上面的推想可以在instanceKlassKlass::create_klass里面得到证实。create_klass最调用了Klass_vtbl::operator new(size_t ignored, KlassHandle& klass,int size, TRAPS)，上面的size就是

oopDesc::header_size() + sizeof(instanceKlassKlass)/HeapWordSize就包括了Object header (oopDesc::header_size() )。