volatile
保证了内存可见性:当一个线程修改变量时,另一个线程能读到这个修改值。比synchronized的使用和执行成本更低,不会引起上下文切换和调度。
通过Lock前缀指令实现:
- 将当前处理器缓存行的数据写回到系统内存
- 写回内存操作会使其他CPU里缓存该内存地址的数据失效(修改对应变量的内存地址,通过总线嗅探)
synchronized实现
对象头中的mark word
锁升级
无锁,偏向锁,轻量级锁和重量级锁
偏向锁
大部分锁不存在竞争,且都由同一个线程多次获得,引入偏向锁。
进入同步块时不需要CAS来加锁和解锁,只检查Markword里是否存储指向当前线程的偏向锁,测试成功,获取锁;失败,检查偏向锁标识,没有设置,cas竞争锁,设置了,尝试竞争
撤销:出现竞争,才释放锁的机制。需要等待全局安全点。
关闭偏向锁:java6 7中默认开启,程序启动几秒后才启动,可关闭延迟和关闭偏向锁 -XX:BiasedLockingStartupDelay=0 -XX:UseBiasedLocking=false;
轻量级锁
将对象头的Markword复制到当前线程栈帧中,尝试cas替换为指向当前线程的指针,失败,则自旋来获取锁。
解锁:cas将displace markword替换会对象头,失败,则锁存在竞争,膨胀到重量级锁
偏向锁: 加锁、解锁不需要额外消耗;存在竞争,则需要额外的锁撤销(stw),适用于只有一个线程访问同步块
轻量级锁:竞争不会阻塞,提供响应速度;可能自旋,消耗CPU
重量级锁:不使用自旋,不消耗CPU,响应慢
原子操作
- 总线锁定,成本高
- 缓存锁定:修改内存的内存地址,缓存一致性机制组织同时修改由两个处理器缓存的内存区域,其他CPU回写时,会使缓存行失效;可能升级为总线锁定
java中用锁和cas用来保证原子操作
- ABA问题
- 只能对一个变量操作
- 循环时间长,开销大