🔎什么是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元

🔎结尾

创作不易,如果对您有帮助,希望您能点个免费的赞👍

大家有什么不太理解的，可以私信或者评论区留言，一起加油