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;
}
欢迎关注,一起学习~~
版权说明 : 本文为转载文章, 版权归原作者所有 版权申明
原文链接 : https://blog.csdn.net/u012998254/article/details/114173506
内容来源于网络,如有侵权,请联系作者删除!