AbstractQueuedSynchronizer為鎖機制維護了一個隊列误澳，需要獲取鎖的線程們排在隊列中，只有排在隊首的線程才有資格獲取鎖果正。
ConditionObject是AbstractQueuedSynchronizer的內部類炎码，它為鎖機制維護了另一個隊列，如果線程排在了該隊列中秋泳，說明這個線程需要在某種條件滿足后潦闲，才被喚醒。
前一個隊列是用于鎖的爭用的迫皱，稱之為syn queue矫钓。后一個隊列是用于條件等待的，稱之為condition queue舍杜。這兩個隊列之間是這樣協(xié)作的：當線程拿到鎖后新娜，發(fā)現(xiàn)條件未滿足，便釋放鎖并掛到condition queue中去既绩；當條件滿足后概龄，線程會被喚醒，并掛到syn queue中去重新獲取鎖饲握。具體的應用場景可見Java--Lock&Condition的理解中提到的生產(chǎn)者和消費者模型私杜。
本文主要是對ConditionObject的實現(xiàn)做簡單的介紹蚕键。
Condition queue
ConditionObject主要是維護了一個condition queue，代碼如下所示
<pre>
public class ConditionObject implements Condition, java.io.Serializable {
//First node of condition queue.
private transient Node firstWaiter;
//Last node of condition queue.
private transient Node lastWaiter;
......
}
</pre>
condition queue也是一個Node隊列衰粹，這和syn queue同樣锣光，不過syn queue是通過Node的prev和next指針形成的雙向隊列，而condition queue則是通過Node的nextWaiter形成的單向隊列铝耻。ConditionObject僅是記錄了condition queue的隊首和隊尾誊爹。
下面結合代碼簡述一下ConditionObject中幾個方法。
awaitUninterruptibly()
該方法就是當前線程要在某個條件上等待瓢捉，要加入condition queue了频丘。
步驟：
- 掛入condition queue；
- 釋放鎖泡态；
- 掛起線程搂漠；
- 線程喚醒后重新嘗試獲取鎖。
代碼及注釋如下某弦。
<pre>
public final void awaitUninterruptibly() {
Node node = addConditionWaiter();//將當前線程掛入condition queue
int savedState = fullyRelease(node);//釋放鎖
boolean interrupted = false;
while (!isOnSyncQueue(node)) {//線程是不是在syn queue里
LockSupport.park(this);//掛起當前線程
if (Thread.interrupted())
interrupted = true;
}
if (acquireQueued(node, savedState) || interrupted) //被喚醒后則重新開始嘗試獲取鎖
selfInterrupt();
}
</pre>
這里面有個while桐汤，用來判斷線程是不是在syn queue里。針對這個循環(huán)可做兩點說明：
- node由addConditionWaiter()返回靶壮，是一個waitStatus=Node.CONDITION的node怔毛，所以，第一次執(zhí)行判斷時亮钦，必入循環(huán)，當前線程被掛起充活；
- 線程被喚醒蜂莉，從掛起處繼續(xù)執(zhí)行，此時混卵，會繼續(xù)執(zhí)行while內的判斷映穗。直到確認當前線程已經(jīng)在syn queue隊列上，才會嘗試獲取鎖幕随。那么蚁滋，node又是被誰放到syn queue中的呢？是和await()方法對應的signal()方法赘淮。
其中
addConditionWaiter()是ConditionObject的私有方法
fullyRelease()和isOnSyncQueue()是AbstractQueuedSynchronizer為Conditions實現(xiàn)的方法辕录。
addConditionWaiter()
將當前線程掛入condition queue，代碼及注釋如下梢卸。
<pre>
private Node addConditionWaiter() {
Node t = lastWaiter;
//如果隊尾已經(jīng)被cancel了走诞，就清理一次condition queue，將所有的cancelled node出隊
// If lastWaiter is cancelled, clean out.
if (t != null && t.waitStatus != Node.CONDITION) {
unlinkCancelledWaiters();
t = lastWaiter;
}
//新建node蛤高，關聯(lián)到當前線程蚣旱，并加入condition queue
Node node = new Node(Thread.currentThread(), Node.CONDITION);
if (t == null)
firstWaiter = node;
else
t.nextWaiter = node;
lastWaiter = node;
return node;
}
</pre>
該方法分為兩步碑幅。因為Node是從隊尾加入condition queue的，所以第一步是判斷condition queue的隊尾是否已經(jīng)被cancel了塞绿，如果是沟涨，就調用unlinkCancelledWaiters()從隊頭開始將所有的cancelled node都出隊。清理完cancelled node后异吻，隊尾就是有效的node了裹赴，此時，新建一個關聯(lián)到當前線程的node涧黄，將該node添加到隊列中篮昧，并設置為新的隊尾。
unlinkCancelledWaiters()
清除隊列中所有的cancelled node笋妥。
<pre>
private void unlinkCancelledWaiters() {
Node t = firstWaiter;//當前節(jié)點（就好比for循環(huán)中的i）
Node trail = null;//記錄當前節(jié)點前面最近的一個有效節(jié)點（未被取消的節(jié)點）
while (t != null) {
Node next = t.nextWaiter;
if (t.waitStatus != Node.CONDITION) {//如果當前節(jié)點被取消了懊昨，就將當前節(jié)點出隊
t.nextWaiter = null;
if (trail == null)//如果tiral為空，說明當前節(jié)點前面沒有有效節(jié)點,而當前節(jié)點又被取消了
//說明從當前節(jié)點往前的所有節(jié)點都被取消了春宣，隊首自然要往后更新
firstWaiter = next;
else
trail.nextWaiter = next;
if (next == null)
lastWaiter = trail;
}
else
trail = t;//沒有取消酵颁，則更新所謂“最近的有效節(jié)點”
t = next;//當前節(jié)點更新為下一個（就好比for循環(huán)中的++i）
}
}
</pre>
signal()
喚醒condition queue的隊首，主要的代碼其實就是對doSignal()的調用月帝。
doSignal()
喚醒隊首躏惋，代碼及注釋如下。
<pre>
private void doSignal(Node first) {
do {
if ( (firstWaiter = first.nextWaiter) == null)//隊首的nextWaiter是不是指向空（也即隊列里是不是只有一個node嚷辅，即隊首）
//這一步同時更新了隊首簿姨，相當于將原先的隊首出隊了
lastWaiter = null;
first.nextWaiter = null;
} while (!transferForSignal(first) &&//將隊首遷移到syn queue
(first = firstWaiter) != null);//如果遷移失敗了，說明原先的隊首被取消了簸搞，嘗試處理更新后的隊首
} //如果更新后的隊首為空扁位，說明隊列已經(jīng)被清空了，就無需再處理了
</pre>
doSignal()在源碼中有這么一句注釋"Split out from signal in part to encourage compilers to inline the case of no waiters".這句話的含義如下：
這里單獨實現(xiàn)doSignal()接口的意義在于趁俊，使得signal()的代碼看起來十分簡單域仇，不會直接包括循環(huán)體，編譯器在編譯的時候寺擂，將更傾向于將signal()當做inline function暇务。這樣，在沒有任何waiters（即condition queue為空怔软，也即firstWaiter == null）的情況下垦细， signal()作為inline function，性能將得到更明顯的提升挡逼。
transferForSignal()
將node從condition queue遷移到syn queue蝠检。
代碼及注釋如下。
<pre>
final boolean transferForSignal(Node node) {
if (!compareAndSetWaitStatus(node, Node.CONDITION, 0))//如果node被取消了挚瘟，就無需再進行什么遷移操作了
return false;//遷移失敗叹谁，返回后doSignal()會去處理下一個node
Node p = enq(node);//將node加入syn queue
int ws = p.waitStatus;
if (ws > 0 || !compareAndSetWaitStatus(p, ws, Node.SIGNAL))//嘗試喚醒node關聯(lián)的線程
//沒喚醒也沒關系饲梭，已經(jīng)加入syn queue了，總會被syn queue前面的node喚醒的
LockSupport.unpark(node.thread);
return true;
}
</pre>
ConditionObject的方法介紹就到這里了焰檩，下面是對CAS和inline function的一些解釋憔涉。
對condition queue的操作未用任何CAS操作？
比如說addConditionWaiter()和singal()方法在修改隊首和隊尾析苫，或是在修改nextWaiter指針時兜叨，都未使用任何CAS操作。這是因為衩侥，一個線程如果正在調用ConditionObject的方法的話国旷，說明它一定獲得了ConditionObject所隸屬的鎖。此時茫死，能夠保證一次性只有一個線程正在修改該鎖對應的condition queue。
在上文解釋的代碼中峦萎，只有transferForSignal()使用到了CAS方法屡久。因為該方法是想要改變其他線程的狀態(tài)，而其他線程的狀態(tài)還可能因為其他原因改變爱榔，所以其中使用了CAS方法被环。
inline function
inline function提升性能之處在于，編譯器在編譯的時候详幽，會將代碼整個替換到函數(shù)調用所在位置筛欢，省去了函數(shù)調用的耗時。
函數(shù)調用的耗時我倒是知道些唇聘，調用時需要保存現(xiàn)場信息版姑，開辟新的堆棧，返回時還要恢復現(xiàn)場信息雳灾。
但是漠酿，為何只有簡短的函數(shù)適合內聯(lián)呢冯凹？這是因為內聯(lián)增大了代碼的體積谎亩。代碼在執(zhí)行的時候是要被加載到內存的。若函數(shù)A采取調用的方式宇姚，不論被引用了多少次匈庭，代碼本身就只占一份A的內存空間。若A采取內聯(lián)的方式浑劳，若被引用了兩次阱持，代碼本身就要占兩份的內存空間。一旦A被更多的地方引用魔熏，代碼占用的內存就會顯著增大衷咽，從而影響到運行時的性能鸽扁。
這里有篇針對inline function的問答，感覺挺好：
http://www.learncpp.com/cpp-tutorial/75-inline-functions/
為防止鏈接失效镶骗，特截圖一張吧桶现。
