CAS(CompareAndSwap)

1 CAS简要理解

CAS某种意义上来说是一种乐观锁

比如有一个值a=0，现在我去读取它，当前线程读取到的E=0，将这个值改为1写回的过程中这时候就会比较E的值和当前a的值，两个是否相等，
①若a==0，则说明a的值未被修改过，也就是未被其他线程动过，这时候将1写回，a的值被修改为1
②若a!=0，说明a的值被修改过，假设当前a为2了，这时候当前线程修改a的值为1后无法写回，这时候当前线程就会继续读取a的值，这时E=2，我们再将a修改为3后，比较E和当前a的值，a和E相等都为2的话，这时候就可以将3写回，修改a的值为3了

2 ABA问题

其他线程修改数次之后，最后值和原值依然相同

解决

1.给变量加个版本号，在线程读取对应值的时候读取相应的版本号
2.定义一个boolean的变量，若未修改过为true，改变过了为false等

3 底层实现

CAS在java中的底层实现就是通过lock cmpchg指令实现的

加了lock指令之后，可以保证当前CPU执行对当前值修改的时候，其他的CPU不允许打断当前CPU的执行

4 CAS与volatile

前面看到的AtomicInteger的解决方法，内部并没有使用锁来保护共享变量的线程安全。那么它是如何实现的呢？

public void withdraw(Integer amount){
	while(true){
		int prev = balance.get();
		int next = prev - amount;
		//比较并设置值
		if(balance.compareAndSet(prev,next)){
			break;
		}
	}	
}

其中关键的是compareAndSet，它的简称就是CAS（也有Compare And Swap 的说法），它必须是原子操作

注意
其实CAS的底层是lock cmpxchg指令（x86架构），在单核 CPU 和多核 CPU 下都能够保证【比较-交
换】的原子性。
在多核状态下，某个核执行到带 lock 的指令时，CPU 会让总线锁住，当这个核把此指令执行完毕，再
开启总线。这个过程中不会被线程的调度机制所打断，保证了多个线程对内存操作的准确性，是原子
的。

4.1 volatile

获取共享变量时，为了保证该变量的可见性，需要使用 volatile 修饰。
它可以用来修饰成员变量和静态成员变量，他可以避免线程从自己的工作缓存中查找变量的值，必须到主存中获取
它的值，线程操作 volatile 变量都是直接操作主存。即一个线程对 volatile 变量的修改，对另一个线程可见。

注意
volatile 仅仅保证了共享变量的可见性，让其它线程能够看到最新值，但不能解决指令交错问题（不能保证原子性）

CAS 必须借助 volatile 才能读取到共享变量的最新值来实现【比较并交换】的效果

5 CAS特点

结合 CAS 和 volatile 可以实现无锁并发，适用于线程数少、多核 CPU 的场景下。

• CAS 是基于乐观锁的思想：最乐观的估计，不怕别的线程来修改共享变量，就算改了也没关系，我吃亏点再重试呗。
• synchronized 是基于悲观锁的思想：最悲观的估计，得防着其它线程来修改共享变量，我上了锁你们都别想改，我改完了解开锁，你们才有机会。
• CAS 体现的是无锁并发、无阻塞并发，请仔细体会这两句话的意思
  • 因为没有使用 synchronized，所以线程不会陷入阻塞，这是效率提升的因素之一
  • 但如果竞争激烈，可以想到重试必然频繁发生，反而效率会受影响