KeyFrame內部研究專用

AI Agents for Performance: Ship Faster, Pay Less — Rajat Shah, Netflix

AI Engineer·7月28日週二·33 min英文

三句話摘要

Netflix 軟體工程師介紹如何用 AI 代理提升效能工程效率,從自動識別生產代碼中的低效模式到生成優化方案。 建立中心化模式目錄和多層驗證機制,讓 AI 代理成為效能工程的力倍增器,最大效益來自逐步左移策略,從事後分析演進到源頭預防。 AI 代理能跨語言識別通用低效模式 — 編碼代理在大量高質量代碼上訓練,能辨別 O(N²) 循環、循環不變量、重複對象分配等通用反模式。透過分析數據的結構化呼叫堆棧,代理能精確定位這些模式在生產環境中運行的具體位置,這是單靠代碼審查無法實現的。

重點整理

重點
  • 1

    AI 代理能跨語言識別通用低效模式 — 編碼代理在大量高質量代碼上訓練,能辨別 O(N²) 循環、循環不變量、重複對象分配等通用反模式。透過分析數據的結構化呼叫堆棧,代理能精確定位這些模式在生產環境中運行的具體位置,這是單靠代碼審查無法實現的。

  • 2

    中心化模式目錄是核心基礎架構 — 目錄以 Git markdown 儲存,記錄各模式在哪些服務中被驗證及信心等級。一個服務發現的模式可供其他服務重複使用,避免重複探索,同時支持跨語言和框架的泛化應用。

  • 3

    多層驗證確保修改不會造成風險 — 優化涉及修改生產代碼,必須保留工程師最終核准。但之前應經過單元測試、整合測試和金絲雀部署的自動驗證,確保既有效能收益又不破壞業務邏輯。

  • 4

    左移策略帶來最大效益 — 從被動式(事後分析)逐步演進到主動式(審查階段提醒)再到源頭預防(生成階段直接參考目錄),越早在開發週期中介入就能越早避免低效代碼進入生產環境。

實用技巧與重點

乾貨
  • 實測成果數據:
  • O(N²) 問題單獨消耗 8.8% CPU 時間
  • 同一模式在 7 個服務中重複出現,全部修復可節省 0.5% 到 4.6% CPU 週期
  • 代理完成分析到程式碼審查全流程耗時不足 5 分鐘
  • 效能分析輸出格式:
  • 呼叫堆棧結構化數據
  • 每個方法自身 CPU 時間與包含 CPU 時間
  • 高頻率樣本數據
  • 模式目錄條目包含:
  • 供 LLM 查詢的小提示(關鍵詞)
  • 符號列表
  • 驗證該符號的服務清單
  • 信心等級(隨驗證服務增加而提升)
  • 反模式和良好模式範例
  • 常見低效模式:
  • O(N²) 循環
  • 循環不變量(每次迭代都計算、應在循環外計算的內容)
  • 重複對象分配
  • 爭議/同步問題
  • 批次優化機會
  • 驗證手段:
  • 單元測試、整合測試、基本功能測試
  • 金絲雀部署:兩台機器對比測試(舊代碼 vs 新代碼),相同流量運行 10 分鐘以上
  • 可觀測性報告指標:CPU 使用率降低百分比、延遲降低百分比、錯誤率變化
  • 公開資源參考:
  • Jeff Dean 的 C++ 優化部落格文章
  • PyTorch torch fix 代碼庫(PyTorch 反模式集)
  • 三層自動化等級:
  • 第一層:手動操作,無 LLM 介入
  • 第二層(推薦):LLM 識別問題,人工觸發分析、手動運行金絲雀、人工最終審核
  • 第三層:LLM 進行規劃、推理、執行,需大量安全防護投資
  • 講者資訊:
  • Rajat Shah,Netflix 軟體工程師,AI 平台部門
  • 個人網站:shaharrajat.com

結論

結論

建立中心化模式目錄和多層驗證機制,讓 AI 代理成為效能工程的力倍增器,最大效益來自逐步左移策略,從事後分析演進到源頭預防。

完整解析

詳細

Netflix 在開發規模化效能工程解決方案時發現了一個關鍵矛盾:編碼代理讓工程師寫代碼的速度提升 10 倍,但計算成本也以類似速度成長,因為 AI 生成的代碼往往不是最高效的實現。這是因為代理缺乏對特定平台、框架和內部模式的深度理解,導致它根據訓練數據生成代碼,有時還會發明出意想不到的新模式。

傳統效能工程是高度手動化的過程。效能工程師需要在生產環境觸發效能分析,下載通常是 JSON 格式的原始數據(呼叫堆棧、CPU 使用情況),用可視化工具打開,然後花幾個小時進行「尋寶」式的代碼搜索。識別瓶頸通常需要 20 分鐘的人工時間,之後還要經歷程式碼搜索、分析、代碼審查的完整流程。由於這個過程過於繁瑣,大多數組織只在凌晨 2 點系統出問題時才真正進行效能分析。

Netflix 的突破在於認識到 LLM 代理能更快完成這項工作。編碼代理在大量高質量代碼上訓練,能識別 O(N²) 循環、循環不變量、重複對象分配等通用低效模式。關鍵洞察是,通過分析數據的結構化呼叫堆棧,代理不僅能識別這些模式,還能精確定位它們在生產環境中運行的具體位置。在實際案例中,代理識別出一個消耗 8.8% CPU 時間的 O(N²) 問題,並在 5 分鐘內完成 Git 倉庫檢查、代碼定位和修復方案生成。更進一步,代理可以跨倉庫搜索相同模式,發現它在 7 個服務中重複出現,全部修復可節省 0.5% 至 4.6% 的 CPU 週期。

為保證代理持續有效工作,Netflix 建立了中心化的模式-反模式目錄,儲存在 Git markdown 中。每個條目記錄模式、驗證過的服務列表和信心等級。隨著更多服務驗證相同模式,信心等級提升,代理更願意發送修復建議。這個設計的核心是,一個服務的發現可被所有服務共享,避免重複工作。

但效能優化涉及修改生產代碼,風險極高,所以人工工程師的最終審核必不可少。系統應設置多層自動化驗證:單元測試和整合測試確保邏輯正確;金絲雀部署在兩台機器上對比測試,驗證 CPU、延遲、錯誤率等指標是否真實改進。這些驗證都通過後,代理才生成程式碼審查供人工決策。

Netflix 建議從被動式路徑開始——事後分析生產問題。隨著模式目錄成長,逐步演進到主動式——代碼審查階段由代理檢查目錄並提建議。最終理想狀態是,在代碼生成階段代理就直接參考目錄,確保從源頭避免低效代碼。然而,這一切的基礎是健全的測試覆蓋率、清晰的業務邏輯編碼和出色的金絲雀自動化系統,這些都不需要 LLM 就能實現。

關鍵時刻

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與熱力學的數學等價性:資訊論是兩個領域的共同基礎,生成模型的擴散過程與非平衡統計力學描述資訊損失的過程在數學上完全對應,許多開發出來的方法工具在兩領域都有精確對應的形式。
  • 基礎模型的遷移學習策略:先在廣泛材料資料集上訓練基礎力場表示,再針對特定材料類別進行蒸餾微調,既能保持計算效率也能獲得專一性。