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视频全免费网站一区|