一.常见的锁策略
锁策略不是指某一个具体的锁,所有的锁都可以往这些锁策略中套
1.悲观锁与乐观锁
预测所冲突的概率是否高,悲观锁为预测锁冲突的概率较高,乐观锁为预测锁冲突的概率更低。
2.重量级锁和轻量级锁
从加锁的开销角度判断,重量级锁与悲观锁相对应,轻量级锁与乐观锁相对应。(并不是一定的,大多数情况是这样的)
3.挂起等待锁和自旋锁
挂起等待锁,就是悲观锁/重量级锁的一种典型实现。
自旋锁,则是乐观锁/轻量级锁的一种典型实现。
自旋锁,会在不释放cpu资源的情况下一直检测目标锁是否被释放,一旦锁被释放,就立即有机会获得锁(需要消耗更多cpu资源,且要在所冲突不高的时候)
挂起等待锁,就是让出cpu资源,让cpu去做别的事情,等待通知后才会获得锁资源。(时效性低,需消耗更多时间)
4.公平锁和非公平锁
公平锁:先到先得,先阻塞等待的先得到锁,后来后得。
非公平锁:不按照先来后到的顺序,谁争抢到锁归谁(大部分情况下都是使用非公平锁,效率高)
5.可重入锁和不可重入锁
如果对一个线程,针对一把锁重复加锁两次,就有可能出现死锁。
如果把锁设定成“可重入”就可以避免死锁了
可重入锁:对同一个锁资源可以加多次锁
不可重入锁:不可以对同一个锁资源加多次锁
6.读写锁
注:synchronized并非是读写锁
所谓读写锁,就是把“加锁操作”分成两种情况:加读锁,加写锁
读锁:共享锁,读与读操作都能同时拿到锁资源
写锁:排它锁,读写,写读,写写不能同时拿到锁资源
二.synchronized原理
1.特征
1)既是乐观锁,又是悲观锁(自适应)
2)是轻量级锁,也是重量级锁(自适应)
3)不是读写锁
4)挂起等待锁和自旋锁(自适应)
5)是可重入锁
6)非公平锁(锁竞争)
2.锁升级
1)刚开始使用synchronized加锁,首先锁会处于“偏向锁”状态。
偏向锁:相当于一种标记,不是真正加锁(更为轻量高效)
2)遇到线程之间的锁竞争时,会升级到“轻量级锁”。
3)进一步统计锁竞争出现的频次,达到一定程度后,升级到“重量级锁”
无锁=》偏向锁=》轻量级锁=》重量级锁
上述锁升级的过程,主要是为了能够让synchronized这个锁更好的适应不同的场景,降低程序员负担。
注:上诉锁升级的过程是不可逆的
3.锁消除与锁粗化
1)锁消除
编译器会对所写的synchronized代码做出判定,判断这个地方是否确实需要加锁。
如果这个加锁是没有必要的,能够自动把synchronized给干掉。
2)锁粗化
也是一种编译器的优化策略
锁的粗细,是根据锁的粒度来判断的。
代码越多,则粒度越粗,
代码越少,则粒度越细。
锁粗化,就是把多个“细粒度”的锁合并为“粗粒度”的锁
三.CAS
1.概念
CAS全称“compare and swap”,用于比较内存与cpu寄存器种的内容。如果发现相同,就进行交换(交换的是内存和另一个寄存器的值)
如有一个内存中的数据和寄存器1,寄存器2.
比较内存中的数据与寄存器1中的数据是否相等,如果相等,将内存和寄存器2的数据进行交换。
CAS的关键是通过一个cpu指令(原子的)完成了一系列操作,可为编写多线程代码带来新的思路
称为“无锁化编程”
2.使用场景
基于CAS实现“原子类”。
public class Dem1 {private static AtomicInteger count = new AtomicInteger();public static void main(String[] args) throws InterruptedException {Thread t1 = new Thread(() -> {for (int i = 0; i <50000; i++) {count.getAndIncrement();}});Thread t2=new Thread(()->{for (int i = 0; i < 50000; i++) {count.getAndIncrement();}});t1.start();t2.start();t1.join();t2.join();System.out.println("count="+count.get());}
}
3.CAS工作原理
假如有两个线程t1,t2进行自增操作
线程t1先读取到数据,t2后读取到,但t2优先进行cas操作,value+1.
此时调度回t1进行cas操作,能够发现数据发生了变化(value!=oldvalue)。
因此,就能判断出其它线程趁着t1load时修改了value的值,此时便不会进行cas操作,而是再来一次load,确保寄存器中的值是正确的值,然后进行cas。
3.ABA问题
CAS之所以能保证线程安全,重要的一点在于通过CAS比较的过程中,来确认是否有其它线程插入进来执行(通过比较value和oldvalue)
此处是通过判定值是否相同,来判断是否有其它线程修改过。
但是值相同!=没有修改可能。
有可能存在另一个线程修改了值,又修改回去了。这就是ABA问题。
ABA问题产生的原因是因为value可增可减
引入“版本号”,设置版本号只能增加,可以解决ABA问题