什么是CAS
CAS全称compare and swap 或 compare and set 或 compare and exchange,也就是比较并交换。
比较并交换是什么意思呢?java中有一些类是以Atomic开头的,例:AtomicInteger;这些类就是通过CAS的方式来保证线程安全的。
new AtomicInteger().incrementAndGet()
public final int incrementAndGet() {
return U.getAndAddInt(this, VALUE, 1) + 1;
}
incrementAndGet()又调用了getAndAddInt方法
@HotSpotIntrinsicCandidate
public final int getAndAddInt(Object o, long offset, int delta) {
int v;
do {
v = getIntVolatile(o, offset);
} while (!weakCompareAndSetInt(o, offset, v, v + delta));
return v;
}
可见getAndAddInt方法进行了CAS操作,利用死循环不断尝试修改基于对象o、偏移offset的变量。用一段伪代码来表示:
cas(需要修改的值, 期望修改前的值, 修改后的值) {
if (需要修改的值 == 期望修改前的值){
需要修改的值 = 修改后的值;
}
}
CAS会出现问题
CAS会出现两个问题,第一个就是ABA问题,第二个就是if里的比较操作和之后的赋值操作怎么保证是原子操作
ABA问题
什么是ABA问题?
假如需要修改的值原来是1,想要把它改成2,一个线程拿到1想要修改,需要先进行判段,有可能这个1已经被第二个线程改成了3,第三个线程又给它改回了1,也就是此1非彼1。
ABA问题的解决方案
如果需要修改的值是基本数据类型,不需要处理,因为第一个线程的1和第三个线程的1没有区别
如果需要修改的值是引用数据类型,可以增加一个版本号,每次修改都去增加版本号
原子操作问题
@HotSpotIntrinsicCandidate
public final boolean weakCompareAndSetInt(Object o, long offset,
int expected,
int x) {
return compareAndSetInt(o, offset, expected, x);
}
@HotSpotIntrinsicCandidate
public final native boolean compareAndSetInt(Object o, long offset,
int expected,
int x);
CAS是有JVM来实现的,JVM是怎么实现的呢?
JVM底层是使用了lock cmpzchg 指令
,cmpzchg虽然本身并非原子操作,通过lock去锁指令,就是原子操作了