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程序員的學習負擔大大降低。同時,新內存模型允許不會改變程序結果的重排序,這可以最大限度地放松對編譯器和處理器的束縛,新內存模型的執行性能比舊內存模型要好。
主站蜘蛛池模板:
伊人春色成人网
|
91在线精品秘密一区二区
|
99亚洲综合
|
91av小视频
|
成人亚洲在线
|
国产视频一区二区
|
精品福利视频一区二区三区
|
国产精品免费在线
|
激情国产|
国产精品中文字幕一区二区三区
|
日韩精品无码一区二区三区
|
91在线观看免费
|
精品网|
亚洲综合在线视频
|
欧美日韩久
|
亚洲激情网站
|
黄色免费网站在线看
|
精品成人av|
国产精品一区一区三区
|
国产精品夜夜夜一区二区三区尤
|
久久久精品一区
|
亚洲精品二区
|
人和拘一级毛片c
|
在线看av网址
|
日韩欧美国产一区二区三区
|
亚洲免费一区
|
狠狠色综合欧美激情
|
中文字幕一区二区三区乱码在线
|
中文字幕欧美在线观看
|
国产视频1区2区
|
欧美日韩精品在线免费观看
|
91一区二区|
国产福利91精品一区二区三区
|
xnxx 日本免费|
久国产视频
|
91色在线视频
|
日韩视频免费看
|
国产精品一区二区在线免费观看
|
在线一区视频
|
精品日韩一区二区
|
激情五月婷婷丁香
|