package Juc;
import java.util.concurrent.atomic.AtomicInteger;
/*
* CAS 是什么》? ====》compare And Set
*
* 比较并交换
* 是JDK的rt.jar包下的sun==》misc的unsafe类,cup并发原语,汇编语言指令保证原子性。
* 保证原子性的原理:
*
* 主内存对象的变量为5,A,B俩个工作线程拷贝变量值到工作内存(栈内存),假如A线程被cpu挂起,
* B线程执行unsafe方法(cpu并发原语)比较主内存与工作内存变量未被修改,则执行自加业务操作
* A线程被唤醒,执行unsafe方法(cpu并发原语)比较主内存与工作内存变量值被改变,则重新拷贝主内存改变后的值,
* 从新执行unsafe方法,循环比较直至成功完成自加。
*/
public class CAS {
public static void main(String[] args) {
AtomicInteger atomicInteger= new AtomicInteger(5);
System.out.println(atomicInteger.compareAndSet(5, 2019)+"\t current data:"+atomicInteger.get());
System.out.println(atomicInteger.compareAndSet(5, 1024)+"\t current data:"+atomicInteger.get());
}
}
结果:
CAS是一个乐观锁的实现,只能解决单一变量的原子性问题,更新之前,通过自旋查询期望值与主存值是否一直,具有A->B->A问题。
ABA问题解决方案是加版本号(时间戳),但不能解决自旋消耗cpu性能,单一变量原子性问题。