因为Java面向对象的思维,在JVM中须要大量存储对象,存储时为了实现一些额定的性能,须要在对象中增加一些标记字段用于加强对象性能 。在学习并发编程常识synchronized时,咱们总是难以了解其实现原理,因为偏差锁、轻量级锁、重量级锁都波及到对象头,所以理解java对象头是咱们深刻理解synchronized的前提条件,以下咱们应用64位JDK示例

1.对象布局的总体构造

2.获取一个对象布局实例

1.首先在maven我的项目中 引入查看对象布局的神器

        <dependency>            <groupId>org.openjdk.jol</groupId>            <artifactId>jol-core</artifactId>            <version>0.9</version>        </dependency>

2.调用ClassLayout.parseInstance().toPrintable()

public class Main{    public static void main(String[] args) throws InterruptedException {        L l = new L();  //new 一个对象         System.out.println(ClassLayout.parseInstance(l).toPrintable());//输入 l对象 的布局    }}//对象类class L{    private boolean myboolean = true;}

运行后输入:

 OFFSET  SIZE      TYPE DESCRIPTION                               VALUE      0     4           (object header)                           01 00 00 00 (00000001 00000000 00000000 00000000) (1)      4     4           (object header)                           00 00 00 00 (00000000 00000000 00000000 00000000) (0)      8     4           (object header)                           f0 e4 2c 11 (11110000 11100100 00101100 00010001) (288154864)     12     4           (object header)                           01 00 00 00 (00000001 00000000 00000000 00000000) (1)     16     1   boolean L.myboolean                               true     17     7           (loss due to the next object alignment)Instance size: 24 bytesSpace losses: 0 bytes internal + 7 bytes external = 7 bytes total

对象头所占用的内存大小为16*8bit=128bit。如果大家本人入手去打印输出,可能失去的后果是96bit,这是因为我敞开了指针压缩。jdk8版本是默认开启指针压缩的,能够通过配置vm参数敞开指针压缩。对于更多压缩指针拜访JAVA文档:官网

敞开指针压缩        -XX:-UseCompressedOops 

开启指针压缩之后,再看对象的内存布局:

