公平鎖和非公平鎖在嘗試獲取鎖失敗!tryAcquire(arg)后,會調(diào)用acquireQueued(addWaiter(Node.EXCLUSIVE), arg)方法,方法源碼如下:
為什么這里p==head的時候才會再次嘗試獲取鎖?對于非公平鎖,競爭鎖是不依賴排隊順序的,不是應(yīng)該不管前驅(qū)結(jié)點是否是head,都應(yīng)該再次去嘗試獲取鎖嗎?
在同步器中的節(jié)點,始終是有順序的。非公平指的是沒有進入同步隊列的線程與首節(jié)點的后繼節(jié)點中的線程非公平,也有可能是首節(jié)點中的線程和首節(jié)點后繼節(jié)點中的線程非公平競爭,比如首節(jié)點中的線程釋放鎖后又立即去獲取鎖。
體現(xiàn)在ReentrantLock代碼中話,就是NonfairSync的tryAcquire實現(xiàn)和FairSync的tryAcquire實現(xiàn)是不一樣的。
static final class NonfairSync extends Sync {
。。。。。。
protected final boolean tryAcquire(int acquires) {
return nonfairTryAcquire(acquires);
}
。。。。
}
final boolean nonfairTryAcquire(int acquires) {
final Thread current = Thread.currentThread();
int c = getState();
if (c == 0) {
if (compareAndSetState(0, acquires)) {
setExclusiveOwnerThread(current);
return true;
}
}
else if (current == getExclusiveOwnerThread()) {
int nextc = c + acquires;
if (nextc < 0) // overflow
throw new Error("Maximum lock count exceeded");
setState(nextc);
return true;
}
return false;
}
static final class FairSync extends Sync {
protected final boolean tryAcquire(int acquires) {
final Thread current = Thread.currentThread();
int c = getState();
if (c == 0) {
if (!hasQueuedPredecessors() &&
compareAndSetState(0, acquires)) {
setExclusiveOwnerThread(current);
return true;
}
}
else if (current == getExclusiveOwnerThread()) {
int nextc = c + acquires;
if (nextc < 0)
throw new Error("Maximum lock count exceeded");
setState(nextc);
return true;
}
return false;
}
}
public final boolean hasQueuedPredecessors() {
// The correctness of this depends on head being initialized
// before tail and on head.next being accurate if the current
// thread is first in queue.
Node t = tail; // Read fields in reverse initialization order
Node h = head;
Node s;
return h != t &&
((s = h.next) == null || s.thread != Thread.currentThread());
}
FairSync的tryAcquire方法,多了一個!hasQueuedPredecessors()判斷。如果同步隊列為空,或者只有首節(jié)點,或者首節(jié)點的后繼節(jié)點中的線程是當(dāng)前線程,那么hasQueuedPredecessors()為false,!hasQueuedPredecessors()為true,調(diào)用tryAcquire的當(dāng)前線程就可以去獲取同步狀態(tài)。
北大青鳥APTECH成立于1999年。依托北京大學(xué)優(yōu)質(zhì)雄厚的教育資源和背景,秉承“教育改變生活”的發(fā)展理念,致力于培養(yǎng)中國IT技能型緊缺人才,是大數(shù)據(jù)專業(yè)的國家
達內(nèi)教育集團成立于2002年,是一家由留學(xué)海歸創(chuàng)辦的高端職業(yè)教育培訓(xùn)機構(gòu),是中國一站式人才培養(yǎng)平臺、一站式人才輸送平臺。2014年4月3日在美國成功上市,融資1
北大課工場是北京大學(xué)校辦產(chǎn)業(yè)為響應(yīng)國家深化產(chǎn)教融合/校企合作的政策,積極推進“中國制造2025”,實現(xiàn)中華民族偉大復(fù)興的升級產(chǎn)業(yè)鏈。利用北京大學(xué)優(yōu)質(zhì)教育資源及背
博為峰,中國職業(yè)人才培訓(xùn)領(lǐng)域的先行者
曾工作于聯(lián)想擔(dān)任系統(tǒng)開發(fā)工程師,曾在博彥科技股份有限公司擔(dān)任項目經(jīng)理從事移動互聯(lián)網(wǎng)管理及研發(fā)工作,曾創(chuàng)辦藍懿科技有限責(zé)任公司從事總經(jīng)理職務(wù)負責(zé)iOS教學(xué)及管理工作。
浪潮集團項目經(jīng)理。精通Java與.NET 技術(shù), 熟練的跨平臺面向?qū)ο箝_發(fā)經(jīng)驗,技術(shù)功底深厚。 授課風(fēng)格 授課風(fēng)格清新自然、條理清晰、主次分明、重點難點突出、引人入勝。
精通HTML5和CSS3;Javascript及主流js庫,具有快速界面開發(fā)的能力,對瀏覽器兼容性、前端性能優(yōu)化等有深入理解。精通網(wǎng)頁制作和網(wǎng)頁游戲開發(fā)。
具有10 年的Java 企業(yè)應(yīng)用開發(fā)經(jīng)驗。曾經(jīng)歷任德國Software AG 技術(shù)顧問,美國Dachieve 系統(tǒng)架構(gòu)師,美國AngelEngineers Inc. 系統(tǒng)架構(gòu)師。