Java并发的CAS&AQS技术

细说CAS技术

一、CAS理论：

1. CAS是Java的lock-free机制的实现。
2. CAS 是相等即可设置，我理解是一种概念。配合上loop即可在高并发时使用，可以理解为一种乐观锁。
3. CAS会有ABA问题出现。个人理解结果有两种，（1）同样的value更新到同样的值，是正确的结果。（2）如果出现错误，那是compare的value选择错误，应该选择唯一性的值，或者加入tag。

发生了 A -> B -> A 的更新，仅仅判断数值是 A，可能导致不合理的修改操作。针对这种情况，Java 提供了 AtomicStampedReference 工具类，通过为引用建立类似版本号（stamp）的方式，来保证 CAS 的正确性，具体用法请参考这里的

4. cas的应用场景为短时间锁和无锁的安全保障，如果变量长时间被锁，不断loop可能造成cpu 性能飙升。

Lock-Free无锁编程是指在不使用锁的情况下，在多线程环境下实现多变量的同步。即在没有线程阻塞的情况下实现同步。这样可以避免竞态、死锁等问题。

二、AtomicInteger的CAS应用

public class AtomicInteger extends Number implements java.io.Serializable {
    private static final long serialVersionUID = 6214790243416807050L;

    // setup to use Unsafe.compareAndSwapInt for updates
    private static final Unsafe unsafe = Unsafe.getUnsafe();
    private static final long valueOffset;//地址偏移量

    static {
        try {
            valueOffset = unsafe.objectFieldOffset
                (AtomicInteger.class.getDeclaredField("value"));//获取地址偏移量
        } catch (Exception ex) { throw new Error(ex); }
    }

    private volatile int value;//仅仅用作get和原子性set

  public final int getAndAdd(int delta) {
        return unsafe.getAndAddInt(this, valueOffset, delta);//由unsafe调用cpu指令，更新value的值。
    }

三、AbstractQueuedSynchronizer并发基础抽象类。

AQS是 Java 并发包中，实现各种同步结构和部分其他组成单元（如线程池中的 Worker）的基础。

以ReentrantLock为例，内部锁就是基于AbstractQueuedSynchronizer实现的。

public class ReentrantLock implements Lock, java.io.Serializable {
    private static final long serialVersionUID = 7373984872572414699L;
    /** Synchronizer providing all implementation mechanics */
    private final Sync sync;

    /**
     * Base of synchronization control for this lock. Subclassed
     * into fair and nonfair versions below. Uses AQS state to
     * represent the number of holds on the lock.
     */
    abstract static class Sync extends AbstractQueuedSynchronizer {
        private static final long serialVersionUID = -5179523762034025860L;