什么是CAS机制
CAS是Java中Unsafe类里面的一个方法,它的全称是CompareAndSwap,比较并交换的一个意思,它的主要功能是能够去保证在多线程的环境下对于共享变量修改的一个原子性。
比如这样一个列子,有一个成员变量叫state,它的默认值是0,其中定义了一个方法叫doSmething(),这个方法的逻辑是先判断state是否为0,如果为0就修改成1,这个逻辑在单线程的情况下,没有任何问题,但是在多线程的环境下,会存在原子性的问题,因为这是典型的Read - Write
的一个操作,一般情况下呢,我们会在doSmething()这个方法,去加一个Synchronized
的同步锁来解决这样一个原子性问题,但是加同步锁一定会带来性能上的损耗。
如何优化
所以对这一类的场景,可以使用CAS机制来进行优化。这个是优化之后的一个代码,在doSmething()这个方法中呢,我们调用了Unsafe类里面的compareAndSwapInt()
方法来达到同样的目的,这个方法呢有四个参数,分别是当前对象实例,成员变量state在内存地址中一个偏移量,预期值0和期望更改之后的值1,CAS机制会比较state内存地址偏移量对应的值和传入的预期值0是否相等,如果相等直接修改内存地址中state的值等于1,否则返回false,表示返回失败,而这个过程它是一个原子的,不存在任何线程安全的问题,CompareAndSwap
是一个native方法,实际上,它最终还是会面临同样的问题,先从内存地址中读取state值,然后再去比较,最后再去修改,这过程不管在什么层面去实现,都会存在原子性问题,所以在CompareAndSwap
的底层实现里面呢,如果在多核的cpu环境下会增加一个lock指令来对缓存或者总线去加锁,从而是保证比较并替换这两个操作的原子性。
CAS应用场景
CAS主要是应用在并发场景里面,比较典型的使用场景
- 第一个是j.u.c里面Atomic的原子实现,比如说AtomicInteger和Atomiclong
- 第二个是实现多线程对共享资源的互斥性质,比如AQS,ConcurrentHashMap,以及ConcurrentLinkedQueue等