##### 原子性（Atomicity） 由Java內存模型來直接保證的原子性變量操作包括read、load、assign、use、store和write這六個， 我們大致可以認為，基本數據類型的訪問、讀寫都是具備原子性的（例外就是long和double的非原子性協定，讀者只要知道這件事情就可以了，無須太過在意這些幾乎不會發生的例外情況）。 如果應用場景需要一個更大范圍的原子性保證（經常會遇到），Java內存模型還提供了lock和 unlock操作來滿足這種需求，盡管虛擬機未把lock和unlock操作直接開放給用戶使用，但是卻提供了更高層次的字節碼指令monitorenter和monitorexit來隱式地使用這兩個操作。這兩個字節碼指令反映到Java 代碼中就是同步塊——synchronized關鍵字，因此在synchronized塊之間的操作也具備原子性 ##### 可見性（Visibility） 可見性就是指當一個線程修改了共享變量的值時，其他線程能夠立即得知這個修改。上文在講解 volatile變量的時候我們已詳細討論過這一點。Java內存模型是通過在變量修改后將新值同步回主內存，在變量讀取前從主內存刷新變量值這種依賴主內存作為傳遞媒介的方式來實現可見性的，無論是 普通變量還是volatile變量都是如此。普通變量與volatile變量的區別是，volatile的特殊規則保證了新值 能立即同步到主內存，以及每次使用前立即從主內存刷新。因此我們可以說volatile保證了多線程操作 時變量的可見性，而普通變量則不能保證這一點。 除了volatile之外，Java還有兩個關鍵字能實現可見性，它們是synchronized和final。同步塊的可見 性是由“對一個變量執行unlock操作之前，必須先把此變量同步回主內存中（執行store、write操 作）”這條規則獲得的。而final關鍵字的可見性是指：被final修飾的字段在構造器中一旦被初始化完 成，并且構造器沒有把“this”的引用傳遞出去（this引用逃逸是一件很危險的事情，其他線程有可能通 過這個引用訪問到“初始化了一半”的對象），那么在其他線程中就能看見final字段的值 ##### 有序性（Ordering） Java語言提供了volatile和synchronized兩個關鍵字來保證線程之間操作的有序性，volatile關鍵字本身就包含了禁止指令重排序的語義，而synchronized則是由“一個變量在同一個時刻只允許一條線程對其進行lock操作”這條規則獲得的，這個規則決定了持有同一個鎖的兩個同步塊只能串行地進入