深入理解多线程（三）— Java的对象头

最新推荐文章于 2024-02-16 12:48:52 发布

小潭渔

最新推荐文章于 2024-02-16 12:48:52 发布

阅读量861

点赞数

分类专栏：高并发与多线程

本文链接：https://blog.csdn.net/uftjtt/article/details/80249489

版权

高并发与多线程专栏收录该内容

5 篇文章 0 订阅

订阅专栏

深入理解多线程（三）— Java的对象头

在Java对象模型文章中我们以HotSpot虚拟机来简单的介绍了Java的对象模型。本文我们就基于上一篇文章来简单的介绍Java的对象头。主要介绍一下对象头的作用，结构以及他和锁的关系。

1. 概述

每一个Java类，在被JVM加载的时候，JVM会给这个类创建一个instanceKlass，保存在方法区，用来在JVM层表示该Java类。当我们在Java代码中，使用new创建一个对象的时候，JVM会创建一个instanceOopDesc对象，这个对象中包含了对象头以及实例数据。
这里提到的对象头到底是什么呢？如下代码：

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

上面代码中的_mark和_metadata其实就是java的对象头的定义。关于_metadata之前文章已经简单的介绍过，这里不再赘述。本系列文章主要是针对java多线程的，而有关多线程相关的属性都是存储在_mark里的，所以这里我们就主要分析下_mark，即mark word。
对象头信息是与对象自身定义的数据无关的额外存储成本，考虑到虚拟机的空间效率，Mark Word被设计成一个非固定的数据结构以便在极小的空间内存储尽量多的信息，它会根据对象的状态复用自己的存储空间。

2. mark word

对markword的设计方式上，非常像网络协议报文头：将mark word划分为多个比特位区间，并在不同的对象状态下赋予比特位不同的含义。下图描述了在32位虚拟机上，在对象不同状态时 mark word各个比特位区间的含义。
这里写图片描述
同样，在HotSpot的源码中我们可以找到关于对象头对象的定义，对应与markOop.hpp类。
在markOop.hpp中的对象头的定义如下：

enum { age_bits                 = 4,
      lock_bits                = 2,
      biased_lock_bits         = 1,
      max_hash_bits            = BitsPerWord - age_bits - lock_bits - biased_lock_bits,
      hash_bits                = max_hash_bits > 31 ? 31 : max_hash_bits,
      cms_bits                 = LP64_ONLY(1) NOT_LP64(0),
      epoch_bits               = 2
};

从上面的枚举定义中可以看出，对象头中主要包含了GC分代年龄、锁状态标记、哈希码、epoch等信息。
从上图中可以看出，对象的状态一共有五种，分别是无锁态、轻量级锁、重量级锁、GC标记和偏向锁。在32位的虚拟机中有两个Bits是用来存储锁的标记为的，但是我们都知道，两个bits最多只能表示四种状态：00、01、10、11，那么第五种状态如何表示呢，就要额外依赖1Bit的空间，使用0和1来区分。
在32位的HotSpot虚拟机中对象未被锁定的状态下，Mark Word的32个Bits空间中的25Bits用于存储对象哈希码(HashCode)，4Bits用于存储对象分代年龄，2Bits用于存储锁标志位，1Bit固定为0，表示非偏向锁。
markOop.hpp类中有关于对象状态的定义：

  enum { locked_value             = 0,
         unlocked_value           = 1,
         monitor_value            = 2,
         marked_value             = 3,
         biased_lock_pattern      = 5
  };

关于为什么要定义这么多状态，上面提到的轻量级锁、重量级锁、偏向锁以及他们之前的关系，我们会在后续的文章中详细的分析。