java多線程Synchronized實(shí)現(xiàn)可見性原理解析
Synchronized實(shí)現(xiàn)可見性原理
可見性
要實(shí)現(xiàn)共享變量的可見性,必須保證兩點(diǎn):
- 線程修改后的共享變量值能夠及時從工作內(nèi)存刷新到主內(nèi)存中
- 其他線程能夠及時把共享變量的最新值從主內(nèi)存更新到自己的工作內(nèi)存中
Java語言層面支持的可見性的實(shí)現(xiàn)方式
- synchronized
- volatile
synchronized實(shí)現(xiàn)可見性
synchronized能夠?qū)崿F(xiàn):
- 原子性(同步)
- 可見性
JMM關(guān)于synchronized的兩條規(guī)定:
- 1.線程解鎖前,必須把貢獻(xiàn)變量的最新值刷新到主內(nèi)存中
- ?2.線程加鎖時,將清空工作內(nèi)存中共享變量的值,從而使用共享變量時需要從主內(nèi)存中重新讀取最新的值(注意:加鎖與解鎖需要同一把鎖)
線程解鎖前對共享變量的修改在下次加鎖時對其他線程可見
線程執(zhí)行互斥代碼的過程
- 獲取互斥鎖
- 清空工作內(nèi)存
- 從主內(nèi)存拷貝變量的最新副本到工作內(nèi)存
- 執(zhí)行代碼
- 將更改后的共享變量的值刷新到主內(nèi)存
- 釋放互斥鎖
重排序:
代碼書寫的順序與實(shí)際執(zhí)行的順序不同,指令重排序是編譯器或處理器為了提高程序性能而做得優(yōu)化
- 編譯器優(yōu)化的重排序(編譯器優(yōu)化)
- 指令級并行重排序(處理器優(yōu)化)
- 內(nèi)存系統(tǒng)的重排序(處理器優(yōu)化)
as-if-serial
as-if-serial:無論如何重排序,程序執(zhí)行的結(jié)果應(yīng)該與代碼順序執(zhí)行的結(jié)果一致(Java編譯器、運(yùn)行時和處理器都會保證Java在單線程下遵循as-if-serial語義)

public class SynchronizedTest {
/**
* 共享變量
*/
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 ReadWriteThread extends Thread{
//根據(jù)構(gòu)造方法中傳入的flag參數(shù),確定線程執(zhí)行讀操作還是寫操作
private boolean flag;
public ReadWriteThread(boolean flag){
this.flag=flag;
}
@Override
public void run() {
if(flag){
//構(gòu)造方法中傳入true,執(zhí)行寫操作
write();
}else{
//構(gòu)造方法中傳入false,執(zhí)行讀操作
read();
}
}
}
public static void main(String[] args) {
SynchronizedTest synchronizedTest = new SynchronizedTest();
//啟動線程執(zhí)行寫操作
synchronizedTest.new ReadWriteThread(true).start();
//啟動線程執(zhí)行讀操作
synchronizedTest.new ReadWriteThread(false).start();
}
}
導(dǎo)致共享變量在線程間不可見的原因
1.線程的交叉執(zhí)行
eg:上述程序執(zhí)行步驟為1.1-》2.1-》2.2-》1.2

eg:上述程序執(zhí)行步驟為1.2-》2.1-》2.2-》1.1

2.重排序結(jié)合線程交叉執(zhí)行
eg: 2.1和2.2重排序后
int mid = number*3;
if(ready){
result=mid;
}
共享變量更新后的值沒有在工作內(nèi)存與主內(nèi)存間及時更新
安全性代碼
public class SynchronizedTest {
/**
* 共享變量
*/
private boolean ready = false;
private int result = 0;
private int number = 1;
/**
* 寫操作
*/
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);
}
/**
* 內(nèi)部線程類
*/
private class ReadWriteThread extends Thread{
//根據(jù)構(gòu)造方法中傳入的flag參數(shù),確定線程執(zhí)行讀操作還是寫操作
private boolean flag;
public ReadWriteThread(boolean flag){
this.flag=flag;
}
@Override
public void run() {
if(flag){
//構(gòu)造方法中傳入true,執(zhí)行寫操作
write();
}else{
//構(gòu)造方法中傳入false,執(zhí)行讀操作
read();
}
}
}
public static void main(String[] args) {
SynchronizedTest synchronizedTest = new SynchronizedTest();
//啟動線程執(zhí)行寫操作
synchronizedTest.new ReadWriteThread(true).start();
//啟動線程執(zhí)行讀操作
synchronizedTest.new ReadWriteThread(false).start();
}
}

到此這篇關(guān)于java多線程Synchronized實(shí)現(xiàn)可見性原理的文章就介紹到這了,更多相關(guān)java多線程Synchronized內(nèi)容請搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關(guān)文章希望大家以后多多支持腳本之家!
相關(guān)文章
詳解SpringBoot修改啟動端口server.port的四種方式
這篇文章主要介紹了詳解SpringBoot修改啟動端口server.port的四種方式,文中通過示例代碼介紹的非常詳細(xì),對大家的學(xué)習(xí)或者工作具有一定的參考學(xué)習(xí)價值,需要的朋友們下面隨著小編來一起學(xué)習(xí)學(xué)習(xí)吧2020-07-07
Java實(shí)現(xiàn)實(shí)時監(jiān)控目錄下文件變化的方法
今天小編就為大家分享一篇關(guān)于Java實(shí)現(xiàn)實(shí)時監(jiān)控目錄下文件變化的方法,小編覺得內(nèi)容挺不錯的,現(xiàn)在分享給大家,具有很好的參考價值,需要的朋友一起跟隨小編來看看吧2019-03-03
Spring Boot整合Mybatis Plus和Swagger2的教程詳解
這篇文章主要介紹了Spring Boot整合Mybatis Plus和Swagger2的教程,本文給大家介紹的非常詳細(xì),對大家的學(xué)習(xí)或工作具有一定的參考借鑒價值,需要的朋友可以參考下2021-02-02
shiro并發(fā)人數(shù)登錄控制的實(shí)現(xiàn)代碼
在做項(xiàng)目中遇到這樣的需求要求每個賬戶同時只能有一個人登錄或幾個人同時登錄,如果是同時登錄的多人,要么不讓后者登錄,要么踢出前者登錄,怎么實(shí)現(xiàn)這樣的功能呢?下面小編給大家?guī)砹藄hiro并發(fā)人數(shù)登錄控制的實(shí)現(xiàn)代碼,一起看看吧2017-09-09

