volatile關鍵字

来源:http://www.cnblogs.com/xudilei/archive/2017/05/09/6833241.html
-Advertisement-
Play Games

一、基本概念 volatile作為Java虛擬機提供的最輕量級同步機制,用於保證共用變數在多線程的情況下各線程獲取相同,不出現對該變數的操作和其他記憶體操作一樣重排序。 重排序 在虛擬機上,由於記憶體操作速度遠小於CPU的操作速度,為了減少CPU在等待記憶體操作過程的時間,虛擬機會按照一定規則打亂指令的執 ...


一、基本概念

volatile作為Java虛擬機提供的最輕量級同步機制,用於保證共用變數在多線程的情況下各線程獲取相同,不出現對該變數的操作和其他記憶體操作一樣重排序。

重排序

在虛擬機上,由於記憶體操作速度遠小於CPU的操作速度,為了減少CPU在等待記憶體操作過程的時間,虛擬機會按照一定規則打亂指令的執行順序,

int a = 1;
int b = 0;
int c = a+b;

這三行除了第三行需要在前兩行之後執行,前兩行在虛擬機中的執行順序是隨機的,這就是在保證一定順序情況下的指令重排序。《深入理解Java虛擬機》的12節有更深入解釋,可以看一下。
而對於volatile來說,其中有一個規則是對於它同步機制的保證,就是volatile修飾的變數,寫操作先行發生於後面對於這個變數的讀操作,意思是在出現讀取變數和寫入變數操作時候,寫入優先於讀取,具體會在下麵解釋。

記憶體模型

由於volatile主要是對於記憶體運用,需要簡單解釋一下Java併發過程中對記憶體模型的三個性質以及在volatile的體現。
可見性
可見性保證共用變數在多線程情況下值的準確性。指當一個線程對共用變數進行修改操作的時候,其他對該變數有操作的線程可以立即獲取這個修改。volatile使用的方式是在修改的同時立即同步到主記憶體中並將其他記憶體中的變數值無效化,使用之前需要再次從主記憶體中獲取。
原子性
原子性只要指對於原子性變數的load、read、assign、use、store和write保證原子性,這裡指基本數據類型的訪問讀寫。
有序性
由於在虛擬機中存在指令重排序的問題,因此存在synchronize和volatile關鍵詞來保證部分操作禁止指令重排序。

二、實現原理

在大致瞭解這個關鍵詞的作用之後,需要關註的就是它的實現原理,它是如何保證共用變數的同步的。

記憶體模型

被volatile修飾的共用變數在多線程的情況下變數記憶體使用模型如圖
image1
共用變數會被創建在主記憶體中,也就是多線程的公共存儲區,而多個線程在訪問該變數的時候是將其先從記憶體拷貝變數到CPU緩存中,在對該值進行操作。同時該變數會有兩個特性:

  • 多線程的可見性,如上面所說,使用共用變數的線程對變數的值進行操作之後,CPU緩存立即同步到主記憶體中,並將其他線程在CPU緩存的變數值無效化,強制讓其他線程再次讀取主記憶體的值,實現同步機制。
  • 禁止指令重排序,如上面所說,帶有volatile的變數寫操作先行發生於後面對於這個變數的讀操作,多個線程操作變數時,優先處理寫操作。

實現機制

在加入volatile關鍵字和沒有加入volatile關鍵字時所生成的彙編代碼發現,加入volatile關鍵字時,會多出一個lock首碼指令,對變數所在記憶體加上記憶體屏障(作用是保證編譯器在記憶體訪問上有序),保證變數操作之前的操作在虛擬機中一定在之前執行,同時保證變數的修改立即會同步到主記憶體上。

缺點

其實大家也註意到了,volatile並不能保證變數的原子性,它保證的是對變數的讀取和寫入的原子性,但是對於中間變數的操作並不能保證,如下麵的例子

