Java并發(fā)編程之ConcurrentLinkedQueue源碼詳解
一、ConcurrentLinkedQueue介紹
并編程中,一般需要用到安全的隊(duì)列,如果要自己實(shí)現(xiàn)安全隊(duì)列,可以使用2種方式:
方式1:加鎖,這種實(shí)現(xiàn)方式就是我們常說(shuō)的阻塞隊(duì)列。
方式2:使用循環(huán)CAS算法實(shí)現(xiàn),這種方式實(shí)現(xiàn)隊(duì)列稱之為非阻塞隊(duì)列。
從點(diǎn)到面, 下面我們來(lái)看下非阻塞隊(duì)列經(jīng)典實(shí)現(xiàn)類:ConcurrentLinkedQueue (JDK1.8版)
ConcurrentLinkedQueue 是一個(gè)基于鏈接節(jié)點(diǎn)的無(wú)界線程安全的隊(duì)列。當(dāng)我們添加一個(gè)元素的時(shí)候,它會(huì)添加到隊(duì)列的尾部,當(dāng)我們獲取一個(gè)元素時(shí),它會(huì)返回隊(duì)列頭部的元素。它采用了“wait-free”算法來(lái)實(shí)現(xiàn),用CAS實(shí)現(xiàn)了非阻塞的線程安全隊(duì)列。當(dāng)多個(gè)線程共享訪問(wèn)一個(gè)公共 collection 時(shí),ConcurrentLinkedQueue 是一個(gè)恰當(dāng)?shù)倪x擇。此隊(duì)列不允許使用 null 元素,因?yàn)橐瞥貢r(shí)實(shí)際是將節(jié)點(diǎn)中item置為null,如果元素本身為null,則跟刪除有沖突
我們首先看一下ConcurrentLinkedQueue的類圖結(jié)構(gòu)先,好有一個(gè)內(nèi)部邏輯有一個(gè)大概的印象,如下圖所示:
主要屬性head節(jié)點(diǎn),tail節(jié)點(diǎn)
// 鏈表頭節(jié)點(diǎn) private transient volatile Node<E> head; // 鏈表尾節(jié)點(diǎn) private transient volatile Node<E> tail;
主要內(nèi)部類Node
類Node在static方法里獲取到item和next的內(nèi)存偏移量,之后通過(guò)casItem和casNext更改item值和next節(jié)點(diǎn)
private static class Node<E> { volatile E item; volatile Node<E> next; /** * Constructs a new node. Uses relaxed write because item can * only be seen after publication via casNext. */ Node(E item) { //將item存放在本節(jié)點(diǎn)的itemOffset偏移量位置的內(nèi)存里 UNSAFE.putObject(this, itemOffset, item);//設(shè)置this對(duì)象的itemoffset位置 } //更新item值 boolean casItem(E cmp, E val) { //this對(duì)象的itemoffset位置存放的值如果和期望值cmp相等,則替換為val return UNSAFE.compareAndSwapObject(this, itemOffset, cmp, val); } void lazySetNext(Node<E> val) { //this對(duì)象的nextOffset位置存入val UNSAFE.putOrderedObject(this, nextOffset, val); } //更新next節(jié)點(diǎn)值 boolean casNext(Node<E> cmp, Node<E> val) { //this對(duì)象的nextOffset位置存放的值如果和期望值cmp相等,則替換為val return UNSAFE.compareAndSwapObject(this, nextOffset, cmp, val); } // Unsafe mechanics private static final sun.misc.Unsafe UNSAFE; //當(dāng)前節(jié)點(diǎn)存放的item的內(nèi)存偏移量 private static final long itemOffset; //當(dāng)前節(jié)點(diǎn)的next節(jié)點(diǎn)的內(nèi)存偏移量 private static final long nextOffset; static { try { UNSAFE = sun.misc.Unsafe.getUnsafe(); Class<?> k = Node.class; itemOffset = UNSAFE.objectFieldOffset (k.getDeclaredField("item")); nextOffset = UNSAFE.objectFieldOffset (k.getDeclaredField("next")); } catch (Exception e) { throw new Error(e); } } }
concurrentlinkedqueue同樣在static方法里獲取到head和tail的內(nèi)存偏移量:之后通過(guò)casHead和casTail更改head節(jié)點(diǎn)和tail節(jié)點(diǎn)值
static { try { UNSAFE = sun.misc.Unsafe.getUnsafe(); Class<?> k = ConcurrentLinkedQueue.class; headOffset = UNSAFE.objectFieldOffset (k.getDeclaredField("head")); tailOffset = UNSAFE.objectFieldOffset (k.getDeclaredField("tail")); } catch (Exception e) { throw new Error(e); } } private boolean casTail(Node<E> cmp, Node<E> val) { return UNSAFE.compareAndSwapObject(this, tailOffset, cmp, val); } private boolean casHead(Node<E> cmp, Node<E> val) { return UNSAFE.compareAndSwapObject(this, headOffset, cmp, val); }
二、構(gòu)造方法
- 無(wú)參構(gòu)造函數(shù),head=tail=new Node<E>(null)=空節(jié)點(diǎn)(里面無(wú)item值)
- 集合構(gòu)造函數(shù)(集合中每個(gè)元素不能為null):就是將集合中的元素挨個(gè)鏈起來(lái)
//無(wú)參構(gòu)造函數(shù),head=tail=new Node<E>(null)=空節(jié)點(diǎn) //初始一個(gè)為空的ConcurrentLinkedQueue,此時(shí)head和tail都指向一個(gè)item為null的節(jié)點(diǎn) public ConcurrentLinkedQueue() { // 初始化頭尾節(jié)點(diǎn) head = tail = new Node<E>(null); } //集合構(gòu)造函數(shù):就是將集合中的元素挨個(gè)鏈起來(lái) public ConcurrentLinkedQueue(Collection<? extends E> c) { Node<E> h = null, t = null; for (E e : c) { checkNotNull(e); Node<E> newNode = new Node<E>(e); if (h == null) h = t = newNode; else { t.lazySetNext(newNode);//可以理解為一種懶加載, 將t的next值設(shè)置為newNode t = newNode; } } if (h == null) h = t = new Node<E>(null); head = h; tail = t; } private static void checkNotNull(Object v) { if (v == null) throw new NullPointerException(); } //putObjectVolatile的內(nèi)存非立即可見(jiàn)版本, //寫(xiě)后結(jié)果并不會(huì)被其他線程看到,通常是幾納秒后被其他線程看到,這個(gè)時(shí)間比較短,所以代價(jià)可以接收 void lazySetNext(Node<E> val) { UNSAFE.putOrderedObject(this, nextOffset, val); }
三、入隊(duì)
獲取到當(dāng)前尾節(jié)點(diǎn)p=tail:
- 如果p.next=null,代表是真正的尾節(jié)點(diǎn),將新節(jié)點(diǎn)鏈入p.next=newNode。此時(shí)檢查tail是否還是p,如果不是p了,此時(shí)更新tail為最新的newNode(只有在tail節(jié)點(diǎn)后面tail.next成功添加的元素才不需要更新tail,其實(shí)更新不更新tail是交替的,即每添加倆次更新一次tail)。
- 如果p.next=p,此時(shí)其實(shí)是p.next==p==null,此時(shí)代表p被刪除了,此時(shí)需要從新的tail節(jié)點(diǎn)檢查,如果此時(shí)tail節(jié)點(diǎn)還是原來(lái)的tail(原來(lái)的tail在p前面,肯定也被刪除了),那就只能從head節(jié)點(diǎn)開(kāi)始遍歷了
- 如果p.next!=null,代表有別的線程搶先添加元素了,此時(shí)需要繼續(xù)p=p.next遍歷獲取是null的節(jié)點(diǎn)(此時(shí)需要如果tail變了就使用新的tail往后遍歷)
public boolean offer (E e){ //先檢查元素是否為null,是null則拋出異常 不是null,則構(gòu)造新節(jié)點(diǎn)準(zhǔn)備入隊(duì) checkNotNull(e); final Node<E> newNode = new Node<E>(e); //初始p指針和t指針都指向尾節(jié)點(diǎn),p指針用來(lái)向隊(duì)列后面推移,t指針用來(lái)判斷尾節(jié)點(diǎn)是否改變 Node<E> t = tail, p = t; for (; ; ) { Node<E> q = p.next; if (q == null) {//p.next為null,則代表p為尾節(jié)點(diǎn),則將p.next指向新節(jié)點(diǎn) // p is last node if (p.casNext(null, newNode)) { /** * 如果p!=t,即p向后推移了,t沒(méi)動(dòng),則此時(shí)同時(shí)將tail更新 * 不符合條件不更新tail,這里可以看出并不是每入隊(duì)一個(gè)節(jié)點(diǎn)都會(huì)更新tail的 * 而此時(shí)真正的尾節(jié)點(diǎn)其實(shí)是newNode了,所以tail不一定是真正的尾節(jié)點(diǎn), * tail的更新具有滯后性,這樣設(shè)計(jì)提高了入隊(duì)的效率,不用每入隊(duì)一個(gè),更新一次 *尾節(jié)點(diǎn) */ if (p != t) casTail(t, newNode); // Failure is OK. return true; } // Lost CAS race to another thread; re-read next } else if (p == q) /** * 如果p.next和p相等,這種情況是出隊(duì)時(shí)的一種哨兵節(jié)點(diǎn)代表已被遺棄刪除, * 那就是有線程在一直刪除節(jié)點(diǎn),刪除到了p.next 那此時(shí)如果有線程已經(jīng)更新了tail,那就從p指向tail再開(kāi)始繼續(xù)像后推移 * 如果始終沒(méi)有線程更新tail,則p指針從head開(kāi)始向后推移 * * p從head開(kāi)始推移的原因:tail沒(méi)有更新,以前的tail肯定在哨兵節(jié)點(diǎn)的前面(因?yàn)榇搜h(huán)是從tail向后推移到哨兵節(jié)點(diǎn)的), * 而head節(jié)點(diǎn)一定在哨兵節(jié)點(diǎn)的后面(出隊(duì)時(shí)只有更新了head節(jié)點(diǎn),才會(huì)把前面部分的某個(gè)節(jié)點(diǎn)置為哨兵節(jié)點(diǎn)) * 此時(shí)其實(shí)是一種tail在head之前,但實(shí)際上tail已經(jīng)無(wú)用了,哨兵之前的節(jié)點(diǎn)都無(wú)用了, * 等著其他線程入隊(duì)時(shí)更新尾節(jié)點(diǎn)tail,此時(shí)的tail才有用所以從head開(kāi)始,從head開(kāi)始可以找到任何節(jié)點(diǎn) * */ p = (t != (t = tail)) ? t : head; else /** * p.next和p不相等時(shí),此時(shí)p應(yīng)該向后推移到p.next,即p=p.next, * 如果next一直不為null一直定位不到尾節(jié)點(diǎn),會(huì)一直next, * 但是中間會(huì)優(yōu)先判斷tail是否已更新,如果tail已更新則p直接從tail向后推移即可。就沒(méi)必要一直next了。 */ // Check for tail updates after two hops. p = (p != t && t != (t = tail)) ? t : q; } }
四、出隊(duì)
poll出隊(duì):
獲取到當(dāng)前頭節(jié)點(diǎn)p=head:如果成功設(shè)置了item為null,即p.catItem(item,null),
如果此時(shí)被其他線程搶走消費(fèi)了,此時(shí)需要p=p.next,向后繼續(xù)爭(zhēng)搶消費(fèi),直到成功執(zhí)行p.catItem(item,null),此時(shí)檢查p是不是head節(jié)點(diǎn),如果不是更新p.next為頭結(jié)點(diǎn)
public E poll() { restartFromHead: for (;;) { // p節(jié)點(diǎn)表示首節(jié)點(diǎn),即需要出隊(duì)的節(jié)點(diǎn) for (Node<E> h = head, p = h, q;;) { E item = p.item; // 如果p節(jié)點(diǎn)的元素不為null,則通過(guò)CAS來(lái)設(shè)置p節(jié)點(diǎn)引用的元素為null,如果成功則返回p節(jié)點(diǎn)的元素 if (item != null && p.casItem(item, null)) { // Successful CAS is the linearization point // for item to be removed from this queue. // 如果p != h,則更新head if (p != h) // hop two nodes at a time updateHead(h, ((q = p.next) != null) ? q : p); return item; } // 如果頭節(jié)點(diǎn)的元素為空或頭節(jié)點(diǎn)發(fā)生了變化,這說(shuō)明頭節(jié)點(diǎn)已經(jīng)被另外一個(gè)線程修改了。 // 那么獲取p節(jié)點(diǎn)的下一個(gè)節(jié)點(diǎn),如果p節(jié)點(diǎn)的下一節(jié)點(diǎn)為null,則表明隊(duì)列已經(jīng)空了 else if ((q = p.next) == null) { // 更新頭結(jié)點(diǎn) updateHead(h, p); return null; } // p == q,則使用新的head重新開(kāi)始 else if (p == q) continue restartFromHead; // 如果下一個(gè)元素不為空,則將頭節(jié)點(diǎn)的下一個(gè)節(jié)點(diǎn)設(shè)置成頭節(jié)點(diǎn) else p = q; } } }
五、總結(jié)
offer:
找到尾節(jié)點(diǎn),將新節(jié)點(diǎn)鏈入到尾節(jié)點(diǎn)后面,tail.next=newNode,
由于多線程操作,所以拿到p=tail后cas操作執(zhí)行p.next=newNode可能由于被其他線程搶去而執(zhí)行不成功,此時(shí)需要p=p.next向后遍歷,直到找到p.next=null的目標(biāo)節(jié)點(diǎn)。繼續(xù)嘗試向其后面添加元素,添加成功后檢查p是否是tail,如果不是tail,則更新tail=p,添加不成功繼續(xù)向后next遍歷
poll:
獲取到當(dāng)前頭節(jié)點(diǎn)p=head:如果成功設(shè)置了item為null,即p.catItem(item,null),
如果此時(shí)被其他線程搶走消費(fèi)了,此時(shí)需要p=p.next,向后繼續(xù)爭(zhēng)搶消費(fèi),直到成功執(zhí)行p.catItem(item,null),此時(shí)檢查p是不是head節(jié)點(diǎn),如果不是更新頭結(jié)點(diǎn)head=p.next(因?yàn)閜已經(jīng)刪除了)
更新tail和head:
不是每次添加都更新tail,而是間隔一次更新一次(head也是一樣道理):第一個(gè)搶到的線程拿到tail執(zhí)行成功tail.next=newNode1此時(shí)不更新tail,那么第二個(gè)線程再執(zhí)行成功添加p.next=newNode2會(huì)判斷出p是newNode1而不是tail,所以就更新tail為newNode2。
tail節(jié)點(diǎn)不總是最后一個(gè),head節(jié)點(diǎn)不總是第一個(gè)設(shè)計(jì)初衷:
讓tail節(jié)點(diǎn)永遠(yuǎn)作為隊(duì)列的尾節(jié)點(diǎn),這樣實(shí)現(xiàn)代碼量非常少,而且邏輯非常清楚和易懂。但是這么做有個(gè)缺點(diǎn)就是每次都需要使用循環(huán)CAS更新tail節(jié)點(diǎn)。如果能減少CAS更新tail節(jié)點(diǎn)的次數(shù),就能提高入隊(duì)的效率。
在JDK 1.7的實(shí)現(xiàn)中,doug lea使用hops變量來(lái)控制并減少tail節(jié)點(diǎn)的更新頻率,并不是每次節(jié)點(diǎn)入隊(duì)后都將 tail節(jié)點(diǎn)更新成尾節(jié)點(diǎn),而是當(dāng)tail節(jié)點(diǎn)和尾節(jié)點(diǎn)的距離大于等于常量HOPS的值(默認(rèn)等于1)時(shí)才更新tail節(jié)點(diǎn),tail和尾節(jié)點(diǎn)的距離越長(zhǎng)使用CAS更新tail節(jié)點(diǎn)的次數(shù)就會(huì)越少,但是距離越長(zhǎng)帶來(lái)的負(fù)面效果就是每次入隊(duì)時(shí)定位尾節(jié)點(diǎn)的時(shí)間就越長(zhǎng),因?yàn)檠h(huán)體需要多循環(huán)一次來(lái)定位出尾節(jié)點(diǎn),但是這樣仍然能提高入隊(duì)的效率,因?yàn)閺谋举|(zhì)上來(lái)看它通過(guò)增加對(duì)volatile變量的讀操作來(lái)減少了對(duì)volatile變量的寫(xiě)操作,而對(duì)volatile變量的寫(xiě)操作開(kāi)銷要遠(yuǎn)遠(yuǎn)大于讀操作,所以入隊(duì)效率會(huì)有所提升。
在JDK 1.8的實(shí)現(xiàn)中,tail的更新時(shí)機(jī)是通過(guò)p和t是否相等來(lái)判斷的,其實(shí)現(xiàn)結(jié)果和JDK 1.7相同,即當(dāng)tail節(jié)點(diǎn)和尾節(jié)點(diǎn)的距離大于等于1時(shí),更新tail。
到此這篇關(guān)于Java并發(fā)編程之ConcurrentLinkedQueue源碼詳解的文章就介紹到這了,更多相關(guān)Java ConcurrentLinkedQueue源碼內(nèi)容請(qǐng)搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關(guān)文章希望大家以后多多支持腳本之家!
相關(guān)文章
Java中main函數(shù)的String[]?args用法舉例詳解
這篇文章主要給大家介紹了關(guān)于Java中main函數(shù)的String[]?args用法的相關(guān)資料,JAVA類中main函數(shù)的參數(shù)String[]?args指的是運(yùn)行時(shí)給main函數(shù)傳遞的參數(shù),文中通過(guò)圖文以及代碼介紹的非常詳細(xì),需要的朋友可以參考下2023-12-12Java基礎(chǔ)之刪除文本文件中特定行的內(nèi)容
這篇文章主要介紹了Java基礎(chǔ)之刪除文本文件中特定行的內(nèi)容,文中有非常詳細(xì)的代碼示例,對(duì)正在學(xué)習(xí)java基礎(chǔ)的小伙伴們有非常好的幫助,需要的朋友可以參考下2021-04-04hibernate通過(guò)session實(shí)現(xiàn)增刪改查操作實(shí)例解析
這篇文章主要介紹了hibernate通過(guò)session實(shí)現(xiàn)增刪改查操作實(shí)例解析,具有一定借鑒價(jià)值,需要的朋友可以參考下。2017-12-12list集合去除重復(fù)對(duì)象的實(shí)現(xiàn)
下面小編就為大家?guī)?lái)一篇list集合去除重復(fù)對(duì)象的實(shí)現(xiàn)。小編覺(jué)得挺不錯(cuò)的,現(xiàn)在就分享給大家,也給大家做個(gè)參考。一起跟隨小編過(guò)來(lái)看看吧2017-01-01自制Java工具實(shí)現(xiàn)翻譯鼠標(biāo)選中文本
這篇文章主要為大家詳細(xì)介紹了如何自制Java工具實(shí)現(xiàn)ctrl+c+c翻譯鼠標(biāo)選中文本,文中的示例代碼講解詳細(xì),感興趣的小伙伴可以了解一下2024-01-01Java中List集合對(duì)象去重及按屬性去重的8種方法
這篇文章主要介紹了Java中List集合對(duì)象去重及按屬性去重的8種方法,本文給大家介紹的非常詳細(xì),對(duì)大家的學(xué)習(xí)或工作具有一地的參考借鑒價(jià)值,需要的朋友可以參考下2020-09-09SpringBoot如何切換成其它的嵌入式Servlet容器(Jetty和Undertow)
這篇文章主要介紹了SpringBoot如何切換成其它的嵌入式Servlet容器(Jetty和Undertow),具有很好的參考價(jià)值,希望對(duì)大家有所幫助。如有錯(cuò)誤或未考慮完全的地方,望不吝賜教2022-07-07JAVA Netty實(shí)現(xiàn)聊天室+私聊功能的示例代碼
這篇文章主要介紹了JAVA Netty實(shí)現(xiàn)聊天室+私聊功能的示例代碼,文中通過(guò)示例代碼介紹的非常詳細(xì),對(duì)大家的學(xué)習(xí)或者工作具有一定的參考學(xué)習(xí)價(jià)值,需要的朋友們下面隨著小編來(lái)一起學(xué)習(xí)學(xué)習(xí)吧2020-08-08