點(diǎn)擊上方藍(lán)色字體，選擇“標(biāo)星公眾號”

優(yōu)質(zhì)文章，第一時間送達(dá)

? 作者?|??Arnold-zhao

來源 |? urlify.cn/ryQFJn

66套java從入門到精通實(shí)戰(zhàn)課程分享

出現(xiàn)線程安全的問題本質(zhì)是因?yàn)椋?/span>

主內(nèi)存和工作內(nèi)存數(shù)據(jù)不一致性以及編譯器重排序?qū)е隆?/span>

所以理解上述兩個問題的核心，對認(rèn)知多線程的問題則具有很高的意義；

簡單理解CPU

CPU除了控制器、運(yùn)算器等器件還有一個重要的部件就是寄存器。其中寄存器的作用就是進(jìn)行數(shù)據(jù)的臨時存儲。

CPU的運(yùn)算速度是非?？斓模瑸榱诵阅蹸PU在內(nèi)部開辟一小塊臨時存儲區(qū)域，并在進(jìn)行運(yùn)算時先將數(shù)據(jù)從內(nèi)存復(fù)制到這一小塊臨時存儲區(qū)域中，運(yùn)算時就在這一小快臨時存儲區(qū)域內(nèi)進(jìn)行。我們稱這一小塊臨時存儲區(qū)域?yàn)榧拇嫫鳌?/span>

CPU讀取指令是往內(nèi)存里面去讀取的，讀一條指令放到CPU中，CPU去執(zhí)行，對內(nèi)存的讀取速度比較慢，所以從內(nèi)存讀取的速度去決定了這個CPU的執(zhí)行速度的。所以無論我們的CPU怎么去升級，但是如果這方面速度沒有解決的話，其的性能也不會得到多大的提升。

為了彌補(bǔ)這個缺陷，所以添加了高速緩存的機(jī)制，如ARM A11的處理器，它的1級緩存中的容量是64KB，2級緩存中的容量是8M,
通過增加cpu高速緩存的機(jī)制，以此彌補(bǔ)服務(wù)器內(nèi)存讀寫速度的效率問題；

JVM虛擬機(jī)類比于操作系統(tǒng)

JVM虛擬計(jì)算機(jī)平臺就類似于一個操作系統(tǒng)的角色，所以在具體實(shí)現(xiàn)上JVM虛擬機(jī)也的確是借鑒了很多操作系統(tǒng)的特點(diǎn)；

JAVA中線程的工作空間（working memory）就是CPU的寄存器和高速緩存的抽象描述，cpu在計(jì)算的時候，并不總是從內(nèi)存讀取數(shù)據(jù)，它的數(shù)據(jù)讀取順序優(yōu)先級 是：寄存器－高速緩存－內(nèi)存；
而在JAVA的內(nèi)存模型中也是同等的，Java內(nèi)存模型中規(guī)定了所有的變量都存儲在主內(nèi)存中，每條線程還有自己的工作內(nèi)存（類似于CPU的高速緩存），線程的工作內(nèi)存中保存了該線程使用到的變量到主內(nèi)存副本拷貝，線程對變量的所有操作（讀取、賦值）都必須在工作內(nèi)存中進(jìn)行，而不能直接讀寫主內(nèi)存中的變量，操作完成后再將變量寫回主內(nèi)存。不同線程之間無法直接訪問對方工作內(nèi)存中的變量，線程間變量值的傳遞均需要在主內(nèi)存來完成?；娟P(guān)系如下圖：

注意：這里的Java內(nèi)存模型，主內(nèi)存、工作內(nèi)存與Java內(nèi)存區(qū)域模型的Java堆、棧、方法區(qū)不是同一層次內(nèi)存劃分，這兩者基本上沒有關(guān)系。

重排序

在執(zhí)行程序時，為了提高性能，編譯器和處理器常常會對指令進(jìn)行重排序。一般重排序可以分為如下三種：

