CAS
概念
compare and swap:比较和交换
作用
硬件级别支持的比较&交换的原子操作
//伪代码 ,早期以下整段代码是不具备原子操作的 是线程不安全的
if(a == oldValue){
a = newValue
}
这段代码在以前是不具备原子操作的,硬件升级后,具备了原子能力
java应用
- Unsafe类
public static Unsafe getUnsafe() {
Class var0 = Reflection.getCallerClass();
//类加载限定不允许用户自己调用
if (!VM.isSystemDomainLoader(var0.getClassLoader())) {
throw new SecurityException("Unsafe");
} else {
return theUnsafe;
}
}
//CAS原子操作类
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);
底层的sun.misc.Unsafe类中实现了native方法,供java底层调用,而用户无法调用,
java.util.concurrent.atomic原子包
原子包下的内容核心就是使用Unsafe类来实现的线程安全,以AtomicReference类为例,其实大致都差不多
/**只是确保了原子操作
*多线程情况下 如果值已经被其他线程改了就有可能交换不成功
*不成功就直接return false了
*/
public final boolean compareAndSet(V expect, V update) {
return unsafe.compareAndSwapObject(this, valueOffset, expect, update);
}
/**确保了原子操作
*多线程情况下 如果值已经被其他线程改了就有可能交换不成功
*不成功就反复重试,如果竞争激励 则可能多次自旋
* @since 1.8
*/
public final V getAndUpdate(UnaryOperator<V> updateFunction) {
V prev, next;
do {
prev = get();
next = updateFunction.apply(prev);
} while (!compareAndSet(prev, next));
return prev;
}