Java之CAS无锁算法

 如果一个线程失败或挂起不会导致其他线程也失败或挂起，那么这种算法就被称为非阻塞算法。而CAS就是一种非阻塞算法实现，也是一种乐观锁技术。它能在不使用锁的情况下实现多线程之间的变量同步，所以CAS也是一种无锁算法。

1、CAS的实现

 CAS包含了3个操作数——需要读写的内存位置V、进行比较的值A和拟写入的新值B。当且仅当V的值等于A时，CAS才会通过原子方式用新值B来更新V的值，否则不会执行任何操作，下面来看模拟CAS的实现。

    //CAS模拟实现
    public class SimulatedCAS {
   
        private int value;
    
        public synchronized int get() {
   
            return value;
        }
    
        public synchronized int compareAndSwap(int expectedValue, int newValue) {
   
            int oldValue = value;
            if (oldValue == expectedValue) {
   
                value = newValue;
            }
            return oldValue;
        }
    
        public synchronized boolean compareAndSet(int expectedValue, int newValue) {
   
            return (expectedValue == compareAndSwap(expectedValue, newValue));
        }
    }

 SimulatedCAS就是模拟CAS的实现，因为这里仅仅是模拟CAS，明白其语义，所以代码还是很简单的。

    //基于CAS实现的一个线程安全计数器
    public class CasCounter {
   
        private SimulatedCAS value;

        public int getValue() {
   
            return value.get();
        }

        public int increment() {
   
            int v;
            do {
   
                v = value.get();
            } while (v != value.compareAndSwap(v, v + 1));
            return v + 1;
        }
    }

 CasCounter就是基于SimulatedCAS实现的一个线程安全的计数器，CasCounter不会阻塞，但如果其他线程同时更新更新计数器，那么将会多次执行重试操作。理论上，如果其他线程在每次竞争CAS时总是获胜，那么这个线程每次都会重试，但实际上很少发生这种类型的饥饿问题。

3、原子变量类

 Java5.0引入了底层的支持，在int、long和对象引用等类型上也都公开了CAS操作，并且JVM把它们编译为底层硬件提供的最有效方法。在支持CAS的平台，运行时把它们编译为相应的（多条）机器指令。最坏的情况下，如果不支持CAS指令，那么JVM将使用自旋锁。因此Java提供的CAS解决方案就与平台/编译器紧密相关，其性能也受平台/编译器影响。