利用synchronized实现同步的基础
Java 中的每一个对象都可以作为锁,具体表现为三种形式:
- 对于普通同步方法,锁的是当前实例对象;
- 对于静态同步方法,锁的是当前类的class对象;
- 对于同步代码块,锁的是synchronzied括号中配置的对象。
(静态为何锁的是class对象:synchronzied方法执行之前需要一个monitor,对于一个静态方法而言,monitor关联的是类对象;对于一个普通方法而言,monitor关联的是this对象)
java对象头
Synchronized用的锁是存在java对象头里的,如果对象头是数组类型,则虚拟机用3个字宽存储对象头;如果对象是非数组类型,则用2字宽存储对象头。
synchronzied实现原理(java对synchronied优化)
synchronized 是由一对 monitorenter/monitorexit 指令实现的,monitor 对象是同步的基本实现单元。在 Java 6 之前,monitor 的实现完全是依靠操作系统内部的互斥锁,因为需要进行用户态到内核态的切换,所以同步操作是一个无差别的重量级操作,性能也很低。但在 Java 6 的时候,JVM 对此进行了改进,提供了三种不同的 monitor 实现,也就是常说的三种不同的锁:偏向锁(Biased Locking)、轻量级锁和重量级锁,大大改进了其性能。
synchronize锁重,就是重在两点,一是调用内核互斥锁实现,需要进行用户态到内核态的切换;二是线程获取锁失败会变成阻塞态,让出CPU,等待唤醒。
锁升级与对比
在java6中,锁一共有4种状态,级别由低到高为:无锁状态、偏向锁状态、轻量级锁状态和重量级锁状态。
(1)偏向锁
当一个线程访问同步块并获取锁时,会在对象头和栈帧中的锁记录里存储锁偏向的线程ID,以后该线程在进入和退出同步块时不需要CAS操作来加锁和解锁,只需简单测试一下对象头的Mark Word里是否存储着指向当前线程的偏向锁。如果测试成功,表示线程已经获得了锁。如果测试失败,需要再测试一下mark word中偏向锁的标识是否设置成1(表示当前是偏向锁):如果没有设置,使用cas竞争锁;如果设置了,则尝试使用cas将对象头的偏向锁指向当前线程。
偏向锁的撤销使用了一种等到竞争出现才会释放锁的机制,所以当其他线程尝试竞争偏向锁时,持有偏向锁的线程才会释放锁。
(2)轻量级锁
加锁:线程在执行同步块之前,JVM会先在当前线程的栈帧中创建用于存储锁记录的空间,并将对象头中的mark word复制到锁记录中,官方称为Displaced mark word。然后线程尝试使用cas将对象头中的mark word替换为指向锁记录的指针。如果成功,当前线程获得锁,如果失败,表示其他线程竞争锁,当前线程尝试使用自旋来获取锁。
解锁:使用原子的cas操作将Displaced mark word替换回到对象头,如果成功,则表示没有竞争发生。如果失败,表示当前锁存在竞争,锁就会膨胀为重量级锁。(从轻量锁膨胀到重量级锁是在轻量级锁解锁过程发生的)
(3)三种锁对比
多线程中 synchronized 锁升级的原理是什么?
synchronized 锁升级原理:在锁对象的对象头里面有一个 threadid 字段,在第一次访问的时候 threadid 为空,jvm 让其持有偏向锁,并将 threadid 设置为其线程 id,再次进入的时候会先判断 threadid 是否与其线程 id 一致,如果一致则可以直接使用此对象,如果不一致,则升级偏向锁为轻量级锁,通过自旋循环一定次数来获取锁,执行一定次数之后,如果还没有正常获取到要使用的对象,此时就会把锁从轻量级升级为重量级锁,此过程就构成了 synchronized 锁的升级。
锁的升级的目的:锁升级是为了降低锁带来的性能消耗。在 Java 6 之后优化 synchronized 的实现方式,使用了偏向锁升级为轻量级锁再升级到重量级锁的方式,从而减低了锁带来的性能消耗。
锁降级:
当JVM进入安全点(safepoint)时,会检查是否有闲置的monitor,然后试图进行降级。