jdk源码解析七之Lock

淡淡的烟草味﹌ 2023-02-14 10:14 140阅读 0赞

文章目录

  • Lock
    • ReentrantLock
      • 构造
      • lock
      • unlock
      • tryLock
      • newCondition
      • 非公平策略获取锁
      • 总结
      • 非公平和公平获取锁的区别?
  • ReadWriteLock
    • ReentrantReadWriteLock
      • 构造
      • 获取读写锁
      • 读锁
        • lock
        • unlock
      • 写锁
        • lock
        • unlock
      • 锁降级
      • 总结
  • LockSupport
  • AbstractQueuedSynchronizer
  • Condition
    • newCondition
    • await
    • signal
    • signalAll
    • 总结
  • CAS例子

同步锁,是可重入锁,这样当访问本类或者超类其他加锁方法时,也能访问成功,从而避免死锁
加锁,可保证互斥,内存可见性,避免重排序

  1. 3种方式
  2.            1:减少锁持有时间
  3.                 H_AttributeStore/I_BetterAttributeStore
  4.                                 由于只有一个状态变量,可以使用其他容器类,如SyncMap/ConcurrentHashMap,这样无需显示同步,缩小了访问锁的范围,降低了代码维护风险
  5.                                 缩小同步代码块不能影响需要原子的操作
  6.                                 分解多个同步代码块时,可以将大量计算或阻塞操作从同步代码块中移除时,应该考虑
  7.                 缩小锁范围
  8.                 设置定时锁(Lock)
  9.                 F_CooperatingNoDeadlock:对一些方法公开调用,且缩小锁的使用粒度,极快释放,避免竞争.对一些耗时操作,copy一份副本,操作.
  10.            2:降低锁请求频率
  11.                 减小锁粒度
  12.                     可采用如下2方法,其本质是采用多个相互独立的锁来保护独立的状态变量
  13.                                 锁分解:J_ServerStatusBeforeSplit/K_ServerStatusAfterSplit
  14.                                 锁分段:L_StripedMap
  15.                                         场景:锁上的竞争频率>锁保护的数据上发生的竞争频率
  16.            3:使用带有协调机制的独占锁,这些机制允许更高的并发
  17.                     放弃独占锁:使用并发容器,读写锁,不可变对象以及原子变量
  18.                                 ReadWriteLock:多个读取以及单个写入的规则,读不需要加锁,写需要加锁
  19.                                 原子变量:降低热点域时的开销,如静态计数器,序列发生器,AtomicLong等
  20.                                 或者非独占锁

等待锁的时间长,选择阻塞.否则自旋
公平:等待时间最长的获取锁
非公平:随机获取锁

  1. ABA问题
  2.     无法确保当前值没有发生变化,V由A变成B,在由B变成A。
  3.     可以使用AtomicStampedReference支持在2个变量上执行原子的条件更新,在引用上加版本号"避免ABA问题"
  4.     AtomicMarkableReference:更新一个对象引用-布尔值二元组,通过二元组使节点保存在链表中同时又将其标记为"已删除的节点"

Lock

在这里插入图片描述
在这里插入图片描述

ReentrantLock

一个可重入的互斥锁 Lock
在这里插入图片描述

构造

  1. public ReentrantLock() {
  3.         //默认初始化非公平的AQS
  4.         sync = new NonfairSync();
  5.     }
  8.     public ReentrantLock(boolean fair) {
  10.         //根据传入的值,选择公平还是非公平的策略
  11.         sync = fair ? new FairSync() : new NonfairSync();
  12.     }

lock

  1. public void lock() {
  3.         //调用AQS
  4.         sync.lock();
  5.     }
  7. final void lock() {
  9.             //更新state为1
  10.             if (compareAndSetState(0, 1))
  11.                 //设置当前拥有独占访问权限的线程
  12.                 setExclusiveOwnerThread(Thread.currentThread());
  13.             else
  14.                 //以独占模式获取对象，忽略中断。
  15.                 acquire(1);
  16.         }
  18. public final void acquire(int arg) {
  20.         if (//是否能成功加锁
  21.                 !tryAcquire(arg) &&
  22.                         //阻塞获取锁
  23.             acquireQueued(
  24.                     //将当前线程以及独占模式等待标记,存储到尾端节点
  25.                     addWaiter(Node.EXCLUSIVE)
  26.                     , arg))
  27.             //获取锁的过程中,当出现中断时,会执行到这里
  28.             selfInterrupt();
  29.     }
  31. protected final boolean tryAcquire(int acquires) {
  33.             return nonfairTryAcquire(acquires);
  34.         }
  35.         final boolean nonfairTryAcquire(int acquires) {
  37.             //获取当前线程
  38.             final Thread current = Thread.currentThread();
  39.             //获取同步状态的值
  40.             int c = getState();
  41.             //说明锁空闲
  42.             if (c == 0) {
  44.               //这个在tryLock调用
  45.                 if (compareAndSetState(0, acquires)) {
  47.                     setExclusiveOwnerThread(current);
  48.                     return true;
  49.                 }
  50.             }
  51.             else if (current == getExclusiveOwnerThread()) {
  53.                 //也就是这里支持重入锁
  54.                 //当前线程与当前拥有独占访问权限的线程一致
  55.                 //累加state
  56.                 int nextc = c + acquires;
  57.                 if (nextc < 0) // overflow
  58.                     throw new Error("Maximum lock count exceeded");
  59.                 setState(nextc);
  60.                 return true;
  61.             }
  62.             return false;
  63.         }
  65. final boolean acquireQueued(final Node node, int arg) {
  67.         boolean failed = true;
  68.         try {
  70.             boolean interrupted = false;
  71.             for (;;) {
  73.                 //返回前端节点
  74.                 final Node p = node.predecessor();
  75.                 /*如果是当前头节点且再次获取锁成功
  76.                  */
  77.                 if (p == head && tryAcquire(arg)) {
  79.                     //设置头结点为当前节点,以及清空当前节点的pre和thread
  80.                     setHead(node);
  81.                     //释放GC
  82.                     p.next = null; // help GC
  83.                     //标记正常执行
  84.                     failed = false;
  85.                     return interrupted;
  86.                 }
  87.                 //检查并修改一个节点的状态，当该节点获取锁失败时。返回true如果线程需要阻塞。
  88.                 if (shouldParkAfterFailedAcquire(p, node) &&
  89.                         //这里执行阻塞
  90.                     parkAndCheckInterrupt())
  91.                     //标记已中断
  92.                     interrupted = true;
  93.             }
  94.         } finally {
  96.             if (failed)
  97.                 cancelAcquire(node);
  98.         }
  99.     }

