Java并发编程（13）原子操作类

当程序更新一个变量时，如果多线程同时更新这个变量，可能得到期望之外的值，比如变量i++，A线程更新i+1，B线程也更新i+1，经过两个线程操作之后可能i不等于3，而是等于2。因为A和B线程从主内存中拿到i都为1，这就是线程不安全的更新操作，通常我们会使用synchronized来解决这个问题。
Java从JDK1.5开始提供了java.util.concurrent,atomic包（以下简称Atomic包），这个包中的原子操作类提供了一种用法简单、性能高效、线程安全地更新一个变量的方式。
Atomic包提供了4种类型的原子更新方式，分别是原子更新基本类型、原子更新数组、原子更新引用和原子更新属性（字段）。Atomic包里的类基本都是使用Unsafe的包装类。

原子更新基本类型类

使用原子的方式更新基本类型，Atomic包提供了一下3个类
（1）AtomicBoolean：原子更新布尔类型。
（2）AtomicInteger：原子更新整型。
（3）AtomicLong：原子更新长整型。

以AtomicInteger为例
（1）int addAndGet(int delta):以原子方式将输入的数值与实例中的值（AtomicInteger里的value）相加，并返回结果。
（2）boolean compareAndSet（int expect，int update）：如果输入的数值等于预期值，则以原子方式将该值设置为输入的值
（3）int getAndIncrement（）：以原子方式将当前值加1，注意，这里返回的是自增前的值
（4）void lazySet（int new Value）：最终会设置成new Value，使用lazySet设置值后，可能导致其他线程在之后一段时间内还是可以读到旧的值
（5）int getAndSet（int newValue）：以原子方式设置为newValue的值，并返回旧值。

实现原子性原理

Atomic包里的类基本都是使用Unsafe实现的

    public final int getAndAddInt(Object var1, long var2, int var4) {
        int var5;
        do {
            var5 = this.getIntVolatile(var1, var2);
        } while(!this.compareAndSwapInt(var1, var2, var5, var5 + var4));

        return var5;
    }
    如果当前数值是expected，则原子的将Java变量更新成x，更新成功返回ture
    public final native boolean compareAndSwapObject(Object var1, long var2, Object var4, Object var5);

    public final native boolean compareAndSwapInt(Object var1, long var2, int var4, int var5);

    public final native boolean compareAndSwapLong(Object var1, long var2, long var4, long var6);

通过代码，我们发现Unsafe只提供了3种CAS方法：compareAndSwapObject、compare- AndSwapInt和compareAndSwapLong，再看AtomicBoolean源码，发现它是先把Boolean转换成整 型，再使用compareAndSwapInt进行CAS，所以原子更新char、float和double变量也可以用类似 的思路来实现。