1. CAS(Compare and swap):字面意思:“比较和交换”。
一个CAS涉及到以下操作:
我们假设内存中的原数据V,旧的预期值A,需要修改的新值B。
1. 比较 A 与 V 是否相等。(比较)
2. 如果比较相等,将 B 写入 V。(交换)
3. 返回操作是否成功。
下面一段伪代码可以帮助我们理解CAS
boolean CAS(address, expectValue, swapValue) {
if (&address == expectedValue) {
&address = swapValue;
return true;
}
return false;
}
当多个线程同时对某个资源进行CAS操作,只有一个线程能操作成功,但是不会阻塞其他线程,其他线程只是会收到操作失败的信号,然后继续下一次操作。(类似于乐观锁)
2.CAS有哪些应用?
1.实现原子类
标准库中提供了 java.util.concurrent.atomic 包, 里面的类都是基于这种方式来实现的. 典型的就是 AtomicInteger 类. 其中的 getAndIncrement 相当于 i++ 操作。
伪代码理解原理:
class AtomicInteger {
private int value;
public int getAndIncrement() {
int oldValue = value;
while ( CAS(value, oldValue, oldValue+1) != true) {
oldValue = value;
}
return oldValue;
}
}
过程分析:
注意:此处是两个线程一次getAndIncrement()操作。
2. 实现自旋锁,伪代码
public class SpinLock {
private Thread owner = null;
public void lock(){
// 通过 CAS 看当前锁是否被某个线程持有.
// 如果这个锁已经被别的线程持有, 那么就自旋等待.
// 如果这个锁没有被别的线程持有, 那么就把 owner 设为当前尝试加锁的线程.
while(!CAS(this.owner, null, Thread.currentThread())){
}
}
public void unlock (){
this.owner = null;
}
}
3. CAS的ABA问题
1.什么是ABA问题?
假设存在两个线程 t1 和 t2. 有一个共享变量 num, 初始值为 A.
接下来, 线程 t1 想使用 CAS 把 num 值改成 Z, 那么就需要
先读取 num 的值, 记录到 oldNum 变量中.
使用 CAS 判定当前 num 的值是否为 A, 如果为 A, 就修改成 Z.
但是, 在 t1 执行这两个操作之间, t2 线程可能把 num 的值从 A 改成了 B, 又从 B 改成了 A。
这里是不是有点迷惑,好像这个ABA问题并没有产生什么影响。 但是在某种极限条件下,是可能出现bug的。
在此处,A的值是不变的,但是可能发生的情况是,本身t2线程是要阻止线程1进行操作的,但是因为值变化的太快了,线程1又进行了一次操作。
比如此处有个滑稽老哥:
他要去银行取钱,他的账户里有100,想取走50,在柜台操作的时候,系统创建了两个取钱的线程,我们希望一个成功一个失败,但是在线程1扣款成功的瞬间他的朋友滑稽二哥给他又转了50块。此时线程2依然会执行取款操作,与预期不符。
2. 怎么解决ABA问题?
给要修改的值, 引入版本号. 在 CAS 比较数据当前值和旧值的同时, 也要比较版本号是否符合预期.
CAS 操作在读取旧值的同时, 也要读取版本号.
真正修改的时候,
如果当前版本号和读到的版本号相同, 则修改数据, 并把版本号 + 1.
如果当前版本号高于读到的版本号. 就操作失败(认为数据已经被修改过了).