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)文章
maven插件maven-assembly-plugin打包歸納文件zip/tar使用
java項(xiàng)目運(yùn)行的文件需要jar或者war格式,同時(shí)還需要使用Java命令,本文主要介紹了maven插件maven-assembly-plugin打包歸納文件zip/tar使用,具有一定的參考價(jià)值,感興趣的可以了解一下2024-02-02
Java 設(shè)計(jì)模式以虹貓藍(lán)兔的故事講解建造者模式
建造者模式,是一種對(duì)象構(gòu)建模式 它可以將復(fù)雜對(duì)象的建造過(guò)程抽象出來(lái),使這個(gè)抽象過(guò)程的不同實(shí)現(xiàn)方法可以構(gòu)造出不同表現(xiàn)的對(duì)象。本文將通過(guò)示例講解建造者模式,需要的可以參考一下2022-04-04
SpringCloud協(xié)同開(kāi)發(fā)實(shí)現(xiàn)方法淺析
好幾個(gè)人同時(shí)開(kāi)發(fā)同一個(gè)服務(wù)上的不同模塊,導(dǎo)致你需要調(diào)試的接口總是被路由到別人的服務(wù)上,非常影響調(diào)試的效率,而且人越多越難受,總是請(qǐng)求不到自己的服務(wù),這篇文章主要介紹了SpringCloud協(xié)同開(kāi)發(fā)實(shí)現(xiàn)方法2022-12-12
Java?Spring的核心與設(shè)計(jì)思想你知道嗎
這篇文章主要為大家詳細(xì)介紹了Java?Spring的核心與設(shè)計(jì)思想,文中示例代碼介紹的非常詳細(xì),具有一定的參考價(jià)值,感興趣的小伙伴們可以參考一下,希望能夠給你帶來(lái)幫助2022-03-03
Java11中基于嵌套關(guān)系的訪問(wèn)控制優(yōu)化詳解
Java(和其他語(yǔ)言)通過(guò)內(nèi)部類(lèi)支持嵌套類(lèi),要使其正常工作,需要編譯器執(zhí)行一些技巧,下面這篇文章主要給大家介紹了關(guān)于Java11中基于嵌套關(guān)系的訪問(wèn)控制優(yōu)化的相關(guān)資料,需要的朋友可以參考下2022-01-01
java開(kāi)發(fā)中防止重復(fù)提交的幾種解決方案
我們?nèi)粘i_(kāi)發(fā)中有很多的應(yīng)用場(chǎng)景都會(huì)遇到重復(fù)提交問(wèn)題,下面這篇文章主要給大家介紹了關(guān)于java開(kāi)發(fā)中防止重復(fù)提交的幾種解決方案,文中通過(guò)實(shí)例代碼介紹的非常詳細(xì),需要的朋友可以參考下2022-10-10
Spring Boot優(yōu)雅使用RocketMQ的方法實(shí)例
這篇文章主要給大家介紹了關(guān)于Spring Boot優(yōu)雅使用RocketMQ的相關(guān)資料,文中通過(guò)示例代碼介紹的非常詳細(xì),對(duì)大家學(xué)習(xí)或者使用Spring Boot具有一定的參考學(xué)習(xí)價(jià)值,需要的朋友們下面來(lái)一起學(xué)習(xí)學(xué)習(xí)吧2019-12-12

