亚洲在线久爱草,狠狠天天香蕉网,天天搞日日干久草,伊人亚洲日本欧美

為了賬號安全,請及時綁定郵箱和手機立即綁定
已解決430363個問題,去搜搜看,總會有你想問的

Java 中 synchronized/volatile 變量可見性影響的程度是多少

Java 中 synchronized/volatile 變量可見性影響的程度是多少

月關寶盒 2023-05-24 15:57:43
根據“Java Concurrency in Practice”:當 B 執行由同一鎖保護的同步塊時,A 在同步塊中或之前所做的一切對 B 都是可見的和volatile 變量的可見性影響超出了 volatile 變量本身的值。當線程 A 寫入一個 volatile 變量,隨后線程 B 讀取同一個變量時,在寫入 volatile 變量之前對 A 可見的所有變量的值在讀取 volatile 變量后對 B 可見我不清楚的是一切和所有變量意味著什么?它真的意味著一切嗎?如果我們有這樣一個類:class MyClassA{  int a;  int[] array = new int[10];  MyClassB myClass; // a class with similar properties  void notSyncronizedMethod(){      // do something with a, array[3], myClass.a, myClass.array[3]  }  syncronized void syncronizedMethodA(){      // update value of a, array[3], myClass.a, myClass.array[3]  }  syncronized void syncronizedMethodB(){      // do something with a, array[3], myClass.a, myClass.array[3]  }}如果我們syncronizedMethodA()在一個線程中調用然后在另一個線程中調用syncronizedMethodB()or notSyncronizedMethod(),假設時間順序是嚴格保證的,將調用syncronizedMethodB()并notSyncronizedMethod()使用由 設置的最新變量值syncronizedMethodA()。我確定 a 的值對于 是可以的syncronizedMethodB(),但是像 array[3]、myClass.a 甚至 myClass.myClass.array[3] 這樣的引用類型的元素呢?notSyncronizedMethod()通過同步方法更新值怎么樣?
查看完整描述

1 回答

?
倚天杖

TA貢獻1828條經驗 獲得超3個贊

為了弄清楚提供了哪些可見性保證,您需要更好地理解 Java 內存模型,更具體地說,在 JMM 的上下文中 happens-before 意味著什么。JMM 將發生的事情描述為actions,例如,正常的讀寫、volatile 讀寫、鎖定、解鎖等。

JMM 中有一些規則確定一個動作何時先于另一個動作發生。與您的情況相關的規則如下:

單線程規則:在給定線程中,如果 A 在程序順序中先于 B,則操作 A 發生在操作 B 之前。

監視器鎖定規則(同步):給定監視器的解鎖發生在同一監視器上的后續鎖定之前。

重要的是要知道happens-before是傳遞性的,即如果 hb(a, b) 和 hb(b, c),則 hb(a, c)。

在您的示例中,一個線程在退出時釋放監視器syncronizedMethodA(),而另一個線程隨后在進入時獲取監視器syncronizedMethodB()。那是一種先發生后關系。由于 HB 是可傳遞的,因此執行的操作syncronizedMethodA()對于隨后進入的任何線程都是可見的syncronizedMethodB()

另一方面,在釋放監視器syncronizedMethodA()和由另一個線程執行的后續操作之間不存在先行關系notSynchronizedMethod()。因此,無法保證寫入syncronizedMethodA()對另一個線程的讀取可見notSynchronizedMethod()。


查看完整回答
反對 回復 2023-05-24
  • 1 回答
  • 0 關注
  • 148 瀏覽
慕課專欄
更多

添加回答

舉報

0/150
提交
取消
微信客服

購課補貼
聯系客服咨詢優惠詳情

幫助反饋 APP下載

慕課網APP
您的移動學習伙伴

公眾號

掃描二維碼
關注慕課網微信公眾號