舉例如下：

public?class?Singleton?{
????public?static??Singleton?singleton;

????/**
?????*?構(gòu)造函數(shù)私有，禁止外部實(shí)例化
?????*/
????private?Singleton()?{};

????public?static?Singleton?getInstance()?{
????????if?(singleton?==?null)?{
????????????singleton?=?new?Singleton();
????????}
????????return?singleton;
????}
}

如上，一個簡單的單例模式，按照對象的構(gòu)造過程，實(shí)例化一個對象1、可以分為三個步驟(指令)：
1、 分配內(nèi)存空間。
2、 初始化對象。
3、 將內(nèi)存空間的地址賦值給對應(yīng)的引用。
但是由于操作系統(tǒng)可以對指令進(jìn)行重排序，所以上面的過程也可能變?yōu)槿缦碌倪^程：
1、 分配內(nèi)存空間。
2、 將內(nèi)存空間的地址賦值給對應(yīng)的引用。
3、 初始化對象 。

所以，如果出現(xiàn)并發(fā)訪問getInstance()方法時，則可能會出現(xiàn)，線程二判斷singleton是否為空，此時由于當(dāng)前該singleton已經(jīng)分配了內(nèi)存地址，但其實(shí)并沒有初始化對象，則會導(dǎo)致return 一個未初始化的對象引用暴露出來，以此可能會出現(xiàn)一些不可預(yù)料的代碼異常；

當(dāng)然，指令重排序的問題并非每次都會進(jìn)行，在某些特殊的場景下，編譯器和處理器是不會進(jìn)行重排序的，但上述的舉例場景則是大概率會出現(xiàn)指令重排序問題（關(guān)于指令重排序的概念后續(xù)給出詳細(xì)的地址）

原創(chuàng)聲明：作者：Arnold.zhao 博客園地址：https://www.cnblogs.com/zh94

匯總

所以，如上可知，多線程在執(zhí)行過程中，數(shù)據(jù)的不可見性，原子性，以及重排序所引起的指令有序性 三個問題基本是多線程并發(fā)問題的三個重要特性，也就是我們常說的：

并發(fā)的三大特性：原子性，有序性，可見性；

原子性：代碼操作是否是原子操作（如：i++ 看似一個代碼片段，實(shí)際的執(zhí)行中將會分為三步執(zhí)行，則必然是非原子化的操作，在多線程的場景中則會出現(xiàn)異常）
有序性：CPU執(zhí)行代碼指令時的有序性；
可見性：由于工作線程的內(nèi)存與主內(nèi)存的數(shù)據(jù)不同步，而導(dǎo)致的數(shù)據(jù)可見性問題；

一些解釋

但是，問題就真的有那么復(fù)雜嗎？如果按照上面所說的問題，i++是非原子操作，就會出現(xiàn)并發(fā)異常的問題，new Object() 就會出現(xiàn)重排序的并發(fā)問題，那么Java開發(fā)還能做嗎。。我隨便寫個方法代碼，豈不是就會出現(xiàn)并發(fā)問題？但是為什么我開發(fā)了這么久的代碼，也沒有出現(xiàn)過方法并發(fā)導(dǎo)致的異常問題啊？
燒的麻袋；
這里就要說明另外一個問題，JVM的線程棧，JVM線程棧中是線程獨(dú)有的內(nèi)存空間（如：程序計(jì)數(shù)器以線程棧幀）而線程棧幀中的局部變量表則用來存儲當(dāng)前所執(zhí)行方法的基本數(shù)據(jù)類型（包含 reference， returnAddress等），所以當(dāng)方法在被線程執(zhí)行的過程中，相關(guān)的對象引用信息，以及基本類型的數(shù)據(jù)都是線程獨(dú)有的，并不會出現(xiàn)多個線程訪問時的并發(fā)問題，也就是簡單來說：一個方法內(nèi)的變量定義以及方法內(nèi)的業(yè)務(wù)代碼，是不會出現(xiàn)并發(fā)問題的。多個線程并不會共享一個方法內(nèi)的變量數(shù)據(jù)，而是每個方法內(nèi)的定義都屬于當(dāng)前該執(zhí)行線程的獨(dú)有?？臻g中。（所以通過Java線程棧的這一獨(dú)特特性自然當(dāng)中則為我們省了很多事項(xiàng)；）

