乐观锁---- CAS算法

CAS算法

CAS是项乐观锁技术，当多个线程尝试使用CAS同时更新同一个变量时，只有一个线程能更新变量的值，其它线程都会更新失败，但是更新失败的线程并不会被挂起，而是被告知这次竞争中失败，并可以再次尝试。
CAS有3个操作数，内存值V，旧的预期值A，要修改的新值B。当且仅当预期值A和内存值V相同时，将内存值V修改为B，如果修改失败(即当前内存值与旧的预期值不一致), 则将预期值更新为最新的内存值, 然后继续尝试，直至修改成功.
简而言之, 就是CAS会采用无限循环的方式, 一直执行更新值的操作, 直到更新成功.

CAS的优点

CAS是一种无锁算法. 无锁, 就是不用加锁也能保证线程安全; 加锁和释放锁的过程都会极大的消耗处理器的资源. CAS算法可以减少这些资源的损耗.

CAS的缺点：

CAS虽然很高效的解决了原子操作问题，但是CAS仍然存在三大问题。

1. 循环时间长开销很大。
2. 只能保证一个共享变量的原子操作。
3. ABA问题。

循环时间长开销很大：

从CAS算法的实现原理中就能看出，如果CAS失败，会一直进行尝试。如果CAS长时间一直不成功，一直循环会给CPU带来很大的开销。

只能保证一个共享变量的原子操作：

当对一个共享变量执行操作时，我们可以使用循环CAS的方式来保证原子操作，但是对多个共享变量操作时，循环CAS就无法保证操作的原子性，这个时候就可以用锁来保证原子性。

什么是ABA问题？ABA问题怎么解决？

如果内存地址V初次读取的值是A，并且在准备赋值的时候检查到它的值仍然为A，那我们就能说它的值没有被其他线程改变过了吗？

如果在这段期间它的值曾经被改成了B，后来又被改回为A，那CAS操作就会误认为它从来没有被改变过。这个漏洞称为CAS操作的“ABA”问题。Java并发包为了解决这个问题，提供了一个带有标记的原子引用类“AtomicStampedReference”，它可以通过控制变量值的版本来保证CAS的正确性。因此，在使用CAS前要考虑清楚“ABA”问题是否会影响程序并发的正确性，如果需要解决ABA问题，改用传统的互斥同步可能会比原子类更高效。

CAS总结:

• CAS在并发的环境可以不加锁实现线程安全, 能提高程序执行的速率.
• 从cas的实现思路中可以看出, 它采用无限循环对值进行修改, 直至修改成功时才会退出循环.
  当线程竞争激烈时(即内存值会一直被其他线程所更改导致cas一直修改不成功), 会增大CPU的消耗.
• cas是根据内存值与旧预期值是否相等来判断修改是否成功的, 但是它无法确保当前的内存值是否是被其他线程修改过的.
  即当前内存值可能会被其他的线程修改了多次,但是修改后的值与修改前的值一样. 这时cas也会判定为修改成功