Java 執行緒中斷本質與程式設計準則：協作式機制、JVM 實作與任務框架最佳實務

Java 協作式中斷機制：從 JVM 實作到工程準則

Java 歷經棄用 Thread.stop/suspend/resume 後，確立協作式中斷模型。本文從 JVM 底層實作、中斷語義、阻塞操作響應、到任務框架編程準則，建立完整認知體系。

協作式中斷核心邏輯

本質：JVM 為每個執行緒維護一個 boolean interrupted 標記，interrupt() 僅設定此標記，執行緒代碼必須主動檢查並響應。

// 使用者手動實作等價邏輯 (不具備 JVM 整合優勢)
volatile boolean isInterrupted;
while (!isInterrupted) {
    compute();
}
// 缺點: 1. compute 執行久無法即時響應 2. 無法中斷 wait/sleep 阻塞

JVM 底層實作關鍵點

// Thread.java 關鍵方法
public static boolean interrupted() {
    return currentThread().isInterrupted(true); // native, 獲取並清除
}

public boolean isInterrupted() {
    return isInterrupted(false); // native, 僅獲取
}

private native boolean isInterrupted(boolean ClearInterrupted); // JVM 實作

public void interrupt() {
    // 1. 設定 interrupted = true
    // 2. 若阻塞於 wait/sleep/join → 拋 InterruptedException 並清除標記
    // 3. 若阻塞於 NIO Channel/Selector → 相應異常/喚醒
}

關鍵優勢：JVM 在執行緒調度點檢查標記，實現 wait/sleep/join 的「盡快拋出 InterruptedException」。

阻塞操作中斷響應分類

模擬中斷的替代方案

1. Socket 關閉法：socket.close() → 阻塞 read() 拋 SocketException
2. NIO Selector：selector.wakeup() → select() 返回
3. Lock.lockInterruptibly：等待鎖時可中斷，拋 InterruptedException

任務框架編程雙鐵律

準則一：除非知道執行緒中斷策略，否則不應中斷它

• 直接呼叫 thread.interrupt() 破壞封裝，執行緒可能屬於執行緒池、被框架管理
• 應使用框架提供的取消機制：Future.cancel(true)、ExecutorService.shutdownNow()
• 框架知曉任務邊界、執行緒生命週期、中斷策略

準則二：任務代碼不應假設中斷對執行緒的含義

• 捕獲 InterruptedException 後絕不可吞噬 (空 catch)
• 必須：Thread.currentThread().interrupt() 重設標記、或向上拋出、或封裝為 RuntimeException
• 保持中斷狀態傳遞，讓上層決策者 (框架/執行緒擁有者) 決定最終行為

最佳實務代碼範本

public class InterruptibleTask implements Runnable {
    @Override
    public void run() {
        try {
            while (!Thread.currentThread().isInterrupted()) {
                // 1. 非阻塞工作 + 定期檢查
                doPhase1();
                if (Thread.interrupted()) break; // 檢查並清除
                
                // 2. 可中斷阻塞操作
                try {
                    Thread.sleep(1000); // 或 lock.lockInterruptibly()
                } catch (InterruptedException e) {
                    Thread.currentThread().interrupt(); // 重設標記
                    break; // 退出迴圈
                }
                
                // 3. I/O 操作 (需配合 NIO/關閉機制)
                doIO();
            }
        } finally {
            cleanup(); // 確保資源釋放
        }
    }
}

// 框架端正確取消
Future future = executor.submit(new InterruptibleTask());
// ...
future.cancel(true); // 框架負責 interrupt()、處理後續

思維轉變總結

深入理解協作式中斷本質，遵循框架邊界與狀態傳遞準則，是編寫生產級並發應用的必修課。