并发编程篇:ConditionObject源码分析

ConditionObject是同步器AbstractQueuedSynchronizer的内部器,每个ConditionObject都包含一个队列(称为等待队列),该队列是Condition对象实现等待/通知功能的关键。

等待队列

等待队列是一个FIFO的队列,在队列中的每个节点都包含一个线程引用,该线程就是在ConditionObject上的额等待线程。如果一个线程调用了ConditionObject的 await方法,那么该线程将会释放锁、构造成节点加入 等待队列中并进行等待状态。其中等待队列的 基本结构如下:

   public class ConditionObject  {
     //队列的首节点
     private transient Node firstWaiter;
     //队列的尾节点
     private transient Node lastWaiter;
     ……
 }

在这里插入图片描述
在Object的监视模型上,一个对象只能拥有一个同步队列和等待队列。而在Lock中可以拥有一个同步队列和多个等待 队列。
在这里插入图片描述

等待

调用Condition的await()方法,会使当前线程进入等待队列并释放锁,同时状态变为等待状态。

 public final void await() throws InterruptedException {
     if (Thread.interrupted())
         throw new InterruptedException();
     // 当前线程加入等待队列中    
     Node node = addConditionWaiter();
     //释放同步状态,也就是释放锁
     int savedState = fullyRelease(node);
     int interruptMode = 0;
     //
     while (!isOnSyncQueue(node)) {
         LockSupport.park(this);
         if ((interruptMode = checkInterruptWhileWaiting(node)) != 0)
             break;
     }
     if (acquireQueued(node, savedState) && interruptMode != THROW_IE)
         interruptMode = REINTERRUPT;
     if (node.nextWaiter != null) // clean up if cancelled
         unlinkCancelledWaiters();
     if (interruptMode != 0)
         reportInterruptAfterWait(interruptMode);
 }

在这里插入图片描述

通知

调用ConDition的signal()方法,将会唤醒在等待队列中等待时间最长的节点(首节点),在唤醒节点之前,会将节点移到同步队列中。

    public final void signal() {
    	//当前线程是否获取到锁
        if (!isHeldExclusively())
            throw new IllegalMonitorStateException();
        Node first = firstWaiter;
        if (first != null)
            doSignal(first);
    }
    private void doSignal(Node first) {
        do {
            if ( (firstWaiter = first.nextWaiter) == null)
                lastWaiter = null;
            first.nextWaiter = null;
        } while (!transferForSignal(first) &&
                 (first = firstWaiter) != null);
    }
    final boolean transferForSignal(Node node) {
      
        if (!compareAndSetWaitStatus(node, Node.CONDITION, 0))
            return false;
		//调用enq方法,等待对垒中的头结点线程安全地移动到同步队列。当前节点移动到同步队列周,当前线程再使用LockSupport唤醒该节点的线程
        Node p = enq(node);
        int ws = p.waitStatus;
        if (ws > 0 || !compareAndSetWaitStatus(p, ws, Node.SIGNAL))
            LockSupport.unpark(node.thread);
        return true;
    }

在这里插入图片描述

引用:

ConditionObject分析

欢迎关注,一起学习~~
在这里插入图片描述

  • 0
    点赞
  • 1
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值