Condition簡介
任何一個java對象都天然繼承於Object類,在線程間實現通信的往往會應用到Object的幾個方法,比如 wait()
,wait(long timeout),wait(long timeout, int nanos)
與notify()
,notifyAll()
幾個方法實現等待/通知機制。同樣的, 在 java Lock體系下依然會有同樣的方法實現等待/通知機制。
從整體上來看Object類提供的wait和notify/notify方法是與對象監視器monitor配合完成線程間的等待/通知機制,屬於JVM底層實現。而Condition與Lock配合完成的等待通知機制,屬於Java語言級別的,具有更高的可控制性和擴展性。
兩者除了在使用方式上不同外,在功能特性上還是有很多的不同:
- Condition能夠支持不響應中斷,而通過使用Object方式不支持;
- Condition能夠支持多個等待隊列(new 多個Condition對象),而Object方式只能支持一個;
- Condition能夠支持超時時間的設置,而Object不支持
Condition方法
參照Object的wait和notify/notifyAll方法,Condition也提供了同樣的方法:
針對Object的wait方法
void await() throws InterruptedException //當前線程進入等待狀態,同Object.wait(),直到被中斷或喚醒
long awaitNanos(long nanosTimeout) // 當前線程進入等待狀態,不響應中斷,直到被喚醒
boolean await(long time, TimeUnit unit)throws InterruptedException // 同Object.wait(long timeout),多了自定義時間單位,在中斷、超時、被喚醒三種情況下返回
boolean awaitUntil(Date deadline) throws InterruptedException // 支持設置截止時間
針對Object的notify/notifyAll方法
void signal():喚醒一個等待在condition上的線程,將該線程從等待隊列中轉移到同步隊列中,如果在同步隊列中能夠競爭到Lock則可以從等待方法中返回。
void signalAll():將所有等待在condition上的線程全部轉移到同步隊列中
Condition實現原理分析
等待隊列
創建一個 condition 對象是通過lock.newCondition()
,而這個方法實際上是會new出一個ConditionObject
對象,該類是AQS的一個內部類。前面我們說過,condition是要和lock配合使用的也就是condition和Lock是綁定在一起的,而lock的實現原理又依賴於AQS,自然而然ConditionObject作爲AQS的一個內部類無可厚非。
我們知道在鎖機制的實現上,AQS內部維護了一個同步隊列,如果是獨佔式鎖的話,所有獲取鎖失敗的線程尾插入到同步隊列,同樣的,condition內部也是使用同樣的方式,內部維護了一個等待隊列,所有調用condition.await()
方法的線程會加入到等待隊列中,並且線程狀態轉換爲等待狀態。
public Condition newCondition() {
return sync.newCondition();
}
final ConditionObject newCondition() {
return new ConditionObject();
}
public class ConditionObject implements Condition, java.io.Serializable {
private static final long serialVersionUID = 1173984872572414699L;
/** First node of condition queue. */
private transient Node firstWaiter;
/** Last node of condition queue. */
private transient Node lastWaiter;
/**
* Creates a new {@code ConditionObject} instance.
*/
public ConditionObject() { }
從中我們就可以看出來ConditionObject通過持有等待隊列的頭(Node firstWaiter
)尾(Node lastWaiter
)指針來管理等待隊列。需要注意的是Node類複用了在AQS中的Node類
static final class Node {
...
volatile int waitStatus;
volatile Node prev;
volatile Node next;
volatile Thread thread;
Node nextWaiter;
...
}
Node類有這樣一個屬性Node nextWaiter;
(後繼節點),進一步說明,等待隊列是一個單向隊列,而在之前說AQS時知道同步隊列是一個雙向隊列。
我們通過代碼來進一步驗證等待隊列的結構:
import java.util.concurrent.locks.Condition;
import java.util.concurrent.locks.Lock;
import java.util.concurrent.locks.ReentrantLock;
public class WaitTestDemo {
public static void main(String[] args) {
Lock lock = new ReentrantLock();
Condition condition = lock.newCondition();
for(int i = 0;i < 10;i++){
new Thread(()->{
lock.lock();
try {
condition.await();
} catch (InterruptedException e) {
e.printStackTrace();
}finally {
lock.unlock();
}
}).start();
}
}
}
新建了10個線程,沒有線程先獲取鎖,然後調用condition.await方法釋放鎖將當前線程加入到等待隊列中,通過 debug控制當走到第10個線程的時候查看firstWaiter即等待隊列中的頭結點,debug模式下情景圖如下:
從這個圖我們可以很清楚的看到這樣幾點:
- 調用condition.await方法後線程依次尾插入到等待隊列中,如圖隊列中的線程引用依次爲Thread-0,Thread-1,Thread-2…Thread-8;
- 等待隊列是一個單向隊列。通過我們的猜想然後進行實驗驗證,我們可以得出等待隊列的示意圖如下圖所示:
同時還有一點需要注意的是:我們可以多次調用lock.newCondition()
方法創建多個condition對象,也就是一個lock可以持有多個等待隊列。而在之前利用Object的方式實際上是指在對象Object對象監視器上只能擁有一個同步隊列和一個等待隊列,而併發包中的Lock擁有一個同步隊列和多個等待隊列。
如圖所示,ConditionObject是AQS的內部類,因此每個ConditionObject能夠訪問到AQS提供的方法,相當於每個Condition都擁有所屬同步器的引用。
Condition應用場景—用Condition來實現有界隊列
有界隊列是一種特殊的隊列,當隊列爲空時,隊列的獲取(刪除)操作將會阻塞獲取(刪除)線程,直到隊列中有新增 元素;當隊列已滿時,隊列的插入操作將會阻塞插入線程,直到隊列出現空位。
import java.util.concurrent.locks.Condition;
import java.util.concurrent.locks.Lock;
import java.util.concurrent.locks.ReentrantLock;
class BoundedQueue<T> {
private Object[] items;
// 隊列中當前元素個數
private int count;
private Lock lock = new ReentrantLock();
private Condition empty = lock.newCondition();
private Condition full = lock.newCondition();
public BoundedQueue(int size) {
items = new Object[size];
}
// 添加元素方法,如果當前隊列已滿,
// 則添加線程進入等待狀態,直到有空位被喚醒
public void addThraed(T t,int addIndex){
lock.lock();
try {
// 當前隊列已滿,添加線程進入等待狀態
while (count == items.length){
try {
full.wait();
} catch (InterruptedException e) {
e.printStackTrace();
}
}
items[addIndex] = t;
count++;
empty.signal();
}finally {
lock.unlock();
}
}
// 刪除元素方法,如果當前隊列爲空,
// 則移除線程進入等待狀態直到到隊列不爲空時被喚醒
public T removeThread(int removeIndex) {
lock.lock();
try {
// 當隊列爲空時,移除線程進入等待狀態
while (count == 0) {
try {
empty.await();
} catch (InterruptedException e) {
e.printStackTrace();
}
}
Object x = items[removeIndex];
count--;
full.signal();
return (T) x;
} finally {
lock.unlock();
}
}
}
await實現原理
當調用condition.await()
方法後會使得當前獲取lock的線程進入到等待隊列,如果該線程能夠從await()方法返回的話, 一定是該線程獲取了與condition相關聯的lock。await()方法源碼爲:
/**
* Implements interruptible condition wait.
* <ol>
* <li> If current thread is interrupted, throw InterruptedException.
* <li> Save lock state returned by {@link #getState}.
* <li> Invoke {@link #release} with saved state as argument,
* throwing IllegalMonitorStateException if it fails.
* <li> Block until signalled or interrupted.
* <li> Reacquire by invoking specialized version of
* {@link #acquire} with saved state as argument.
* <li> If interrupted while blocked in step 4, throw InterruptedException.
* </ol>
*/
public final void await() throws InterruptedException {
if (Thread.interrupted())
throw new InterruptedException();
// 1.將當前線程包裝爲Node,尾插到等待隊列中
Node node = addConditionWaiter();
// 2.釋放當前線程所佔用的lock,釋放後會喚醒同步隊列中的下一個節點
long 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.await()
方法後,會使得當前線程釋放lock然後加入到等待隊列中,直至被signal/signalAll()
後會使得當前線程從等待隊列中移至到同步隊列中去,直到獲得了lock後才 會從await方法返回,或者在等待時被中斷會做中斷處理。
那麼關於這個實現過程我們會有這樣幾個問題:
- 是怎樣將當前線程添加到等待隊列中去的?
- 釋放鎖的過程?
- 怎樣才能從await方法退出?
在第1步中調用addConditionWaiter()
將當前線程添加到等待隊列中,該方法源碼爲:
/**
* Adds a new waiter to wait queue.
* @return its new wait node
*/
private Node addConditionWaiter() {
Node t = lastWaiter;
// If lastWaiter is cancelled, clean out.
if (t != null && t.waitStatus != Node.CONDITION) {
unlinkCancelledWaiters();
t = lastWaiter;
}
// 將當前線程包裝爲Node
Node node = new Node(Thread.currentThread(), Node.CONDITION);
if (t == null)
firstWaiter = node;
else
// 尾插入等待隊列
t.nextWaiter = node;
lastWaiter = node;
return node;
}
將當前節點包裝成Node,如果等待隊列的firstWaiter爲null的話(等待隊列爲空隊列), 則將firstWaiter指向當前的Node;否則,更新lastWaiter(尾節點)即可。就是通過尾插入的方式將當前線程封裝的Node插入到等待隊列中即可,同時可以看出等待隊列是一個不帶頭結點的鏈式隊列,我們知道AQS的同步隊列是一個帶頭結點的鏈式隊列,這是兩者的一個區別。
將當前節點插入到等待隊列之後,會使當前線程釋放lock,由 fullyRelease()
方法實現,fullyRelease源碼爲:
/**
* Invokes release with current state value; returns saved state.
* Cancels node and throws exception on failure.
* @param node the condition node for this wait
* @return previous sync state
*/
final long fullyRelease(Node node) {
boolean failed = true;
try {
long savedState = getState();
// 調用AQS的釋放同步狀態方法release()
if (release(savedState)) {
// 成功釋放鎖狀態
failed = false;
return savedState;
} else {
// 釋放同步狀態失敗拋出異常
throw new IllegalMonitorStateException();
}
} finally {
// 釋放同步狀態失敗後將當前節點狀態置爲取消狀態
if (failed)
node.waitStatus = Node.CANCELLED;
}
}
調用AQS的模板方法release方法釋放AQS的同步狀態並且喚醒在同步隊列中頭結點的後繼節點引用的線程,如果釋放成功則正常返回,若失敗的話就拋出異常。
那麼怎樣從await方法退出? await方法有這樣一段邏輯:
while (!isOnSyncQueue(node)) {
// 當前節點不在同步隊列時被阻塞進入等待狀態
LockSupport.park(this);
if ((interruptMode = checkInterruptWhileWaiting(node)) != 0)
break;
}
很顯然,當線程第一次調用condition.await()
方法時,會進入到這個while()循環中,然後通過LockSupport.park(this)
方法使得當前線程進入等待狀態,那麼要想退出這個await方法第一個前提條件自然而然的是要先退出這個while循 環,出口就只剩下兩個地方:1. 邏輯走到break退出while循環;2. while循環中的邏輯判斷爲false。
代碼出現第1種情況的條件是當前等待的線程被中斷後代碼會走到break退出,第二種情況是當前節點被移動到了同步隊列中 (即另外線程調用的condition的signal或者signalAll方法),while中邏輯判斷爲false後結束while循環。總結下,就是當前線程被中斷或者調用condition.signal/condition.signalAll
方法使當前節點移動到了同步隊列後 ,這是當前線程退出await方法的前提條件。
當退出while循環後就會調用acquireQueued(node, savedState)
,這個方法在介紹AQS的底層實現時說過了,該方法的作用是在自旋過程中線程不斷嘗試獲取同步狀態,直至成功(線程獲取到lock)。這 樣也說明了退出await方法必須是已經獲得了condition引用(關聯)的lock。
如上圖所示:調用condition.await()
方法的線程必須是已經獲得了lock,也就是當前線程是同步隊列中的頭結點。調用該方法後會使得當前線程所封裝的Node尾插入到等待隊列中。
signal/signalAll實現原理
調用condition的signal或者signalAll方法可以將等待隊列中等待時間最長的節點移動到同步隊列中,使得該節點能夠有機會獲得lock。按照等待隊列是先進先出(FIFO)的原則,等待隊列的頭節點必然會是等待時間長的節點, 也就是每次調用condition的signal方法是將頭節點移動到同步隊列中。signal方法源碼爲:
/**
* Moves the longest-waiting thread, if one exists, from the
* wait queue for this condition to the wait queue for the
* owning lock.
*
* @throws IllegalMonitorStateException if {@link #isHeldExclusively}
* returns {@code false}
*/
public final void signal() {
// 當前線程是否已經獲取lock
if (!isHeldExclusively())
throw new IllegalMonitorStateException();
// 獲取等待隊列的第一個節點,之後的操作都是針對這個節點
Node first = firstWaiter;
if (first != null)
doSignal(first);
}
下面我們來看看doSignal方法做了些什麼事情,doSignal()
方法源碼爲:
/**
* Removes and transfers nodes until hit non-cancelled one or
* null. Split out from signal in part to encourage compilers
* to inline the case of no waiters.
* @param first (non-null) the first node on condition queue
*/
private void doSignal(Node first) {
do {
if ( (firstWaiter = first.nextWaiter) == null)
lastWaiter = null;
// 將頭結點從等待隊列中移除
first.nextWaiter = null;
// transferForSignal方法對頭結點做真正的處理
} while (!transferForSignal(first) &&
(first = firstWaiter) != null);
}
真正對頭節點做處理的邏輯在transferForSignal()
方法,該方法源碼爲:
/**
* Transfers a node from a condition queue onto sync queue.
* Returns true if successful.
* @param node the node
* @return true if successfully transferred (else the node was
* cancelled before signal)
*/
final boolean transferForSignal(Node node) {
/*
* If cannot change waitStatus, the node has been cancelled.
*/
// 首先將節點狀態更新爲0
if (!compareAndSetWaitStatus(node, Node.CONDITION, 0))
return false;
/*
* Splice onto queue and try to set waitStatus of predecessor to
* indicate that thread is (probably) waiting. If cancelled or
* attempt to set waitStatus fails, wake up to resync (in which
* case the waitStatus can be transiently and harmlessly wrong).
*/
// 將節點使用enq方法尾插到同步隊列中
Node p = enq(node);
int ws = p.waitStatus;
if (ws > 0 || !compareAndSetWaitStatus(p, ws, Node.SIGNAL))
LockSupport.unpark(node.thread);
return true;
}
這段代碼主要做了兩件事情:
- 將頭結點的狀態更改爲CONDITION;
- 調用
enq()
方法,將該節點尾插入到同步隊列中。
現在我們可以得出結論:調用condition的signal的前提條件是當前線程已經獲取了lock,該方法會使得等待隊列中的頭節點即等待時間最長的那個節點移入到同步隊列,而移入到同步隊列後纔有機會使得等待線程被喚醒,即從await方法中的LockSupport.park(this)
方法中返回,從而纔有機會使得調用await方法的線程成功退出。signal執行示意圖如下圖:
signalAll()方法底層原理
signalAll()
與sigal()
方法的區別體現在doSignalAll()
方法上,前面我們已經知道doSignal方法只會對等待隊列的頭節點進行操作,而doSignalAll的源碼爲:
/**
* Moves all threads from the wait queue for this condition to
* the wait queue for the owning lock.
*
* @throws IllegalMonitorStateException if {@link #isHeldExclusively}
* returns {@code false}
*/
public final void signalAll() {
if (!isHeldExclusively())
throw new IllegalMonitorStateException();
Node first = firstWaiter;
if (first != null)
doSignalAll(first);
}
/**
* Removes and transfers all nodes.
* @param first (non-null) the first node on condition queue
*/
private void doSignalAll(Node first) {
lastWaiter = firstWaiter = null;
do {
Node next = first.nextWaiter;
first.nextWaiter = null;
transferForSignal(first);
first = next;
} while (first != null);
}
該方法只不過是將等待隊列中的每一個節點都移入到同步隊列中,即“通知”當前調用condition.await()
方法的每一個線程。
Condition機制實現生產-消費者模型
import java.util.ArrayList;
import java.util.List;
import java.util.concurrent.locks.Condition;
import java.util.concurrent.locks.Lock;
import java.util.concurrent.locks.ReentrantLock;
class Goods{
private String name;
private int count;
private int maxCount;
private Lock lock = new ReentrantLock();
// 消費者等待隊列
private Condition consumerCondition = lock.newCondition();
// 生產者等待隊列
private Condition producerCondition = lock.newCondition();
public Goods(int maxCount) {
this.maxCount = maxCount;
}
@Override
public String toString() {
return "Goods{" +
"name='" + name + '\'' +
", count=" + count +
'}';
}
/**
生產者方法
@param name 設置商品名稱
*/
public void setGoods(String name){
lock.lock();
try{
// 商品數量達到最大值,生產者線程進入生產者等待隊列
while (maxCount == count){
try {
System.out.println(Thread.currentThread().getName()
+"還有很多商品,歇會~");
producerCondition.await();
} catch (InterruptedException e) {
e.printStackTrace();
}
}
try {
Thread.sleep(200);
} catch (InterruptedException e) {
e.printStackTrace();
}
this.name = name;
count++;
System.out.println(Thread.currentThread().getName()+"生產"
+toString());
// 喚醒處於消費者的線程
consumerCondition.signalAll();
}finally {
lock.unlock();
}
}
/**
消費者方法
*/
public void getGoods(){
lock.lock();
try{
while (0 == count){
try {
System.out.println(Thread.currentThread().getName()
+"還沒有商品~");
consumerCondition.await();
} catch (InterruptedException e) {
e.printStackTrace();
}
}
try {
Thread.sleep(200);
} catch (InterruptedException e) {
e.printStackTrace();
}
count--;
System.out.println(Thread.currentThread().getName()+"消費"
+toString());
// 喚醒所有生產者的線程
producerCondition.signalAll();
}finally {
lock.unlock();
}
}
}
class Producer implements Runnable{
private Goods goods;
public Producer(Goods goods) {
this.goods = goods;
}
@Override
public void run() {
while(true){
this.goods.setGoods("限量版Mac口紅");
}
}
}
class Consumer implements Runnable{
private Goods goods;
public Consumer(Goods goods) {
this.goods = goods;
}
@Override
public void run() {
while(true){
this.goods.getGoods();
}
}
}
public class Cache {
public static void main(String[] args) {
Goods goods = new Goods(10);
Producer producer = new Producer(goods);
Consumer consumer = new Consumer(goods);
List<Thread> list = new ArrayList<>();
// 啓動5個生產者線程
for (int i = 0;i < 5;i++){
Thread thread = new Thread(producer,"生產者"+i);
list.add(thread);
}
// 啓動10個消費者線程
for (int i = 0;i < 10;i++){
Thread thread = new Thread(consumer,"消費"+i);
list.add(thread);
}
for (Thread thread : list){
thread.start();
}
}
}