CAS原理

概念:

        CAS： CAS就是比较当前工作内存中的值和主内存中的值，如果相同则执行规定操作，否则继续比较直到主内存和工作内存中的值一致为止。CAS是一种乐观锁，乐观锁每次不加锁而是假设没有冲突而去完成某项操作，如果因为冲突失败就重试，直到成功为止。某个线程可以不让出cpu,而是一直while循环，如果失败就重试，直到成功为止。所以，当数据争用不严重时，乐观锁效果更好。比如CAS就是一种乐观锁思想的应用。

        CAS中三个核心参数：1.主内存中存放的V值，所有线程共享。2.线程上次从内存中读取的V值A存放在线程的帧栈中，每个线程私有。3.需要写入内存中并改写V值的B值。也就是线程对A值操作后放入到主存V中。图解如下图所示:

---

 CAS实现的核心代码：

下面就是CAS实现的核心代码，其实它实现的原理比较简单，就是比较从主内存中获取的未操作的副本和现在主存中值的区别，如果原有的副本和现在内存中的值不同，则返回现在内存中的值并重新计算，如果相同就返回经过计算的值。

if （A==V）
{
  V = B
  return B;
}  
 else
  return V;

如果不使用CAS机制，看看存在什么问题，假如V=1，现在Thread1要对V进行加1，Thread2也要对V进行加1，首先Thread1读取V=1到自己工作内存A中此时A=1，假设Thread2此时也读取V=1到自己的工作内存A中，分别进行加1操作后，两个线程中B的值都为2，此时写回到V中时发现V的值为2，但是两个线程分别对V进行加处理结果却只加了1有问题。

如果两个线程同时要对V进行加1操作使用上面的CAS机制后能不能获得正确结果。

①Thread 1和Thread2 要对V进行加1，Thread1和Thread2同时读取v值并且对V执行加1操作。

初始值 v=1，A=0, B=0。

②假设Thread1，Thread 2先读取V值赋给A，并且对A进行加1，得到B=2。

V=1，T1_A=1，T1_B=2；T2_A=1

Thread1要将T1_B写入V中，先要执行CAS操作：

if （A==V）
{
  V = B
  return B;
}  
 else
  return V;

因为T1_A=1=V，所以执行 V=T1_B=2，此时V=2。

③Thread2也要对V执行加操作。执行加操作之后

V=2 ，T2_A=1,T2_B=2，

当Thread2要将T2_B值写要V中之前要执行CAS操作，

if （T2_A==V）
{
  V = T2_B
  return T2_B;
}  
 else
  return V;

此时T2_A=1，V=2, T2_A!=V,这时候返回V=2，给T2_A，T2_A=V=2，然后再次对T2_A进行加1，得到T2_B，此时T2_B=3，T2_A=2，比较T2_A==V，所以将T2_B的值赋给T2_V，T2_V=T2_B=3。最后结果为3。正确。

---

 CAS存在的问题与解决方法：

1、ABA问题CAS需要在操作值的时候检查内存值是否发生变化，没有发生变化才会更新内存值。但是如果内存值原来是A，后来变成了B，然后又变成了A，那么CAS进行检查时会发现值没有发生变化，但是实际上是有变化的。ABA问题的解决思路就是在变量前面添加版本号，每次变量更新的时候都把版本号加一，这样变化过程就从“A－B－A”变成了“1A－2B－3A”。JDK从1.5开始提供了AtomicStampedReference类来解决ABA问题。

2、并发高循环时间长的时候开销大CAS操作如果长时间不成功，会导致其一直自旋，给CPU带来非常大的开销。

3、只能保证一个共享变量的原子操作对一个共享变量执行操作时，CAS能够保证原子操作，但是对多个共享变量操作时，CAS是无法保证操作的原子性的。Java从1.5开始JDK提供了AtomicReference类来保证引用对象之间的原子性，可以把多个变量放在一个对象里来进行CAS操作。

参考文章：

Java中CAS详解_院长i的博客-CSDN博客_javacas

https://www.jb51.net/article/125232.htm

Java中CAS详解_LiWang__的博客-CSDN博客_java中的cas

Java中的CAS - 墨天轮