🔎什么是CAS
CAS
全称Compare and swap(比较并交换)
解释
寄存器A的值和内存B的值进行比较,如果值相同,就把寄存器C的值和内存B的值进行交换
🔎伪代码解析
boolean CAS(address, expectValue, swapValue) { if (&address == expectedValue) { &address = swapValue; return true; } return false; }
解释
if ( &address == expectedValue)
如果寄存器A的值和内存B的值相等
&address = swapValue
将寄存器C的值与内存B的值交换
注意
上述代码只是伪代码,用来理解CAS的执行过程
针对上述代码,多线程情况下可能会引起安全问题
而CAS是原子性的,故不会引起安全问题
🔎CAS是如何实现原子性的
基于硬件(CPU)实现的原子性
🔎CAS的应用
🌻实现原子类
基于 java.util.concurrent.atomic 包中的类
一个典型的代表就是 AtomicInteger 类
举个栗子🥝
public static void main(String[] args) throws InterruptedException { AtomicInteger num = new AtomicInteger(0); int n = 50_000; Thread t1 = new Thread(() -> { for (int i = 0; i < n; i++) { //num++ num.getAndIncrement(); } }, "t1线程"); Thread t2 = new Thread(() -> { for (int i = 0; i < n; i++) { //num++ num.getAndIncrement(); } }, "t2线程"); t1.start(); t2.start(); t1.join(); t2.join(); System.out.println(num); }
针对上述代码
如果是非原子的自增操作(num++),就可能存在线程安全问题
但是由于CAS本身就是原子的,所以不会存在线程安全问题
也就是说,CAS操作可以不用加锁就能够解决线程安全问题
🌻实现自旋锁
伪代码解析🥝
public class SpinLock { private Thread owner = null; public void lock(){ // 通过 CAS 看当前锁是否被某个线程持有. // 如果这个锁已经被别的线程持有, 那么就自旋等待. // 如果这个锁没有被别的线程持有, 那么就把 owner 设为当前尝试加锁的线程. while(!CAS(this.owner, null, Thread.currentThread())){ } } public void unlock (){ this.owner = null; } }
解释
Thread owner = null 代表当前的锁没有被线程持有
while(!CAS(this.owner, null, Thread.currentThread()))
Thread.currentThread() 代表当前线程
null 代表空
this.owner 代表当前锁
如果当前 owner 是null,就把当前线程的引用设置到 owner(加锁),循环结束
如果当前 owner 不是null,代表已经有其他线程加锁成功
此时就一直进行循环比较,不停的尝试加锁(速度很快)
public void unlock () 代表解锁
this.owner = null 解锁就是将owner设为null
🔎ABA问题
什么是ABA问题
通俗点来说就是从A变成了B最后又变成了A
A–>B–>A
CAS是对比内存和寄存器中的值,查看是否相同
(通过对比,判断内存中的值是否改变过)
但是对比时发现内存中的值是相同的,也不能确定内存中的值就没发生过改变
解释
t1线程读取内存中的值时,t2线程将内存中的值从A变成了B最后又变成了A
这时t1线程读取到的内存的值仍然是A,但是内存的值却发生了变化
这就是ABA问题
举个栗子🥝
我们买手机的时候
可能买到的是原装手机(没有更改的)
也可能买到的是翻新机—别人用了很久的,然后手机厂商进行一系列操作(换个壳,去去尘等),这样的手机看起来虽然和原装的没太大区别,但终究也只是看起来
原装手机就类似与内存中的值没有发生过改变
翻新机就类似于A–>B–>A
🌻ABA问题可能引起的BUG
举个栗子🥝
滑稽老哥去ATM机取款50元,他的银行账户有100元,取款之后变为50元
ATM并发执行两个线程
(1)线程1获取到当前存款为100元,执行扣款50元 线程2获取到当前存款为100元,执行扣款50元
(2)线程1执行扣款成功,滑稽老哥存款变为50 线程2阻塞等待
(3)此时正好滑稽老哥的朋友向滑稽老哥转账50元请滑稽老哥帮买东西
(4)滑稽老哥的存款又变为了100元
(5)线程2执行,发现存款仍为100元,执行扣款50元,此时滑稽老哥的账户又被扣款了50元
🌻ABA问题的解决方案
引入版本号,规定版本号只能增加
每次CAS对比的时候,不仅需要对比数值,而且需要对比版本号
如果进行修改数值,就将版本号+1
这样再去对比ABA问题时
发现版本号已经发生改变,就证明数值发生了变化
发现版本号没有发生改变,证明数值没有发生变化
举个栗子🥝
滑稽老哥去ATM机取款50元,他的银行账户有100元,取款之后变为50元
ATM并发执行两个线程,此时引入版本号,版本号为0
(1)线程1获取到当前存款为100元,执行扣款50元 线程2获取到当前存款为100元,执行扣款50元
(2)线程1执行扣款成功,滑稽老哥存款变为50 线程2阻塞等待,版本号变为1
(3)此时正好滑稽老哥的朋友向滑稽老哥转账50元请滑稽老哥帮买东西,版本号变为2
(4)滑稽老哥的存款又变为了100元
(5)线程2执行,发现存款仍为100元,但版本号发生了改变,此时就会执行失败
(6)滑稽老哥成功保住了50元
🔎结尾
创作不易,如果对您有帮助,希望您能点个免费的赞👍
大家有什么不太理解的，可以私信或者评论区留言，一起加油
