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