Java 執行緒模型缺陷分析與語言層面改進提案

核心問題：Java 執行緒模型非物件導向

Allen Holub 指出：Java 執行緒模型是語言最薄弱環節，完全不適合實際複雜程式需求，且非物件導向。雖然 Java 內建支援執行緒，但語法與類庫支援極少，僅適用極小型應用。

現狀痛點

• 多數書籍僅提供「急救包」類庫（Band-Aid），解決本應由語言語法處理的問題
• 類庫方案難以被編譯器與 JVM 共同優化，長期效能不如語法層面方案
• Java 執行緒本質只是 run() 過程，缺乏物件、同步/非同步訊息等 OO 概念

Active Object 模式作為中介方案

Active Object： 可接收非同步請求的物件，請求封裝為 Runnable 進入佇列，由單一服務執行緒循序執行，消除大多數同步問題。

Swing/AWT 事件佇列即此模式體現：SwingUtilities.invokeLater() 將 Runnable 送入事件佇列，由事件處理執行緒執行。

核心提案：引入 Task（任務）概念

將 Active Object 整合進語言核心，借鑑 Intel RMX OS 與 Ada 語言設計。關鍵構想：

• Task 為一級語言構件： 代表非同步工作單元，內建佇列與排程
• 語法層面支援： 引入新關鍵字（以 $ 前綴避免衝突，如 $task），需編譯器命令列開關支援
• 同步/非同步訊息原生化： 語言層面區分同步呼叫（阻塞等待結果）與非同步發送（立即返回句柄）
• 編譯器/JVM 協同優化： 任務調度、鎖消除、逃逸分析等優化可深度整合

改進路徑與挑戰

• 需大量工作與同行評審，屬嘗試性提案
• 作者擬成立專門工作組推進（聯絡：threading@holub.com）
• 突破現有程式碼相容性限制，但語言必須演進避免過時

對比視角

主流建議僅微調 JLS 修正 JVM 行為模糊處，Holub 主張徹底重構。雖激進，但直擊核心架構缺陷。