volatile和synchronized

1. volatile

有volatile变量修饰的共享变量进行写操作的时候会添加汇编指令lock,其作用有两个:

  1. 将当前处理器缓存行的数据写回到操作系统
  2. 这个写回内存的操作会使其他cpu里缓存了该内存地址的数据无效

2. synchronized的实现原理与应用

synchronized实现同步的基础: Java中的每一个对象都可以作为锁。具体有三种:

  1. 对于普通同步方法,锁是当前实例对象。
  2. 对于静态同步方法,锁是当前类的Class对象。
  3. 对于同步方法块,锁是synchronized括号里配置的对象。

jvm通过进入和退出Monitor对象来实现方法同步和代码块同步。代码块同步是使用monitorenter和monitorexit指令来实现的,方法同步用另一种方式实现。monitorenter在编译后插入代码开始位置,monitorexit插入到代码结束位置,两个相匹对。 任何对象都有一个Monitor对象想对应,当Monitor被持有,它就会被锁定。线程执行到monitorenter指令时,将会尝试获取对象对应的Monitor所有权,即获得锁。

2.1 Java对象头

synchronized用的锁存在Java对象头中。如过对象是数组类型,则虚拟机用3个字宽存储对象头,如果非数组则用2字节宽存储对象头。

2.2锁升级

jdk1.6为了减少锁的消耗,引入了偏向锁和轻量级锁。共有4个状态:

  1. 无锁状态
  2. 偏向锁状态
  3. 轻量级锁状态
  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性能,故一旦锁升级为重量级锁就不会再恢复到轻量级锁。

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值