1. 互斥同步

synchronized 和 ReentrantLock。

2. 非阻塞同步

互斥同步最主要的問題就是線程阻塞和喚醒所帶來的性能問題，因此這種同步也稱為阻塞同步。

互斥同步屬于一種悲觀的并發策略，總是認為只要不去做正確的同步措施，那就肯定會出現問題。

無論共享數據是否真的會出現競爭，它都要進行加鎖（這里討論的是概念模型，實際上虛擬機會優化掉很大一部分不必要的加鎖） 、用戶態核心態轉換、維護鎖計數器和檢查是否有被阻塞的線程需要喚醒等操作。

2.1 CAS

隨著硬件指令集的發展，我們可以使用基于沖突檢測的樂觀并發策略：先進行操作，如果沒有其它線程爭用共享數據，那操作就成功了，否則采取補償措施（不斷地重試，直到成功為止） 。

這種樂觀的并發策略的許多實現都不需要將線程阻塞，因此這種同步操作稱為非阻塞同步。

樂觀鎖需要操作和沖突檢測這兩個步驟具備原子性，這里就不能再使用互斥同步來保證了，只能靠硬件來完成。硬件支持的原子性操作最典型的是：比較并交換（Compare-and-Swap，CAS）。

CAS 指令需要有 3 個操作數，分別是內存地址V、舊的預期值 A 和新值 B。當執行操作時，只有當 V 的值等于 A，才將 V 的值更新為 B。

2.2?AtomicInteger

J.U.C 包里面的整數原子類 AtomicInteger，其中的 compareAndSet() 和getAndIncrement() 等方法都使用了 Unsafe 類的 CAS 操作。

以下代碼使用了 AtomicInteger 執行了自增的操作。

private AtomicInteger cnt = new AtomicInteger();public void add() {cnt.incrementAndGet(); }

以下代碼是 incrementAndGet() 的源碼，它調用了 unsafe 的 getAndAddInt() 。

public final int incrementAndGet() {return unsafe.getAndAddInt(this, valueOffset, 1) + 1; }

以下代碼是 getAndAddInt() 源碼，var1 指示對象內存地址，var2 指示該字段相對對象內存地址的偏移，var4 指示操作需要加的數值，這里為 1。

public final int getAndAddInt(Object var1, long var2, int var4){int var5;do {var5 = this.getIntVolatile(var1, var2);} while(!this.compareAndSwapInt(var1, var2, var5, var5 + var4));return var5; }

通過getIntVolatile(var1, var2) 得到舊的預期值，通過調用 compareAndSwapInt() 來進行 CAS 比較，如果該字段內存地址中的值等于 var5，那么就更新內存地址為var1+var2 的變量為 var5+var4。

可以看到 getAndAddInt() 在一個循環中進行，發生沖突的做法是不斷的進行重試。

3. 無同步方案

要保證線程安全，并不是一定就要進行同步。

如果一個方法本來就不涉及共享數據，那它自然就無須任何同步措施去保證正確性。

3.1 棧封閉

多個線程訪問同一個方法的局部變量時，不會出現線程安全問題，因為局部變量存儲在虛擬機棧中，屬于線程私有的。

import java.util.concurrent.ExecutorService; import java.util.concurrent.Executors;public class StackClosedExample {public void add100() {int cnt = 0;for (int i = 0; i < 100; i++) {cnt++;}System.out.println(cnt);} }public static void main(String[] args) {StackClosedExample example = new StackClosedExample();ExecutorService executorService = Executors.newCachedThreadPool();executorService.execute(() -> example.add100());executorService.execute(() -> example.add100());executorService.shutdown(); }

運行結果：

3.2?線程本地存儲（Thread Local Storage）

如果一段代碼中所需要的數據必須與其他代碼共享，那就看看這些共享數據的代碼是否能保證在同一個線程中執行。

如果能保證，我們就可以把共享數據的可見范圍限制在同一個線程之內，這樣，無須同步也能保證線程之間不出現數據爭用的問題。

符合這種特點的應用并不少見：

• 大部分使用消費隊列的架構模式（如“生產者-消費者”模式） 都會將產品的消費過程盡量在一個線程中消費完。
• 其中最重要的一個應用實例就是經典 Web 交互模型中的“一個請求對應一個服務器線程”（Thread-perRequest） 的處理方式，這種理方式的廣泛應用使得很多 Web 服務端應用都可以使用線程本地存儲來解決線程安全問題。

可以使用 java.lang.ThreadLocal 類來實現線程本地存儲功能。

對于以下代碼，thread1 中設置 threadLocal 為 1，而 thread2 設置 threadLocal 為2。過了一段時間之后，thread1 讀取 threadLocal 依然是 1，不受 thread2 的影響。

public class ThreadLocalExample {public static void main(String[] args) {ThreadLocal threadLocal = new ThreadLocal();Thread thread1 = new Thread(() -> {threadLocal.set(1);try {Thread.sleep(1000);} catch (InterruptedException e) {e.printStackTrace();}System.out.println(threadLocal.get());threadLocal.remove();});Thread thread2 = new Thread(() -> {threadLocal.set(2);threadLocal.remove();});thread1.start();thread2.start();} }

運行結果：

為了理解 ThreadLocal，先看以下代碼：

public class ThreadLocalExample1 {public static void main(String[] args) {ThreadLocal threadLocal1 = new ThreadLocal();ThreadLocal threadLocal2 = new ThreadLocal();Thread thread1 = new Thread(() -> {threadLocal1.set(1);threadLocal2.set(1);});Thread thread2 = new Thread(() -> {threadLocal1.set(2);threadLocal2.set(2);});thread1.start();thread2.start();} }

它所對應的底層結構圖為：

每個 Thread 都有一個 ThreadLocal.ThreadLocalMap 對象，Thread 類中就定義了ThreadLocal.ThreadLocalMap 成員。

/* ThreadLocal values pertaining to this thread. This map is maintained * by the ThreadLocal class. */ ThreadLocal.ThreadLocalMap threadLocals = null;

當調用一個 ThreadLocal 的 set(T value) 方法時，先得到當前線程的ThreadLocalMap 對象，然后將 ThreadLocal->value 鍵值對插入到該 Map 中。

public void set(T value) {Thread t = Thread.currentThread();ThreadLocalMap map = getMap(t);if (map != null)map.set(this, value);elsecreateMap(t, value); }

get() 方法類似。

public T get() {Thread t = Thread.currentThread();ThreadLocalMap map = getMap(t);if (map != null) {ThreadLocalMap.Entry e = map.getEntry(this);if (e != null) {@SuppressWarnings("unchecked")T result = (T)e.value;return result;}}return setInitialValue(); }

ThreadLocal 從理論上講并不是用來解決多線程并發問題的，因為根本不存在多線程競爭。

在一些場景 (尤其是使用線程池) 下，由于 ThreadLocal.ThreadLocalMap 的底層數據結構導致 ThreadLocal 有內存泄漏的情況，應該盡可能在每次使用 ThreadLocal后手動調用 remove()，以避免出現 ThreadLocal 經典的內存泄漏甚至是造成自身業務混亂的風險。

3.3?可重入代碼（Reentrant Code）

這種代碼也叫做純代碼（Pure Code） ，可以在代碼執行的任何時刻中斷它，轉而去執行另外一段代碼（包括遞歸調用它本身） ，而在控制權返回后，原來的程序不會出現任何錯誤。

可重入代碼有一些共同的特征，例如不依賴存儲在堆上的數據和公用的系統資源、用到的狀態量都由參數中傳入、不調用非可重入的方法等。

?

總結

以上是生活随笔為你收集整理的线程安全的实现方法的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。