java并发之Condition图解与原理剖析

public interface Condition {

/**

• 当前线程进入等待状态，直到被通知（signal）或者中断

• 返回的前提：

• 1、其他线程调用该Condition的signal()或者signalAll()方法&&获取到锁

• 2、其他线程中断了该线程

*/

void await() throws InterruptedException;

/**

• 等待直至被通知，不响应中断

*/

void awaitUninterruptibly();

/**

• 等待通知、中断或者指定等待时间到则返回

*/

boolean await(long time, TimeUnit unit) throws InterruptedException;

/**

• 等待通知、中断或者规定线程截止日期已经过去则返回

*/

boolean awaitUntil(Date deadline) throws InterruptedException;

/**

• 唤醒一个等待线程，线程返回的前提是该线程获取到与Condition有关的锁

*/

void signal();

/**

• 唤醒所有等待线程，线程返回的前提是该线程获取到与Condition有关的锁

*/

void signalAll();

}

3.2 Lock接口定义

获取Condition必须通过Lock的newCondition()方法，这个在如下接口定义中可以找到结论。

/**

• Lock接口中定义了Condition的获取方式

*/

public interface Lock {

void lock();

void lockInterruptibly() throws InterruptedException;

boolean tryLock();

boolean tryLock(long time, TimeUnit unit) throws InterruptedException;

void unlock();

/**

• 调用 newCondition()方法返回一个Condition

*/

Condition newCondition();

}

3.3 使用案例

通过Lock和Condition来实现一个有界缓存队列，生产线程的向队列中添加数据，当队列满了的时候put()操作会被阻塞；反之，消费线程不断的从队列中取出数据，当队列为空时，take()操作会被阻塞。

package com.lizba.p6;

import org.omg.CORBA.Object;

import java.util.concurrent.locks.Condition;

import java.util.concurrent.locks.Lock;

import java.util.concurrent.locks.ReentrantLock;

/**

•  使用Condition来实现的一个有界队列示例代码
  

• @Author: Liziba

• @Date: 2021/6/26 16:03

*/

public class ConditionBoundedBuffer {

/** 定义数组做有界队列容器 */

final E[] items;

/** 可重入锁ReentrantLock() */

final Lock lock = new ReentrantLock();

/** 条件：数组不满 notFull ( count < item.length) */

final Condition notFull = lock.newCondition();

/** 条件：数组不为空 notEmpty ( count > 0) */

final Condition notEmpty = lock.newCondition();

/**

• tail游标，记录当前插入元素到了哪个位置

• head游标，记录当前获取元素到了哪个位置

• count，记录容器中的元素的个数

• */

private int tail, head, count;

public ConditionBoundedBuffer(int size) {

this.items = (E[]) new Object[size];

}

/**

• 添加元素操作

• @param e

• @throws InterruptedException

*/

public void put(E e) throws InterruptedException {

lock.lock();

try {

// 当数组满时，调用 notFull.await();使得插入元素的线程阻塞

while (count == items.length) {

notFull.await();

}

items[tail] = e;

if (++tail == items.length) {

tail = 0;

}

++count;

// 唤醒获取元素的线程

notEmpty.signalAll();

} finally {

lock.unlock();

}

}

/**

• 获取元素操作

• @return

• @throws InterruptedException

*/

public E take() throws InterruptedException {

lock.lock();

try {

// 当数组为空时，调用notEmpty.await();使得获取元素的线程阻塞

while (count == 0) {

notEmpty.await();

}

E ret = items[head];

items[head] = null;

if (++head == items.length) {

head = 0;

}

–count;

// 唤醒插入元素的线程

notFull.signalAll();

return ret;

} finally {

lock.unlock();

}

}

}

上述案例中的tail、head、count有不大看的懂的，我做了个简单的的put(E e)和take()的图解

Condition实现的阻塞队列put(E e)图解

Condition实现的阻塞队列take()图解

4、Condtion 实现源码分析

4.1 互斥锁和读写锁中Condition的构造

4.1.1 AbstractQueuedSynchronizer中的ConditionObject

ReentrantLock与ReentrantReadWriteLock中的静态内部类Sync继承了AbstractQueuedSynchronizer，两者调用的sync.newCondition()，实际上调用的是new ConditionObject()，也就是构造的AbstractQueuedSynchronizer中的ConditionObject对象。

public class ConditionObject implements Condition, java.io.Serializable {\

/** 双向链表首节点*/

private transient Node firstWaiter;

/** 双向链表尾节点*/

private transient Node lastWaiter;

public ConditionObject() { }

//…

}

4.1.2 ReentrantLock中的Condition

/**

• ReentrantLock中的newCondition()，调用sync的newCondition();

*/

public Condition newCondition() {

return sync.newCondition();

}