unlock

  1. public void unlock() {
  3.         //释放锁
  4.         sync.release(1);
  5.     }
  7. public final boolean release(int arg) {
  9.         if (//释放锁,成功则进入
  10.                 tryRelease(arg)) {
  12.             //获取head
  13.             Node h = head;
  14.             //如果head不为空,且已经执行
  15.             if (h != null && h.waitStatus != 0)
  16.                 //释放当前节点的下一个节点
  17.                 unparkSuccessor(h);
  18.             return true;
  19.         }
  20.         //释放失败
  21.         return false;
  22.     }
  24. protected final boolean tryRelease(int releases) {
  26.             //获取目前锁次数
  27.             int c = getState() - releases;
  28.             //如果当前线程不是当前拥有独占访问权限的线程,说明没有获取锁的情况下unlock,抛出异常
  29.             if (Thread.currentThread() != getExclusiveOwnerThread())
  30.                 throw new IllegalMonitorStateException();
  31.             boolean free = false;
  32.             //正常释放锁
  33.             if (c == 0) {
  35.                 free = true;
  36.                 //清空当前拥有独占锁的线程
  37.                 setExclusiveOwnerThread(null);
  38.             }
  39.             //设置锁次数
  40.             setState(c);
  41.             return free;
  42.         }
  44. private void unparkSuccessor(Node node) {
  46.         /*
  47.          * If status is negative (i.e., possibly needing signal) try
  48.          * to clear in anticipation of signalling.  It is OK if this
  49.          * fails or if status is changed by waiting thread.
  50.          */
  51.         int ws = node.waitStatus;
  52.         //重置状态值
  53.         if (ws < 0)
  54.             compareAndSetWaitStatus(node, ws, 0);
  56.         /*
  57.          * Thread to unpark is held in successor, which is normally
  58.          * just the next node.  But if cancelled or apparently null,
  59.          * traverse backwards from tail to find the actual
  60.          * non-cancelled successor.
  61.          */
  62.         Node s = node.next;
  63.         //如果下一个节点为null,且状态取消了,则从尾端遍历,查找未取消的线程
  64.         //所以当看到next字段为null时并不意味着当前节点是队列的尾部了。
  65.         //无论如何，如果一个next字段显示为null，我们能够从队列尾向前扫描进行复核。
  66.         if (s == null || s.waitStatus > 0) {
  68.             s = null;
  69.             for (Node t = tail; t != null && t != node; t = t.prev)
  70.                 if (t.waitStatus <= 0)
  71.                     s = t;
  72.         }
  73.         if (s != null)
  74.             LockSupport.unpark(s.thread);
  75.     }

tryLock

  1. public boolean tryLock() {
  3.         return sync.nonfairTryAcquire(1);
  4.     }

newCondition

  1. public Condition newCondition() {
  3.         return sync.newCondition();
  4.     }

非公平策略获取锁

  1. final void lock() {
  3.             //以独占模式获取对象，忽略中断。
  4.             acquire(1);
  5.         }
  7.   protected final boolean tryAcquire(int acquires) {
  9.             //获取当前线程
  10.             final Thread current = Thread.currentThread();
  11.             int c = getState();
  12.             //锁空闲
  13.             if (c == 0) {
  15.                 //判断当前线程是否等待线程队列中的第二个线程
  16.                 //如果是说明等待最久
  17.                 if (!hasQueuedPredecessors() &&
  18.                     compareAndSetState(0, acquires)) {
  20.                     //设置当前拥有独占访问权限的线程
  21.                     setExclusiveOwnerThread(current);
  22.                     return true;
  23.                 }
  24.             }
  25.             else if (current == getExclusiveOwnerThread()) {
  27.                 int nextc = c + acquires;
  28.                 if (nextc < 0)
  29.                     throw new Error("Maximum lock count exceeded");
  30.                 setState(nextc);
  31.                 return true;
  32.             }
  33.             return false;
  34.         }
  36. public final boolean hasQueuedPredecessors() {
  38.         // The correctness of this depends on head being initialized
  39.         // before tail and on head.next being accurate if the current
  40.         // thread is first in queue.
  41.         Node t = tail; // Read fields in reverse initialization order
  42.         Node h = head;
  43.         Node s;
  44.         //判断当前线程是否是等待线程节点的下一个线程
  45.         return h != t &&
  46.             ((s = h.next) == null || s.thread != Thread.currentThread());
  47.     }

总结

独占锁,支持可重入,每次重入时state+1

非公平和公平获取锁的区别?

非公平获取锁的时候,不管怎么说,先去抢一波.抢不到再去抢一波,是在抢不到才会添加AQS队列等待.
在这里插入图片描述
在这里插入图片描述
而公平锁先判断是不是等待最长的线程,如果是则去抢,否则加入队列抢.
在这里插入图片描述

ReadWriteLock

在这里插入图片描述
分别维护2个锁,写锁是独占锁,读锁是共享锁,因为读的时间通常比写的时间长,所以写锁优先级比读锁高

ReentrantReadWriteLock

构造

  1. public ReentrantReadWriteLock() {
  3.         //默认独占
  4.         this(false);
  5.     }
  7.     public ReentrantReadWriteLock(boolean fair) {
  9.         sync = fair ? new FairSync() : new NonfairSync();
  10.         //静态内部类
  11.         readerLock = new ReadLock(this);
  12.         ///静态内部类
  13.         writerLock = new WriteLock(this);
  14.     }
  16. //高16读锁,低16写锁
  17.         static final int SHARED_SHIFT   = 16;
  18.         static final int SHARED_UNIT    = (1 << SHARED_SHIFT);
  19.         static final int MAX_COUNT      = (1 << SHARED_SHIFT) - 1;
  20.         static final int EXCLUSIVE_MASK = (1 << SHARED_SHIFT) - 1;
  22.         /** Returns the number of shared holds represented in count  */
  23.         //返回共享个数
  24.         static int sharedCount(int c)    {
  25.      return c >>> SHARED_SHIFT; }
  26.         /** Returns the number of exclusive holds represented in count  */
  27.         //返回独占个数
  28.         static int exclusiveCount(int c) {
  29.      return c & EXCLUSIVE_MASK; }

获取读写锁

  1. public ReentrantReadWriteLock.WriteLock writeLock() {
  2.      return writerLock; }
  3.     public ReentrantReadWriteLock.ReadLock  readLock()  {
  4.      return readerLock; }

读锁

