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>;

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

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

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

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能更高效的从机器码层面提供并发操作.

你可能感兴趣的:(Concurrent)