Java內存模型的歷史變遷
舊的Java內存模型Java使用的是共享內存的并發模型,在線程之間共享變量。Java語言定義了線程模型規范,通過內存模型控制線程與變量的交互,從而實現Java線程之間的通信。在JDK5之前,Java一直使用的是舊內存模型。如圖1所示。變量保存在由所有線程共享的主內存中,主內存中的變量稱為mastingcopy。每個線程都有一個工作內存,它保存變量的workingcopy。舊的內存模型定義了若干規則,通過這些規則來保證線程何時將主內存中的mastingcopy傳送到線程的工作內存中;以及線程何時將工作內存中的workingcopy傳送回主內存。舊內存模型使用8個操作來定義線程可以執行的動作。read(讀)操作:主內存把mastingcopy傳送到線程的工作內存,以供后面的load操作使用。load(裝載)操作:線程將由read操作從主內存傳送過來的值,放入工作內存中。use(使用)操作:線程將變量的workingcopy傳送到線程執行引擎。assign(賦值)操作:線程將變量值從線程執行引擎傳送到線程的工作內存中。store(存儲)操作:線程將變量的workingcopy傳送到主內存,供后面的write操作使用。write(寫)操作:主內存將由store操作傳送過來的值,放入主內存中。lock(鎖定)操作:線程獲得指定對象的鎖。unlock(解鎖)操作:線程釋放指定對象的鎖。
圖1 Java舊內存模型這里的關鍵是,由于read操作是由主內存執行,而對應的load是由線程執行,read操作和load操作之間是松散耦合的。也就是說,主內存和線程工作內存之間的變量傳遞是松散耦合的。同樣,由于store操作是由線程執行,而對應的write是由主內存執行,store操作和write操作之間是松散耦合的。也就是說,線程工作內存和主內存之間的變量傳遞是松散耦合的。舊Java內存模型對Java實現如何執行變量的讀/寫,加鎖/解鎖,以及volatile變量的讀/寫,定義了非常嚴格的規則。這些規則非常復雜,具體詳情請參考《JVM規范》,這里就不贅述了。舊Java內存模型通過這些復雜的規則,來保證多線程程序的線程之間,可以可靠地傳遞共享變量,從而保證多線程程序的正確性。新的Java內存模型從JDK5開始,Java使用新的內存模型,新內存模型完全拋棄了舊內存模型的主內存和工作內存的概念,也拋棄了舊內存模型的8個內存操作。也就是說,新內存模型完全是重新設計的。新內存模型引入了一個新的概念,叫happens-before。happens-before的概念最初由LeslieLamport在其一篇影響深遠的論文(《Time,ClocksandtheOrderingofEventsinaDistributedSystem》)中提出。LeslieLamport使用happens-before來定義分布式系統中,事件之間的一個偏序關系(partialordering)。LeslieLamport在這篇論文中給出了一個分布式算法,該算法可以將該偏序關系擴展為某種全序關系。JSR-133使用happens-before的概念來指定兩個操作(這里的操作是指程序中對變量的讀/寫,對鎖的加鎖和解鎖)之間的執行順序。新內存模型定義了如下的happens-before規則。程序順序規則:一個線程中的每個操作,happensbefore于該線程中的任意后續操作。監視器鎖規則:對一個鎖的解鎖,happens-before于隨后對這個鎖的加鎖。volatile變量規則:對一個volatile域的寫,happensbefore于任意后續對這個volatile域的讀。傳遞性:如果Ahappens-beforeB,且BhappensbeforeC,那么Ahappens-beforeC。start()規則:如果線程A執行操作ThreadB.start()(啟動線程B),那么A線程的ThreadB.start()操作happensbefore于線程B中的任意操作。join()規則:如果線程A執行操作ThreadB.join()并成功返回,那么線程B中的任意操作happens-before于線程A從ThreadB.join()操作成功返回。由于兩個操作可以在一個線程之內,也可以是在不同線程之間。因此JMM可以通過happens-before關系向程序員提供跨線程的內存可見性保證(如果A線程的寫操作a與B線程的讀操作b之間存在happens-before關系,盡管a操作和b操作在不同的線程中執行,但JMM
圖2新內存模型的設計示意圖向程序員保證a操作將對b操作可見)。在新內存模型向程序員提供happens-before規則,程序員只需要與happens-before打交道即可,因此Java程序員的學習負擔大大降低。同時,新內存模型允許不會改變程序結果的重排序,這可以最大限度地放松對編譯器和處理器的束縛,新內存模型的執行性能比舊內存模型要好。
主站蜘蛛池模板:
中文字幕精品一区二区|
天天躁日日躁狠狠躁一区|
国产午夜精品一区二区三区极品|
国产成人综合亚洲一区|
精品福利视频一区二区三区|
亚洲AⅤ视频一区二区三区|
国产福利91精品一区二区|
午夜福利一区二区三区在线观看|
国产精品亚洲综合一区|
午夜无码一区二区三区在线观看|
日韩美女视频一区|
夜夜爽一区二区三区精品|
中文字幕日韩一区|
成人影片一区免费观看|
97av麻豆蜜桃一区二区|
国产品无码一区二区三区在线|
亚洲A∨精品一区二区三区|
国产精品视频一区国模私拍
|
亚洲综合在线一区二区三区|
午夜影视日本亚洲欧洲精品一区|
日韩一本之道一区中文字幕|
在线观看免费视频一区|
中文字幕一区二区三区永久|
色噜噜AV亚洲色一区二区|
亚洲综合国产一区二区三区|
国产精品亚洲一区二区三区在线|
熟妇人妻一区二区三区四区|
日韩视频一区二区三区|
久久4k岛国高清一区二区|
99精品一区二区三区|
99精品国产高清一区二区麻豆|
亚洲av成人一区二区三区观看在线
|
免费无码一区二区三区蜜桃|
成人免费区一区二区三区|
无码人妻一区二区三区在线视频|
搡老熟女老女人一区二区|
中文字幕一区在线观看视频|
在线观看一区二区三区视频
|
日本片免费观看一区二区|
一区二区和激情视频|
美女视频黄a视频全免费网站一区|