解决的问题:多线程并发问题;保证了原子性、可见性、有序性
其他方案及比较:lock,区别如下:
- Lock比较灵活,但需手动释放和开启
- Lock不是Java语言内置的,是一个类
- 并发量较小情况下,synchronized有优势,高并发情况下,性能下降严重,此时适合用Lock
- Lock的粒度更细
实现原理:JVM基于进入和退出Monitor对象来实现方法同步和代码块同步。
- 同步代码块:使用monitorenter和monitorexit指令实现,每个对象都有一个monitor与之关联(LockWord指向monitor record的其实地址),当被持有后,将处于锁定状态。线程执行到monitorenter指令时,将尝试获取monitor的所有权。
- 同步方法:方法修饰符上的ACC_SYNCHRONIZED实现,class文件的方法列表中该方法的access_flags字段中的synchronized标志为1,表示该方法为同步方法并使用调用该方法的对象或class做为锁对象。
- 锁定对象的方式:
- 膨胀一个处于无锁状态的对象获得该对象的锁(新建 monitor record,nest=1,owner=自己,通过CAS把该record的起始地址设置到monitor的LockWord中去)
- 对象已处于膨胀状态但LockWord指向的monitor record的owner字段为null,通过CAS指令把owner设置为自己
- 偏向锁:一个线程访问同步代码块时升级为偏向锁
- 轻量级锁:通过自旋来实现,有锁竞争时升级为轻量级锁
- 重量级锁:阻塞线程,自旋超过一定次数会升级为重量级锁
锁定对象方式: