【Java併發入門】02 Java記憶體模型:看Java如何解決可見性和有序性問題

来源:https://www.cnblogs.com/shuofxz/archive/2022/11/30/16940193.html
-Advertisement-
Play Games

如何解決其中的可見性和有序性導致的問題,這也就引出來了今天的主角——Java 記憶體模型。 一、什麼是 Java 記憶體模型? 導致可見性的原因是緩存,導致有序性的原因是編譯優化,那解決可見性、有序性最直接的辦法就是禁用緩存和編譯優化,但這樣雖然解決了問題,但也導致帶來的性能優化都沒了。 因此,解決方案 ...


如何解決其中的可見性有序性導致的問題,這也就引出來了今天的主角——Java 記憶體模型。

一、什麼是 Java 記憶體模型?

導致可見性的原因是緩存,導致有序性的原因是編譯優化,那解決可見性、有序性最直接的辦法就是禁用緩存和編譯優化,但這樣雖然解決了問題,但也導致帶來的性能優化都沒了。

因此,解決方案是:提出一套規則和方法,是程式員能在該禁用的時候禁用,不該禁用的時候不禁用。

Java 記憶體模型規範就是來解決這個問題的 —— 提供按需禁用緩存和編譯優化的方法
具體來說,這些方法包括 volatile、synchronized 和 final 三個關鍵字,以及六項 Happens-Before 規則,這也正是本期的重點內容。

二、Happens-Before 規則

Q:如何理解 Happens-Before 呢?
A:前面一個操作的結果對後續操作是可見的。但不能理解為前一個操作發生在後續操作的前面。
只要最終語義是對的,編譯器怎麼優化都行。

1、程式的順序性規則
這條規則是指在一個線程中,按照程式順序,前面的操作 Happens-Before 於後續的任意操作。

2、volatile 變數規則
這條規則是指對一個 volatile 變數的寫操作, Happens-Before 於後續對這個 volatile 變數的讀操作。

3、傳遞性
這條規則是指如果 A Happens-Before B,且 B Happens-Before C,那麼 A Happens-Before C。

4、管程中鎖的規則
這條規則是指對一個鎖的解鎖 Happens-Before 於後續對這個鎖的加鎖。

5、線程 start() 規則
這條是關於線程啟動的。它是指主線程 A 啟動子線程 B 後,子線程 B 能夠看到主線程在啟動子線程 B 前的操作。

6、線程 join() 規則
它是指主線程 A 等待子線程 B 完成(主線程 A 通過調用子線程 B 的 join() 方法實現),當子線程 B 完成後(主線程 A 中 join() 方法返回),主線程能夠看到子線程的操作。當然所謂的“看到”,指的是對共用變數的操作。

疑惑

Q:volatile、synchronized 和 final 能理解是提供給程式員用的,六項 Happens-Before 規則是約束誰的呢?
A:這是給程式員的保障,按照提供的規則寫,就能保證 Happens-Before 的語義。

參考文章:

Java記憶體模型以及happens-before規則


您的分享是我們最大的動力!

-Advertisement-
Play Games
更多相關文章
  • Unhandled Runtime Error TypeError: Cannot read properties of null (reading '1') 錯誤再現 # 1. 安裝 next yarn add next # 2. 配置頁面 pages # 3. 啟動項目 ## 當啟動項目的時候, ...
  • 這裡給大家分享我在網上總結出來的一些知識,希望對大家有所幫助 前言 最近項目遇到一個要在網頁上錄音的需求,在一波搜索後,發現了 react-media-recorder 這個庫。今天就跟大家一起研究一下這個庫的源碼吧,從 0 到 1 來實現一個 React 的錄音、錄像和錄屏的功能。 完整項目代碼放 ...
  • HTML< from >元素 from可向Web伺服器提交請求 普遍格式: <from action="伺服器地址" method="請求方式" enctype="數據格式"> <input type="submit" value="Test按鈕"> </from> method請求方式有: get ...
  • 案例介紹 歡迎來到我的小院,我是霍大俠,恭喜你今天又要進步一點點了!我們來用JavaScript編程實戰案例,做一個輪播圖。圖片每3秒自動輪換,也可以點擊左右按鍵輪播圖片,當圖片到達最左端或最右端時,再點擊左右鍵圖片彈回最初始的圖片或最末尾的圖片。通過實戰我們將學會clearTimeout方法、ob ...
  • hello,大家好呀,我是小樓。 前段時間不是在忙麽,忙的內容之一就是花了點時間重構了一個服務的健康檢查組件,目前已經慢慢在灰度線上,本文就來分享下這次重構之旅,也算作個總結吧。 背景 服務健康檢查簡介 服務健康檢查是應對分散式應用下某些服務節點不健康問題的一種解法。如下圖,消費者調用提供方集群,通 ...
  • 前言 這篇內容是從另一篇:UML建模、設計原則 中分離出來的,原本這個創建型設計模式是和其放在一起的 但是:把這篇創建型設計模式放在一起讓我賊彆扭,看起來賊不舒服,越看念頭越不通達,導致老衲躺在床上腦海中冒出來時都睡不著了 因此:最後實在受不了了,還是將其抽離出來 3、設計模式 分類: 註:使用設計 ...
  • Android ViewPager2 + Fragment 聯動 本篇主要介紹一下 ViewPager2 + Fragment , 上篇中簡單使用了ViewPager2 實現了一個圖片的滑動效果, 那圖片視圖可以滑動, ViewPager2也可以滑動 Fragment 概述 ViewPager2 官 ...
  • 〇、參考資料 1、Spring Boot 中文亂碼問題解決方案彙總 https://blog.51cto.com/u_15236724/5372824 2、spring boot讀取自定義配置properties文件★ https://www.yisu.com/zixun/366877.html 3 ...
