許多開發(fā)者誤以為synchronized能完全禁止指令重排序，而實(shí)際上它僅能保證線程間的操作順序，真正禁用重排序需依賴volatile。

一、synchronized的有序性保證

synchronized通過鎖機(jī)制間接保證多線程操作的順序性，具體規(guī)則基于 Happens-Before 原則：

• 鎖的釋放（unlock）操作 Happens-Before 后續(xù)的鎖獲?。╨ock）操作。
  這意味著：
  • 線程A在同步塊內(nèi)對(duì)共享變量的修改，對(duì)線程B在獲取同一鎖后的操作完全可見。
  • 線程間的操作順序在邏輯上按鎖的獲取順序執(zhí)行。

示例：線程間可見性與順序性

public class SynchronizedOrderDemo {
    private int value = 0;
    private final Object lock = new Object();

    // 線程A：寫操作
    public void write() {
        synchronized (lock) {
            value = 42; // 寫操作
        }
    }

    // 線程B：讀操作
    public int read() {
        synchronized (lock) {
            return value; // 保證讀到42
        }
    }
}

執(zhí)行順序：

1. 線程A先獲取鎖，寫value = 42，釋放鎖。
2. 線程B獲取鎖后，一定能讀到value = 42。

二、synchronized無法禁止指令重排序

盡管synchronized保證了線程間的順序性，但同步塊內(nèi)部的指令仍可能被重排序（只要不影響單線程執(zhí)行結(jié)果）。這種重排序?qū)尉€程透明，但可能導(dǎo)致多線程問題。

示例：同步塊內(nèi)的指令重排序

synchronized (lock) {
    int a = 1;  // 操作1
    int b = 2;  // 操作2
}

• 可能的執(zhí)行順序：操作2可能在操作1之前執(zhí)行。
• 單線程結(jié)果一致：無論順序如何，最終a=1，b=2。
• 多線程隱患：若其他線程依賴a和b的寫入順序，可能導(dǎo)致邏輯錯(cuò)誤。

1.volatile的禁止重排序機(jī)制

volatile通過插入內(nèi)存屏障，直接限制編譯器和處理器的指令重排序：

• 寫操作：插入 StoreStore屏障和 StoreLoad屏障。
• 讀操作：插入 LoadLoad屏障和 LoadStore屏障。

示例：volatile禁止對(duì)象初始化的重排序

// 雙重檢查鎖定（DCL）單例模式
public class Singleton {
    private static volatile Singleton instance; // volatile禁止重排序

    public static Singleton getInstance() {
        if (instance == null) {
            synchronized (Singleton.class) {
                if (instance == null) {
                    instance = new Singleton(); // 初始化操作
                }
            }
        }
        return instance;
    }
}

• 無volatile的隱患：
  對(duì)象初始化可能被重排序?yàn)椋悍峙鋬?nèi)存 → 返回引用 → 初始化對(duì)象。其他線程可能拿到未初始化的對(duì)象。
• volatile的作用：
  強(qiáng)制按順序執(zhí)行：分配內(nèi)存 → 初始化對(duì)象 → 返回引用。

三、對(duì)比

四、常見誤區(qū)

1. 誤區(qū)：synchronized能完全禁止指令重排序

• 真相：synchronized僅保證線程間的操作順序，但同步塊內(nèi)的指令仍可能被重排序（不影響單線程結(jié)果即可）。
• 示例：
  若同步塊內(nèi)有兩個(gè)無關(guān)變量的賦值，編譯器可能調(diào)整其順序。

2. 誤區(qū)：volatile可替代鎖

• 錯(cuò)誤示例：

  private volatile int count = 0;
  public void increment() {
      count++; // 非原子操作，volatile無法保證線程安全
  }
  

• 正確方案：使用AtomicInteger或synchronized。

到此這篇關(guān)于淺談Java并發(fā)編程之synchronized有序性誤區(qū)的文章就介紹到這了,更多相關(guān)Java synchronized有序性內(nèi)容請(qǐng)搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關(guān)文章希望大家以后多多支持腳本之家！

到此這篇關(guān)于淺談Java并發(fā)編程之synchronized有序性誤區(qū)的文章就介紹到這了,更多相關(guān)Java synchronized有序性內(nèi)容請(qǐng)搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關(guān)文章希望大家以后多多支持腳本之家！

最新評(píng)論