public class TradeProcessor {
    private final Lock lock = new ReentrantLock();
    
    public void executeTrade(Trade trade) {
        lock.lock();
        try {
            // 交易處理邏輯
            process(trade);
        } finally {
            lock.unlock(); // 此處拋出異常
        }
    }
}

public class JitOptimizationPuzzle {
    private boolean running = true;
    private int counter = 0;
    
    public static void main(String[] args) throws Exception {
        JitOptimizationPuzzle puzzle = new JitOptimizationPuzzle();
        Thread worker = new Thread(puzzle::work);
        worker.start();
        
        Thread.sleep(1000); // 確保worker線程啟動(dòng)
        puzzle.shutdown();
        worker.join();
    }
    
    void work() {
        while (running) {
            // 空循環(huán)體
        }
        System.out.println("Worker stopped. Counter: " + counter);
    }
    
    void shutdown() {
        running = false;
    }
}

// 初始編譯
 234  5    3       JitOptimizationPuzzle::work (9 bytes)
// 優(yōu)化后編譯
 567  6    3       JitOptimizationPuzzle::work (9 bytes)   made not entrant

void work() {
    if (!running) return; // 僅檢查一次
    while (true);         // 無限循環(huán)！
}

// 優(yōu)化前的機(jī)器碼
0x01: mov    0x10(%rsi), %eax   // 讀取running字段
0x04: test   %eax, %eax
0x06: jne    0x01               // 跳回循環(huán)開始

// 優(yōu)化后的機(jī)器碼
0x01: mov    0x10(%rsi), %eax   // 只讀一次
0x04: test   %eax, %eax
0x06: jne    LOOP_END           // 直接跳過檢查
LOOP_INF:
0x08: jmp    LOOP_INF           // 無限循環(huán)

- private boolean running = true;
+ private volatile boolean running = true;

void work() {
    while (running) {
        Thread.onSpinWait();
    }
}

void work() {
    while (running) {
        // 阻止JIT優(yōu)化
        if (counter == Integer.MIN_VALUE) break; // 永不發(fā)生
    }
}

private static final VarHandle RUNNING_HANDLE;

void work() {
    while ((boolean) RUNNING_HANDLE.getVolatile(this)) {
        // 精確控制屏障位置
        RUNNING_HANDLE.loadLoadFence();
    }
}

-XX:+DoEscapeAnalysis       # 啟用逃逸分析（推薦）
-XX:-OptimizeStringConcat   # 禁止字符串優(yōu)化 
-XX:+IgnoreSpinCount        # 忽略自旋計(jì)數(shù)

-XX:CompileThreshold=100000 # 提高編譯閾值
-XX:TieredStopAtLevel=3     # 停在C1編譯級(jí)別

while (pending.compareAndSet(true, false)) {
    // 偽代碼：雙重檢查+內(nèi)存屏障
    if (hasPendingCommands()) {
        Thread.onSpinWait();
        continue;
    }
    UNSAFE.loadFence();
    break;
}

@JCStressTest
@Outcome(id = "0", expect = ACCEPTABLE)
@State
public class JitConsistencyTest {
    private boolean flag = true;
    private int value;

    @Actor
    public void writer() {
        value = 42;
        flag = false;
    }

    @Actor
    public void reader(I_Result r) {
        while (flag); // 被優(yōu)化的循環(huán)
        r.r1 = value; // 可能看到0
    }
}

# 查看編譯結(jié)果
jcmd <pid> Compiler.queue

# 輸出匯編代碼
java -XX:+UnlockDiagnosticVMOptions -XX:+PrintAssembly TestClass

lock.lock();
try {
    trade.execute();
    if (LOG.isDebugEnabled()) {  // JIT移除了整個(gè)塊
        LOG.debug("Trade executed: " + trade); 
    }
} finally {
    lock.unlock();  // 此時(shí)鎖狀態(tài)損壞!
}