一周排行
    -Advertisement-
    Play Games
  • 1.部署歷史 猿友們好,作為初來實習的我,已經遭受社會的“毒打”,所以請容許我在下麵環節適當吐槽,3Q! 傳統部署 ​ 回顧以往在伺服器部署webapi項目(非獨立發佈),dotnet環境、守護進程兩個逃都逃不掉,正常情況下還得來個nginx代理。不僅僅這仨,可能牽扯到yum或npm。node等都要 ...
  • 隨著技術的進步,跨平臺開發已經成為了標配,在此大背景下,ASP.NET Core也應運而生。本文主要基於ASP.NET Core+Element+Sql Server開發一個校園圖書管理系統為例,簡述基於MVC三層架構開發的常見知識點,前一篇文章,已經簡單介紹瞭如何搭建開發框架,和登錄功能實現,本篇... ...
  • 這道題只要會自定義cmp恰當地進行排序,其他部分沒有什麼大問題。 上代碼: 1 #include<bits/stdc++.h> 2 using namespace std; 3 int n,s,h1,h2,cnt; 4 struct apple{ 5 int height,ns;//height為蘋 ...
  • 這篇文章主要描述RPC的路由策略,包括為什麼需要請求隔離,為什麼不在註冊中心中實現請求隔離以及不同粒度的路由策略。 ...
  • 簡介: 中介者模式,屬於行為型的設計模式。用一個中介對象來封裝一系列的對象交互。中介者是各對象不需要顯式地相互引用,從而使其耦合鬆散,而且可以獨立地改變他們之間的交互。 適用場景: 如果平行對象間的依賴複雜,可以使用中介者解耦。 優點: 符合迪米特法則,減少成員間的依賴。 缺點: 不適用於系統出現對 ...
  • 【前置內容】Spring 學習筆記全系列傳送門: Spring學習筆記 - 第一章 - IoC(控制反轉)、IoC容器、Bean的實例化與生命周期、DI(依賴註入) Spring學習筆記 - 第二章 - 註解開發、配置管理第三方Bean、註解管理第三方Bean、Spring 整合 MyBatis 和 ...
  • 簡介: 享元模式,屬於結構型的設計模式。運用共用技術有效地支持大量細粒度的對象。 適用場景: 具有相同抽象但是細節不同的場景中。 優點: 把公共的部分分離為抽象,細節依賴於抽象,符合依賴倒轉原則。 缺點: 增加複雜性。 代碼: //用戶類 class User { private $name; fu ...
  • 這次設計一個通用的多位元組SPI介面模塊,特點如下: 可以設置為1-128位元組的SPI通信模塊 可以修改CPOL、CPHA來進行不同的通信模式 可以設置輸出的時鐘 狀態轉移圖和思路與多位元組串口發送模塊一樣,這裡就不給出了,具體可看該隨筆。 一、模塊代碼 1、需要的模塊 通用8位SPI介面模塊 `tim ...
  • AOP-03 7.AOP-切入表達式 7.1切入表達式的具體使用 1.切入表達式的作用: 通過表達式的方式定義一個或多個具體的連接點。 2.語法細節: (1)切入表達式的語法格式: execution([許可權修飾符] [返回值類型] [簡單類名/全類名] [方法名]([參數列表]) 若目標類、介面與 ...
  • 測試一、虛繼承與繼承的區別 1.1 單個繼承,不帶虛函數 1>class B size(8): 1> + 1> 0 | + (base class A) 1> 0 | | _ia //4B 1> | + 1> 4 | _ib //4B 有兩個int類型數據成員,占8B,基類邏輯存在前面 1.2、單個 ...