lock

  1. public void lock() {
  3.             sync.acquireShared(1);
  4.         }
  6. protected final int tryAcquireShared(int unused) {
  8.             /*
  9.              * Walkthrough:
  10.              * 1. If write lock held by another thread, fail.
  11.              * 2. Otherwise, this thread is eligible for
  12.              *    lock wrt state, so ask if it should block
  13.              *    because of queue policy. If not, try
  14.              *    to grant by CASing state and updating count.
  15.              *    Note that step does not check for reentrant
  16.              *    acquires, which is postponed to full version
  17.              *    to avoid having to check hold count in
  18.              *    the more typical non-reentrant case.
  19.              * 3. If step 2 fails either because thread
  20.              *    apparently not eligible or CAS fails or count
  21.              *    saturated, chain to version with full retry loop.
  22.              */
  23.             ///获取当前线程
  24.             Thread current = Thread.currentThread();
  25.             //获取当前锁的数量
  26.             int c = getState();
  27.             //持有写锁失败
  28.             if (
  29.                     //获取独占锁数量!=0
  30.                     exclusiveCount(c) != 0 &&
  31.                  //且当前拥有独占访问权限的线程不等于当前线程,这里写锁可降级
  32.                 getExclusiveOwnerThread() != current)
  33.                 return -1;
  34.             //获取共享锁数量
  35.             int r = sharedCount(c);
  36.             /*
  37.             第一次线程A读取,则记录第一个堵得线程以及个数
  38.             第二次线程A读取,则当前访问线程个数+1
  39.             第三次线程B读取,利用cachedHoldCounter缓存当前线程tid以及访问次数
  40.             readHolds可以理解为一级缓存,绑定了每个线程的线程计数器
  41.             cachedHoldCounter:二级缓存,缓存上一个线程执行重入锁的次数
  42.              */
  43.             if (//线程是否应该被阻塞
  44.                     !readerShouldBlock() &&
  45.                     //共享锁数量<最大锁数量
  46.                 r < MAX_COUNT &&
  47.                     //更新共享锁数量
  48.                 compareAndSetState(c, c + SHARED_UNIT)) {
  50.                 //如果是第一次读取
  51.                 if (r == 0) {
  53.                     //记录第一个读的线程
  54.                     firstReader = current;
  55.                     firstReaderHoldCount = 1;
  56.                 } else if (firstReader == current) {
  58.                     //如果当前访问的线程是第一个访问的线程,则访问线程数+1
  59.                     firstReaderHoldCount++;
  60.                 } else {
  62.                     //获取计数器
  63.                     HoldCounter rh = cachedHoldCounter;
  64.                     //计数器为null或者当前线程id不为正在运行线程id
  65.                     if (rh == null || rh.tid != getThreadId(current))
  66.                         //获取当前计数线程对应计数器
  67.                         cachedHoldCounter = rh = readHolds.get();
  68.                     else if (rh.count == 0)
  69.                         //设置线程计数器
  70.                         readHolds.set(rh);
  71.                     //线程重入次数+1
  72.                     rh.count++;
  73.                 }
  74.                 return 1;
  75.             }
  76.             //CAS尚未命中
  77.             return fullTryAcquireShared(current);
  78.         }
  80. final int fullTryAcquireShared(Thread current) {
  82.             /*
  83.              * This code is in part redundant with that in
  84.              * tryAcquireShared but is simpler overall by not
  85.              * complicating tryAcquireShared with interactions between
  86.              * retries and lazily reading hold counts.
  87.              */
  88.             HoldCounter rh = null;
  89.             for (;;) {
  91.                 int c = getState();
  92.                 //如果当前有独占锁,且独占线程非当前线程,则返回
  93.                 if (exclusiveCount(c) != 0) {
  95.                     if (getExclusiveOwnerThread() != current)
  96.                         return -1;
  97.                     // else we hold the exclusive lock; blocking here
  98.                     // would cause deadlock.
  99.                 } else if (readerShouldBlock()) {
  101.                     //写锁没有被获取,且读线程被阻塞
  102.                     // Make sure we're not acquiring read lock reentrantly
  103.                     //当前第一个线程为读线程,说明当前线程重入
  104.                     if (firstReader == current) {
  106.                         // assert firstReaderHoldCount > 0;
  107.                     } else {
  109.                         if (rh == null) {
  111.                             //获取缓存的计数器
  112.                             rh = cachedHoldCounter;
  113.                             //没有缓存计数器,或者计数器线程tid非当前线程tid(也就是说非上一个获取锁的线程)
  114.                             //对写锁的让步,如果第一个获取锁的线程是写锁,那么后续所有线程AQS排队
  115.                             if (rh == null || rh.tid != getThreadId(current)) {
  117.                                 //获取线程计数器
  118.                                 rh = readHolds.get();
  119.                                 //重入锁数量为0
  120.                                 if (rh.count == 0)
  121.                                     //删除计数器
  122.                                     readHolds.remove();
  123.                             }
  124.                         }
  125.                         //重入锁数量为0
  126.                         if (rh.count == 0)
  127.                             //AQS排队
  128.                             return -1;
  129.                     }
  130.                 }
  131.                 //读锁数量超过上限,异常
  132.                 if (sharedCount(c) == MAX_COUNT)
  133.                     throw new Error("Maximum lock count exceeded");
  134.                 //设置读锁数量
  136.                 //当前线程是第一个获取读锁的线程,或是上一个执行任务的线程会执行到这里
  137.                 //也就是说重入获取读锁的线程才会执行到这里
  138.                 if (compareAndSetState(c, c + SHARED_UNIT)) {
  140.                     //
  141.                     if (sharedCount(c) == 0) {
  143.                         firstReader = current;
  144.                         firstReaderHoldCount = 1;
  145.                     } else if (firstReader == current) {
  147.                         firstReaderHoldCount++;
  148.                     } else {
  150.                         if (rh == null)
  151.                             rh = cachedHoldCounter;
  152.                         if (rh == null || rh.tid != getThreadId(current))
  153.                             rh = readHolds.get();
  154.                         else if (rh.count == 0)
  155.                             readHolds.set(rh);
  156.                         //重入数量累加
  157.                         rh.count++;
  158.                         //缓存计数器
  159.                         cachedHoldCounter = rh; // cache for release
  160.                     }
  161.                     return 1;
  162.                 }
  163.             }
  164.         }
  166. final boolean readerShouldBlock() {
  168.             //下一个锁是否是独占锁
  169.             return apparentlyFirstQueuedIsExclusive();
  170.         }
  172. final boolean apparentlyFirstQueuedIsExclusive() {
  174.         Node h, s;
  175.         return (h = head) != null &&
  176.             (s = h.next)  != null &&
  177.             !s.isShared()         &&
  178.             s.thread != null;
  179.     }

unlock

  1. protected final boolean tryReleaseShared(int unused) {
  3.             //获取当前线程
  4.             Thread current = Thread.currentThread();
  5.             //当前线程为第一个获取读锁的线程
  6.             if (firstReader == current) {
  8.                 // assert firstReaderHoldCount > 0;
  9.                 //如果是最后一次释放锁,则直接置空firstReader
  10.                 if (firstReaderHoldCount == 1)
  11.                     firstReader = null;
  12.                 else
  13.                     //头锁重入次数-1
  14.                     firstReaderHoldCount--;
  15.             } else {
  17.                 //获取上一个获取读锁的线程计数器
  18.                 HoldCounter rh = cachedHoldCounter;
  19.                 if (rh == null || rh.tid != getThreadId(current))
  20.                     //非上一次执行的线程,则获取当前线程计数器
  21.                     rh = readHolds.get();
  22.                 int count = rh.count;
  23.                 if (count <= 1) {
  25.                     //删除当前线程计数器
  26.                     readHolds.remove();
  27.                     //说明没有之前获取锁,直接释放则异常
  28.                     if (count <= 0)
  29.                         throw unmatchedUnlockException();
  30.                 }
  31.                 //线程重入次数-1
  32.                 --rh.count;
  33.             }
  34.             for (;;) {
  36.                 int c = getState();
  37.                 int nextc = c - SHARED_UNIT;
  38.                 if (compareAndSetState(c, nextc))
  39.                     // Releasing the read lock has no effect on readers,
  40.                     // but it may allow waiting writers to proceed if
  41.                     // both read and write locks are now free.
  42.                     //锁为0说明正确释放
  43.                     return nextc == 0;
  44.             }
  45.         }

写锁

lock

  1. protected final boolean tryAcquire(int acquires) {
  4.             //获取当前线程
  5.             Thread current = Thread.currentThread();
  6.             ///获取当前线程状态
  7.             int c = getState();
  8.             //获取独占锁重入数量
  9.             int w = exclusiveCount(c);
  10.             //如果有线程获取读写锁
  11.             if (c != 0) {
  13.                 // (Note: if c != 0 and w == 0 then shared count != 0)
  14.                 //写锁没被占用,或当前拥有独占访问权限的线程不等于当前线程,说明有读锁被占用,返回false
  15.                 if (w == 0 || current != getExclusiveOwnerThread())
  16.                     return false;
  17.                 //读写锁数量超过最大数量,异常
  18.                 if (w + exclusiveCount(acquires) > MAX_COUNT)
  19.                     throw new Error("Maximum lock count exceeded");
  20.                 // Reentrant acquire
  21.                 //执行到这里,说明写锁被重入
  22.                 setState(c + acquires);
  23.                 return true;
  24.             }
  25.             //执行到这里说明没有读写锁占用
  26.             if (
  27.                     //写锁是否阻塞
  28.                     writerShouldBlock() ||
  29.                             //修改状态
  30.                 !compareAndSetState(c, c + acquires))
  31.                 //如果写锁没有被阻塞,且修改状态失败,则返回false
  32.                 return false;
  33.             //设置锁被当前线程独占
  34.             setExclusiveOwnerThread(current);
  35.             return true;
  36.         }

非公平获取锁是否阻塞

  1. final boolean writerShouldBlock() {
  3.             return false; // writers can always barge
  4.         }

