大厂面试--CAS

CAS 全称： compareAndSwap （比较并交换）

底层思想（自旋）

api的使用

package com.company;

import java.util.concurrent.atomic.AtomicInteger;
//CAS -> compareAndSet -> 比较并交换
public class CASDemo {
    public static void main(String[] args) {
        AtomicInteger atomicInteger = new AtomicInteger(5);//初始值为5

        //期望值为5   初始值与期望值一样，则返回true，并进行修改
        //           初始值与期望值不一样，则返回false，不进行修改
        System.out.println(atomicInteger.compareAndSet(5, 11)+"lmx"+atomicInteger.get());//truelmx11
        System.out.println(atomicInteger.compareAndSet(11, 12)+"lmx"+atomicInteger.get());//truelmx12
        System.out.println(atomicInteger.compareAndSet(11, 13)+"lmx"+atomicInteger.get());//falselmx12
    }
}

compareAndSet（）方法底层调用的是compareAndSwapInt（）方法

CAS底层原理

getAndIncrement()底层实现原理

var1 AtomicInteger对象本身。
var2该对象值得引用地址。
var4需要变动的数量。
var5是用过var1 var2找出的主内存中真实的值。
用该对象当前的值与var5比较:
如果相同，更新var5+var4并且返回true,
如果不同，继续取值然后再比较，直到更新完成。

底层汇编


CAS的缺点

1.循环时间长，开销大

2.只能保证一个共享变量的原子操作

3.引出来ABA问题

ABA（狸猫换太子）
ABA问题是如何产生的？

解决办法

原子引用 + 版本号

代码演示

package com.company;

import java.util.concurrent.TimeUnit;
import java.util.concurrent.atomic.AtomicReference;
import java.util.concurrent.atomic.AtomicStampedReference;

public class ABADemo {//ABA问题的解决  AtomicStampedReference
    static AtomicReference<Integer> atomicReference = new AtomicReference<>(100);
    static AtomicStampedReference<Integer> atomicStampedReference = new AtomicStampedReference<>(100,1);

    public static void main(String[] args) {
        System.out.println("=========以下是ABA问题的产生==========");
        new Thread(()->{
            atomicReference.compareAndSet(100,101);
            atomicReference.compareAndSet(101,100);
        },"t1").start();
        new Thread(()->{
            //暂停1秒钟t2线程，保证上面的t1线程完成了一次ABA操作
//            try {
//                TimeUnit.SECONDS.sleep(1);
//            } catch (InterruptedException e) {
//                e.printStackTrace();
//            }
            System.out.println(Thread.currentThread().getName()+atomicReference.compareAndSet(100,2019)+"\t"+atomicReference.get());
        },"t2").start();

        System.out.println("=========以下是ABA问题的解决==========");

        new Thread(()->{
            int stamp = atomicStampedReference.getStamp();
            System.out.println(Thread.currentThread().getName()+"\t第一次版本号: "+stamp);
            //1.暂停1秒钟t3线程，t3线程挂起，执行t4线程
            try {
                TimeUnit.SECONDS.sleep(1);
            } catch (InterruptedException e) {
                e.printStackTrace();
            }
            //3.比对atomicStampedReference的初始值和期望值及初始版本号和期望版本号是否一样，一样则让atomicStampedReference对象的stamp值加一。此时初始值和期望值是一样的，所以此时atomicStampedReference对象的stamp值为2
            atomicStampedReference.compareAndSet(100,101,
                    atomicStampedReference.getStamp(),atomicStampedReference.getStamp()+1);
            System.out.println(Thread.currentThread().getName()+"\t第二次版本号: "+atomicStampedReference.getStamp());
            //4.比对atomicStampedReference的初始值和期望值及初始版本号和期望版本号是否一样，一样则让atomicStampedReference对象的stamp值加一。此时初始值和期望值是一样的，所以此时atomicStampedReference对象的stamp值为3
            atomicStampedReference.compareAndSet(101,100,
                    atomicStampedReference.getStamp(),atomicStampedReference.getStamp()+1);
            System.out.println(Thread.currentThread().getName()+"\t第三次版本号: "+atomicStampedReference.getStamp());
        },"t3").start();

        new Thread(()->{
            int stamp = atomicStampedReference.getStamp();
            System.out.println(Thread.currentThread().getName()+"\t第一次版本号: "+stamp);
            //2.执行完以上代码后，由于下面代码要暂停三秒，所以返回t3线程继续执行
            //暂停3秒钟t4线程，保证上面的t3线程完成了一次ABA操作。
            try {
                TimeUnit.SECONDS.sleep(3);
            } catch (InterruptedException e) {
                e.printStackTrace();
            }
            //5.t3执行完成，继续执行t4,此时t4线程的stamp值为1,但实际stamp已经被t3线程修改为3了，所以它修改不成功，仍为100
            boolean result = atomicStampedReference.compareAndSet(100, 2019,
                    stamp, stamp + 1);
            System.out.println(Thread.currentThread().getName()+"\t修改成功与否："+result+" 最新版本号："+atomicStampedReference.getStamp());
            System.out.println(Thread.currentThread().getName()+"当前最新值："+atomicStampedReference.getReference());
        },"t4").start();

    }
}

运行结果为：