cas乐观锁 java_Java CAS乐观锁

Java 的 concurrent 包中借助 CAS 实现了区别于 synchronized 同步锁的一种乐观锁，以及一系列的原子数据。

CAS 有3个操作数，内存值V，旧的预期值A，要修改的新值B。当且仅当预期值A和内存值V相同时，将内存值V修改为B，否则什么都不做。

CAS 通过调用 JNI 的代码实现的，允许 java 调用其他语言，而 compareAndSwap 就是借助 C 来调用 CPU 底层指令实现的，底层实现的方式仍然是排它锁，不过是由 CPU 来触发，比起 Synchronized 性能好很多。

Unsafe 类是 java 中非常特别的一个类，提供的操作可以直接读写内存、获得地址偏移值、锁定或释放线程。

AtomicInteger类：

public class AtomicInteger extends Number implements Serializable {

private static final long serialVersionUID = 6214790243416807050L;

private static final Unsafe unsafe = Unsafe.getUnsafe();

private static final long valueOffset；

private volatile int value;

public AtomicInteger(int var1) {

this.value = var1;

}

…..

…..

public final boolean compareAndSet(int var1, int var2) {

return unsafe.compareAndSwapInt(this, valueOffset, var1, var2);

}

public final boolean weakCompareAndSet(int var1, int var2) {

return unsafe.compareAndSwapInt(this, valueOffset, var1, var2);

}

public final int getAndUpdate(IntUnaryOperator var1) {

int var2;

int var3;

do {

var2 = this.get();

var3 = var1.applyAsInt(var2);

} while(!this.compareAndSet(var2, var3));

return var2;

}

public final int updateAndGet(IntUnaryOperator var1) {

int var2;

int var3;

do {

var2 = this.get();

var3 = var1.applyAsInt(var2);

} while(!this.compareAndSet(var2, var3));

return var3;

}

….

….

}

AtomicInteger 中我们可以看到：

value 被申明为 volatile，保证顺序和可见性；

valueOffset 记录了 value 在内存中的偏移；

compareAndSwapInt 对内存中的 value 进行 CAS 操作。

unsafe.cpp 中 compareAndSwapInt 实现代码：

UNSAFE_ENTRY(jboolean, Unsafe_CompareAndSwapInt(JNIEnv *env, jobject unsafe, jobject obj, jlong offset, jint e, jint x))

UnsafeWrapper("Unsafe_CompareAndSwapInt");

oop p = JNIHandles::resolve(obj);

jint* addr = (jint *) index_oop_from_field_offset_long(p, offset);

return (jint)(Atomic::cmpxchg(x, addr, e)) == e;

UNSAFE_END

Atomic:cmpxchg 方法汇编代码：

inline jint Atomic::cmpxchg (jint exchange_value, volatile jint* dest, jint compare_value) {

// alternative for InterlockedCompareExchange

int mp = os::is_MP();

__asm {

mov edx, dest

mov ecx, exchange_value

mov eax, compare_value

LOCK_IF_MP(mp)

cmpxchg dword ptr [edx], ecx

}

}

从代码中我们可以看出，compareAndSwapInt 底层还是用的是排他锁，只不过是 CPU 触发的。