Java并发中的原子操作包java.util.concurrent.atomic

java.util.concurrent.atomic下支持并发的原子操作

java.util.concurrent.atomic.AtomicStampedReference<V>;
java.util.concurrent.atomic.AtomicInteger;
java.util.concurrent.atomic.AtomicBoolean;
java.util.concurrent.atomic.AtomicIntegerArray;
java.util.concurrent.atomic.AtomicLong;
java.util.concurrent.atomic.AtomicLongArray;
java.util.concurrent.atomic.AtomicMarkableReference<V>;
java.util.concurrent.atomic.AtomicReference<V>;
java.util.concurrent.atomic.AtomicReferenceArray<E>;

java.util.concurrent.atomic.AtomicStampedReference<V>;
java.util.concurrent.atomic.AtomicInteger;
java.util.concurrent.atomic.AtomicBoolean;
java.util.concurrent.atomic.AtomicIntegerArray;
java.util.concurrent.atomic.AtomicLong;
java.util.concurrent.atomic.AtomicLongArray;
java.util.concurrent.atomic.AtomicMarkableReference<V>;
java.util.concurrent.atomic.AtomicReference<V>;
java.util.concurrent.atomic.AtomicReferenceArray<E>;

以AtomicInteger为例我们看下他的并发实现：

publicfinalint getAndSet(int newValue) {
 for (;;) {
 int current = get();
 if (compareAndSet(current, newValue))
 return current;
 }
}

    public final int getAndSet(int newValue) {
        for (;;) {
            int current = get();
            if (compareAndSet(current, newValue))
                return current;
        }
    }

在借助了死循环借助compareAndSet实现了原子操作，而compareAndSet的实现如下：

publicfinalboolean compareAndSet(int expect, int update) {
 return unsafe.compareAndSwapInt(this, valueOffset, expect, update);
}

public final boolean compareAndSet(int expect, int update) {
	return unsafe.compareAndSwapInt(this, valueOffset, expect, update);
}

我们发现他借助了Unsafe实现了其原子操作，Unsafe 是基于CAS(compare and swap)的,CAS是现代CPU提供给并发程序使用的原语操作. 不同的CPU有不同的使用规范.在 Intel 处理器中，比较并交换通过指令的 cmpxchg 系列实现。CAS 操作包含三个操作数 —— 内存位置（V）、预期原值（A）和新值(B).JUC里的原子类的实现都是通过CAS,CAS能更高效的从机器码层面提供并发操作.

原文地址：http://smallnetvisitor.iteye.com/blog/1872984