但是由于我們的線程的數(shù)據(jù)操作不可能每次都去訪問主存中的數(shù)據(jù)，對于線程所使用到的變量需要copy至線程內(nèi)存中以增加我們的執(zhí)行速度，所以就引出了我們上述所提到的并發(fā)問題的本質(zhì)問題，線程工作空間和主內(nèi)存的數(shù)據(jù)不同步而導(dǎo)致的數(shù)據(jù)共享時的可見性問題；

如：此時定義一個簡單的類

class?Person{
????int?a?=?1;
????int?b?=?2;

????public?void?change()?{
????????a?=?3;
????????b?=?a;
????}

????public?void?print()?{
????????String?result?=?"b="?+?b?+?";a="?+?a;
????????System.out.println(result);
????}
????
????public?static?void?main(String[]?args)?{
????????while?(true)?{
????????????final?Person?test?=?new?Person();
????????????new?Thread(()?->?{
????????????????Thread.sleep(10);
????????????????test.change();
????????????}).start();

????????????new?Thread(()?->?{
????????????????Thread.sleep(10);
????????????????test.print();
????????????}).start();
????????}
????}
}

如上，假設(shè)此時多個線程同時訪問change()以及print() 方法，則可能會出現(xiàn)print所輸出的結(jié)果是：b=2;a=1或者b=3;a=3；這兩種都是正?，F(xiàn)象，但還有可能是會輸出結(jié)果是：b=2;a=3以及b=3;a=1；

Person類所定義的變量a和b，按照J(rèn)VM內(nèi)存區(qū)域劃分，在對象實(shí)例化后則都是存儲到數(shù)據(jù)堆中；
按照我們上述關(guān)于線程工作內(nèi)存的解釋來看，此時線程在執(zhí)行change()方法和print()方法時，由于兩個方法都有關(guān)于外部變量的引用，所以需要copy主內(nèi)存中的這兩個變量副本到對應(yīng)的線程工作內(nèi)存中進(jìn)行操作，執(zhí)行完以后再同步至主內(nèi)存中。

此時在A線程執(zhí)行完change()方法后，a=3，b=3；但此時a=3在執(zhí)行完成后還沒有同步到主內(nèi)存，但b=3此時已經(jīng)提供至主內(nèi)存了，那么此時B線程執(zhí)行print()數(shù)據(jù)輸出后，則得到的是結(jié)果是：b=3;a=1；同理也可以得到b=2;a=3的可能性結(jié)果；所以此處則由于線程共享變量的可見性問題，而導(dǎo)致了上述的問題；

正是由于存在上述所提到的線程并發(fā)所可能引起的種種問題，所以JDK則也有了后續(xù)的一系列多線程玩法：ThreadLocal,CountDownLatch,ReentrantLock,Unsafe,synchronized,volatile,Executor,Future 這些供開發(fā)者在開發(fā)程序時用來對多線程保駕護(hù)航的助手類，以及JDK已經(jīng)自身開發(fā)好的支持線程安全的一些工具類，StringBuffer,CopyOnWriteArrayList, ConcurrentHashMap,AtomicInteger等，供開發(fā)者開箱即用；后續(xù)針對這些JDK自身所提供的一些類的玩法會做進(jìn)一步說明，順便系統(tǒng)整理下腦中的信息,形成有效的知識結(jié)構(gòu)；End；

粉絲福利：Java從入門到入土學(xué)習(xí)路線圖

???

?長按上方微信二維碼?2 秒

感謝點(diǎn)贊支持下哈?