CAS简介

CAS定义

CAS，是Compare and Swap的简称，实现并发算法是常用到的一种技术，在这个机制中有三个核心的参数。

• 1.主内存中存放的共享变量的值：V（一般情况下这个V是内存的地址值，通过这个地址可以获得内存中的值）。
• 2.工作内存中共享变量的副本值，也叫预期值：A。
• 3.需要将共享变量更新到的最新值：B。
  
  
  
  所以CAS是一种乐观锁机制的自旋锁。

CAS的例子

1. 在内存地址V当中，存储着值为10的变量。
2. 此时线程1想把变量的值增加1.对线程1来说，旧的预期值A=10，要修改的新值B=11.（预期值是指预期要处理的值，最新值指处理后的值）
3. 在线程1要提交更新之前，另一个线程2抢先一步，把内存地址V中的变量值率先更新成了11。
4. 线程1开始提交更新，首先进行A和地址V的实际值比较，发现A不等于V的实际值，提交失败。
5. 线程1 重新获取内存地址V的当前值，并重新计算想要修改的值。此时对线程1来说，A=11，B=12。这个重新尝试的过程被称为自旋。

CAS的缺点

• 1.循环时间长开销很大。
• 2.CAS机制只能保证一个变量的原子性操作，而不能保证整个代码块的原子性。
• 3.ABA问题。

ABA问题

解决方法

给V增加版本号，在compare阶段不仅要比较期望值A和地址V中的实际值，还要比较变量的版本号是否一致。