public class VolatileTest {
    public volatile int i = 0;
    //函數調用,增加操作時間
    public void add(){
        i++;
    }

    public static void main(String[] args) {
        final VolatileTest test = new VolatileTest();
        for(int j = 0;j<10;j++){
            new Thread(){
                @Override
                public void run() {
                    for(int j = 0;j<1000;j++)
                        test.add();
                }
            }.start();
        }
        System.out.println(test.i);
    }
}

正常來說結果應該是10000,但是每次結果都小於10000,因為在自增的過程不是同步的,假設a線程讀取了i值為1,進入i+1的操作時,b線程也讀取了i,此時並無寫入操作,i任然是1,之後a線程加1結束寫入主記憶體2,但是由於b線程已經在加1操作,寫入操作懟它無影響,結果還是2,寫入主記憶體之後還是2,但是實際上,此時應該為3。因此,volatile逐漸被淘汰減少使用了。


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

-Advertisement-
Play Games
更多相關文章
  • 隊列是其元素按照先進先出(FIFO)的方式來處理的集合。 隊列使用System.Collections.Generic名稱空間中的泛型類Queue<T>實現。在內部,Queue<T>類使用T類型的數組,這類似List<T>(http://www.cnblogs.com/afei-24/p/68247 ...
  • 查看原文 本文我們來學習 Code first 在初始化資料庫時是如何決定資料庫名稱和伺服器的。 下圖展示了資料庫初始化的工作流。 由圖可知,上下文類的基本構造函數的參數可以有以下幾種方式: 1、沒有參數 2、有資料庫名 3、有連接字元串名 一、沒有參數(No Parameter) 如果上下文類的基 ...
  • 總目錄 插件目錄結構(一) Admin後臺頁面編寫(二) 前臺模板頁編寫(三) URL重寫(四) 本實例旨在以一個實際的項目中的例子來介紹如何在dtcms中製作插件,本系列文章非入門教程,部分邏輯實現一帶而過,敬請諒解。 時隔2年,再次收到本文的回覆,實在慚愧,本系列竟然終止於第二章節。不從外部找原... ...
  • 模塊:用一堆代碼實現了某個功能的代碼集合,模塊是不帶 .py 擴展的另外一個 Python 文件的文件名。 一、time & datetime模塊 二、random模塊 三、OS模塊 四、sys模塊 五、shutil模塊 六、XML處理模塊 七、configparser模塊 用於生成和修改常見配置文 ...
  • 03 樹1:樹的同構 Description: 給定兩棵樹T1和T2。如果T1可以通過若幹次左右孩子互換就變成T2,則我們稱兩棵樹是“同構”的。例如圖1給出的兩棵樹就是同構的,因為我們把其中一棵樹的結點A、B、G的左右孩子互換後,就得到另外一棵樹。而圖2就不是同構的。現給定兩棵樹,請你判斷它們是否是 ...
  • 前面有用 tomcat-redis-session-manager來實現分散式session管理,但是它有一定的局限性,主要是跟tomcat綁定太緊了,這裡改成用Spring Session來管理分散式session,Spring Session就完全實現了與具體的容器無關,如果需要瞭解如何用tom ...
  • 1、使用ext_skel工具生成擴展框架 ./ext_skel --extname=myext 2、編輯config.m4文件 cd myext/vim config.m4 3、php化並配置phpize5 ./configure --with-php-config=/usr/bin/php-con ...
  • IO流(輸入流、輸出流),又分為位元組流、字元流。 流是磁碟或其它外圍設備中存儲的數據的源點或終點。 輸入流:程式從輸入流讀取數據源。數據源包括外界(鍵盤、文件、網路…),即是將數據源讀入到程式的通信通道。 輸出流:程式向輸出流寫入數據。將程式中的數據輸出到外界(顯示器、印表機、文件、網路…)的通信通 ...
一周排行
    -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.數據驗證 在伺服器端進行嚴格的數據驗證,確保接收到的數據符合預期格 ...