以下讲解一下,个人对CAS的理解:
CAS:CompareAndSwap;在java.util.concurrent.atomic包下的原子操作的类,基本使用的都是CAS自旋锁的方式来保证操作的原子性。
1.基本实现过程是:从主内存中读取变量的值到工作内存中,比如记录为A,然后再将计算结果记为B,然后再读取主内存的值与A比较,如果没有改变则将B的值刷新到主内存中,如果变化了,则重复第一步的操作。
其中,涉及ABA问题,通过加版本号来处理,在获取值的时候同时读到版本号,在比较的时候,比较值也比较版本号。
2.代码实现:是通过调用Unsafe类中的compareAndSwap开头的方法,再往深了说,就需要看HotSpot中的代码了,最终实现是通过调用C++中Atomic类的cmpxchg方法(compareAndExchange)。cmpxchg方法中使用到了2个汇编指令,一个是cmpxchg,还有一个由于我们现在是操作系统基本都是多核的,所以cmpxchg也不能保证原子性,所以还需要加上一个lock指令。
3.性能提升:CAS是轻量级锁,它只需要在用户态操作就可以了,并不需要跟内核态打交道;重量级锁的获取,是需要用户态向内核态申请锁资源的。
然而,CAS自旋锁,在自旋的过程中是消耗CPU资源的,如果太多的CAS自旋,势必会浪费掉大量的CPU资源,所以在竞争激烈的线程间,ACS还是会升级成重量级锁,毕竟重量级锁是一个队列,在其他线程wait的时候,是不消耗CPU资源的。