KeyFrame內部研究專用

Learned Execution Graphs for Anomaly Detection & Drift in APIs — Ritvik Pandya, JP Morgan Chase

AI Engineer·7月23日週四·19 min英文

三句話摘要

摩根大通支付團隊如何用執行圖(DAG)檢測請求異常,自動化監控並加速問題定位。 透過執行圖和分類漂移的系統化方法,將異常檢測從被動應急轉變為主動預測,結合灰度驗證和自動化實現快速、低風險的問題解決。 執行圖的作用:將複雜的分布式請求處理過程表示為DAG,清晰追蹤各節點的執行順序、上下文傳遞和循環情況,使異常定位從「整體變慢」精確到「某個具體節點變慢」,大幅提升診斷效率。

重點整理

重點
  • 1

    執行圖的作用:將複雜的分布式請求處理過程表示為DAG,清晰追蹤各節點的執行順序、上下文傳遞和循環情況,使異常定位從「整體變慢」精確到「某個具體節點變慢」,大幅提升診斷效率。

  • 2

    漂移分類是核心:結構性漂移(系統中新增/刪除步驟)需更新基準線;規模漂移(服務處理能力不足導致變慢)需要擴容或改異步;協變量漂移(請求特徵分布變化,如國際業務占比上升)需維護多條基準線,而非簡單提高平均閾值。

  • 3

    分層檢查降低誤報:第一層檢查基準是否合規(類似機場查登機證),若正常直接通過;異常才進入第二/三層的深度分析,避免資源浪費和警報噪音,加快平均發現時間。

  • 4

    自動化需謹慎:部署任何自動化解決方案前必須評估風險,採用灰度策略(先在5~10%節點驗證),確認無誤後再推廣至100%,同時系統須具備部署感知能力以決定是否回滾。

實用技巧與重點

乾貨
  • 架構層次:邊緣層 → 網關 → 入口層 → 身份驗證/授權 → 編排層 → 後端服務
  • 實例基準:整體請求處理 700 毫秒
  • 工具/標準:OpenTelemetry、StarBench、Kafka、Opal 遙測
  • 漂移類型:結構性漂移、規模漂移、協變量漂移
  • 檢測方法:MMD (最大均值偏差)、KL 散度
  • 部署策略:5%→10%→100% 灰度驗證
  • 決策路徑:快速決策路徑(快但可能不精確) vs 偵察路徑(精確但耗時)
  • 調優要點
  • 標籤需精細化(如「即時支付POST」vs「電匯支付POST」分開基準)
  • 新端點考慮冷啟動,採用尾部跟蹤確認服務起止時間
  • 窗口期應按客戶端明確界定
  • 所有數據需可解釋(不只給分數,要說明原因)
  • 系統須部署感知,能偵測新版本發布

結論

結論

透過執行圖和分類漂移的系統化方法,將異常檢測從被動應急轉變為主動預測,結合灰度驗證和自動化實現快速、低風險的問題解決。

完整解析

詳細

摩根大通的支付系統面臨著典型的分布式系統挑戰:用戶請求經過多層處理(邊緣層、網關、認證、編排、後端服務調用),任何環節變慢都可能影響整體體驗。Ritik 領導的團隊採用了執行圖(DAG)方法——將整個請求處理過程建模為有向無環圖,每個節點代表一個服務調用或處理步驟。這樣做的好處是明確記錄執行順序、上下文如何在節點間傳遞,以及重試和並行調用等複雜情況,使監控從「系統整體變慢」精確到「第七個節點變慢」。

檢測異常的核心是建立基準線並識別漂移。系統採用分層檢查策略:第一層檢查請求是否符合已知基準表現,類似於機場安檢——查看登機證無異常就放行,無需深入檢查。只有在檢測到延遲或偏差時,才進入第二層或更高層分析。這種策略大幅減少資源消耗和警報噪音。系統將漂移分為三類。結構性漂移是系統中新增或移除節點,比如為防欺詐新增檢查步驟——需要更新基準線。規模漂移發生在某服務因流量增加而響應變慢,可能需要擴容或改為異步呼叫。協變量漂移是請求特徵分布變化,例如業務從本地(60%)擴展到國際(40%+),不同地區請求的基準不同,需維護多條基準線而非簡單提高平均閾值。

完整的監控閉環包括:OpenTelemetry 持續採集遙測數據 → 透過 Kafka 和流處理進行實時評估 → 根本原因分析(基於系統已知的所有數據點)→ 自動分類識別漂移類型 → 評估自動化解決方案的風險 → 灰度部署策略(先在5%~10%節點驗證,監控一切正常後推廣至100%)。系統支援兩條決策路徑:快速路徑用於緊急響應,侦察路徑用於更精確但耗時的分析。

