并發(fā)編程是Java程序員最核心的技能之一孕惜，同時(shí)也是掌握難度最大的一部分填大。我們都知道Java中提供了各種異步機(jī)制脊凰，但無(wú)論是notify wait锻梳、synchronized箭券、volatile亦或是java.util.conccurrent包下的ReentrantLock、ThreadPoolExecutor都遵循著相同的異步理論唱蒸，要理解上述并發(fā)機(jī)制就必須首先了解Java異步的核心原理。
1 共享性
數(shù)據(jù)共享性是線程安全的主要原因之一灸叼。如果數(shù)據(jù)只在某一個(gè)線程中被訪問(wèn)則不存在共享性問(wèn)題神汹。然而在多線程環(huán)境下常常是多個(gè)線程共享一部分?jǐn)?shù)據(jù)，為保證在多線程環(huán)境下共享數(shù)據(jù)的一致性古今，必須引入進(jìn)程間的同步機(jī)制屁魏。
2 互斥性
資源互斥是指同時(shí)只允許一個(gè)訪問(wèn)者對(duì)其進(jìn)行訪問(wèn)，具有唯一性和排它性捉腥。我們通常允許多個(gè)線程同時(shí)對(duì)數(shù)據(jù)進(jìn)行讀操作氓拼，但同一時(shí)間內(nèi)只允許一個(gè)線程對(duì)數(shù)據(jù)進(jìn)行寫(xiě)操作。所以我們通常將鎖分為共享鎖和排它鎖抵碟，也叫做讀鎖和寫(xiě)鎖桃漾。如果資源不具有互斥性，即使是共享資源拟逮，我們也不需要擔(dān)心線程安全撬统。例如，對(duì)于不可變的數(shù)據(jù)共享敦迄，所有線程都只能對(duì)其進(jìn)行讀操作恋追，所以不用考慮線程安全問(wèn)題。但是對(duì)共享數(shù)據(jù)的寫(xiě)操作罚屋，一般就需要保證互斥性苦囱。Java 中提供多種機(jī)制來(lái)保證互斥性，最簡(jiǎn)單的方式是使用Synchronized脾猛。
3 原子性
所謂原子性指的是一系列不可分割的撕彤，獨(dú)立的操作，換句話說(shuō)就是如果執(zhí)行一個(gè)原子性操作猛拴，要么不執(zhí)行喉刘，要么執(zhí)行完該原子性操作，不會(huì)出現(xiàn)只做一半的情況漆弄。最底層的原子性操作是操作系統(tǒng)的指令睦裳。但Java層面的操作往往是由多個(gè)原子性操作構(gòu)成的，要保證Java操作的原子性最常見(jiàn)的方式就是加鎖撼唾，如Java中的Synchronized或Lock都可以實(shí)現(xiàn)廉邑，代碼段二就是通過(guò)Synchronized實(shí)現(xiàn)的。除此之外還有一種方式是CAS(Compare And Swap)：即修改數(shù)據(jù)之前先比較與之前讀取到的值是否一致，如果一致蛛蒙，則進(jìn)行修改糙箍，如果不一致則重新執(zhí)行，這也是樂(lè)觀鎖的實(shí)現(xiàn)原理牵祟。
4 可見(jiàn)性
在多線程環(huán)境下深夯，每一個(gè)線程都維護(hù)一個(gè)本地的工作內(nèi)存，線程操作一個(gè)共享變量時(shí)并不是直接操作在主內(nèi)存中的變量诺苹，而是將其先拷貝到自己工作內(nèi)存后再就行修改咕晋，同時(shí)在修改完成后再同步到主內(nèi)存。而所謂可見(jiàn)性就是當(dāng)某一個(gè)線程改變某一共享變量后收奔，另一線程可以感知到這一變化掌呜。Java中通過(guò)Synchronized和volatile來(lái)保證可見(jiàn)性。
5 有序性
學(xué)過(guò)體系結(jié)構(gòu)的朋友都知道坪哄，為了提高程序運(yùn)行的效率质蕉，CPU會(huì)對(duì)指令進(jìn)行重排序，以實(shí)現(xiàn)指令級(jí)并行翩肌。其實(shí)在現(xiàn)代操作系統(tǒng)中模暗，除了指令級(jí)重排序外，編譯器和內(nèi)存系統(tǒng)也會(huì)進(jìn)行相應(yīng)的重排序以提升效率念祭。
在單線程環(huán)境下汰蓉，以上的重排序是不會(huì)改變程序的運(yùn)行邏輯的。但是到了多線程環(huán)境棒卷，這樣的重排序則可能導(dǎo)致邏輯錯(cuò)亂顾孽。Java中通過(guò)Synchronized和volatile來(lái)保證順序性。
