java synchronized實(shí)現(xiàn)可見(jiàn)性過(guò)程解析
JMM關(guān)于synchronized的兩條規(guī)定:
1)線程解鎖前,必須把共享變量的最新值刷新到主內(nèi)存中
2)線程加鎖時(shí),將清空工作內(nèi)存中共享變量的值,從而使用共享變量時(shí)需要從主內(nèi)存中重新獲取最新的值
(注意:加鎖與解鎖需要是同一把鎖)
通過(guò)以上兩點(diǎn),可以看到synchronized能夠?qū)崿F(xiàn)可見(jiàn)性。同時(shí),由于synchronized具有同步鎖,所以它也具有原子性
多線程中程序交錯(cuò)執(zhí)行時(shí),重排序可能會(huì)造成內(nèi)存可見(jiàn)性問(wèn)題
接下來(lái)我們看一段代碼:
/** * synchronized能夠?qū)崿F(xiàn)原子性(同步)、可見(jiàn)性 * * @author xuwenjin */ public class SynchronizedDemo { //共享變量 private boolean ready = false; private int result = 0; private int number = 1; /** * 寫(xiě)操作 */ public void write() { ready = true; //1.1 number = 2; //1.2 } /** * 讀操作 */ public void read() { if (ready) { //2.1 result = number * 3; //2.2 } System.out.println("result:" + result); } //內(nèi)部線程類(lèi) private class WriteReadThread extends Thread { private boolean flag = false; public WriteReadThread(boolean flag){ this.flag = flag; } @Override public void run() { if (flag) { write(); }else { read(); } } } public static void main(String[] args) { SynchronizedDemo demo = new SynchronizedDemo(); //啟動(dòng)線程執(zhí)行寫(xiě)操作 demo.new WriteReadThread(true).start(); //啟動(dòng)線程執(zhí)行讀操作 demo.new WriteReadThread(false).start(); } }
上面的代碼可能出現(xiàn)如下執(zhí)行順序:
1) 1.1 --> 1.2 --> 2.1--> 2.2 result的值為6 (正常情況)
2) 1.1 --> 2.1 --> 2.2 --> 1.2 result的值為3 (當(dāng)寫(xiě)線程執(zhí)行完1.1之后,讀線程開(kāi)始)
3) 1.2 --> 2.1 --> 2.2 --> 1.1 result的值為0 (1.1跟1.2重排序)
4)...
當(dāng)然由于重排序和線程的交叉執(zhí)行,還可能出現(xiàn)很多種執(zhí)行順序
導(dǎo)致共享變量在線程間不可見(jiàn)的原因:
- a、線程的線程執(zhí)行
- b、重排序結(jié)合線程交叉執(zhí)行
- c、共享變量更新后的值沒(méi)有在工作內(nèi)存與主內(nèi)存間及時(shí)更新
那么如何解決可見(jiàn)性的問(wèn)題呢?接下來(lái)我們的主角出場(chǎng):synchronized
安全的代碼:
/** * 寫(xiě)操作 */ public synchronized void write() { ready = true; //1.1 number = 2; //1.2 } /** * 讀操作 */ public synchronized void read() { if (ready) { //2.1 result = number * 3; //2.2 } System.out.println("result:" + result); }
由于synchronized的原子性、可見(jiàn)性,可以完美解決以上說(shuō)的三點(diǎn)問(wèn)題。不過(guò)讀線程和寫(xiě)線程的執(zhí)行順序是不定的,所以result的結(jié)果仍然會(huì)出現(xiàn)6或0。
以上就是本文的全部?jī)?nèi)容,希望對(duì)大家的學(xué)習(xí)有所幫助,也希望大家多多支持腳本之家。
相關(guān)文章
MyBatis查詢(xún)數(shù)據(jù)返回null的解決
本文主要介紹了MyBatis查詢(xún)數(shù)據(jù)返回null的解決,文中通過(guò)示例代碼介紹的非常詳細(xì),對(duì)大家的學(xué)習(xí)或者工作具有一定的參考學(xué)習(xí)價(jià)值,需要的朋友們下面隨著小編來(lái)一起學(xué)習(xí)學(xué)習(xí)吧2023-02-02Spring6.x對(duì)調(diào)度和異步執(zhí)行的注解支持示例詳解
這篇文章主要為大家介紹了Spring6.x對(duì)調(diào)度和異步執(zhí)行的注解支持示例詳解,有需要的朋友可以借鑒參考下,希望能夠有所幫助,祝大家多多進(jìn)步,早日升職加薪2023-11-11java8新特性-Stream入門(mén)學(xué)習(xí)心得
這篇文章主要介紹了java8新特性-Stream入門(mén)學(xué)習(xí)心得,具有很好的參考價(jià)值,希望對(duì)大家有所幫助。如有錯(cuò)誤或未考慮完全的地方,望不吝賜教2023-03-03Java獲取一維數(shù)組的最小值實(shí)現(xiàn)方法
這篇文章主要介紹了Java獲取一維數(shù)組的最小值實(shí)現(xiàn)方法,需要的朋友可以參考下2014-02-02SpringBoot中的自定義FailureAnalyzer詳解
這篇文章主要介紹了SpringBoot中的自定義FailureAnalyzer詳解,FailureAnalyzer是一種很好的方式在啟動(dòng)時(shí)攔截異常并將其轉(zhuǎn)換為易讀的消息,并將其包含在FailureAnalysis中, Spring Boot為應(yīng)用程序上下文相關(guān)異常、JSR-303驗(yàn)證等提供了此類(lèi)分析器,需要的朋友可以參考下2023-12-12Java 中 synchronized的用法詳解(四種用法)
Java語(yǔ)言的關(guān)鍵字,當(dāng)它用來(lái)修飾一個(gè)方法或者一個(gè)代碼塊的時(shí)候,能夠保證在同一時(shí)刻最多只有一個(gè)線程執(zhí)行該段代碼。本文給大家介紹java中 synchronized的用法,對(duì)本文感興趣的朋友一起看看吧2015-11-11