一、概述
同步锁是一种保证线程安全的机制。就是使用Synchronized(语法级)关键字将一段代码逻辑用同一把锁锁起来,哪个线程竞争到了这把锁哪个线程才有权访问这段代码,其余线程只能阻塞等待,保证了同一时刻只有一个线程执行上锁代码,保证了代码的原子性,从而确保线程安全。
二、 Synchronized关键字
每个Java对象都可以充当一个实现同步的锁,这些锁被称为内置锁( Intrinsic Lock ) 或者监视器锁( Monitor Lock )。
- 修饰实例方法:默认使用当前对象this作为锁。
- 修饰静态方法:默认使用当前对象的Class对象作为锁。
- 修饰代码块:指定的某个Java对象作为锁。
- 当一个线程访问对象的一个 synchronized(this) 同步代码块时,另一个线程仍然可以访 问该对象中的非 synchronized(this) 同步代码块。
- 父类中 synchronized 修饰的方法,如果子类没有重写,则该方法仍然是线程安全性;如果子类重写,并且没有使用 synchronized 修饰,则该方法不是线程安全的;
- 在定义接口方法时,不能使用 synchronized 关键字;
- 构造方法不能使用 synchronized 关键字,但可以使用 synchronized 代码块来进行同 步;
- 离开 synchronized 代码块后,该线程所持有的锁,会自动释放;
三、实现机制
Java5之前synchronized是仅有的线程同步手段。在加锁和解锁的过程中依赖操作系统互斥锁(重量级锁)实现,操作系统需要从用户态转换为内核态,切换成本非常高,所以早期synchronized效率低。
Java6之后JVM对synchronized锁进行了优化,新增了锁升级的概念,不会一上来就是互斥锁,提升了synchronized的效率。
synchronized代码块其实是由一对monitorenter/monitorexit指令实现的,synchronized是通过对象内部的监视器( monitor )来实现的,线程通过执行monitorenter指令尝试获取monitor的所有权,当monitor被占用时就会处于锁定状态。
四、监视器
每个对象都有一个监视器,线程通过执行 monitorenter 指令尝试获取monitor的所有权,当monitor被占用时就会处于锁定状态。
获取 monitor 的所有权的过程如下:
- 如果 monitor 的进入数为 0 ,则该线程进入 monitor ,然后将进入数设置为1 ,该线程即为 monitor 的所有者,代表持有锁;
- 如果线程已经占有该monitor ,只是重新进入,则进入 monitor 的进入数加 +1 ;
- 如果其他线程已经占用了monitor ,则该线程进入阻塞状态,直到monitor 的进入数为为0,再重新尝试获取monitor的所有权;
五、锁升级
Java6之后JVM提供了三种不同的Monitor实现,也就是三种不同的锁:偏斜锁、轻量级锁、重量级锁。
所谓锁的升级、降级,就是 JVM 优化 synchronized 运行的机制,当 JVM 检测到不同的 竞争状况时,会自动切换到适合的锁实现,这种切换就是锁的升级、降级。
5.1 偏向锁
偏向锁是为了在单线程(没有出现多个线程并发)执行情况下,尽量减少不必要的轻量级锁 执行路径,该线程在后续访问时便会自动获得锁,从而降低获取锁带来的消耗,即提高性能。因为轻量级锁的加锁与释放锁,也需要多次执行CAS原子指令。而偏向锁只需要在切换线程设置 ThreadID的时候,执行一次CAS原子指令。所以,偏向锁的作用是在只有一个线程执行同步块时,进一步提高性能。
当没有线程并发出现时,默认会使用偏斜锁。 JVM会利用CAS操作,在对象头上的Mark Word部分设置线程ID ,以表示这个对象偏向于当前线程,所以并不涉及真正的互斥锁。这样做的假设是基于在很多应用场景中,大部分对象生命周期中最多会被一个线程锁定,使用偏斜锁可以降低无竞争开销。 如果有另外的线程试图锁定某个已经被偏斜过的对象, JVM 就需要撤销偏斜锁,并切换到轻量级锁实现。轻量级锁依赖 CAS 操作Mark Word来试图获取锁,如果重试成功,就使用普通的轻量级锁;否则,进一步升级为重量级锁。
5.2 轻量级锁
根据轻量级锁的实现,虽然轻量级锁不支持并发,遇到并发就要升级为重量级锁。 但是轻量级锁可以支持多个线程以串行的方式访问同一个加锁对象。但是,每次执行,都消耗了重复的加锁与解锁的性能开销。
锁的状态(Mark Word)保存在对象头中。在 Hotspot 虚拟机中,一个 JAVA 对象的存储结构,在内存 中的存储布局分为 3 块区域:对象头( Header )、实例数据( Instance Data )和对齐 填充( Padding )。
- lock 标志位:2位二进制,锁状态标记位。
- age Java对象年龄:在 GC 中,如果对象在 Survivor 区复制一次,年龄增加 1 。当对 象达到设定的阈值时,将会晋升到老年代。
- thread :持有偏向锁的线程ID。
- ptr_to_lock_record :指向栈中锁记录的指针。
5.2.1 轻量级锁的加锁过程
- 在代码进入同步块的时候,如果对象锁状态为无锁状态(lock标志位“ 01 ”, biased_lock标志位“ 0 ”),虚拟机首先将在当前线程的栈帧中建立一个名为锁记录( Lock Record )的空间,用于存储锁对象目前的 Mark Word 的拷贝,官方命名为 Displaced Mark Word 。
- 拷贝对象头中的 Mark Word 复制到锁记录( Lock Record )中。
- 拷贝成功后,虚拟机将尝试将对象的 Mark Word 中的ptr_to_lock_record更新为指向 Loc k Record 的指针,并将 Lock record 里的 owner 指针指向到对象的 Mark Word 。如 果更新成功,则执行步骤4,否则执行步骤5。
- 如果这个更新动作成功了,那么这个线程就拥有了该对象的锁,并且对象 Mark Word 的 lock标志位设置为“ 00 ”,即表示此对象处于轻量级锁定状态。
- 如果这个更新操作失败了,虚拟机首先会检查对象的 Mark Word 是否已经指向当前线程的栈帧。如果是,就说明当前线程已经拥有了这个对象的锁,那就可以直接进入同步块继续执行。否则说明多个线程竞争该对象的锁,轻量级锁就要升级为重量级锁 ,lock标志位的状 态值变为“ 10 ”, Mark Word 中存储的就是指向重量级锁(互斥量)的指针,后面等待 锁的线程也要进入阻塞状态。 当前线程便尝试使用自旋来获取锁,自旋就是为了不让线程阻塞,而采用循环去获取锁的过程。
5.2.2 轻量级锁的解锁过程
- 通过 CAS 指令,尝试把线程中复制的 Displaced Mark Word 对象替换当前的 Mark Word 。
- 如果替换成功,整个同步过程就完成了。
- 如果替换失败,说明有其他线程尝试过获取该锁,该锁已升级为重量级锁 ,那就要在释放锁的同时,通知其它线程重新参与锁的竞争。
5.3 重量级锁
当 JVM 检测到多个线程并发执行时会将锁升级成重量级锁。重量级锁是依赖于操作系统互斥锁( Mutex Lock )所实现的锁。操作系统的互斥锁实现线程之间的切换,需要从用户态转换到核心态,切换成本非常高,状态之间的转换需要相对比较长的时间, 这是早期 Synchronized 效率低的原因。因此,这种依赖于操作系统互斥锁( Mutex Lock ) 所实现的锁,称之为“重量级锁”。
六、总结