Java CAS
CAS的概念,它是一种更新的原子操作。原子操作类指的java.util.concurrent.atomic包下,一系列以Atomic开头的包装类。如AtomicBoolean,AtomicInteger,AtomicLong。它们分别用于Boolean,Integer,Long类型的原子性操作。
CAS 算法的过程是这样:它包含 3 个参数CAS(V,E,N)。V 表示要更新的变量(内存值),E 表示预期值(旧的),N 表示新值。当且仅当 V 值等于 E 值时,才会将 V 的值设为 N,如果 V 值和 E 值不同,则说明已经有其他线程做了更新,则当前线程什么都不做。最后,CAS 返回当前 V 的真实值。CAS 操作是抱着乐观的态度进行的(乐观锁),它总是认为自己可以成功完成操作。当多个线程同时使用 CAS 操作一个变量时,只有一个会胜出,并成功更新,其余均会失败。失败的线程不会被挂起,仅是被告知失败,并且允许再次尝试,当然也允许失败的线程放弃操作。基于这样的原理,CAS 操作即使没有锁,也可以发现其他线程对当前线程的干扰,并进行恰当的处理。
以AtomicInteger为例,有提供以下方法:
public final int get() //获取当前的值
public final int getAndSet(int newValue)//获取当前的值,并设置新的值
public final int getAndIncrement()//获取当前的值,并自增
public final int getAndDecrement() //获取当前的值,并自减
public final int getAndAdd(int delta) //获取当前的值,并加上预期的值
RunnableTest
public class RunnableTest implements Runnable {
private AtomicInteger num = new AtomicInteger(10);
@Override
public void run() {
while (num.get() > 0) {
System.out.println(Thread.currentThread().getName() + " , Num = " + num.getAndDecrement());
}
}
}
Test
public class Test {
public static void main(String[] args) {
RunnableTest runnableTest = new RunnableTest();
new Thread(runnableTest, "r1").start();
new Thread(runnableTest, "r2").start();
new Thread(runnableTest, "r3").start();
}
}
CAS更新实例:
内存中A地址的值为100,线程T1期望将此值修改为150
如果此时只有一个线程T1,则没有问题
若同时存在一个线程T2,与线程T1同时获取地址A的值,并且T2也期望修改并且先于T1提交,待T2提交后,发现A值已不是100,则重新读取A的值,然后再修改,这个重新获取操作也被称为自旋。
通过以上实例,可以知道CAS操作只是在写的时候加了锁,读的时候并不加锁,所以此类为乐观锁,认为代码读多写少。
CAS缺点:
- 消耗过大:如果并发量大的情况下,值被多个线程同时请求修改,除提交线程外,其余都要自旋重新获取。
- 不能保证代码块的原子性:CAS机制所保证的知识一个变量的原子性操作,而不能保证整个代码块的原子性。比如需要保证3个变量共同进行原子性的更新,就不得不使用synchronized了
- ABA问题
ABA问题:
有三个线程,T1和T2为同一操作的多次请求,T3为单独请求预期结果如下所示
T1先执行,修改值
如果说,接下来T2执行,那么原值不对,不进行修改,则T3执行后没有问题
如果T3先执行,那么就会出问题,T3将值变成100后,T2又执行一次,最终值就成为50,不是预期的100了
为了解决ABA问题,CAS每次操作时,除了判断A地址的值,还会判断A地址值的版本号。在Java中,AtomicStampedReference类就实现了用版本号作比较额CAS机制。