Java并发编程-CAS乐观锁

文章目录

目录

文章目录

前言

一、CompareAndSet（CompareAndSwap）

二、基于while(!CAS)的原子实现类

总结

---

前言

主要介绍了Java并发编程中的CAS乐观锁。

---

一、CompareAndSet（CompareAndSwap）

• 应用
  • CAS与volatile组合实现无锁并发、无阻塞并发，适用于少线程、多核CPU（线程数少于CPU内核个数）场景
  • 在JUC中实现锁时，使用该方法修改锁的同步器state状态
  • volatile int value；while(!compareAndSet（待修改value，修改后value）)，将线程从缓存中得到的待修改value与实际内存中最新value作比较，同则修改为修改后value返回true，不同则返回false重试
• 思想
  • CAS乐观锁思想
    • 线程不怕别的线程修改，若执行过程中发生其他线程修改共享变量的情况，重新循环重试拿到最新共享变量值
    • volatile可以保证每次都能拿到内存中最新的共享变量值，与线程从缓存中拿到的值对比，相同则修改成功，失败则循环重试
  • synchronize悲观锁思想
    • 线程执行过程中不允许其他线程对共享变量进行任何改变，上锁独占临界区，就算时间片到发生上下文切换也不释放临界区锁
• 效率分析
  • 没有上synchronize锁，线程不会发生上下文切换陷入阻塞，提高效率
  • 线程数大于CPU核心数导致竞争激烈时，频繁重试会一直占用CPU，导致效率降低

二、基于while(!CAS)的原子实现类

• 原子整数
  • 保证对整数操作的方法的原子性
• 原子引用
  • 保证对引用本身操作的方法的原子性
  • ABA问题
    • 定义
      • 线程对得到引用前，引用过程中的改变无法察觉（引用从A变成B再变成A，线程只能拿到A无法察觉到B的存在）
    • 解决
      • AtomicStampReferense
        • 每个引用改变时，对其标记加一，使得每个版本的引用都有不一样的编号
      • AtomicMarkReferense
        • 每个引用设置一个标记位，标记为真则表示已经修改过，假为未修改
• 原子数组
  • 保证对数组内数据操作的方法的原子性
  • 函数式接口（一种语法）
    • supplier无参有返
      • ()->return
    • (bi)function有参有返
      • (a)->return
    • (bi)consumer有参无返
      • (a)->void
• 字段更新器
  • 保证对类中volatile属性字段操作的方法的原子性
• 原子累加器
  • 用于对数据累加，比调用原子整数中的自加方法incrementandset效率更高
  • 组成
    • cells[]
      • 每个线程对应一个cell完成累加操作，互不影响
    • base
      • 没有竞争时，无需为线程分配cell单元，直接在base中实现累加
    • cellsbusy
      • =1即为加锁，线程在创建cells[]时，必须上锁，保证每个线程分配到唯一属于自己的累加单元cell
  • 源码流程简述
    • 没有竞争时进入base累加，有竞争时进入cell累加，线程没有关联的cell时，先上锁cellsbusy为该线程分配cell，cells[]不够时可以上锁cellsbusy对cells[]进行扩容
  • 伪共享
    • @sum.misc.Contended注解用于解决伪共享问题
    • 伪共享问题
      写屏障中多线程访问一个共享变量导致反复修改，修改卡表时先检查是否已经被修改，改过则不再标记，未改过则标记
      • 累加单元cell存在缓存行中，缓存行只要出现修改则会撤销整个缓存行，若不同线程的两个cell存于一个缓存行，则其中一个cell改变会导致另一个cell也被撤销失效
      • 通过添加Contended注解，为每个cell添加padding，使得每个缓存行只能存下一个cell，解决伪共享问题
• Unsafe类
  • 实现各种原子类中的CAS底层调用的类
  • 只能通过反射得到该类，再用该类调用CAS

---

总结