java synchronized實現(xiàn)可見性過程解析
JMM關(guān)于synchronized的兩條規(guī)定:
1)線程解鎖前,必須把共享變量的最新值刷新到主內(nèi)存中
2)線程加鎖時,將清空工作內(nèi)存中共享變量的值,從而使用共享變量時需要從主內(nèi)存中重新獲取最新的值
(注意:加鎖與解鎖需要是同一把鎖)
通過以上兩點,可以看到synchronized能夠?qū)崿F(xiàn)可見性。同時,由于synchronized具有同步鎖,所以它也具有原子性
多線程中程序交錯執(zhí)行時,重排序可能會造成內(nèi)存可見性問題
接下來我們看一段代碼:
/**
* synchronized能夠?qū)崿F(xiàn)原子性(同步)、可見性
*
* @author xuwenjin
*/
public class SynchronizedDemo {
//共享變量
private boolean ready = false;
private int result = 0;
private int number = 1;
/**
* 寫操作
*/
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)部線程類
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();
//啟動線程執(zhí)行寫操作
demo.new WriteReadThread(true).start();
//啟動線程執(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 (當寫線程執(zhí)行完1.1之后,讀線程開始)
3) 1.2 --> 2.1 --> 2.2 --> 1.1 result的值為0 (1.1跟1.2重排序)
4)...
當然由于重排序和線程的交叉執(zhí)行,還可能出現(xiàn)很多種執(zhí)行順序
導致共享變量在線程間不可見的原因:
- a、線程的線程執(zhí)行
- b、重排序結(jié)合線程交叉執(zhí)行
- c、共享變量更新后的值沒有在工作內(nèi)存與主內(nèi)存間及時更新
那么如何解決可見性的問題呢?接下來我們的主角出場:synchronized
安全的代碼:
/**
* 寫操作
*/
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的原子性、可見性,可以完美解決以上說的三點問題。不過讀線程和寫線程的執(zhí)行順序是不定的,所以result的結(jié)果仍然會出現(xiàn)6或0。
以上就是本文的全部內(nèi)容,希望對大家的學習有所幫助,也希望大家多多支持腳本之家。
相關(guān)文章
maven插件maven-assembly-plugin打包歸納文件zip/tar使用
java項目運行的文件需要jar或者war格式,同時還需要使用Java命令,本文主要介紹了maven插件maven-assembly-plugin打包歸納文件zip/tar使用,具有一定的參考價值,感興趣的可以了解一下2024-02-02
SpringCloud協(xié)同開發(fā)實現(xiàn)方法淺析
好幾個人同時開發(fā)同一個服務(wù)上的不同模塊,導致你需要調(diào)試的接口總是被路由到別人的服務(wù)上,非常影響調(diào)試的效率,而且人越多越難受,總是請求不到自己的服務(wù),這篇文章主要介紹了SpringCloud協(xié)同開發(fā)實現(xiàn)方法2022-12-12
Java11中基于嵌套關(guān)系的訪問控制優(yōu)化詳解
Java(和其他語言)通過內(nèi)部類支持嵌套類,要使其正常工作,需要編譯器執(zhí)行一些技巧,下面這篇文章主要給大家介紹了關(guān)于Java11中基于嵌套關(guān)系的訪問控制優(yōu)化的相關(guān)資料,需要的朋友可以參考下2022-01-01
Spring Boot優(yōu)雅使用RocketMQ的方法實例
這篇文章主要給大家介紹了關(guān)于Spring Boot優(yōu)雅使用RocketMQ的相關(guān)資料,文中通過示例代碼介紹的非常詳細,對大家學習或者使用Spring Boot具有一定的參考學習價值,需要的朋友們下面來一起學習學習吧2019-12-12

