volatile和synchronized
1. volatile
有volatile变量修饰的共享变量进行写操作的时候会添加汇编指令lock,其作用有两个:
- 将当前处理器缓存行的数据写回到操作系统
- 这个写回内存的操作会使其他cpu里缓存了该内存地址的数据无效
2. synchronized的实现原理与应用
synchronized实现同步的基础: Java中的每一个对象都可以作为锁。具体有三种:
- 对于普通同步方法,锁是当前实例对象。
- 对于静态同步方法,锁是当前类的Class对象。
- 对于同步方法块,锁是synchronized括号里配置的对象。
jvm通过进入和退出Monitor对象来实现方法同步和代码块同步。代码块同步是使用monitorenter和monitorexit指令来实现的,方法同步用另一种方式实现。monitorenter在编译后插入代码开始位置,monitorexit插入到代码结束位置,两个相匹对。 任何对象都有一个Monitor对象想对应,当Monitor被持有,它就会被锁定。线程执行到monitorenter指令时,将会尝试获取对象对应的Monitor所有权,即获得锁。
2.1 Java对象头
synchronized用的锁存在Java对象头中。如过对象是数组类型,则虚拟机用3个字宽存储对象头,如果非数组则用2字节宽存储对象头。
2.2锁升级
jdk1.6为了减少锁的消耗,引入了偏向锁和轻量级锁。共有4个状态:
- 无锁状态
- 偏向锁状态
- 轻量级锁状态
- 重量级锁状态
这几个状态会随着竞争情况逐渐升级。锁可以升级不可以降级,目的是为了提高获得锁和释放锁的效率。
2.2.1 偏向锁
在大多数情况下,锁不仅不存在多线程竞争,而且总是由一个线程多次获取。偏向锁能让线程获得锁的代价更低。当一个线程访问同步块并获得锁时,会在对象头和栈帧中的锁记录里存储锁偏向的线程ID,以后该线程在进入和退出同步块时不需要进行CAS操作来加锁和解锁。如果对象头的Mark Work里存储指向当前线程的偏向锁,则线程已经获得锁。否则,测试Mark Work中的偏向锁的标识是否设置为1;如果没有设置,则使用CAS竞争锁,如果设置了,则尝试使用CAS将对象头的偏向锁指向当前线程。
2.2.1.1 偏向锁的撤销
偏向锁会在竞争出现才会释放,它的锁撤销需要等待全局安全点(在这个时间点上没有正在执行的字节码)。
它会先暂停拥有偏向锁的线程,然后检查持有偏向锁的线程是否存活,不活则将对象头设置成无锁状态;活则拥有偏向锁的栈会被执行,遍历偏向锁的锁记录,栈中的锁记录和对象头的Mark Work要么重新偏向于其他线程,要不回复到无锁或者标记对象不适合作为偏向锁,最后唤醒暂停的线程。
总结:对于没有几乎没有锁竞争的场合,偏向锁有比较好的优化效果。对于锁竞争激烈的场景就不适合了。
2.2.1.2 偏向锁的关闭
偏向锁会在程序启动几秒后才被激活。
关闭延时: -XX:BiasedLockingStartupDelay=0
关闭偏向锁: -XX:-UseBiasedLocking=false
2.2.2 轻量级锁
线程在执行同步块之前,JVM会在当前线程的栈帧中创建用于存储锁记录的空间,并把对象头中Mark Work复制到锁记录中(Displaced Mark Work)。然后线程尝试把CAS将对象头中的Mark Work替换为指向锁记录的指针。成功则当前线程获得锁,否则当前线程便尝试使用自旋来获取锁。
轻量级锁解锁时,会使用CAS操作将Displaced Mark Work替换回到对象头,如果成功,则表示没有竞争发生。失败则表示当前锁存在竞争,锁会膨胀成重量级锁。
自旋获得锁会消耗CPU性能,故一旦锁升级为重量级锁就不会再恢复到轻量级锁。