此部分為隱藏內(nèi)容，請輸入驗證碼后查看
掃描右側(cè)圖片或微信搜索 “ Java技術(shù)分享屋 ” ，回復(fù) “ 驗證碼 ” ，獲取驗證密碼。
本資料僅供讀者預(yù)覽及學(xué)習(xí)交流使用，不能用于商業(yè)用途，請在下載后24小時內(nèi)刪除。如果喜歡，請購買正版！
一.資料圖片
二.資料簡介
本文是 JSR-133 規(guī)范，即 JavaTM內(nèi)存模型與線程規(guī)范，由 JSR-133 專家組開發(fā)。本規(guī)范是 JSR-176（定義了 JavaTM 平臺 Tiger（5.0）發(fā)布版的主要特性）的一部分。本規(guī)范的標準內(nèi)容將合并到 JavaTM語言規(guī)范、JavaTM虛擬機規(guī)范以及 java.lang 包的類說明中。本 JSR-133 規(guī)范將不再通過 JCP 維護和修改。未來所有對這些標準化內(nèi)容的更新、修正以及說明都會出現(xiàn)在上述這些文檔中。
本規(guī)范的標準化內(nèi)容包含在第 5, 7, 9.2, 9.3, 11, 12, 14, 15 以及 16 節(jié)。其它章節(jié)，以及上述提到的章節(jié)的部分內(nèi)容，屬非標準化內(nèi)容，用于解釋和說明標準化內(nèi)容。如果標準化內(nèi)容和非標準化內(nèi)容有沖突，以標準化內(nèi)容為準。
本規(guī)范的討論與開發(fā)異常復(fù)雜且專業(yè)性強，需要對一些學(xué)術(shù)論題有深刻的見解并了解它們的發(fā)展過程。這些討論在 JMM web 站點上都有存檔。該站點提供了額外的信息，可以幫助理解本規(guī)范形成的過程；站點是：http://www.cs.umd.edu/~pugh/java/memoryModel
上述 web 站點以及郵件列表將持續(xù)更新和維護，非標準化內(nèi)容，有助于人們理解JSR-133 規(guī)范，未來若有更新和擴展，將可以從該站點上找到。
在對 JLS 原始規(guī)范的改變中，有兩處最有可能要求 JVM 實現(xiàn)也做出相應(yīng)的變動：
? 加強了 volatile 變量的語義，需要有 acquire 和 release 語義。在原始的規(guī)范中，volatile 變量的訪問和非 volatile 變量的訪問之間可以自由地重排序。
? 加強了 final 字段的語義，無需顯式地同步，不可變對象也是線程安全的。這可能需要在給 final 字段賦值的那些構(gòu)造器的末尾加上 store-store 屏障。