CAS------CMPXCHG

---

什么是CAS

CAS（Compare-and-Swap），即比较并替换，是一种实现并发算法时常用到的技术。
它是一条CPU并发原语，用于判断内存中某个位置的值是否为预期值，如果是则更改为新的值，这个过程是原子的。
CAS需要有3个操作数：内存地址V，旧的预期值A，即将要更新的目标值B。 CAS指令执行时，当且仅当内存地址V的值与预期值A相等时，将内存地址V的值修改为B，否则就什么都不做。整个比较并替换的操作是一个原子操作。

CAS的底层实现----CMPXCHG

cmpxchg(void* ptr, int old, int new)，如果ptr和old的值一样，则把new写到ptr内存，否则返回ptr的值，整个操作是原子的。

/* TODO: You should use modern GCC atomic instruction builtins instead of this. */  
#include <stdint.h>  
#define cmpxchg( ptr, _old, _new ) { \  
  volatile uint32_t *__ptr = (volatile uint32_t *)(ptr);   \  
  uint32_t __ret;                                     \  
  asm volatile( "lock; cmpxchgl %2,%1"           \  
    : "=a" (__ret), "+m" (*__ptr)                \  
    : "r" (_new), "0" (_old)                     \  
    : "memory");                 \  
  );                                             \  
  __ret;                                         \  
}  

CAS缺点

循环时间长开销很大：
自旋CAS如果长时间不成功，会给CPU带来非常大的执行开销
只能保证一个共享变量的原子操作：
当对一个共享变量执行操作时，我们可以使用循环CAS的方式来保证原子操作，但是对多个共享变量操作时，循环CAS就无法保证操作的原子性，这个时候就可以用锁来保证原子性。
什么是ABA问题？ABA问题怎么解决？
CAS 的使用流程通常如下：1）首先从地址 V 读取值 A；2）根据 A 计算目标值 B；3）通过 CAS 以原子的方式将地址 V 中的值从 A 修改为 B。
但是在第1步中读取的值是A，并且在第3步修改成功了，我们就能说它的值在第1步和第3步之间没有被其他线程改变过了吗？
如果在这段期间它的值曾经被改成了B，后来又被改回为A，那CAS操作就会误认为它从来没有被改变过。这个漏洞称为CAS操作的“ABA”问题。
解决方法：时间戳原子引用；在变量前面加上版本号，每次变量更新的时候变量的版本号都+1，即A->B->A就变成了1A->2B->3A