你拿著打印好的簡歷走進(jìn)那間彌漫著咖啡味的會議室。面試官抬頭看了一眼第一句話不是自我介紹而是“Java集合里哪些是線程安全的為什么ArrayList不安全”這個(gè)問題聽起來簡單但真正考驗(yàn)的是你有沒有在并發(fā)場景下思考過數(shù)據(jù)結(jié)構(gòu)的本質(zhì)。面試官不是在問答案而是在問你在生產(chǎn)環(huán)境里踩過哪些坑以及你是否理解線程安全背后的代價(jià)。很多候選人會脫口而出“Vector、Hashtable、ConcurrentHashMap”然后開始背誦Collections.synchronizedList。但緊接著下一個(gè)問題就讓他卡殼“Vector所有方法都加synchronized為什么現(xiàn)在不用了”這時(shí)候眼神的閃爍已經(jīng)說明了一切。“安全”從來不是免費(fèi)的不加思考的全同步往往換來的只是性能災(zāi)難和無法預(yù)期的競爭行為。準(zhǔn)備這類問題你得學(xué)會從“能用”走到“為何值得用”。從ArrayList說起別只會背擴(kuò)容算法ArrayList是面試第一題的概率極高。常見的提問是“底層數(shù)組擴(kuò)容每次增加多少”很多人答“1.5倍”面試官追問“為什么是1.5而不是兩倍”這里其實(shí)沒有標(biāo)準(zhǔn)答案但能看出你有沒有算過賬。1.5倍意味著舊數(shù)組復(fù)制后新數(shù)組有更多的空閑位置結(jié)合位運(yùn)算可以高效計(jì)算新容量oldCapacity (oldCapacity 1)。更重要的是擴(kuò)容意味著System.arraycopy這是一次O(n)的復(fù)制操作頻繁擴(kuò)容會讓尾部添加的均攤復(fù)雜度飆升。如果你能隨口說出“最好預(yù)判容量用new ArrayList(size)避免擴(kuò)容”就已經(jīng)超越了多數(shù)背書選手。真正讓面試官眼前一亮的是你能講清楚fail-fast機(jī)制。ArrayList迭代時(shí)modCount被修改會拋出ConcurrentModificationException。但注意這只是一種“盡力而為”的快速失敗并不保證在并發(fā)修改下一定發(fā)生。依賴fail-fast做數(shù)據(jù)一致性保護(hù)本質(zhì)上是用一個(gè)可能誤報(bào)的異常來掩蓋對共享可變集合的濫用。更好的做法是使用CopyOnWriteArrayList它通過“寫時(shí)復(fù)制”讓迭代器讀到的是快照犧牲寫性能換取無鎖讀。但別忘了問自己你的業(yè)務(wù)里讀多寫少嗎如果寫頻繁CopyOnWriteArrayList的每次add都會全量復(fù)制數(shù)組內(nèi)存和GC壓力會教你做人。HashMap面試中的“神仙打架”HashMap是Java集合面試的珠穆朗瑪峰。從JDK 7到JDK 8底層變化巨大面試官最愛問“為什么要轉(zhuǎn)紅黑樹”回答“鏈表太長查詢變慢”只能算一半。另一半是安全考量當(dāng)哈希碰撞足夠多時(shí)鏈表深度可達(dá)數(shù)百此時(shí)不僅是效率問題還可能被惡意構(gòu)造數(shù)據(jù)觸發(fā)DoS攻擊。紅黑樹不是為了讓鏈表變快而是為了讓極端情況下的查詢復(fù)雜度從O(n)降到O(log n)這是一種防御性設(shè)計(jì)。你可以補(bǔ)充樹化閾值是8退化閾值是6中間留了1的緩沖避免頻繁轉(zhuǎn)換。這些細(xì)節(jié)比“默認(rèn)負(fù)載因子0.75”有價(jià)值得多。put流程中關(guān)鍵點(diǎn)是hash后的高位擾動。很多人能背出“(h key.hashCode()) ^ (h 16)”但理解為什么嗎因?yàn)閔ashCode的低位可能分布不均而計(jì)算桶下標(biāo)時(shí)用的是“與運(yùn)算”(n-1)hash如果n比較小只有低位參與高位信息就丟失了。擾動函數(shù)就是把高位信息混合到低位里讓分布更均勻。面試官往往接著問“HashMap在并發(fā)下的死循環(huán)是什么”JDK 7的resize在并發(fā)時(shí)兩個(gè)線程同時(shí)操作鏈表頭插法可能造成環(huán)狀鏈表。JDK 8改成了尾插法但數(shù)據(jù)丟失和size計(jì)數(shù)錯(cuò)亂依然存在。所以HashMap從來不是線程安全的它連“安全失敗”的設(shè)計(jì)都沒有并發(fā)場景請直接放棄它。ConcurrentHashMap并發(fā)集合的典范如果你能完整說出從JDK 7到JDK 8的演進(jìn)這道題就贏了。JDK 7的ConcurrentHashMap用分段鎖默認(rèn)16個(gè)Segment每個(gè)Segment是一把ReentrantLock把整個(gè)map切成16個(gè)獨(dú)立區(qū)域?qū)懖僮髦绘i自己那一段。好處是并發(fā)度理論提升16倍壞處是容量、size等需要跨段聚合的操作依然要全局遍歷。JDK 8放棄了分段鎖改用CAS synchronized鎖住桶內(nèi)鏈表的頭節(jié)點(diǎn)。這個(gè)變化反映了JDK對鎖粒度的重新思考只鎖一個(gè)桶而不是一段區(qū)域配合CAS無鎖化更新節(jié)點(diǎn)讓并發(fā)性能更均勻。你可以補(bǔ)充當(dāng)鏈表長度超過8且數(shù)組容量小于64時(shí)會先擴(kuò)容而不是直接轉(zhuǎn)紅黑樹因?yàn)榇藭r(shí)可能是哈希函數(shù)的問題。面試官常常追問“ConcurrentHashMap的size()怎么實(shí)現(xiàn)”JDK 8里它通過baseCount CounterCell[]數(shù)組來分散計(jì)數(shù)減少競爭。加鎖一次遍歷獲取精確size已經(jīng)不被提倡官方更推薦直接用mappingCount()它返回long類型并且是一個(gè)近似值。如果你能解釋“為什么用LongAdder思想而不是原子類AtomicLong”面試官會點(diǎn)頭——因?yàn)楦卟l(fā)下多個(gè)線程更新同一個(gè)AtomicLong會導(dǎo)致嚴(yán)重的CAS自旋而CounterCell把計(jì)數(shù)分散到多個(gè)槽位最后匯總即可。這些細(xì)節(jié)足以證明你讀過源碼。并發(fā)工具類別只停留在ThreadLocalThreadLocal幾乎必問但很多人只會說“線程本地變量”。面試官會問“底層實(shí)現(xiàn)是什么”答案是一個(gè)ThreadLocalMap每個(gè)Thread里都有一個(gè)mapkey是ThreadLocal對象value是你要存的副本。聽起來簡單但坑在內(nèi)存泄漏。ThreadLocalMap的key是弱引用如果外部強(qiáng)引用不在了key會被GC回收但value依然是強(qiáng)引用且永遠(yuǎn)無法被訪問到。如果不顯式調(diào)用remove在線程池場景下線程沒有被銷毀value就會一直殘留最終導(dǎo)致內(nèi)存泄漏甚至OOM。所以使用ThreadLocal后記得在finally中remove這句話不是背書是血淚教訓(xùn)。更進(jìn)一步你會被問到線程池的核心參數(shù)。這已經(jīng)不僅僅是“集合并發(fā)”的問題而是兩者的交匯線程池里的任務(wù)隊(duì)列本質(zhì)上就是一個(gè)阻塞隊(duì)列。ArrayBlockingQueue、LinkedBlockingQueue、SynchronousQueue分別對應(yīng)有界、無界、直接交付。無界隊(duì)列可以安全地暫存海量任務(wù)但也會讓拒絕策略永遠(yuǎn)不觸發(fā)最終堆積內(nèi)存所謂“安全”反而變成了隱患。面試官喜歡問“如果核心線程忙任務(wù)隊(duì)列滿了新任務(wù)怎么處理”答案是拒絕策略AbortPolicy、CallerRunsPolicy、DiscardPolicy等。其中CallerRunsPolicy最聰明它讓提交任務(wù)的線程自己執(zhí)行這個(gè)任務(wù)從而變相限流。理解了這個(gè)你就明白為什么線程池不是工具箱里的錘子而是需要精心設(shè)計(jì)的流量閥門。觀察者與協(xié)調(diào)者CountDownLatch、CyclicBarrier和Semaphore這三個(gè)工具類經(jīng)常被放在一起比較。CountDownLatch是一次性的計(jì)數(shù)器一個(gè)或多個(gè)線程等待其他線程完成操作CyclicBarrier是循環(huán)屏障多個(gè)線程互相等待到齊后一起出發(fā)Semaphore是信號量控制同時(shí)訪問資源的線程數(shù)。很多人分不清CountDownLatch和CyclicBarrier的本質(zhì)前者是“等到N個(gè)事件完成”后者是“N個(gè)線程互相等待然后同時(shí)突破”。你可以畫一個(gè)時(shí)序圖或者用現(xiàn)實(shí)場景舉例吃火鍋時(shí)CountDownLatch是“等人都到齊了才能下單”CyclicBarrier是“等所有人都涮完一片肉再一起涮下一片”。面試官要的是你對“等待”和“屏障”的直覺而不是背定義。如果你能進(jìn)一步說出Semaphore的公平性問題錦上添花。構(gòu)造時(shí)可以指定是否公平非公平下線程可能插隊(duì)但吞吐量更高。用信號量來做限流比用鎖更優(yōu)雅因?yàn)樗试S并發(fā)訪問多個(gè)資源而不是互斥。建議準(zhǔn)備一個(gè)“模擬數(shù)據(jù)庫連接池”的小demo代碼里混合使用Semaphore和ArrayBlockingQueue這樣面試官就能看到你如何把集合和并發(fā)工具無縫結(jié)合。面試官常問的“內(nèi)存可見性”陷阱當(dāng)面試官開始問“volatile和synchronized區(qū)別”其實(shí)已經(jīng)在考JMM了。你會說“volatile保證可見性和有序性但不保證原子性”但更重要的是結(jié)合集合比如DCL單例里為什么單例對象需要volatile因?yàn)閚ew操作不是原子的它包含分配內(nèi)存、初始化對象、賦值引用三步可能發(fā)生指令重排。如果不用volatile另一個(gè)線程可能讀到“還未初始化完成”的半成品對象這就是集合和并發(fā)交叉的經(jīng)典陷阱。另外ConcurrentHashMap的size等操作就大量依賴volatile變量和CAS來保證可見性而不是用鎖。準(zhǔn)備這類問題關(guān)鍵是建立起“對象在內(nèi)存中的發(fā)布過程”這個(gè)心智模型。你需要知道一個(gè)對象集合是否線程安全不只看它的方法有沒有加鎖還要看它內(nèi)部的成員變量是否安全發(fā)布。線程安全不是方法級的修飾符而是內(nèi)存可見性、原子性和有序性的綜合工程。面試官聽到這兒通常會在心里給出高分。準(zhǔn)備策略如何讓面試官眼前一亮第一源碼要讀但要讀“關(guān)鍵路徑”。不要從第一行讀到結(jié)尾而是聚焦put、get、resize、add這些高頻方法并且要問自己三個(gè)問題它做了什么為什么這樣做性能特征是什么用“是什么-為什么-怎么做”的框架梳理每個(gè)類比背20條結(jié)論更有效。建議你自己畫一張腦圖每個(gè)集合類的結(jié)構(gòu)圖、加鎖位置、適用場景、坑點(diǎn)。能畫出來說明真的理解。第二主動拋出對比和權(quán)衡。不要等面試官問“這兩個(gè)有什么區(qū)別”你自己就可以在介紹HashMap時(shí)順嘴帶一句“TreeMap基于紅黑樹key有序但查找復(fù)雜度是O(log n)適合范圍查詢”。這種主動對比展示的是你的知識網(wǎng)絡(luò)。面試官最喜歡聽到“在這個(gè)場景下我會優(yōu)先選X因?yàn)樗腨特性不過需要付出Z的代價(jià)”這才是系統(tǒng)思考。注意避免說出“絕對”“一定”這樣的詞優(yōu)秀的工程師永遠(yuǎn)在做trade-off。第三動手寫一些小demo。比如模擬并發(fā)環(huán)境下HashMap的線程不安全用CountDownLatch讓100個(gè)線程同時(shí)put看看最終size是不是小于100。這個(gè)實(shí)驗(yàn)比你背一萬遍“HashMap線程不安全”都深刻。面試時(shí)當(dāng)你能描述出“在16核機(jī)器上8個(gè)線程同時(shí)put最終Map size只有7.6萬因?yàn)閬G失了更新”這種帶著真實(shí)數(shù)字的細(xì)節(jié)面試官一定會追問你怎么排查。這就是你的高光時(shí)刻。最后準(zhǔn)備幾個(gè)原生的反問問題。當(dāng)面試官問“你有什么想問的”時(shí)你可以問“咱們團(tuán)隊(duì)在業(yè)務(wù)中遇到高并發(fā)時(shí)常用的集合方案是什么比如寫多讀少場景用什么”這個(gè)問題既體現(xiàn)出你對集合與并發(fā)落地真實(shí)場景的關(guān)注也讓你掌握主動權(quán)。面試不是單向?qū)彶槎请p向匹配你也在判斷這個(gè)團(tuán)隊(duì)是否真的思考過這些問題。只要你展現(xiàn)出對底層機(jī)制的敬畏和對現(xiàn)實(shí)約束的理解這道“Java集合與并發(fā)”的面試題就不再是攔路虎而是你展示工程素養(yǎng)的舞臺。記住面試官真正想找的不是一本活字典而是一個(gè)知道“為什么這棵樹會歪并在歪倒之前用木樁撐住它”的人。集合與并發(fā)恰恰是那棵最容易在風(fēng)雨中搖晃的樹。你的準(zhǔn)備不是為了答對問題而是為了在下一次線上報(bào)EOM時(shí)能從容地打開dump文件一眼看出是哪一個(gè)map在作祟。這才是“穩(wěn)妥”兩個(gè)字最扎實(shí)的含義。