JRockit JVM 內建 AOP 支援（二）：API 實作與優勢深度解析

背景動機：為何要在 JVM 層面支援 AOP？

傳統 AOP 實作多基於位元碼檢測，雖成熟但存在固有缺陷：啟動開銷大、無法攔截反射呼叫與欄位存取、運行時動態增減通知困難、記憶體額外佔用。JRockit 團隊觀察到 JVM 本身已具備類別載入解析、方法調度與內聯編譯等核心能力，若在 JVM 內部直接編織通知，可根本解決上述問題。

核心優勢

• 零位元碼修改啟動開銷：類別載入無需轉換。
• 完整運行時動態性：任意時刻、任意位置以增量成本增減通知。
• 隱式支援反射呼叫攔截：無需特殊處理。
• 減少記憶體佔用：無需複製類別模型至框架專用結構。

此方案優於 JVMTI/JVMDI 等 C 層級事件機制：後者需處理複雜 C API、缺乏細粒度連接點匹配、預設開啟所有事件導致效能損耗。

JRockit AOP API 設計哲學：動作調度與訂閱模型

為避免綁定特定 AOP 框架語意，JRockit 提供通用的「動作調度與訂閱」Java API，核心構件：

• Weaver（編織器）：WeaverFactory.getWeaver() 取得，依呼叫者類別載入器隔離權限。
• 動作方法：普通 Java 方法（靜態或實例），對應傳統 AOP 的「通知」。
• 動作實例：非靜態方法所屬物件，對應切面實例。
• 參數級註解：如 @CalleeMethod、@CallerMethod、@This、@Target、@Args，宣告式指定動作方法所需上下文。
• 動作類型：BEFORE、AFTER_RETURNING、AFTER_THROWING、INSTEAD_OF（對應 around）。
• 訂閱：綁定「切點匹配條件」+「插入類型」+「動作方法」，註冊至 Weaver。

API 實戰範例

定義動作類別與方法

import java.lang.reflect.*;
import jrockit.ext.weaving.*;

public class SimpleAction {
    public static void simpleStaticAction() {
        System.out.println("hello static action!");
    }
    public void simpleAction() {
        System.out.println("hello action!");
    }
    public void simpleAction(@CalleeMethod WMethod calleeM,
                             @CallerMethod WMethod callerM) {
        System.out.println(callerM.getMethod().getName() + " calling " + calleeM.getMethod().getName());
    }
}

WMethod 封裝 Method、Constructor 與靜態初始化器，類似 AspectJ JoinPoint.StaticPart.getSignature()。

實作 Around（INSTEAD_OF）通知

import jrockit.ext.weaving.*;

public class InsteadOfAction {
    public Object instead(InvocationContext jp, @CalleeMethod Method callee) {
        return jp.proceed(); // 繼續執行原方法
    }
}

InvocationContext 提供 proceed() 控制攔截鏈流向。

建立訂閱並註冊

Weaver w = WeaverFactory.getWeaver();
Method staticActionMethod = SimpleAction.class.getDeclaredMethod("simpleStaticAction", new Class[0]);
MethodSubscription ms = new MethodSubscription(/* 切點匹配條件 */, InsertionType.BEFORE, staticActionMethod);
w.addSubscription(ms);

進階主題：動作實例與切面實例化模型

動作方法可為非靜態，需傳入動作實例。JVM 底層調用不使用反射，效能極佳。開發者可自行控制實例生命週期，輕鬆實現 persingleton()、pertarget()、perthis()、percflow() 等切面實例化模型，且不受 JVM API 語意限制。

未來發展與總結

JRockit JVM AOP 支援提供了堅實底層基礎，上層仍需構建完整 AOP 框架（切點合成、cflow 實現、切面實例化管理中介層）。其開放的 API 設計使多種 AOP 框架（AspectJ、AspectWerkz、Spring AOP 等）均可受益於 JVM 級編織的高效能與動態性，推動 AOP 技術邁向生產級成熟階段。