本篇文章為大家展示了深入淺析Java中的共享對象和存儲模型,內容簡明扼要并且容易理解,絕對能使你眼前一亮,通過這篇文章的詳細介紹希望你能有所收獲。
在郊區(qū)等地區(qū),都構建了全面的區(qū)域性戰(zhàn)略布局,加強發(fā)展的系統(tǒng)性、市場前瞻性、產(chǎn)品創(chuàng)新能力,以專注、極致的服務理念,為客戶提供網(wǎng)站建設、成都網(wǎng)站設計 網(wǎng)站設計制作按需網(wǎng)站策劃,公司網(wǎng)站建設,企業(yè)網(wǎng)站建設,成都品牌網(wǎng)站建設,營銷型網(wǎng)站,外貿營銷網(wǎng)站建設,郊區(qū)網(wǎng)站建設費用合理。
Java 存儲模型和共享對象詳解
很多程序員對一個共享變量初始化要注意可見性和安全發(fā)布(安全地構建一個對象,并其他線程能正確訪問)等問題不是很理解,認為Java是一個屏蔽內存細節(jié)的平臺,連對象回收都不需要關心,因此談到可見性和安全發(fā)布大多不知所云。其實關鍵在于對Java存儲模型,可見性和安全發(fā)布的問題是起源于Java的存儲結構。
Java存儲模型原理
有很多書和文章都講解過Java存儲模型,其中一個圖很清晰地說明了其存儲結構:
由上圖可知, jvm系統(tǒng)中存在一個主內存(Main Memory或Java Heap Memory),Java中所有變量都儲存在主存中,對于所有線程都是共享的。 每條線程都有自己的工作內存(Working Memory),工作內存中保存的是主存中某些變量的拷貝,線程對所有變量的操作都是在工作內存中進行,線程之間無法相互直接訪問,變量傳遞均需要通過主存完成。
這個存儲模型很像我們常用的緩存與數(shù)據(jù)庫的關系,因此由此可以推斷JVM如此設計應該是為了提升性能,提高多線程的并發(fā)能力,并減少線程之間的影響。
Java存儲模型潛在的問題
一談到緩存, 我們立馬想到會有緩存不一致性問題,就是說當有緩存與數(shù)據(jù)庫不一致的時候,就需要有相應的機制去同步數(shù)據(jù)。同理,Java存儲模型也有這個問題,當一個線程在自己工作內存里初始化一個變量,當還沒來得及同步到主存里時,如果有其他線程來訪問它,就會出現(xiàn)不可預知的問題。另外,JVM在底層設計上,對與那些沒有同步到主存里的變量,可能會以不一樣的操作順序來執(zhí)行指令,舉個實際的例子:
public class PossibleReordering { static int x = 0, y = 0; static int a = 0, b = 0; public static void main(String[] args) throws InterruptedException { Thread one = new Thread(new Runnable() { public void run() { a = 1; x = b; } }); Thread other = new Thread(new Runnable() { public void run() { b = 1; y = a; } }); one.start(); other.start(); one.join(); other.join(); System.out.println("( "+ x + "," + y + ")"); } }
由于,變量x,y,a,b沒有安全發(fā)布,導致會不以規(guī)定的操作順序來執(zhí)行這次四次賦值操作,有可能出現(xiàn)以下順序:
出現(xiàn)這個問題也可以理解,因為既然這些對象不可見,也就是說本應該隔離在各個線程的工作區(qū)內,那么對于有些無關順序的指令,打亂順序執(zhí)行在JVM看來也是可行的。
因此,總結起來,會有以下兩種潛在問題:
解決Java存儲模型潛在的問題
為了能讓開發(fā)人員安全正確地在Java存儲模型上編程,JVM提供了一個happens-before原則,有人整理得非常好,我摘抄如下:
有了原則還不夠,Java提供了以下工具和方法來保證變量的可見性和安全發(fā)布:
另外,一定要明確只有共享變量才會有以上那些問題,如果變量只是這個線程自己使用,就不用擔心那么多問題了
搞清楚Java存儲模型后,再來看共享對象可見性和安全發(fā)布的問題就較為容易了
共享對象的可見性
當對象在從工作內存同步到主內存之前,那么它就是不可見的。若有其他線程在存取不可見對象就會引發(fā)可見性問題,看下面一個例子:
public class NoVisibility { private static boolean ready; private static int number; private static class ReaderThread extends Thread { public void run() { while (!ready) Thread.yield(); System.out.println(number); } } public static void main(String[] args) { new ReaderThread().start(); number = 42; ready = true; } }
按照正常邏輯,應該會輸出42,但其實際結果會非常奇怪,可能會永遠沒有輸出(因為ready為false),可能會輸出0(因為重排序問題導致ready=true先執(zhí)行)。再舉一個更為常見的例子,大家都喜歡用只有set和get方法的pojo來設計領域模型,如下所示:
@NotThreadSafe public class MutableInteger { private int value; public int get() { return value; } public void set(int value) { this.value = value; } }
但是,當有多個線程同時來存取某一個對象時,可能就會有類似的可見性問題。
為了保證變量的可見性,一般可以用鎖、 synchronized關鍵字、 volatile關鍵字或直接設置為final
共享變量發(fā)布
共享變量發(fā)布和我們常說的發(fā)布程序類似,就是說讓本屬于內部的一個變量變?yōu)橐粋€可以被外部訪問的變量。發(fā)布方式分為以下幾種:
安全發(fā)布和保證可見性的方法類似,就是要同步發(fā)布動作,并使發(fā)布后的對象可見。
線程安全
其實當我們把這些變量封閉在本線程內訪問,就可以從根本上避免以上問題,現(xiàn)實中存在很多例子通過線程封閉來安全使用本不是線程安全的對象,比如:
上述內容就是深入淺析Java中的共享對象和存儲模型,你們學到知識或技能了嗎?如果還想學到更多技能或者豐富自己的知識儲備,歡迎關注創(chuàng)新互聯(lián)行業(yè)資訊頻道。
網(wǎng)站名稱:深入淺析Java中的共享對象和存儲模型
文章URL:http://chinadenli.net/article10/jgjdgo.html
成都網(wǎng)站建設公司_創(chuàng)新互聯(lián),為您提供電子商務、小程序開發(fā)、外貿建站、App開發(fā)、網(wǎng)站內鏈、動態(tài)網(wǎng)站
聲明:本網(wǎng)站發(fā)布的內容(圖片、視頻和文字)以用戶投稿、用戶轉載內容為主,如果涉及侵權請盡快告知,我們將會在第一時間刪除。文章觀點不代表本網(wǎng)站立場,如需處理請聯(lián)系客服。電話:028-86922220;郵箱:631063699@qq.com。內容未經(jīng)允許不得轉載,或轉載時需注明來源: 創(chuàng)新互聯(lián)