Java線程安全中的有序性淺析
什么是有序性
在開(kāi)發(fā)中,我們通常按照從上到下的順序編寫(xiě)程序指令,并且希望cpu和編譯器按照我們預(yù)先編寫(xiě)的順序去執(zhí)。但往往cpu和編譯器為了提高性能、優(yōu)化指令的執(zhí)行順序,會(huì)將我們編寫(xiě)好的程序指令進(jìn)行重排序。
此時(shí)如果是在單線程狀態(tài)下,無(wú)論是否進(jìn)行了重排序都不會(huì)影響程序最終的結(jié)果
而有序性是指在多線程環(huán)境下就可能會(huì)由于程序指令重排序后導(dǎo)致最終結(jié)果與預(yù)期不符的情況
我們以單例模式中的雙重檢驗(yàn)鎖為例
利用new關(guān)鍵字創(chuàng)建一個(gè)對(duì)象實(shí)際上是執(zhí)行了三個(gè)操作
- 分配內(nèi)存空間
- 在內(nèi)存上(執(zhí)行構(gòu)造方法)初始化對(duì)象
- 將初始化后的對(duì)象提交給引用(對(duì)象引用指向分配好的內(nèi)存空間地址)
但是當(dāng)我們?cè)谶\(yùn)行程序時(shí),編譯器對(duì)程序進(jìn)行重排序優(yōu)化,經(jīng)常會(huì)將2和3兩個(gè)步驟進(jìn)行調(diào)換。
// 雙重檢驗(yàn)鎖 public class Singleton { static Singleton instance; static Singleton getInstance(){ if (instance == null){ synchronized(Singleton.class){ if (instance == null){ instance = new Singleton(); } } } return instance; } }
上述雙重檢驗(yàn)鎖,在第一次校驗(yàn)instance是否為null時(shí)如果不為null,則不用進(jìn)行后續(xù)的初始化的下面的加鎖操作,大幅的提高了synchronized的性能。但是在多線程狀態(tài)下執(zhí)行上述創(chuàng)建對(duì)象的程序,就可能會(huì)出現(xiàn)創(chuàng)建的對(duì)象instance雖然不為null,但是它可能還沒(méi)有初始化但是卻指向了某片內(nèi)存空間。
我們就下圖進(jìn)行分析
我們假設(shè)A和B兩條線程同時(shí)創(chuàng)建對(duì)象,那么上述的A線程創(chuàng)建instance時(shí)為其分配內(nèi)存空間,正確來(lái)講應(yīng)該先對(duì)instance進(jìn)行初始化然后將內(nèi)存地址交給instance,但是由于重排序,卻在初始化之前提交了內(nèi)存地址。那么當(dāng)線程切換到B,B就會(huì)認(rèn)為instance是一個(gè)創(chuàng)建完成的對(duì)象就會(huì)返回。
雙重檢驗(yàn)鎖的有序性就體現(xiàn)在,創(chuàng)建對(duì)象的三個(gè)操作被重排序之后可能執(zhí)行順序會(huì)變成先提交內(nèi)存地址再初始化導(dǎo)致對(duì)象創(chuàng)建失敗
解決有序性?
- Volatile修飾保證有序性
- 使用Synchtonized加鎖保證有序性
- 使用Lock加鎖保證有序性
到此這篇關(guān)于Java線程安全中的有序性淺析的文章就介紹到這了,更多相關(guān)Java線程有序性?xún)?nèi)容請(qǐng)搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關(guān)文章希望大家以后多多支持腳本之家!
相關(guān)文章
移動(dòng)開(kāi)發(fā)Spring Boot外置tomcat教程及解決方法
這篇文章主要介紹了移動(dòng)開(kāi)發(fā)SpringBoot外置tomcat教程,需要的朋友可以參考下2017-11-11Spring中使用JSR303請(qǐng)求約束判空的實(shí)現(xiàn)
這篇文章主要介紹了Spring中使用JSR303請(qǐng)求約束判空的實(shí)現(xiàn),文中通過(guò)示例代碼介紹的非常詳細(xì),對(duì)大家的學(xué)習(xí)或者工作具有一定的參考學(xué)習(xí)價(jià)值,需要的朋友們下面隨著小編來(lái)一起學(xué)習(xí)學(xué)習(xí)吧2020-12-12劍指Offer之Java算法習(xí)題精講數(shù)組與字符串題
跟著思路走,之后從簡(jiǎn)單題入手,反復(fù)去看,做過(guò)之后可能會(huì)忘記,之后再做一次,記不住就反復(fù)做,反復(fù)尋求思路和規(guī)律,慢慢積累就會(huì)發(fā)現(xiàn)質(zhì)的變化2022-03-03Java,JSP,Servlet獲取當(dāng)前工程路徑(絕對(duì)路徑)問(wèn)題解析
這篇文章主要介紹了Java,JSP,Servlet獲取當(dāng)前工程路徑(絕對(duì)路徑)問(wèn)題解析,需要的朋友可以參考下。2017-09-09java判斷class子類(lèi)或父類(lèi)的實(shí)例方法
在本篇文章里小編給大家整理的是關(guān)于java判斷class子類(lèi)或父類(lèi)的實(shí)例方法,需要的朋友們可以參考學(xué)習(xí)下。2020-02-02Java編程實(shí)現(xiàn)獲取當(dāng)前代碼行行號(hào)的方法示例
這篇文章主要介紹了Java編程實(shí)現(xiàn)獲取當(dāng)前代碼行行號(hào)的方法,結(jié)合實(shí)例形式分析了java基于StackTraceElement對(duì)象實(shí)現(xiàn)獲取代碼行號(hào)的相關(guān)操作技巧,需要的朋友可以參考下2017-08-08