 OFFSET  SIZE      TYPE DESCRIPTION                               VALUE      0     4           (object header)                           01 00 00 00 (00000001 00000000 00000000 00000000) (1)      4     4           (object header)                           00 00 00 00 (00000000 00000000 00000000 00000000) (0)      8     4           (object header)                           43 c1 00 f8 (01000011 11000001 00000000 11111000) (-134168253)     12     1   boolean L.myboolean                               true     13     3           (loss due to the next object alignment)Instance size: 16 bytesSpace losses: 0 bytes internal + 3 bytes external = 3 bytes total
  • OFFSET:偏移地址,单位字节;
  • SIZE:占用的内存大小,单位为字节;
  • TYPE DESCRIPTION:类型形容,其中object header为对象头;
  • VALUE:对应内存中以后存储的值;
开启指针压缩能够缩小对象的内存应用。因而,开启指针压缩,实践上来讲,大概能节俭百分之五十的内存。jdk8及当前版本曾经默认开启指针压缩,无需配置。

一般的对象获取到的对象头构造为:

|--------------------------------------------------------------||                     Object Header (128 bits)                 ||------------------------------------|-------------------------||        Mark Word (64 bits)         | Klass pointer (64 bits) ||------------------------------------|-------------------------|

一般对象压缩后获取构造:

|--------------------------------------------------------------||                     Object Header (96 bits)                  ||------------------------------------|-------------------------||        Mark Word (64 bits)         | Klass pointer (32 bits) ||------------------------------------|-------------------------|

数组对象获取到的对象头构造为:

|---------------------------------------------------------------------------------||                                 Object Header (128 bits)                        ||--------------------------------|-----------------------|------------------------||        Mark Word(64bits)       | Klass pointer(32bits) |  array length(32bits)  ||--------------------------------|-----------------------|------------------------|
 OFFSET  SIZE   TYPE DESCRIPTION                               VALUE      0     4        (object header)                           01 00 00 00 (00000001 00000000 00000000 00000000) (1)      4     4        (object header)                           00 00 00 00 (00000000 00000000 00000000 00000000) (0)      8     4        (object header)                           6d 01 00 f8 (01101101 00000001 00000000 11111000) (-134217363)     12     4        (object header)                           05 00 00 00 (00000101 00000000 00000000 00000000) (5)     16    20    int [I.<elements>                             N/A     36     4        (loss due to the next object alignment)Instance size: 40 bytesSpace losses: 0 bytes internal + 4 bytes external = 4 bytes total

3.对象头的组成

咱们先理解一下,一个JAVA对象的存储构造。在Hotspot虚拟机中,对象在内存中的存储布局分为 3 块区域:对象头(Header)、实例数据(Instance Data)和对齐填充(Padding)
在咱们刚刚打印的后果中能够这样归类:

 OFFSET  SIZE      TYPE DESCRIPTION                               VALUE      0     4           (object header)    //markword             01 00 00 00 (00000001 00000000 00000000 00000000) (1)      4     4           (object header)    //markword             00 00 00 00 (00000000 00000000 00000000 00000000) (0)      8     4           (object header)   //klass pointer 类元数据 43 c1 00 f8 (01000011 11000001 00000000 11111000) (-134168253)     12     1   boolean L.myboolean                               true    // Instance Data 对象理论的数据     13     3           (loss due to the next object alignment)            //Padding 对齐填充数据

1.Mark Word

这部分次要用来存储对象本身的运行时数据,如hashcode、gc分代年龄等。mark word的位长度为JVM的一个Word大小,也就是说32位JVM的Mark word为32位,64位JVM为64位。
为了让一个字大小存储更多的信息,JVM将字的最低两个位设置为标记位,不同标记位下的Mark Word示意如下:

其中各局部的含意如下:
lock:2位的锁状态标记位,因为心愿用尽可能少的二进制位示意尽可能多的信息,所以设置了lock标记。该标记的值不同,整个mark word示意的含意不同。
通过倒数三位数 咱们能够判断出锁的类型

enum {  locked_value                 = 0, // 0 00 轻量级锁         unlocked_value           = 1,// 0 01 无锁         monitor_value            = 2,// 0 10 重量级锁         marked_value             = 3,// 0 11 gc标记         biased_lock_pattern      = 5 // 1 01 偏差锁  };
通过内存信息剖析锁状态

写一个synchronized加锁的demo剖析锁状态
接着,咱们再看一下,应用synchronized加锁状况下对象的内存信息,通过对象头剖析锁状态。

代码:

public class Main{    public static void main(String[] args) throws InterruptedException {        L l = new L();        Runnable RUNNABLE = () -> {            while (!Thread.interrupted()) {                synchronized (l) {                    String SPLITE_STR = "===========================================";                    System.out.println(SPLITE_STR);                    System.out.println(ClassLayout.parseInstance(l).toPrintable());                    System.out.println(SPLITE_STR);                }                try {                    Thread.sleep(1000);                } catch (InterruptedException e) {                    e.printStackTrace();                }            }        };        for (int i = 0; i < 3; i++) {            new Thread(RUNNABLE).start();        }    }}class L{    private boolean myboolean = true;}

输入:

=========================================== OFFSET  SIZE      TYPE DESCRIPTION                               VALUE      0     4           (object header)                           5a 97 02 c1 (01011010 10010111 00000010 11000001) (-1056794790)      4     4           (object header)                           d7 7f 00 00 (11010111 01111111 00000000 00000000) (32727)      8     4           (object header)                           43 c1 00 f8 (01000011 11000001 00000000 11111000) (-134168253)     12     1   boolean L.myboolean                               true     13     3           (loss due to the next object alignment)Instance size: 16 bytesSpace losses: 0 bytes internal + 3 bytes external = 3 bytes total===========================================

Mark Word为0X00007FD7C102975A 对应的2进制为: 0xb00000000 00000000 01111111 11010111 11000001 00000010 10010111 01011010
咱们能够看到在第一行object header中 value=5a 对应的2进制为01011010 倒数第三位 为0示意不是偏量锁,后两位为10示意为分量锁

enum {  locked_value                 = 0, // 0 00 轻量级锁         unlocked_value           = 1,// 0 01 无锁         monitor_value            = 2,// 0 10 重量级锁         marked_value             = 3,// 0 11 gc标记         biased_lock_pattern      = 5 // 1 01 偏差锁  };

例子2:

public class Main{    public static void main(String[] args) throws InterruptedException {        L l = new L();        synchronized (l) {            Thread.sleep(1000);            System.out.println(ClassLayout.parseInstance(l).toPrintable());            Thread.sleep(1000);        }     //轻量锁    }}class L{    private boolean myboolean = true;}

输入:

 OFFSET  SIZE      TYPE DESCRIPTION                               VALUE      0     4           (object header)                           f0 18 58 00 (11110000 00011000 01011000 00000000) (5773552)      4     4           (object header)                           00 70 00 00 (00000000 01110000 00000000 00000000) (28672)      8     4           (object header)                           43 c1 00 f8 (01000011 11000001 00000000 11111000) (-134168253)     12     1   boolean L.myboolean                               true     13     3           (loss due to the next object alignment)Instance size: 16 bytesSpace losses: 0 bytes internal + 3 bytes external = 3 bytes total

对应的mark word为0x00007000005818f0 对应的2进制为0xb00000000 00000000 01110000 00000000 00000000 01011000 00011000 11110000
依据开端倒数第三位为0 示意不是偏量锁 倒数后2位为00 示意这是一个轻量锁

enum {  locked_value                 = 0, // 0 00 轻量级锁         unlocked_value           = 1,// 0 01 无锁         monitor_value            = 2,// 0 10 重量级锁         marked_value             = 3,// 0 11 gc标记         biased_lock_pattern      = 5 // 1 01 偏差锁  };

你可能会有疑难mark word = 0x00007000005818f0是怎么算进去的, 依据前64位的value倒序排列拼成的串就是mark word
例子:

 OFFSET  SIZE      TYPE DESCRIPTION                               VALUE      0     4           (object header)                           f0 18 58 00 (11110000 00011000 01011000 00000000) (5773552)      4     4           (object header)                           00 70 00 00 (00000000 01110000 00000000 00000000) (28672)      8     4           (object header)                           43 c1 00 f8 (01000011 11000001 00000000 11111000) (-134168253)     12     1   boolean L.myboolean                               true     13     3           (loss due to the next object alignment)

Mark word 串为 前64位倒序排列为:00000000 00000000 01110000 00000000 00000000 01011000 00011000 11110000
转换为16进制为 00007000005818f0

2.Klass Pointer

即对象指向它的元数据的指针,虚拟机通过这个指针来确定是哪个类的实例。并不是所有的虚拟机实现都必须在对象数据上保留类型指针(通过句柄池拜访)。

简略引申一下对象的拜访形式,咱们创建对象的目标就是为了应用它。所以咱们的Java程序在运行时会通过虚拟机栈中本地变量表的reference数据来操作堆上对象。然而reference只是JVM中标准的一个指向对象的援用,那这个援用如何去定位到具体的对象呢?因而,不同的虚拟机能够实现不同的定位形式。次要有两种:句柄池和间接指针。
2.1 应用句柄拜访

会在堆中开拓一块内存作为句柄池,句柄中贮存了对象实例数据(属性值构造体)的内存地址,拜访类型数据的内存地址(类信息,办法类型信息),对象实例数据个别也在heap中开拓,类型数据个别贮存在办法区中。

长处:reference存储的是稳固的句柄地址,在对象被挪动(垃圾收集时挪动对象是十分广泛的行为)时只会扭转句柄中的实例数据指针,而reference自身不须要扭转。
毛病:减少了一次指针定位的工夫开销。

2.2 应用指针拜访

指针拜访形式指reference中间接贮存对象在heap中的内存地址,但对应的类型数据拜访地址须要在实例中存储。

长处:节俭了一次指针定位的开销。
毛病:在对象被挪动时(如进行GC后的内存重新排列),reference自身须要被批改。

总结:

通过句柄池拜访的话,对象的类型指针是不须要存在于对象头中的,然而目前大部分的虚拟机实现都是采纳间接指针形式拜访。此外如果对象为JAVA数组的话,那么在对象头中还会存在一部分数据来标识数组长度,否则JVM能够查看一般对象的元数据信息就能够晓得其大小,看数组对象却不行

3. 对齐填充字节

因为JVM要求java的对象占的内存大小应该是8bit的倍数,所以前面有几个字节用于把对象的大小补齐至8bit的倍数,就不特地介绍了

4.JVM降级锁的过程

1,当没有被当成锁时,这就是一个一般的对象,Mark Word记录对象的HashCode,锁标记位是01,是否偏差锁那一位是0。

2,当对象被当做同步锁并有一个线程A抢到了锁时,锁标记位还是01,但是否偏差锁那一位改成1,前23bit记录抢到锁的线程id,示意进入偏差锁状态。

3,当线程A再次试图来取得锁时,JVM发现同步锁对象的标记位是01,是否偏差锁是1,也就是偏差状态,Mark Word中记录的线程id就是线程A本人的id,示意线程A曾经取得了这个偏差锁,能够执行同步锁的代码。

4,当线程B试图取得这个锁时,JVM发现同步锁处于偏差状态,然而Mark Word中的线程id记录的不是B,那么线程B会先用CAS操作试图取得锁,这里的取得锁操作是有可能胜利的,因为线程A个别不会主动开释偏差锁。如果抢锁胜利,就把Mark Word里的线程id改为线程B的id,代表线程B取得了这个偏差锁,能够执行同步锁代码。如果抢锁失败,则继续执行步骤5。

5,偏差锁状态抢锁失败,代表以后锁有肯定的竞争,偏差锁将降级为轻量级锁。JVM会在以后线程的线程栈中开拓一块独自的空间,外面保留指向对象锁Mark Word的指针,同时在对象锁Mark Word中保留指向这片空间的指针。上述两个保留操作都是CAS操作,如果保留胜利,代表线程抢到了同步锁,就把Mark Word中的锁标记位改成00,能够执行同步锁代码。如果保留失败,示意抢锁失败,竞争太强烈,继续执行步骤6。

6,轻量级锁抢锁失败,JVM会应用自旋锁,自旋锁不是一个锁状态,只是代表一直的重试,尝试抢锁。从JDK1.7开始,自旋锁默认启用,自旋次数由JVM决定。如果抢锁胜利则执行同步锁代码,如果失败则继续执行步骤7。

7,自旋锁重试之后如果抢锁仍然失败,同步锁会降级至重量级锁,锁标记位改为10。在这个状态下,未抢到锁的线程都会被阻塞。

总结:本章节次要介绍了对象布局蕴含对象头,对象实例数据,和对齐数据.并且介绍了对象头中蕴含的信息和解析办法
更多内容请继续关注公众号:java宝典

关注公众号:java宝典