/**

• sync的中的newCondition()

*/

final ConditionObject newCondition() {

return new ConditionObject();

}

4.1.3 ReentrantReadWriteLock中的Condition

/**

• 读锁不支持newCondition()

*/

public static class ReadLock implements Lock, java.io.Serializable {

public Condition newCondition() {

throw new UnsupportedOperationException();

}

}

/**

• 写锁中的newCondition()

*/

public static class WriteLock implements Lock, java.io.Serializable {

public Condition newCondition() {

return sync.newCondition();

}

}

4.2 await()源码分析

4.2.1 await()位于AbstractQueuedSynchronizer中的ConditionObject

调用Condition的await()或者awaitXxxx()会导致线程构建成Node节点加入Condition的等待队列，并且释放锁。如果线程从await()或者awaitXxxI()方法返回，表明线程又重新获取了Condition相关的锁。

/**

• await()方法源码分析，其主要逻辑

• 当前线程进入等待状态，直到被通知（signal）或者中断

• 返回的前提：

• 1、其他线程调用该Condition的signal()或者signalAll()方法&&获取到锁

• 2、其他线程中断了该线程

*/

public final void await() throws InterruptedException {

// 判断当前线程是否被中断，如果被中断了则抛出InterruptedException异常

if (Thread.interrupted())

throw new InterruptedException();

// 添加一个新的等待节点到等待队列，无需CAS因为调用await前提是获取到了锁

Node node = addConditionWaiter();

// 释放锁，调用await()必须获取锁，此处释放锁可以防止死锁产生

int savedState = fullyRelease(node);

int interruptMode = 0;

// isOnSyncQueue(node)判断当前节点是否加入到同步队列中了，也就是移出了等待队列+ `SWDVVB

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)

unlinkCancelledWaiters();

// 响应中断抛出异常

if (interruptMode != 0)

reportInterruptAfterWait(interruptMode);

}

await()中的addConditionWaiter()方法

/**

• 添加一个新的等待节点到等待队列，无需CAS因为调用await前提是获取到了锁

*/

private Node addConditionWaiter() {

Node t = lastWaiter;

// 清除取消等待的节点

if (t != null && t.waitStatus != Node.CONDITION) {

unlinkCancelledWaiters();

t = lastWaiter;

}

// 构造新的节点Node

Node node = new Node(Thread.currentThread(), Node.CONDITION);

// 如果尾节点为空免责证明首节点也为空，firstWaiter = node;

if (t == null)

最后

自我介绍一下，小编13年上海交大毕业，曾经在小公司待过，也去过华为、OPPO等大厂，18年进入阿里一直到现在。

深知大多数Java工程师，想要提升技能，往往是自己摸索成长，自己不成体系的自学效果低效漫长且无助。

因此收集整理了一份《2024年Java开发全套学习资料》，初衷也很简单，就是希望能够帮助到想自学提升又不知道该从何学起的朋友，同时减轻大家的负担。

既有适合小白学习的零基础资料，也有适合3年以上经验的小伙伴深入学习提升的进阶课程，基本涵盖了95%以上Java开发知识点，不论你是刚入门Java开发的新手，还是希望在技术上不断提升的资深开发者，这些资料都将为你打开新的学习之门！

如果你觉得这些内容对你有帮助，需要这份全套学习资料的朋友可以戳我获取！！

由于文件比较大，这里只是将部分目录截图出来，每个节点里面都包含大厂面经、学习笔记、源码讲义、实战项目、讲解视频，并且会持续更新！
l)

最后

自我介绍一下，小编13年上海交大毕业，曾经在小公司待过，也去过华为、OPPO等大厂，18年进入阿里一直到现在。

深知大多数Java工程师，想要提升技能，往往是自己摸索成长，自己不成体系的自学效果低效漫长且无助。

因此收集整理了一份《2024年Java开发全套学习资料》，初衷也很简单，就是希望能够帮助到想自学提升又不知道该从何学起的朋友，同时减轻大家的负担。

[外链图片转存中…(img-LzH7sc8p-1715736692244)]

[外链图片转存中…(img-XnLK4mlY-1715736692245)]

[外链图片转存中…(img-OtVa8tUT-1715736692245)]

既有适合小白学习的零基础资料，也有适合3年以上经验的小伙伴深入学习提升的进阶课程，基本涵盖了95%以上Java开发知识点，不论你是刚入门Java开发的新手，还是希望在技术上不断提升的资深开发者，这些资料都将为你打开新的学习之门！

如果你觉得这些内容对你有帮助，需要这份全套学习资料的朋友可以戳我获取！！

由于文件比较大，这里只是将部分目录截图出来，每个节点里面都包含大厂面经、学习笔记、源码讲义、实战项目、讲解视频，并且会持续更新！