CAS

CAS:

  • 并发
  • 我认为V的值应该是A,如果是的话我就把它修改成B,如果不是A(就说明被别人修改过了),那我就不修改了,避免多人同时修改导致出错。
  • CAS有三个操作数:内部值V、预期值A、要修改的值B,当且仅当预期值A和内存值V相同时,才将内存值修改为B,否则什么都不做。随后返回现在的V值。
    CAS
  • 在java里如何利用CAS实现原子操作:
    • AtomicInteger加载Unsafe工具,来直接操作内存数据。
    • 用Unsafe来实现底层操作。
    • 用volatile修饰value字段,保证可见性。
    • getAndAddInt方法分析
      CAS
  • Unsafe类
    • Unsafe是CAS的核心类。java无法直接访问底层操作系统,而是通过本地(native)方法来访问。不过尽管如此,JVM还是开了一个后门,JDK中有一个类Unsafe,它提供了硬件级别的原子操作。
    • valueOffset表示的是变量在内存中的偏移地址,因为Unsafe就是根据内存偏移地址获取数据的原值的,这样我们就能通过Unsafe来实现CAS了。
    • Unsafe的compareAndSwapInt方法:
      • 本方法中先想办法拿到变量value在内存中的地址。
      • 通过Atomic::cmpxchg实现原子性的比较和替换,其中参数x是即将更新的值,参数e是原内存的值,至此完美实现了CAS的全过程。
  • CAS缺点:
    • ABA问题
    • 自旋时间过长