什么是 CAS
CAS(Compare And Swap/Set)比较并交换,CAS 算法的过程是这样:它包含 3 个参数V,E,N。V 表示要更新的变量(内存值),E 表示预期值(旧的),N 表示新值。当且仅当 V 值等于 E 值时,才会将 V 的值设为 N,如果 V 值和 E 值不同,则说明已经有其他线程做了更新,则当 前线程什么都不做。最后,CAS 返回当前 V 的真实值。
CAS 操作是抱着乐观的态度进行的(乐观锁),它总是认为自己可以成功完成操作。当多个线程同时 使用 CAS 操作一个变量时,只有一个会胜出,并成功更新,其余均会失败。失败的线程不会被挂 起,仅是被告知失败,并且允许再次尝试,当然也允许失败的线程放弃操作。基于这样的原理, CAS 操作即使没有锁,也可以发现其他线程对当前线程的干扰,并进行恰当的处理。
CAS缺点
ABA问题,所谓的ABA就是将一个变量改为A,再改为B,再改为A,这个时候可能会认为这个变量没发生改变。这个问题可以通过加版本号解决。CAS有个很大的局限,就是自旋如果长时间不成功,会带来很大的性能开销。如果变更操作很耗时,同时变更很频繁,就可能导致自旋长时间不成功,带来大量的性能开销。CAS只能对一个变量进行原子性操作,如果想对两个变量进行原子性操作,可以将这两个变量放到一个实体对象里面。