公平获取锁是否阻塞

  1. final boolean writerShouldBlock() {
  3.             return hasQueuedPredecessors();
  4.         }
  6. public final boolean hasQueuedPredecessors() {
  8.         // The correctness of this depends on head being initialized
  9.         // before tail and on head.next being accurate if the current
  10.         // thread is first in queue.
  11.         Node t = tail; // Read fields in reverse initialization order
  12.         Node h = head;
  13.         Node s;
  14.         //判断当前线程是否是等待线程节点的下一个线程
  15.         return h != t &&
  16.             ((s = h.next) == null || s.thread != Thread.currentThread());
  17.     }

unlock

  1. protected final boolean tryRelease(int releases) {
  3.             //拥有独占锁的不是当前线程,则异常
  4.             if (!isHeldExclusively())
  5.                 throw new IllegalMonitorStateException();
  6.             int nextc = getState() - releases;
  7.             boolean free = exclusiveCount(nextc) == 0;
  8.             //独占锁数量为0,则清空锁的持有者
  9.             if (free)
  10.                 setExclusiveOwnerThread(null);
  11.             //设置锁数量
  12.             setState(nextc);
  13.             return free;
  14.         }

锁降级

在这里插入图片描述

  1. * class CachedData {
  3.  *   Object data;
  4.  *   volatile boolean cacheValid;
  5.  *   final ReentrantReadWriteLock rwl = new ReentrantReadWriteLock();
  6.  *
  7.  *   void processCachedData() {
  9.  *     rwl.readLock().lock();
  10.  *     if (!cacheValid) {
  12.  *       // Must release read lock before acquiring write lock
  13.  *       rwl.readLock().unlock();
  14.  *       rwl.writeLock().lock();
  15.  *       try {
  17.  *         // Recheck state because another thread might have
  18.  *         // acquired write lock and changed state before we did.
  19.  *         if (!cacheValid) {
  21.  *           data = ...
  22.  *           cacheValid = true;
  23.  *         }
  24.  *         // Downgrade by acquiring read lock before releasing write lock
  25.  *         rwl.readLock().lock();
  26.  *       } finally {
  28.  *         rwl.writeLock().unlock(); // Unlock write, still hold read
  29.  *       }
  30.  *     }
  31.  *
  32.  *     try {
  34.  *       use(data);
  35.  *     } finally {
  37.  *       rwl.readLock().unlock();
  38.  *     }
  39.  *   }
  40.  * }}

总结

当获取写锁的情况下,当前线程依旧能获取读锁,这称之为锁降级
当获取读锁情况下,不能获取写锁
这里始终保证了写锁>读锁等级.
避免了锁等级一样,出现获取锁的乱序问题.

读锁添加的State是SHARED_UNIT的倍数

这里分别用firstReader记录第一个获取读锁的线程
cachedHoldCounter获取上一个获取读锁的线程计数器
readHolds记录每个线程锁对应的计数器

