java併發編程之volatile關鍵字

来源:https://www.cnblogs.com/huyangshu-fs/archive/2019/01/06/10225898.html
-Advertisement-
Play Games

1、volatile的作用 一個線程共用變數(類的成員變數、類的靜態成員變數等)被volatile修飾之後,就具有以下作用: 1)併發中的變數可見性(不同線程對該變數進行操作時的可見性),即一個線程修改了某個變數的值,則該新值對其他線程立即可見(可立即訪問新值/立即強制寫入主存); 2)禁止指令重排 ...


1、volatile的作用

  一個線程共用變數(類的成員變數、類的靜態成員變數等)被volatile修飾之後,就具有以下作用:

  1)併發中的變數可見性(不同線程對該變數進行操作時的可見性),即一個線程修改了某個變數的值,則該新值對其他線程立即可見(可立即訪問新值/立即強制寫入主存);

  2)禁止指令重排(包括java編譯器和CPU運行時指令重排序);

      3)禁用緩存(java虛擬機規範)---子線程的工作記憶體(包括了CPU緩存)。

 

2、相關概念

    2.1)指令重排序:

    (1)java編譯器運行時指令重排序(實質是JVM的優化處理),java源碼編譯生成class文件後,JVM需要在運行時(runtime)將位元組碼文件(class文件)轉化為操作系統能夠執行的指令(JIT編譯器),在轉換的過程中jvm會對指令進行優化調整,以提高運行效率。

    (2)CPU運行時指令重排序,cpu優化的方式,為避免處理器訪問主記憶體的時間開銷,處理器採用緩存機制(三層緩存)提高性能(緩存之間的數據一致性遵循協議規範),當CPU寫緩存時,發現緩存區塊正被其他CPU占用,為了提高CPU的處理性能,可能將後面的讀緩存命令優先執行。

  2.2)java記憶體模型規範:

       線程要操作共用變數時,需要從主記憶體讀取到工作記憶體,改變值後需要從工作記憶體同步到主記憶體中。多線程的情況下,同步到主記憶體時遵循同步協議規範。

 

3、相關現象分析

  3.1)先看一段代碼,

public class VolatileInfo {
	
	private static boolean flag = true;
	
	public static void main(String[] args) {
		new Thread(new Runnable() {
			@Override
			public void run() {
				long start = System.currentTimeMillis();
				long end = 0;
				int index = 0;
				while (VolatileInfo.flag) {
					index++;
					end = System.currentTimeMillis();
					if ((end-start)/1000==5) {//5秒之後結束任務
						break;
					}
				}
				System.out.println("index:"+index);
				System.out.println("cost:"+(end-start)/1000+"s");
			}
		}).start();
		
		try {
			TimeUnit.SECONDS.sleep(2);//阻塞線程2秒
		} catch (InterruptedException e) {
			e.printStackTrace();
		}
		
		VolatileInfo.flag = false;
		System.out.println("條件置為false");
	}
}

  輸出結果:

條件置為false
index:269460217
cost:5s

  耗時5秒,並不是2秒後停止(註:靜態變數flag用volatile 修飾後執行時間是2秒)。

  3.2)問題分析:

    1)主線程阻塞後修改的flag的值並沒有及時寫入到主存,子線程沒有及時讀取到flag值,導致迴圈繼續執行---即存在緩存;

    2)指令重排序,先從主記憶體中執行讀的操作,陷入死迴圈,不再向主記憶體寫入。

  3.3)解決辦法:

    1)flag變數使用volatile關鍵詞修飾;

  2)使用Synchronized加同步鎖(從主存中直接讀取,相當於禁用緩存,參考4.3);

	while (VolatileInfo.flag) {
		synchronized (this) {
		   index++;
		}
		end = System.currentTimeMillis();
		if ((end - start) / 1000 == 5) {// 5秒之後結束任務
			break;
		}
	}

    3)從eclipse中將jvm執行class文件的方式改為client(預設是server模式,jvm進行了一些優化調整);

    4)從eclipse中配置添加關閉server優化的參數---此處請自行百度^_^;              ---------- 禁止指令重排。

 

