一、死锁
1、原因
线程 A 持有资源 2,线程 B 持有资源 1,他们同时都想申请对方的资源
2、四个必要条件
互斥条件:该资源任意一个时刻只由一个线程占用。
请求与保持条件:一个线程因请求资源而阻塞时,对已获得的资源保持不放。
不剥夺条件:线程已获得的资源在未使用完之前不能被其他线程强行剥夺,只有自己使用完毕后才释放资源。
循环等待条件:若干线程之间形成一种头尾相接的循环等待资源关系。
3、预防死锁
破坏请求与保持条件:一次性申请所有的资源。
破坏不剥夺条件:占用部分资源的线程进一步申请其他资源时,如果申请不到,可以主动释放它占有的资源。
破坏循环等待条件:靠按序申请资源来预防。按某一顺序申请资源,释放资源则反序释放。破坏循环等待条件。
4、避免死锁
检查代码,对资源分配进行评估
二、锁分类
1、乐观锁VS悲观锁
乐观锁认为本线程在修改数据时,不会有其他线程也修改数据,即不存在竞争,所以不加锁,而是通过CAS来修改,失败了有不同处理方式
悲观锁认为本线程在修改数据时,一定会发生竞争,所以要在获取数据时加锁
2、自旋锁VS自适应自旋锁
自旋锁:线程竞争不到cpu会选择循环继续尝试,而不是立马进入等待状态
自适应自旋锁:线程也不知道循环尝试能不能获取到锁,或者循环几次能获取到锁,于是就有机制来自动调整循环次数
3、公平锁or非公平锁
公平锁:线程想竞争就进入队列排队,按先后顺序获得锁
非公平锁:线程先尝试插队获取锁,获取不到,再排队
4、可重入or不可重入锁
可重入锁:递归或方法里面套方法,内层方法需要与外层方法获取同一个锁,一般都用可重入锁
5、排他锁or共享锁
尝出现在读写场景中,写锁需要排他,读锁可以共享
三、CAS的ABA问题
问题:如果一个变量 V 初次读取的时候是 A 值,并且在准备赋值的时候检查到它仍然是 A 值,那我们就能说明它的值没有被其他线程修改过了吗?很明显是不能的,因为在这段时间它的值可能被改为其他值,然后又改回 A,那 CAS 操作就会误认为它从来没有被修改过
解决办法:添加版本号或时间戳