源碼如下:
public class Main {
public static void main(String[] args) {
ExecutorService fixedThreadPool = Executors.newFixedThreadPool(5);
HashSet<String> s = new HashSet<>();
String id = "x12323";
for(int j = 0; j<20; j++) {
fixedThreadPool.execute(() -> {
System.out.println("運行線程: " + Thread.currentThread().getName());
String lockObj = s.getClass().toString() + id;
synchronized (lockObj) {
if (s.isEmpty()) {
System.out.println(Thread.currentThread().getName() + " : lockObj(" + lockObj+ ") hash code ("
+ lockObj.hashCode() + "),集合 s 為空嗎:" + s.isEmpty());
s.add("good");
}
}
});
}
}
}
運行結(jié)果:
運行線程: pool-1-thread-1
運行線程: pool-1-thread-2
pool-1-thread-1 : lockObj(class java.util.HashSetx12323) hash code (-1786802297),集合 s 為空嗎 :true
pool-1-thread-2 : lockObj(class java.util.HashSetx12323) hash code (-1786802297),集合 s 為空嗎:true
運行線程: pool-1-thread-1
運行線程: pool-1-thread-1
運行線程: pool-1-thread-1
運行線程: pool-1-thread-1
運行線程: pool-1-thread-1
運行線程: pool-1-thread-1
運行線程: pool-1-thread-1
運行線程: pool-1-thread-1
運行線程: pool-1-thread-1
運行線程: pool-1-thread-1
運行線程: pool-1-thread-1
運行線程: pool-1-thread-1
運行線程: pool-1-thread-1
運行線程: pool-1-thread-1
運行線程: pool-1-thread-1
運行線程: pool-1-thread-5
運行線程: pool-1-thread-4
運行線程: pool-1-thread-3
為何這兩個線程都進入互斥塊了?
pool-1-thread-1 : lockObj(class java.util.HashSetx12323) hash code (-1786802297),集合 s 為空嗎 :true
pool-1-thread-2 : lockObj(class java.util.HashSetx12323) hash code (-1786802297),集合 s 為空嗎:true
默認編譯 Java 8
查看編譯后的 class
文件
constant_pool_count
為 146,
其中只有
#005 (String): x12323
#013 (String): 運行線程:
#020 (String): :lockObj(
#021 (String): hash code (
#024 (String): ),集合 s 為空嗎:
#026 (String): good
#030 - #052 (UTF-8)
#056 - #058 (UTF-8)
#060 - #061 (UTF-8)
#065 - #066 (UTF-8)
#070 (UTF-8): BootstrapMethods
#078 - #079 (UTF-8)
#087 - #088 (UTF-8)
#091 (String): ),集合 s 為空嗎:
#093 (String): good
#095 - #107 (UTF-8)
#110 - #133 (UTF-8)
#137 - #138 (UTF-8)
#140 - #142 (UTF-8)
#144 - #0145 (UTF-8)
再看字節(jié)碼部分:
037: aload_0
是從局部變量表里加載0號值041: ldc #5->x12323
是加載常量池6號值
所以說 classname
不是常量值入棧,個人猜測是因為
有泛型之后,Java
又選擇了泛型擦除,很多東西要等到運行時才能確定,getClass
這個操作應該就是帶有不確定性,所以它的結(jié)果不進入常量池。
右擊變量區(qū),點擊 Customize Data Views...
選你要的,我是全部勾選了。
hasCode
一樣并不說明兩個 String
實例是同一個,String.hashCode
只是計算value
值,同樣內(nèi)容的情況下 hashCode
會一樣的。
在 String lockObj = s.getClass().toString() + id;
后邊加一句打印語句并下斷點。
第一次循環(huán)時創(chuàng)建的 lockObj
的內(nèi)存數(shù)據(jù)是這樣的
這是第二次的內(nèi)存數(shù)據(jù)。
可以看到,這里的兩個 String
的值即使一樣,它們的 value
屬性卻不是同一個指向。
所以你鎖的對象其實本就不是同一個,把 lockObj
的聲明放到循環(huán)外部后你鎖的才是同一個對象。
你的 lockObj
是一個依賴運行時變量hashCode
而拼接的字符串,而且不是常量字符串的拼接,也就是說編譯器無法在編譯期優(yōu)化掉它,也就不會在字符串池里放這個。
也就是說,每次循環(huán)時 JVM
會重新創(chuàng)建一個 byte[]
,這就導致了每次 lockObj
實際上不是同一個實例。
北大青鳥APTECH成立于1999年。依托北京大學優(yōu)質(zhì)雄厚的教育資源和背景,秉承“教育改變生活”的發(fā)展理念,致力于培養(yǎng)中國IT技能型緊缺人才,是大數(shù)據(jù)專業(yè)的國家
北大青鳥中博軟件學院創(chuàng)立于2003年,作為華東區(qū)著名互聯(lián)網(wǎng)學院和江蘇省首批服務外包人才培訓基地,中博成功培育了近30000名軟件工程師走向高薪崗位,合作企業(yè)超4
中公教育集團創(chuàng)建于1999年,經(jīng)過二十年潛心發(fā)展,已由一家北大畢業(yè)生自主創(chuàng)業(yè)的信息技術與教育服務機構(gòu),發(fā)展為教育服務業(yè)的綜合性企業(yè)集團,成為集合面授教學培訓、網(wǎng)
達內(nèi)教育集團成立于2002年,是一家由留學海歸創(chuàng)辦的高端職業(yè)教育培訓機構(gòu),是中國一站式人才培養(yǎng)平臺、一站式人才輸送平臺。2014年4月3日在美國成功上市,融資1
曾工作于聯(lián)想擔任系統(tǒng)開發(fā)工程師,曾在博彥科技股份有限公司擔任項目經(jīng)理從事移動互聯(lián)網(wǎng)管理及研發(fā)工作,曾創(chuàng)辦藍懿科技有限責任公司從事總經(jīng)理職務負責iOS教學及管理工作。
浪潮集團項目經(jīng)理。精通Java與.NET 技術, 熟練的跨平臺面向?qū)ο箝_發(fā)經(jīng)驗,技術功底深厚。 授課風格 授課風格清新自然、條理清晰、主次分明、重點難點突出、引人入勝。
精通HTML5和CSS3;Javascript及主流js庫,具有快速界面開發(fā)的能力,對瀏覽器兼容性、前端性能優(yōu)化等有深入理解。精通網(wǎng)頁制作和網(wǎng)頁游戲開發(fā)。
具有10 年的Java 企業(yè)應用開發(fā)經(jīng)驗。曾經(jīng)歷任德國Software AG 技術顧問,美國Dachieve 系統(tǒng)架構(gòu)師,美國AngelEngineers Inc. 系統(tǒng)架構(gòu)師。