4、擴展知識點

   4.1)java記憶體模型多線程情況下的工作記憶體和主記憶體同步協議的8種原子操作:

  lock(鎖定):作用於主記憶體,將主記憶體中的變數鎖定,為一個線程所獨有;

      unlock(解鎖):作用於主記憶體,解除lock的鎖定,釋放後的變數能夠被其他線程訪問;

  read(讀取):作用於主記憶體,將主記憶體中的變數讀取到工作記憶體中,以便隨後的load動作使用;

  load(載入):作用於工作記憶體,它把read讀取的值保存到工作記憶體中的變數副本中;

  use(使用):作用於工作記憶體,它把工作記憶體中的值傳遞給線程代碼執行引擎;

  assign(賦值):作用於工作記憶體,它把從執行引擎處理返回的值重新賦值給工作記憶體中的變數;

  store(存儲):作用於工作記憶體,將變數副本中的值傳送到主記憶體中,以備隨後的write操作使用;

  write(寫入):作用於主記憶體,它把store傳送值寫到主記憶體的共用變數中。

  4.2)java記憶體模型操作規範:

  1)將一個變數從主記憶體複製到工作記憶體要順序依次(不一定連續)執行read、load操作;

      2)做了assign操作,必須同步回主記憶體等。

  4.3)保證線程共用變數可見性的方式:

  1)用final修飾的變數

      2) Synchronized 同步鎖

    Synchronized規範, 進入同步塊前,先清空工作記憶體中的共用變數,從主記憶體中重新載入; 解鎖前必須把修改的共用變數同步回主記憶體。

      鎖機制,鎖機制保護共用資源,只有獲得鎖的線程才能操作共用資源。

      3) 用volatile修飾的變數

    volatile語義規範,使用volatile修飾的變數時,必須從主記憶體中載入,並且read、load是連續的;修改volatile修飾的變數時,必須立即同步到主記憶體,並且store、write是連續的。

 

 

一字一句敲的,支持原創,轉載請註明出處,謝謝:https://www.cnblogs.com/huyangshu-fs/p/10225898.html

 


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

