synchronized关键字使我们在多线程并发条件下经常使用的一个关键字,下面我们来详细介绍synchronized的应用场景及底层的实现原理。
synchronized的使用
分类 | 被锁的对象 | 伪代码 |
---|---|---|
实例方法 | 类的实例对象 | public synchronized void method (){......} |
静态方法 | 类对象 | public static synchronized void method (){......} |
实例对象 | 类的实例对象 | synchronized (this){......} |
class对象 | 类对象 | synchronized (xx.class){......} |
任意实例对象Object | 实例对象Object | Object o = new Object synchronized (o){......} |
Synchronized属于内置锁,内置锁是可重入的,因此如果某个线程试图获得一个已经由他自己持有的锁,那么这个请求就会成功。“重入"意味着获取锁的操作的粒度是"线程”,而不是“调用”。
实现原理
1.当synchronized同步代码块
通过 javap命令我们可以看到,在代码块中会出现monitorenter和monitorexit这两个指令,如下图所示
monitorenter:每个对象都是一个监视器锁(monitor)。
当monitor被占用时就会处于锁定状态,线程执行monitorenter指令时尝试获取monitor的所有权,过程如下:
(1).如果monitor的进入数是0,则该线程进入monitor,然后将进入数设置为1,该线程即为monitor的所有者;
(2).如果线程已经占有该monitor,只是重新进入,则进入monitor的进入数加1;
(3).如果其它线程已经占有该monitor,则该线程进入阻塞状态,直到monitor的进入数为0,再重新尝试获取monitor的所有权;
monitorexit:执行monitorexit的线程必须是对应的monitor的所有者。执行指令时,monitor的进入数减1,如果减1后进入数为0,那线程退出monitor,不再是这个monitor的所有者。其他被这个monitor阻塞的线程可以尝试去获取这个monitor的所有权。
上述的汇编代码monitorexit指令出现两次,第一次为同步正常退出释放锁;第二次为发生异常退出释放锁。
2.当synchronized同步方法
这和作用于代码块的是方式一样的,本质上没有区别,只是方法的同步是隐式的方式来实现的,无需通过字节码来完成
monitorenter指令是在编译后插入到同步代码块的开始位置,而monitorexit是插入到方法结束处和异常处,JVM要保证每个monitorenter必须有对应的monitorexit与之配对。任何对象都有一个monitor与之关联,当且一个monitor被持有后,它将处于锁定状态。线程执行到monitorenter指令时,将会尝试获取对象所对应的monitor的所有权,即尝试获得对象的锁。所以Synchronized底层是通过monitor实现多代码加锁的。
Monitor是什么
Monitor 是线程私有的数据结构,每一个线程都有一个可用monitor record列表,同时还有一个全局的可用列表。每一个被锁住的对象都会和一个monitor关联(对象头的MarkWord中的LockWord指向monitor的起始地址),同时monitor中有一个Owner字段存放拥有该锁的线程的唯一标识,表示该锁被这个线程占用。
我们介绍一下java对象
对象头:java虚拟机对象头一般占2个机器码;(在32位虚拟机中1个机器码等于4字节也就是32bit,在64位虚拟机中,1个机器码是八个字节也就是64bit)
实例数据:存放类的属性数据信息,包括父类的属性信息
对齐填充:由于虚拟机需要,对象起始地址必须是8字节的整数倍,填充数据不是必须存在的,仅仅是为了字节对齐。
对象头由以下数据结构组成
Mark Word:这部分主要用来存储对象自身的运行时数据,如hashcode、gc分代年龄等。mark word的位长度为JVM的一个Word大小,也就是说32位JVM的Mark Word为32位,64位JVM为64位。为了让一个字大小存储更多的信息,JVM将字的最低两个位设置为标记位,不同标记位下的Mark
类型指针(class pointer):用于存储对象的类型指针,该指针指向它的类元数据,JVM通过这个指针确定对象是哪个类的实例。该指针的位长度为JVM的一个字大小,即32位的JVM为32位,64位的JVM为64位。如果应用的对象过多,使用64位的指针将浪费大量内存,统计而言,64位的JVM将会比32位的JVM多耗费50%的内存。为了节约内存可以使用选项+UseCompressedOops开启指针压缩,其中,oop即ordinary object pointer普通对象指针。开启该选项后,下列指针将压缩至32位
array length:如果对象是一个数组,那么对象头还需要有额外的空间用于存储数组的长度,这部分数据的长度也随着JVM架构的不同而不同:32位的JVM上,长度为32位;64位JVM则为64位。64位JVM如果开启+UseCompressedOops选项,该区域长度也将由64位压缩至32位。
对象头中存储的数据
对象内容 | 标志位 | 状态 |
---|---|---|
对象哈希码、对象分代年龄 | 01 | 未锁定 |
指向所记录的指针 | 00 | 轻量级锁定 |
指向重量级锁的指针 | 10 | 重量级锁定 |
空,不需记录信息 | 11 | GC标记 |
偏向线程ID,偏向时间戳 | 01 | 可偏向 |
总结
1.Synchronized可以被使用到方法上或是代码块上,Synchronized的锁定对象可以是 实例对象、类的字节码,Synchronized是可重入锁,最大限度减少死锁的可能。
2.Synchronized的底层实现原理是通过对象头上Mark Word中存储的Monitor对象实现的,每一个被锁住的对象都会和一个monitor关联(对象头的MarkWord中的LockWord指向monitor的起始地址),同时monitor中有一个Owner字段存放拥有该锁的线程的唯一标识,表示该锁被这个线程占用。