如果下一个锁是独占锁,且非公平模式下,则后续所有线程都进入AQS等待锁,只有已经获取读锁的依旧可以执行

  1. final boolean readerShouldBlock() {
  3.             //下一个锁是否是独占锁
  4.             return apparentlyFirstQueuedIsExclusive();
  5.         }
  7. protected final int tryAcquireShared(int unused) {
  9.      /
  10.             if (//线程是否应该被阻塞
  11.                     !readerShouldBlock() &&{
  13.            //...
  14.             }
  15.             //CAS尚未命中
  16.             return fullTryAcquireShared(current);
  17.         }
  19. final int fullTryAcquireShared(Thread current) {
  22.             HoldCounter rh = null;
  23.             for (;;) {
  25.                 int c = getState();
  26.                 //如果当前有独占锁,且独占线程非当前线程,则返回
  27.                 if (exclusiveCount(c) != 0) {
  29.                     if (getExclusiveOwnerThread() != current)
  30.                         return -1;
  31.                         /
  32.                 } else if (readerShouldBlock()) {
  34.              /
  35.                 }
  37.                 //读锁数量超过上限,异常
  38.                 if (sharedCount(c) == MAX_COUNT)
  39.                     throw new Error("Maximum lock count exceeded");
  40.                 //设置读锁数量
  42.                 //当前线程是第一个获取读锁的线程,或是上一个执行任务的线程会执行到这里
  43.                 //也就是说重入获取读锁的线程才会执行到这里
  44.                 if (compareAndSetState(c, c + SHARED_UNIT)) {
  46.                     //
  47.                     if (sharedCount(c) == 0) {
  49.                         firstReader = current;
  50.                         firstReaderHoldCount = 1;
  51.                     } else if (firstReader == current) {
  53.                         firstReaderHoldCount++;
  54.                     } else {
  56.                         if (rh == null)
  57.                             rh = cachedHoldCounter;
  58.                         if (rh == null || rh.tid != getThreadId(current))
  59.                             rh = readHolds.get();
  60.                         else if (rh.count == 0)
  61.                             readHolds.set(rh);
  62.                         //重入数量累加
  63.                         rh.count++;
  64.                         //缓存计数器
  65.                         cachedHoldCounter = rh; // cache for release
  66.                     }
  67.                     return 1;
  68.                 }
  69.             }
  70.         }

在这里插入图片描述
公平模式下直接让下一个线程获取锁

  1. final boolean readerShouldBlock() {
  3.             return hasQueuedPredecessors();
  4.         }
  6. public final boolean hasQueuedPredecessors() {
  8.         // The correctness of this depends on head being initialized
  9.         // before tail and on head.next being accurate if the current
  10.         // thread is first in queue.
  11.         Node t = tail; // Read fields in reverse initialization order
  12.         Node h = head;
  13.         Node s;
  14.         return h != t &&
  15.             ((s = h.next) == null || s.thread != Thread.currentThread());
  16.     }

LockSupport

park:为了线程调度，禁用当前线程，除非许可可用。
unpark:如果给定线程的许可尚不可用，则使其可用。

  1. class FIFOMutex {
  3.    private final AtomicBoolean locked = new AtomicBoolean(false);
  4.    private final Queue<Thread> waiters
  5.      = new ConcurrentLinkedQueue<Thread>();
  7.    public void lock() {
  9.      boolean wasInterrupted = false;
  10.      Thread current = Thread.currentThread();
  11.      waiters.add(current);
  13.      // Block while not first in queue or cannot acquire lock
  14.      while (waiters.peek() != current ||
  15.             !locked.compareAndSet(false, true)) {
  17.         LockSupport.park(this);
  18.         if (Thread.interrupted()) // ignore interrupts while waiting
  19.           wasInterrupted = true;
  20.      }
  22.      waiters.remove();
  23.      if (wasInterrupted)          // reassert interrupt status on exit
  24.         current.interrupt();
  25.    }
  27.    public void unlock() {
  29.      locked.set(false);
  30.      LockSupport.unpark(waiters.peek());
  31.    }
  32.  }

AbstractQueuedSynchronizer

  1. public abstract class AbstractQueuedSynchronizer
  2.     extends AbstractOwnableSynchronizer
  3.     implements java.io.Serializable {
  6.     private static final long serialVersionUID = 7373984972572414691L;
  9.     static final class Node {
  11.         /** Marker to indicate a node is waiting in shared mode */
  12.         static final Node SHARED = new Node();
  13.         /** Marker to indicate a node is waiting in exclusive mode */
  14.         static final Node EXCLUSIVE = null;
  16.         /** waitStatus value to indicate thread has cancelled */
  17.         //这个节点由于超时或中断被取消了。节点不会离开（改变）这个状态。尤其，一个被取消的线程不再会被阻塞了
  18.         static final int CANCELLED =  1;
  19.         /** waitStatus value to indicate successor's thread needs unparking */
  20. /*        这个节点的后继（或者即将被阻塞）被阻塞（通过park阻塞）了，所以当前节点需要唤醒它的后继当它被释放或者取消时。
  21.         为了避免竞争，获取方法必须首先表示他们需要一个通知信号，然后再原子性的尝试获取锁，如果失败，则阻塞。
  22.         也就是说，在获取锁的操作中，需要确保当前node的preNode的waitStatus状态值为’SIGNAL’，才可以被阻塞，当
  23.         获取锁失败时。（『shouldParkAfterFailedAcquire』方法的用意就是这）*/
  24.         static final int SIGNAL    = -1;
  25.         /** waitStatus value to indicate thread is waiting on condition */
  26.   /*      这个节点当前在一个条件队列中。它将不会被用于当做一个同步队列的节点直到它被转移到同步队列中，
  27.         转移的同时状态值（waitStatus）将会被设置为0。
  28.                 （这里使用这个值将不会做任何事情与该字段其他值对比，只是为了简化机制）。*/
  29.         static final int CONDITION = -2;
  31.         //一个releaseShared操作必须被广播给其他节点。（只有头节点的）该值会在doReleaseShared方法中被设置去确保持续的广播，即便其他操作的介入。
  32.         static final int PROPAGATE = -3;
  34.     }
  36.     private Node enq(final Node node) {
  38.         //（自旋+CAS）
  39.         for (;;) {
  41.             Node t = tail;
  42.             //初始化,头和尾为空节点
  43.             if (t == null) {
  44.      // Must initialize
  45.                 if (compareAndSetHead(new Node()))
  46.                     tail = head;
  47.             } else {
  49.                 ///设置尾部节点
  50.                 node.prev = t;
  51.                 if (compareAndSetTail(t, node)) {
  53.                     //这里可能出现next=null短暂现象.
  54.                     t.next = node;
  55.                     return t;
  56.                 }
  57.             }
  58.         }
  59.     }
  61.     private Node addWaiter(Node mode) {
  63.         //包装当前线程以及表示该节点正在共享或独占模式下等待
  64.         Node node = new Node(Thread.currentThread(), mode);
  65.         // Try the fast path of enq; backup to full enq on failure
  66.         Node pred = tail;
  67.         if (pred != null) {
  69.             //将当前节点添加到尾部节点
  70.             node.prev = pred;
  71.             if (compareAndSetTail(pred, node)) {
  73.                 pred.next = node;
  74.                 return node;
  75.             }
  76.         }
  78.         enq(node);
  79.         return node;
  80.     }
  85.     private void unparkSuccessor(Node node) {
  88.         int ws = node.waitStatus;
  89.         //重置状态值
  90.         if (ws < 0)
  91.             compareAndSetWaitStatus(node, ws, 0);
  94.         Node s = node.next;
  95.         //如果下一个节点为null,且状态取消了,则从尾端遍历,查找未取消的线程
  96.         //所以当看到next字段为null时并不意味着当前节点是队列的尾部了。
  97.         //无论如何，如果一个next字段显示为null，我们能够从队列尾向前扫描进行复核。
  98.         if (s == null || s.waitStatus > 0) {
  100.             s = null;
  101.             for (Node t = tail; t != null && t != node; t = t.prev)
  102.                 if (t.waitStatus <= 0)
  103.                     s = t;
  104.         }
  105.         if (s != null)
  106.             LockSupport.unpark(s.thread);
  107.     }
  109.     private void doReleaseShared() {
  112.         //广播释放所有阻塞的锁
  113.         for (;;) {
  115.             Node h = head;
  116.             if (h != null && h != tail) {
  118.                 int ws = h.waitStatus;
  119.                 //更新默认值0,且解除park
  120.                 if (ws == Node.SIGNAL) {
  122.                     if (!compareAndSetWaitStatus(h, Node.SIGNAL, 0))
  123.                         continue;            // loop to recheck cases
  124.                     unparkSuccessor(h);
  125.                 }
  126.                 else if (ws == 0 &&
  127.                          !compareAndSetWaitStatus(h, 0, Node.PROPAGATE))
  128.                     continue;                // loop on failed CAS
  129.             }
  130.             if (h == head)                   // loop if head changed
  131.                 break;
  132.         }
  133.     }
  136.     private void setHeadAndPropagate(Node node, int propagate) {
  138.         Node h = head; // Record old head for check below
  139.         //设置当前节点为头节点,以及清空当前线程和前置节点
  140.         setHead(node);
  142.         //如果闭锁是开的,且头为null,且waitStatus
  143.         //如果标识了广播(propagate>0),
  144.         if (propagate > 0 || h == null || h.waitStatus < 0 ||
  145.             (h = head) == null || h.waitStatus < 0) {
  147.             Node s = node.next;
  148.             //如果当前节点为null或者当前节点为共享等待标记,则释放,执行
  149.             //enq初始化时,会有短暂为null现象
  150.             if (s == null || s.isShared())
  151.                 doReleaseShared();
  152.         }
  153.     }
  155.     private void cancelAcquire(Node node) {
  157.         // Ignore if node doesn't exist
  158.         if (node == null)
  159.             return;
  161.         node.thread = null;
  163.         // Skip cancelled predecessors
  164.         //将node的prev属性指向一个在它之前的有效的节点
  165.         Node pred = node.prev;
  166.         while (pred.waitStatus > 0)
  167.             node.prev = pred = pred.prev;
  169.         // predNext is the apparent node to unsplice. CASes below will
  170.         // fail if not, in which case, we lost race vs another cancel
  171.         // or signal, so no further action is necessary.
  172.  /*       这个predNext是pred表面上的下一个连接的节点（即，无需考虑该节点是否被取消了）。
  173.         下面的CAS操作将会失败（『compareAndSetNext(pred, predNext, null);』or『compareAndSetNext(pred, predNext, next);』）
  174.         ，如果和其他的取消或通知操作发生竞争时，这时不需要进一步的操作。因为如果产生竞争，
  175.         说明pred的next已经被修改了，并且是最新的值了，而我们的操作也就没有要执行的必要了。*/
  176.         Node predNext = pred.next;
  178.         // Can use unconditional write instead of CAS here.
  179.         // After this atomic step, other Nodes can skip past us.
  180.         // Before, we are free of interference from other threads.
  181.     /*    将node的waitStatus设置为’CANCELLED’。这里可以使用无条件的写代替CAS（注意，node的waitStatus是volatile的）。
  182.         在这个原子操作之后，其他节点会跳过我们（即，跳过waitStatus被置位CANCELLED的节点），
  183.         在这个原子操作之前，我们不受其他线程的干扰。也就是说，无论其他线程对node的waitStatus是否有在操作，
  184.         在当前的情况下我们都需要将这个node的waitStatus置为’CANCELLED’。*/
  185.         node.waitStatus = Node.CANCELLED;
  187.         // If we are the tail, remove ourselves.
  189. /*        如果待取消的node节点是队列尾节点的话（即，『node == tail』），那么删除node自己即可。使用CAS将tail节点设置成前面得到的第一个有效前驱节点
  190.     （即，『compareAndSetTail(node, pred)』）。并且CAS操作成功的话，
  191.         执行『compareAndSetNext(pred, predNext, null);』
  192.         也就是将tail的next置为null的意思。如果该CAS操作失败的话，
  193.         没关系。说明此时tail已经被修改了。*/
  194.         if (node == tail && compareAndSetTail(node, pred)) {
  196.             compareAndSetNext(pred, predNext, null);
  197.         } else {
  199.             // If successor needs signal, try to set pred's next-link
  200.             // so it will get one. Otherwise wake it up to propagate.
  201.             int ws;
  204.             if (
  205.                     //pred不是head节点
  206.                     pred != head &&
  207.                             //pred.waitStatus为SIGNAL” 或者
  208.                 ((ws = pred.waitStatus) == Node.SIGNAL ||
  209.                         //“pred.waitStatus <= 0”时且通过CAS将pred.waitStatus设置为SIGNAL”成功
  210.                  (ws <= 0 && compareAndSetWaitStatus(pred, ws, Node.SIGNAL))) &&
  211.                             //pred的thread非空
  212.                 pred.thread != null) {
  214.                 Node next = node.next;
  215.        /*         当node的next节点非空，且next节点的waitStatus<=0（说明next节点未被取消）时，
  216.                 通过CAS将pred的next执行node的next（即，pred.next = node.next）。
  217.                 同时，如果该CAS操作失败是没关系的，说明有其他线程操作已经修改了该pre的next值。*/
  218.                 if (next != null && next.waitStatus <= 0)
  219.                     compareAndSetNext(pred, predNext, next);
  220.             } else {
  222.                 //释放当前这个待取消节点的下一个节点。
  223.                 //当prev是head节点，或者prev也被取消的话，会执行『unparkSuccessor(node);』来释放node的下一个节点，其实也就是pred的下一个节点）
  224.                 unparkSuccessor(node);
  225.             }
  227.             //释放GC
  228.             node.next = node; // help GC
  229.         }
  230.     }
  233.     private static boolean shouldParkAfterFailedAcquire(Node pred, Node node) {
  235.         int ws = pred.waitStatus;
  236.         //则说明node的前驱节点已经被要求去通知释放它的后继节点，所以node可以安全的被挂起(park)
  237.         if (ws == Node.SIGNAL)
  238.             /*
  239.              * This node has already set status asking a release
  240.              * to signal it, so it can safely park.
  241.              */
  242.             return true;
  243.         if (ws > 0) {
  245.             //则说明node的前驱节点被取消了。那么跳过这个前驱节点并重新标志一个有效的前驱节点（即，
  246.             // waitStatus <= 0 的节点可作为有效的前驱节点），然后，退出方法，返回false。
  247.             /*
  248.              * Predecessor was cancelled. Skip over predecessors and
  249.              * indicate retry.
  250.              */
  251.             do {
  253.                 node.prev = pred = pred.prev;
  254.             } while (pred.waitStatus > 0);
  255.             pred.next = node;
  256.         } else {
  258.             //其他情况下，即pred.waitStatus为’0’或’PROPAGATE’。
  259.             // 表示我们需要一个通知信号(即，当前的node需要唤醒的通知)，
  260.             // 但是当前还不能挂起node。
  261.             // 调用『compareAndSetWaitStatus(pred, ws, Node.SIGNAL)』方法通过CAS的方式来修改前驱节点的waitStatus为“SIGNAL”。
  262.             // 退出方法，返回false。
  264.             /*
  265.              * waitStatus must be 0 or PROPAGATE.  Indicate that we
  266.              * need a signal, but don't park yet.  Caller will need to
  267.              * retry to make sure it cannot acquire before parking.
  268.              */
  269.             //等待状态值指示后续线程需要断开连接
  270.             compareAndSetWaitStatus(pred, ws, Node.SIGNAL);
  271.         }
  272.         return false;
  273.     }
  276.     private final boolean parkAndCheckInterrupt() {
  278.         //为了线程调度，在许可可用之前禁用当前线程。
  279.         LockSupport.park(this);
  280.         //测试当前线程是否已经中断。
  281.         return Thread.interrupted();
  282.     }
  285.     final boolean acquireQueued(final Node node, int arg) {
  287.         boolean failed = true;
  288.         try {
  290.             boolean interrupted = false;
  291.             for (;;) {
  293.                 //返回前端节点
  294.                 final Node p = node.predecessor();
  295.                 /*如果是当前头节点且再次获取锁成功
  296.                  */
  297.                 if (p == head && tryAcquire(arg)) {
  299.                     //设置头结点为当前节点,以及清空当前节点的pre和thread
  300.                     setHead(node);
  301.                     //释放GC
  302.                     p.next = null; // help GC
  303.                     //标记正常执行
  304.                     failed = false;
  305.                     return interrupted;
  306.                 }
  307.                 //检查并修改一个节点的状态，当该节点获取锁失败时。返回true如果线程需要阻塞。
  308.                 if (shouldParkAfterFailedAcquire(p, node) &&
  309.                         //这里执行阻塞
  310.                     parkAndCheckInterrupt())
  311.                     //标记已中断
  312.                     interrupted = true;
  313.             }
  314.         } finally {
  316.             if (failed)
  317.                 cancelAcquire(node);
  318.         }
  319.     }
  321.     /**
  322.      * Acquires in shared interruptible mode.
  323.      * @param arg the acquire argument
  324.      */
  325.     private void doAcquireSharedInterruptibly(int arg)
  326.         throws InterruptedException {
  328.         //将当前线程以及共享模式等待标记,存储到尾端节点
  329.         final Node node = addWaiter(Node.SHARED);
  330.         //标记是否正常处理,如果出现中断,则取消执行
  331.         boolean failed = true;
  332.         try {
  334.             for (;;) {
  336.                 //返回前端节点
  337.                 final Node p = node.predecessor();
  338.                 //如果是当前头节点
  339.                 /*
  340.                 经过发现,只有head节点,执行完后,才会执行下一个节点
  341.                  */
  342.                 if (p == head) {
  344.                     //判断闭锁是否是开的
  345.                     int r = tryAcquireShared(arg);
  346.                     //如果闭锁是开的
  347.                     if (r >= 0) {
  349.                         //设置node为head,以及清空node的pre和thread
  350.                         setHeadAndPropagate(node, r);
  351.                         //释放GC
  352.                         p.next = null; // help GC
  353.                         //标记正确执行
  354.                         failed = false;
  355.                         return;
  356.                     }
  357.                 }
  359.                 //检查并修改一个节点的状态，当该节点获取锁失败时。返回true如果线程需要阻塞。
  360.                 if (shouldParkAfterFailedAcquire(p, node) &&
  361.                         //这里执行阻塞
  362.                     parkAndCheckInterrupt())
  363.                     throw new InterruptedException();
  364.             }
  365.         } finally {
  367.             if (failed)
  368.                 cancelAcquire(node);
  369.         }
  370.     }
  373.     public final void acquire(int arg) {
  375.         if (//是否能成功加锁
  376.                 !tryAcquire(arg) &&
  377.                         //阻塞获取锁
  378.             acquireQueued(
  379.                     //将当前线程以及独占模式等待标记,存储到尾端节点
  380.                     addWaiter(Node.EXCLUSIVE)
  381.                     , arg))
  382.             //获取锁的过程中,当出现中断时,会执行到这里
  383.             selfInterrupt();
  384.     }
  386.     public final boolean release(int arg) {
  388.         if (//释放锁,成功则进入
  389.                 tryRelease(arg)) {
  391.             //获取head
  392.             Node h = head;
  393.             //如果head不为空,且已经执行
  394.             if (h != null && h.waitStatus != 0)
  395.                 //释放当前节点的下一个节点
  396.                 unparkSuccessor(h);
  397.             return true;
  398.         }
  399.         //释放失败
  400.         return false;
  401.     }
  403.     public final void acquireShared(int arg) {
  405.         //共享模式获取锁,忽略中断
  406.         if (tryAcquireShared(arg) < 0)
  407.             doAcquireShared(arg);
  408.     }
  411.     public final void acquireSharedInterruptibly(int arg)
  412.             throws InterruptedException {
  414.         //中断检测
  415.         if (Thread.interrupted())
  416.             throw new InterruptedException();
  417.         //个数是否消耗完,消耗完则直接跳过,直接执行
  418.         //否则执行下列方法
  419.         if (tryAcquireShared(arg) < 0)
  420.             doAcquireSharedInterruptibly(arg);
  421.     }
  424.     public final boolean releaseShared(int arg) {
  426.         //检测闭锁是否开启
  427.         if (tryReleaseShared(arg)) {
  429.             //释放
  430.             doReleaseShared();
  431.             return true;
  432.         }
  433.         return false;
  434.     }
  437.     public final boolean hasQueuedPredecessors() {
  440.         Node t = tail; // Read fields in reverse initialization order
  441.         Node h = head;
  442.         Node s;
  443.         //判断当前线程是否是等待线程节点的下一个线程
  444.         return h != t &&
  445.             ((s = h.next) == null || s.thread != Thread.currentThread());
  446.     }
  449. }

Condition

在这里插入图片描述

主要看java.util.concurrent.locks.AbstractQueuedSynchronizer.ConditionObject

newCondition

  1. public Condition newCondition() {
  3.         return sync.newCondition();
  4.     }
  6. final ConditionObject newCondition() {
  8.             return new ConditionObject();
  9.         }

await

  1. public final void await() throws InterruptedException {
  3.             //中断处理
  4.             if (Thread.interrupted())
  5.                 throw new InterruptedException();
  7.             //添加下一个节点到等待队列
  8.             Node node = addConditionWaiter();
  9.             //阻塞时候,会释放锁
  10.             int savedState = fullyRelease(node);
  11.             //1) 当在被通知前被中断则将中断模式设置为THROW_IE；
  12.             // 2) 当在被通知后则将中断模式设置为REINTERRUPT(因为acquireQueued不会响应中断)。
  13.             int interruptMode = 0;
  14.             //如果不在同步队列,则阻塞
  15.             while (!isOnSyncQueue(node)) {
  17.                 //阻塞当前线程
  18.                 //在另一个线程调用sign和unlock之后唤醒
  19.                 //调用sign,将当前等待线程添加到同步线程
  20.                 //然后调用unlock释放同步线程
  21.                 LockSupport.park(this);
  22.                 //如果中断,确保节点添加到同步队列,并跳出循环
  23.                 if ((interruptMode = checkInterruptWhileWaiting(node)) != 0)
  24.                     break;
  25.             }
  26.             //阻塞竞争锁,如果被通知或者中断的话.获取锁的话会重新计入重入次数
  27.             if (acquireQueued(node, savedState) && interruptMode != THROW_IE)
  28.                 interruptMode = REINTERRUPT;
  29.             if (node.nextWaiter != null) // clean up if cancelled
  30.             //删除状态不为CONDITION的节点
  31.                 unlinkCancelledWaiters();
  32.             //根据中断模式抛出异常
  33.             if (interruptMode != 0)
  34.                 reportInterruptAfterWait(interruptMode);
  35.         }
  37.    private Node addConditionWaiter() {
  39.             //获取上一个等待节点
  40.             Node t = lastWaiter;
  41.             // If lastWaiter is cancelled, clean out.
  42.             if (t != null && t.waitStatus != Node.CONDITION) {
  44.                 unlinkCancelledWaiters();
  45.                 t = lastWaiter;
  46.             }
  47.             //创建一个新的节点,并标记CONDITION
  48.             Node node = new Node(Thread.currentThread(), Node.CONDITION);
  49.             //如果上一个等待节点为空,则设置为第一个节点
  50.             if (t == null)
  51.                 firstWaiter = node;
  52.             else
  53.                 //否则设置为下一个节点
  54.                 t.nextWaiter = node;
  55.             lastWaiter = node;
  56.             return node;
  57.         }
  58.  final int fullyRelease(Node node) {
  60.         boolean failed = true;
  61.         try {
  63.             int savedState = getState();
  64.             //释放所有锁?
  65.             if (release(savedState)) {
  67.                 failed = false;
  68.                 //返回保存状态
  69.                 return savedState;
  70.             } else {
  72.                 throw new IllegalMonitorStateException();
  73.             }
  74.         } finally {
  76.             //失败,则标记状态为取消
  77.             if (failed)
  78.                 node.waitStatus = Node.CANCELLED;
  79.         }
  80.     }
  82.   final boolean isOnSyncQueue(Node node) {
  84.         //如果节点在条件队列或者节点前置为null,则阻塞
  85.         //prev为null的时候,说明是头节点,而头结点一般是空node,所以不可能是头结点
  86.         //name也就是处于transferForSignal方法中compareAndSetWaitStatus和enq之间的中间状态
  87.         if (node.waitStatus == Node.CONDITION || node.prev == null)
  88.             return false;
  89.         //如果有后续任务,说明被其他线程修改,已经入队
  90.         if (node.next != null) // If has successor, it must be on queue
  91.             return true;
  92.         /*
  93.          * node.prev can be non-null, but not yet on queue because
  94.          * the CAS to place it on queue can fail. So we have to
  95.          * traverse from tail to make sure it actually made it.  It
  96.          * will always be near the tail in calls to this method, and
  97.          * unless the CAS failed (which is unlikely), it will be
  98.          * there, so we hardly ever traverse much.
  99.          */
  100.         //状态不是CONDITION,且前置节点不为null,后置节点为null,可能是尾节点,则从后查找
  101.         //从后到前查找是否有node,如果没有说明还正在添加则阻塞
  102.         //也就是enq调用compareAndSetTail存在并发修改失败
  103.         return findNodeFromTail(node);
  104.     }
  106.     //尾部查找node节点
  107.     private boolean findNodeFromTail(Node node) {
  109.         Node t = tail;
  110.         for (;;) {
  112.             if (t == node)
  113.                 return true;
  114.             if (t == null)
  115.                 return false;
  116.             t = t.prev;
  117.         }
  118.     }
  120.   private int checkInterruptWhileWaiting(Node node) {
  122.             /*
  123.             没有异常,返回0
  124.             中断在通知之前,THROW_IE
  125.             中断在通知之后,REINTERRUPT
  126.              */
  127.             return Thread.interrupted() ?
  128.                 (transferAfterCancelledWait(node) ? THROW_IE : REINTERRUPT) :
  129.                 0;
  130.         }
  132.   final boolean transferAfterCancelledWait(Node node) {
  134.         //当前节点状态为CONDITION,中断在通知之前
  135.         //设置状态为0,将取消的线程添加到同步队列中
  136.         if (compareAndSetWaitStatus(node, Node.CONDITION, 0)) {
  138.             enq(node);
  139.             return true;
  140.         }
  141.         /*
  142.          * If we lost out to a signal(), then we can't proceed
  143.          * until it finishes its enq().  Cancelling during an
  144.          * incomplete transfer is both rare and transient, so just
  145.          * spin.
  146.          */
  147.         /*
  148.         节点不是CONDITION状态,这说明中断在通知之后
  149.         自旋添加到队列中
  150.          */
  151.         while (!isOnSyncQueue(node))
  152.             Thread.yield();
  153.         //线程在通知之后被取消
  154.         return false;
  155.     }
  158.  final boolean acquireQueued(final Node node, int arg) {
  160.         boolean failed = true;
  161.         try {
  163.             boolean interrupted = false;
  164.             for (;;) {
  166.                 //返回前端节点
  167.                 final Node p = node.predecessor();
  168.                 /*如果是当前头节点且再次获取锁成功
  169.                  */
  170.                 if (p == head && tryAcquire(arg)) {
  172.                     //设置头结点为当前节点,以及清空当前节点的pre和thread
  173.                     setHead(node);
  174.                     //释放GC
  175.                     p.next = null; // help GC
  176.                     //标记正常执行
  177.                     failed = false;
  178.                     return interrupted;
  179.                 }
  180.                 //检查并修改一个节点的状态，当该节点获取锁失败时。返回true如果线程需要阻塞。
  181.                 if (shouldParkAfterFailedAcquire(p, node) &&
  182.                         //这里执行阻塞
  183.                     parkAndCheckInterrupt())
  184.                     //标记已中断
  185.                     interrupted = true;
  186.             }
  187.         } finally {
  189.             if (failed)
  190.                 cancelAcquire(node);
  191.         }
  192.     }
  194.   private void unlinkCancelledWaiters() {
  196.             //删除状态不为CONDITION的节点
  197.             //trail ->t->next
  198.             Node t = firstWaiter;
  199.             //记录上一个状态为CONDITION的节点
  200.             Node trail = null;
  201.             while (t != null) {
  203.                 Node next = t.nextWaiter;
  204.                 if (t.waitStatus != Node.CONDITION) {
  206.                     t.nextWaiter = null;
  207.                     if (trail == null)
  208.                         firstWaiter = next;
  209.                     else
  210.                         //删除t节点
  211.                         trail.nextWaiter = next;
  212.                     if (next == null)
  213.                         lastWaiter = trail;
  214.                 }
  215.                 else
  216.                     trail = t;
  217.                 t = next;
  218.             }
  219.         }
  221.  private void reportInterruptAfterWait(int interruptMode)
  222.             throws InterruptedException {
  224.             //抛出中断异常
  225.             if (interruptMode == THROW_IE)
  226.                 throw new InterruptedException();
  227.             else if (interruptMode == REINTERRUPT)
  228.                 //中断
  229.                 selfInterrupt();
  230.         }

signal

  1. public final void signal() {
  3.             //发送信号的是否是当前线程,如果不是则异常
  4.              //确保signal在lock之后,且同一个线程
  5.             if (!isHeldExclusively())
  6.                 throw new IllegalMonitorStateException();
  7.             //获取第一个等待节点
  8.             Node first = firstWaiter;
  9.             if (first != null)
  10.                 //发送信号
  11.                 doSignal(first);
  12.         }
  15.    private void doSignal(Node first) {
  17.             do {
  19.                 //删除first节点,并设置firstWaiter为下一个节点
  20.                 //如果下一个节点为null,则清空lastWaiter
  21.                 if ( (firstWaiter = first.nextWaiter) == null)
  22.                     lastWaiter = null;
  23.                 //清空first下一个节点
  24.                 first.nextWaiter = null;
  26.             } while (
  27.                     //将删除的first节点添加到同步队列
  28.                     //如果添加失败,说明已经有其他线程添加成功了
  29.                     //却白first不为null,再次遍历
  30.                     !transferForSignal(first) &&
  31.                      (first = firstWaiter) != null);
  32.         }
  34.  final boolean transferForSignal(Node node) {
  36.         /*
  37.          * If cannot change waitStatus, the node has been cancelled.
  38.          */
  39.         //修改状态为普通状态,如果失败,说明其他线程正在执行添加操作
  40.         if (!compareAndSetWaitStatus(node, Node.CONDITION, 0))
  41.             return false;
  43.         /*
  44.          * Splice onto queue and try to set waitStatus of predecessor to
  45.          * indicate that thread is (probably) waiting. If cancelled or
  46.          * attempt to set waitStatus fails, wake up to resync (in which
  47.          * case the waitStatus can be transiently and harmlessly wrong).
  48.          */
  49.         //node添加到同步队列最后,且返回上一个节点
  50.         Node p = enq(node);
  51.         //获取入队前前置节点状态
  52.         int ws = p.waitStatus;
  53.         //前置节点为取消状态的时候,也就是说他不会在被唤醒,如果当前线程执行unlock执行unpark操作的时候,唤醒的是一个取消节点
  54.         //而这不是我们愿意看到的,我们希望唤醒的是一个正常节点,这里提前唤醒下一个正常节点线程.在正常节点被唤醒后,会竞争锁,竞争锁成功后,会删除取消的节点
  55.         //前置节点为取消状态,直接唤醒
  56.         //或者为非取消状态则修改为SIGNAL,如果失败则唤醒
  57.         if (ws > 0 || !compareAndSetWaitStatus(p, ws, Node.SIGNAL))
  58.             //唤醒当前线程
  59.             LockSupport.unpark(node.thread);
  60.         //添加同步队列成功
  61.         return true;
  62.     }

signalAll

  1. public final void signalAll() {
  3.             //非当前获取独占锁线程异常
  4.             if (!isHeldExclusively())
  5.                 throw new IllegalMonitorStateException();
  6.             //获取第一个等待节点
  7.             Node first = firstWaiter;
  8.             if (first != null)
  9.                 //遍历添加所有等待节点到同步队列
  10.                 doSignalAll(first);
  11.         }
  13.   private void doSignalAll(Node first) {
  15.             lastWaiter = firstWaiter = null;
  16.             do {
  18.                 Node next = first.nextWaiter;
  19.                 first.nextWaiter = null;
  20.                 transferForSignal(first);
  21.                 first = next;
  22.             } while (first != null);
  23.         }

总结

await时,会释放锁
在这里插入图片描述

await有2个阻塞状态,第一个阻塞状态等待当前节点添加到同步队列
第二个阻塞状态是竞争锁.
在这里插入图片描述
ConditionObject维护了2个节点,当await时将节点添加到等待队列中
当signal时,将队列节点添加到同步队列head和tail中.在执行unlock的时候被唤醒.
但是在signal时,如果上一个节点出现取消状态或者上一个同步队列节点修改状态失败,则提前唤醒当前节点
在这里插入图片描述
在这里插入图片描述
对CAS中间状态的维护
在这里插入图片描述
在这里插入图片描述

CAS例子

  1. package concurrent.D;
  3. import java.util.concurrent.atomic.AtomicReference;
  5. /**
  6.  * LinkedQueue
  7.  * <p/>
  8.  * Insertion in the Michael-Scott nonblocking queue algorithm
  9.     线程安全
  10.  * Michael-Scott非阻塞链接队列算法中的插入算法
  11.  *
  12.  * ConcurrentLinkedQueue使用原子域更新器AtomicReferenceFieldUpdater来代替AtomicReference,从而提升性能
  13.  * @author Brian Goetz and Tim Peierls
  14.  */
  15. public class M_LinkedQueue <E> {
  18.     private static class Node <E> {
  20.         final E item;
  21.         final AtomicReference<Node<E>> next;
  23.         public Node(E item, Node<E> next) {
  25.             this.item = item;
  26.             this.next = new AtomicReference<Node<E>>(next);
  27.         }
  28.     }
  30.     private final Node<E> dummy = new Node<E>(null, null);
  31.     private final AtomicReference<Node<E>> head
  32.             = new AtomicReference<Node<E>>(dummy);
  33.     private final AtomicReference<Node<E>> tail
  34.             = new AtomicReference<Node<E>>(dummy);
  36.     public boolean put(E item) {
  38.         Node<E> newNode = new Node<E>(item, null);
  39.         while (true) {
  41.             Node<E> curTail = tail.get();
  42.             Node<E> tailNext = curTail.next.get();
  43.             if (curTail == tail.get()) {
  45.                 //检测状态是否处于C-D之间
  46.                 if (tailNext != null) {
  48.                     // Queue in intermediate state, advance tail
  49.                     //队列处于中间状态,推进尾节点,处于状态C-D之间,curTail.next是有值得
  50.                     tail.compareAndSet(curTail, tailNext);
  51.                 } else {
  53.                     // In quiescent state, try inserting new node
  54.                     //处于稳定状态,尝试插入新节点到列表队尾
  55.                     if (curTail.next.compareAndSet(null, newNode)) {
  56.       //状态C
  57.                         // Insertion succeeded, try advancing tail
  58.                         //插入操作成功,尝试推进尾节点,推入失败也没事，其他线程会帮忙推送
  59.                         tail.compareAndSet(curTail, newNode);   //状态D
  60.                         //因为其他线程帮忙推送又或者自己推送成功,保证了幂等性,所以直接返回即可
  61.                         return true;
  62.                     }
  63.                 }
  64.             }
  65.         }
  66.     }
  67. }

发表评论

表情：
评论列表 （有 0 条评论，140人围观）

还没有评论，来说两句吧...

相关阅读