實施中的關鍵細節包括:標籤需精細化調整減少誤報,不應將所有 POST 請求用同一基準,應按用例分類(即時支付 vs 電匯支付);新端點啟動時考慮冷啟動問題,採用尾部跟蹤方法準確判斷服務起止時間;窗口期應按客戶端明確界定;所有數據應提供可解釋性,不只給健康分數,要解釋原因;整個系統需要部署感知能力,識別新版本上線並決定是否回滾。效果方面,平均問題發現時間大幅縮短,實現近乎實時的異常檢測。

關鍵時刻

Pipeline v2

帶時間戳的重點,會在逐字稿層級分析上線後產生。目前請先透過原始影片觀看。

事實查核

Pipeline v2

說法查證是下一次管線升級的一部分。KeyFrame 只會顯示它真正能驗證的內容。

更多「AI 技術」的內容

🔬“We have foundation models for language, not for physics” — Anima Anandkumar, Bren Professor of Computing
編輯精選
83 min
AI 技術英文PODCAST8月26日

🔬“We have foundation models for language, not for physics” — Anima Anandkumar, Bren Professor of Computing

Latent Space

  • 加速傳統物理模擬的典範轉移:氣象科學家原本認為 AI 無法匹敵數十年的物理建模工作,但傅里葉神經算子不僅達到同等精度,還快了一萬多倍。原本需要超級計算機的計算現在用消費級 GPU 就能完成,這改變了整個領域的思維方式。
  • 傅里葉域的非局部現象捕捉:傅里葉域能有效表示非局部現象(如大氣河流跨越千里的影響),且計算複雜度為準線性,遠優於完全連接的全局模型。這特別適合流體動力學、量子化學等自然現象中普遍存在的非局部相互作用。
  • 多解析度連續函數表示:神經算子將輸入輸出視為連續函數而非固定維度向量,可在推論時以任意解析度查詢,並能在更高解析度上疊加物理約束或額外數據,克服了固定解析度神經網路的限制。
Between Two Nerds: Attribution is dead, long live attribution
32 min
AI 技術英文PODCAST8月25日

Between Two Nerds: Attribution is dead, long live attribution

Risky Business

  • 工具成本的破壞性下降 — 傳統上,攻擊者必須重複使用昂貴自製的惡意軟體或工具組,因為開發和維護成本極高。這種成本結構使得安全研究人員可以通過工具特徵和程式碼簽名來追蹤攻擊者。LLM 自動化了代碼生成與維護工作流,使得攻擊者可以輕易為每個目標生成新工具,或改用通用系統工具,導致傳統的工具特徵分析失效。
  • 所有取證證據都在攻擊者掌控之中 — 無論是使用的 IP 位址、惡意軟體類型或戰術流程,這些都是攻擊者的主動選擇。即使看似是隨機巧合,攻擊者仍有能力在事前決定留下什麼痕跡。因此,所有可恢復的取證證據本質上都是攻擊者願意暴露的信息。
  • LLM 削弱工具簽名但保留高階行為特徵 — LLM 經過公開駭客技術訓練,使不同使用者產生相似的攻擊模式。然而,勒索軟體集團、國家級行為者的受害者選擇、贖金要求方式或目標模式等高階特徵仍具有識別價值。例如,鎖定加密交易所的攻擊幾乎只能指向朝鮮。
Why the Next AI Breakthrough May Come from Physics with Max Welling - #774
55 min
AI 技術英文PODCAST8月25日

Why the Next AI Breakthrough May Come from Physics with Max Welling - #774

TWIML AI

  • 多層篩選的材料設計流程:先搜尋文獻資料庫找現有材料,若無合適的就用生成模型產生數十萬個候選分子,用機器學習力場進行分子動力學模擬篩選,再進行實驗驗證。這套流程相比傳統量子力學計算能加速效率數個數量級。
  • 生成AI與熱力學的數學等價性:資訊論是兩個領域的共同基礎,生成模型的擴散過程與非平衡統計力學描述資訊損失的過程在數學上完全對應,許多開發出來的方法工具在兩領域都有精確對應的形式。
  • 基礎模型的遷移學習策略:先在廣泛材料資料集上訓練基礎力場表示,再針對特定材料類別進行蒸餾微調,既能保持計算效率也能獲得專一性。