-Advertisement-
Play Games
更多相關文章
  • 根據操作系統位數(32/64,一般64位向下相容),項目要求版本,下載對應JDK安裝包 配置環境變數 JAVA_HOME C:\Program Files\Java\jdk1.7.0_80 PATH %JAVA_HOME%\bin CLASSPATH .;%JAVA_HOME%\lib;%JAVA_ ...
  • 在上一篇中說到了Java的四大特性,裡面出現了很多名次,包括以後學習Java中也會出現很多常用到的名次,對初學者來說可能不知道是什麼意思,或者是對這些刺耳的理解不是特別透徹,這裡我就我自己的理解來解釋下這些詞的意思。 包 在Java中常說某個包下麵的某個類。那麼什麼是包呢?在平時操作電腦時,我們常江 ...
  • 棧的ADT 數據 棧的數據對象集合為{a1,a2,a3...an},具有相同數據類型,有唯一前驅後續 操作 InitStack() Stack //初始化操作,創建一個空棧 Clear() //清空棧 IsEmpty() bool //棧是否為空,若棧為空,返回 true,否則 返回 false。 ...
  • HashMap JDK1.7 和1.8中關於對HashMap的實現,有了一些變化,其中很重要的一個變化,就是在解決Hash衝突的時候,存儲數據結構有所調整。 1.7版本: 主要實現方式: 通過數組+ 鏈表的方式實現。當hash衝突的時候,使用鏈表來解決衝突。但是當hash不均勻的時候,可能會導致數據 ...
  • 一. Hadoop Yarn 是什麼 在古老的 Hadoop1.0 中,MapReduce 的 JobTracker 負責了太多的工作,包括資源調度,管理眾多的 TaskTracker 等工作。這自然是不合理的,於是 Hadoop 在 1.0 到 2.0 的升級過程中,便將 JobTracker 的 ...
  • Python簡介 python的創始人為吉多·範羅蘇姆(Guido van Rossum)。1989年的聖誕節期間,吉多·範羅蘇姆(中文名字:龜叔)為了在阿姆斯特丹打發時間,決心開發一個新的腳本解釋程式,作為ABC語言的一種繼承。 Python是什麼編程語言 編程語言主要分為編譯型和解釋型,靜態語言 ...
  • 考慮在樹上選個點rt作為根,並且快遞中心就選這兒。計算出所有配送的代價(2 兩段之和),設他們的最大值為Max。若此時存在下列情況時,可以判定Max已經為最優解。 1)存在代價為Max的配送(u,v)且uv分別屬於rt的不同的兩個“兒子的子樹”。 2)存在代價為Max的配送(u1,v1)(u2,v2 ...
  • 什麼是內置函數? 就是python給你提供的,拿來直接用的函數, 比如print 和 input等等. 截止到python版本3.6.2 python一共提供了68個內置函數. 他們就是python直接提供給我們的,有一些我們已經見過了. 有一些還沒有見過. 還有一些需要學完了面向對象才能繼續學習的 ...
一周排行
    -Advertisement-
    Play Games
  • 移動開發(一):使用.NET MAUI開發第一個安卓APP 對於工作多年的C#程式員來說,近來想嘗試開發一款安卓APP,考慮了很久最終選擇使用.NET MAUI這個微軟官方的框架來嘗試體驗開發安卓APP,畢竟是使用Visual Studio開發工具,使用起來也比較的順手,結合微軟官方的教程進行了安卓 ...
  • 前言 QuestPDF 是一個開源 .NET 庫,用於生成 PDF 文檔。使用了C# Fluent API方式可簡化開發、減少錯誤並提高工作效率。利用它可以輕鬆生成 PDF 報告、發票、導出文件等。 項目介紹 QuestPDF 是一個革命性的開源 .NET 庫,它徹底改變了我們生成 PDF 文檔的方 ...
  • 項目地址 項目後端地址: https://github.com/ZyPLJ/ZYTteeHole 項目前端頁面地址: ZyPLJ/TreeHoleVue (github.com) https://github.com/ZyPLJ/TreeHoleVue 目前項目測試訪問地址: http://tree ...
  • 話不多說,直接開乾 一.下載 1.官方鏈接下載: https://www.microsoft.com/zh-cn/sql-server/sql-server-downloads 2.在下載目錄中找到下麵這個小的安裝包 SQL2022-SSEI-Dev.exe,運行開始下載SQL server; 二. ...
  • 前言 隨著物聯網(IoT)技術的迅猛發展,MQTT(消息隊列遙測傳輸)協議憑藉其輕量級和高效性,已成為眾多物聯網應用的首選通信標準。 MQTTnet 作為一個高性能的 .NET 開源庫,為 .NET 平臺上的 MQTT 客戶端與伺服器開發提供了強大的支持。 本文將全面介紹 MQTTnet 的核心功能 ...
  • Serilog支持多種接收器用於日誌存儲,增強器用於添加屬性,LogContext管理動態屬性,支持多種輸出格式包括純文本、JSON及ExpressionTemplate。還提供了自定義格式化選項,適用於不同需求。 ...
  • 目錄簡介獲取 HTML 文檔解析 HTML 文檔測試參考文章 簡介 動態內容網站使用 JavaScript 腳本動態檢索和渲染數據,爬取信息時需要模擬瀏覽器行為,否則獲取到的源碼基本是空的。 本文使用的爬取步驟如下: 使用 Selenium 獲取渲染後的 HTML 文檔 使用 HtmlAgility ...
  • 1.前言 什麼是熱更新 游戲或者軟體更新時,無需重新下載客戶端進行安裝,而是在應用程式啟動的情況下,在內部進行資源或者代碼更新 Unity目前常用熱更新解決方案 HybridCLR,Xlua,ILRuntime等 Unity目前常用資源管理解決方案 AssetBundles,Addressable, ...
  • 本文章主要是在C# ASP.NET Core Web API框架實現向手機發送驗證碼簡訊功能。這裡我選擇是一個互億無線簡訊驗證碼平臺,其實像阿裡雲,騰訊雲上面也可以。 首先我們先去 互億無線 https://www.ihuyi.com/api/sms.html 去註冊一個賬號 註冊完成賬號後,它會送 ...
  • 通過以下方式可以高效,並保證數據同步的可靠性 1.API設計 使用RESTful設計,確保API端點明確,並使用適當的HTTP方法(如POST用於創建,PUT用於更新)。 設計清晰的請求和響應模型,以確保客戶端能夠理解預期格式。 2.數據驗證 在伺服器端進行嚴格的數據驗證,確保接收到的數據符合預期格 ...