CAS算法的一些局限

Java架构师交流群：793825326

java版本：jdk1.8

IDE：idea 18

前面我分析了ConcurrentHashMap源码，它的线程安全策略是volatile+CAS+synchronized+sizeCtl。这里简单说下CAS一般会有哪些问题：

1）ABA问题，所谓ABA就是将一个变量改为A，再改为B，再改为A，这个时候可能会认为这个变量没发生改变。这个问题可以通过加版本号解决，目前Java的做法是：首先检查当前引用是否等于预期引用，并且当前标志是否等于预期标志，如果全部相等，则以原子方式将该引用和该标志的值设置为给定的更新值。也就是版本号+引用比较。

2）CAS有个很大的局限，就是自旋如果长时间不成功，会带来很大的性能开销。如果变更操作很耗时，同时变更很频繁，就可能导致自旋长时间不成功，带来大量的性能开销。

3）目前的CAS只能对一个变量进行原子性操作，如果你想对两个变量进行原子性操作，可以将这两个变量（比如String a，String b）放到一个实体对象里面进行。

4）用于对象实例化时会导致多次调用构造方法。这个非常值得注意，当你使用该方法去实例某个对象时，很有可能有很多线程都实例化了这个类，如果这个类里面的构造方法执行一些重要的不能重复的代码，这就会导致出现无法预期的问题。这个在编码阶段需要格外注意。