文章目录
同步和异步
同步
异步
变量的线程安全
常见线程安全类
线程安全的方法组合是线程不安全的,如下图
线程安全判断
悲观锁(阻塞)
synchronized
synchronized底层原理
jdk1.6开始synchronized进行了优化,因为monitor本身是一个重量级锁(需要用户态和核心态的转换),所以1.6开始进行了一个锁膨胀(无锁->偏向锁->轻量级锁->重量级锁)以及锁消除,锁粗化,自旋优化。
偏向锁
轻量级锁
锁膨胀
自旋优化
锁消除
例如下面这段代码,对象o是一个局部变量,本身不存在线程安全问题,所以jvm编译器会对其进行优化,class字节码就会消除synchronized
锁粗化
锁粗化是指,将多个连续的加锁、解锁操作连接在一起,扩展成一个范围更大的锁。
原代码
这里我们不考虑编译器优化的情况,如果在 for 循环中定义锁,那么锁的范围很小,但每次 for 循环都需要进行加锁和释放锁的操作,性能是很低的;但如果我们直接在 for 循环的外层加一把锁,那么对于同一个对象操作这段代码的性能就会提高很多。
粗化后代码
锁粗化的作用:如果检测到同一个对象执行了连续的加锁和解锁的操作,则会将这一系列操作合并成一个更大的锁,从而提升程序的执行效率。
ReentrantLock
可重入
可打断
锁超时
公平锁
多个条件变量
java内存模型(JMM)
volatile
可见性
synchronized 也可以保证可见性
注意,volatile只能保证可见性,不能保证原子性。synchronized两者都可以保证,但缺点是是重量级操作。
禁止指令重排序
注意,volatile是防止它之前的代码出现重排序
可见性原理-内存屏障
内存屏障禁止指令重排序的原理是,写屏障之前的代码不会放在写屏障后面,读屏障之后的代码不会放在读屏障前面。
乐观锁(非阻塞)
CAS
CAS与volatile
CAS特点
常用的cas操作类
原子整数
原子引用
ABA问题
所谓aba问题是指,一个线程把某个值从a改成b,最后又改回a,而另一个线程在获取该值时无法感知到它被修改过,所以依然能够进行cas操作,AtomicReference是无法解决该问题的,AtomicStampedReference 是可以解决的,通过版本管理。
原子数组
原子数组可以保证数组内的内容线程安全
字段更新器
原子累加器
unsafe