J.U.C-4.CAS机制

CAS机制

CAS(Compare And Swap，即比较并交换)，是解决多线程并行情况下使用锁造成性能损耗的一种机制。其原理是利用sun.misc.Unsafe.java 类通过JNI来调用硬件级别的原子操作来实现CAS(即CAS是借助C来调用CPU底层指令实现的)。

CAS机制=比较并交换+乐观锁机制+锁自旋

设计思想：如果内存位置 的值与 预期原值 相匹配，那么处理器会自动将该位置值更新为新值，否则处理器不做任何操作。

ReentrantLock、ReentrantReadWriteLock 都是基于 AbstractQueuedSynchronizer (AQS)，而 AQS 又是基于 CAS。CAS 的全称是 Compare And Swap（比较与交换），它是一种无锁算法。synchronized和Lock都采用了悲观锁的机制，而CAS是一种乐观锁的实现。乐观锁的原理就是每次不加锁去执行某项操作，如果发生冲突则失败并重试，直到成功为止，其实本质上不算锁，所以很多地方也称之为自旋。乐观锁用到的主要机制就是CAS（Compare And Swap）。

CAS特性

• 通过JNI借助C来调用CPU底层指令实现
• 非阻塞算法
• 非独占锁

CAS缺陷

• ABA问题：X线程读到为A；Y线程立刻改为B，又改为A；X线程发现值还是A，此时CAS比较值相等，自旋成功
  • 使用数据乐观锁的方式给它加一个版本号或者时间戳，如使用 AtomicStampedReference<V> 解决
• 自旋消耗资源：多个线程争夺同一个资源时，如果自旋一直不成功，将会一直占用CPU
  • 破坏掉死循环，当超过一定时间或者一定次数时，return退出
• 只能保证一个共享变量的原子操作
  • 可以加锁来解决
  • 封装成对象类解决，如使用 AtomicReference<V> 解决

上一篇：J.U.C-3.LockSupport
下一篇：