2、JUC--CAS算法

 CAS (Compare-And-Swap) 是一种硬件对并发的支持，针对多处理器
操作而设计的处理器中的一种特殊指令，用于管理对共享数据的并
发访问。
 CAS 是一种无锁的非阻塞算法的实现。
 CAS 包含了 3 个操作数：
 需要读写的内存值 V
 进行比较的值 A
 拟写入的新值 B
 当且仅当 V 的值等于 A 时，CAS 通过原子方式用新值 B 来更新 V 的值，否则不会执行任何操作。

原子变量：

 类的小工具包，支持在单个变量上解除锁的线程安全编程。事实上，此包中的类可
　　将 volatile 值、字段和数组元素的概念扩展到那些也提供原子条件更新操作的类。
 类 AtomicBoolean、AtomicInteger、AtomicLong 和 AtomicReference 的实例各自提供对
　　相应类型单个变量的访问和更新。每个类也为该类型提供适当的实用工具方法。
 AtomicIntegerArray、AtomicLongArray 和 AtomicReferenceArray 类进一步扩展了原子操
　　作，对这些类型的数组提供了支持。这些类在为其数组元素提供 volatile 访问语义方
　　面也引人注目，这对于普通数组来说是不受支持的。
 核心方法：boolean compareAndSet(expectedValue, updateValue)
 java.util.concurrent.atomic 包下提供了一些原子操作的常用类:

　　 AtomicBoolean 、AtomicInteger 、AtomicLong 、 AtomicReference
　　 AtomicIntegerArray 、AtomicLongArray
　　 AtomicMarkableReference
　　 AtomicReferenceArray
　　 AtomicStampedReference

i++ 的原子性问题：

　　int i =10;

　　i=i++;

　　最后i=10；

在计算机底层的执行：

int temp = i;//临时变量

i = i +1;

i=temp;

结论：i++的操作实际上分为三个步骤“读-改-写”

public class TestAtomicDemo {
    public static void main(String[] args) {
        AtomicDemo ad = new AtomicDemo();
        
        //创建10个线程进行操作
        for(int i = 0;i < 10;i++){
            new Thread(ad).start();
        }
    }
}

class AtomicDemo implements Runnable{
    private int serialNumber = 0;
    
    public int getSerialNumber() {
        return serialNumber++;
    }

    @Override
    public void run() {
        try {
            Thread.sleep(400);
        } catch (InterruptedException e) {
            e.printStackTrace();
        }
        System.out.println(Thread.currentThread()+":"+getSerialNumber());
    }
}

此时的数据会有重复值的问题

画图实例：

此时线程1在临时变量中进行操作数据

如果正在写的过程中线程2进行读取数据（在线程1写之前）

然后线程2也在进行写1

使用volition可以保持数据可见性，但是不可以保证数据的原子性

此时使用volition数据重复依然存在

原子变量

java.util.concurrent.atomic包下提供了常用的原子变量

1、volatile保证了内存可见性

2、CAS算法保证数据的原子性

具体CAS见上文！

图示：

此时的线程1已经进行读取而且在整写数据，线程2开始读取数据

线程1中v=A是可以进行操作的回将B的值写进主存：

线程2中V和A值不同，将不会进行操作！

当多个线程进行操作时，当且只有一个线程会对数据进行行更新

线程2失败之后，还会立即进行对其进行操作

对上述的代码进行修改：

public class TestAtomicDemo {
    public static void main(String[] args) {
        AtomicDemo ad = new AtomicDemo();
        //创建10个线程进行操作
        for(int i = 0;i < 10;i++){
            new Thread(ad).start();
        }
    }
}
class AtomicDemo implements Runnable{
    private AtomicInteger serialNumber = new AtomicInteger();
    public int getSerialNumber() {
        //获取并且递增
        return serialNumber.getAndIncrement();
    }

    @Override
    public void run() {
        try {
            Thread.sleep(400);
        } catch (InterruptedException e) {
            e.printStackTrace();
        }
        System.out.println(Thread.currentThread()+":"+getSerialNumber());
    }
}

模拟CAS算法

public class TestCompareAndSwap {
    public static void main(String[] args) {
        
        final CompareAndSwap cas = new CompareAndSwap();
        
        for(int i=0;i<10;i++){
            new Thread(new Runnable() {
                
                @Override
                public void run() {
                    int expectiveValue =   cas.get();
                    boolean bool = cas.compareAndSet(expectiveValue, (int)(Math.random()*101));
                    System.out.println(bool);
                }
            }).start();
        }
        
        
    }

}

class CompareAndSwap{
    
    private int value;
    
    //获取当前的内存知
    public synchronized int get(){
        return value;
    }
    
    //比较
    //expectiveValue预估值
    public synchronized int compareAndSwap(int expectiveValue,int newValue){
        int oldValue = value;
        
        if(oldValue == expectiveValue){
            this.value = newValue;
        }
        return oldValue;
    }
    
    //设置
    public synchronized boolean compareAndSet(int expectiveValue,int newValue){
        return expectiveValue == compareAndSwap(expectiveValue, newValue);        
    }
    
}

原子变量：

原子变量

模拟CAS算法

猜你喜欢