より小さく、高速で、安全に:Kim i と G L M を大規模に展開するための実行方法

2026/08/04 2:08

より小さく、高速で、安全に:Kim i と G L M を大規模に展開するための実行方法

RSS: https://news.ycombinator.com/rss

要約

Japanese Translation:

Workers AI は、Cloudflare のインフラストラクチャ上で大規模な AI モデルの提供を進めており、NVIDIA Blackwell GPU と SGLang フレームワークを活用することでコストを大幅に削減するとともに速度を向上させながら精度を維持しています。本ソリューションは、モデル重みの圧縮、KV キャッシュメモリへの量子化、共有メモリの保護を実現するための整合性チェックという 3 つの中核技術を採用しています。

モデル重みについては、Workers AI がハイブリッド戦略を採用しており、応答のデコードには低精度の INT4 形式を使用します(GLM モデルでは約 60% のメモリ使用量削減を実現しながら、全精度重みから機能的不可能区別性 を維持)。一方、初期処理には高精度な形式を留保しています。KV キャッシュについては、BF16 から 8 ビット FP8 への量子化によりメモリサイズが半分になり、コンテキスト容量が倍増します(例えば、約 137 万トークンの対応が可能になり、従来の約 686 千トークンから)。MMLU や GSM8K などの主要なベンチマークにおける精度劣化はありません。

莫大な同時接続下での安定性を確保するため、Workers AI は共有 KV キャッシュに対して汎用整合性チェックを実装しており、数百件のリクエストが物理メモリページを共有する際のエラーを防いでいます。これにより、スループットおよびレイテンシに対するオーバーヘッドは 1% も未満です。これらの最適化により、同時接続制限が倍増し(例えば、64 つの同時リクエストへの対応が可能になり、従来の 32 から)、運用コストを約 30% 削減するとともに、モデルの信頼性を損なうことなくデコード速度を大幅に向上させることが可能になりました。技術が進化するにつれ、Workers AI は効率的なグローバル展開を実現するために新たな精度形式の検証を継続しています。

本文

ワークス AI における大規模オープンソースモデル高速化の技術揭秘:KV キャッシュ量子化・重み圧縮・キャッシュ整合性チェック

ワークス AI(Workers AI)は、クラウドファリアのデータセンター内で GPU を活用し、世界最高峰のオープンソースモデルを推論処理しています。Moonshot 社の「Kimi K シリーズ」や Z.ai 社の「GLM」などの大規模で長文脈対応・エキスパート混合(MoE)アーキテクチャを持つモデルは、メモリ制約からの効率化が大きな課題となります。

今回は、SGLang を基盤として採用し、メモリ内に収めつつ高速に動作させるための3 つの最適化テクニックについて解説します。これらはモデル精度への影響を一切与えず、多くの顧客を低コストでサポートすることを可能にしています。

  • KV キャッシュの量子化(Quantization)
  • モデル重みの圧縮
  • 共用ハードウェア上のキャッシュ保護機構

基盤:SGLang とオープンソースへのコミットメント

我々のすべての実験および本番環境でのトラフィックは、オープンソース推論サービングフレームワークである SGLang によって実行され、ベンチマーク評価が行われています。

  • パフォーマンス証明: SGLang は市場で最高のパフォーマンスを発揮することが実証済みです。
  • コミュニティ貢献: ワークス AI と SGLang チームは緊密に連携し、パッチや新機能を開源的なコミュニティへアップストリーミング(upstream)しています。

1. KV キャッシュの量子化(Quantization)

モデルがテキスト生成を行う際、処理済みトークンの注意キー(K)とバリュー(V)は「KV キャッシュ」として保存されます。長文脈対応モデルにおいて、GPU メモリの制約は主にこのキャッシュが占めることが一般的です。

量子化によるメモリ効率の向上

通常、キャッシュは**16 ビット精度(BF16)**で保存されますが、ワークス AI は **8 ビット浮動小数点(FP8: e4m3 形式)**を使用しています。

  • 容量削減: キャッシュサイズを半減させることができます。
    • Kimi K2.6 モデルの例:保持可能なコンテキスト量は、約 68 万トークンから約 137 万トークンへと倍増しました。
  • 利点の本質:
    • 単純な処理速度の向上ではありません。
    • FP8 アテンションカーネルは値読み取り時に変換を行うため、わずかな追加作業が発生します。
    • 真の効果は、**同時実行可能なリクエスト数(メモリ使用量あたりの効率性)**の増加にあります。

ベンチマーク比較:Kimi K2.6 のデコード処理

disaggregated H200 クラウド環境での測定結果です。BF16 は計算速度は若干速いですが、容量不足により同時実行数が制限されます。一方、FP8 では容量が確保され、高い同時実行数に対応できます。

同時実行リクエスト数BF16 KV キャッシュ (tok/s)FP8 KV キャッシュ (tok/s)備考
11371258BF16 の方が速い
731689BF16 の方が速い
161,1061,028-
321,5581,489BF16 は容量上限到達(Out of memory)の回避
64メモリ不足 (OOM)2,192FP8 で拡張可能。ピーク速度は約 41% 高騰
  • 結論: BF16 は 32 リクエストで容量限界に達するのに対し、FP8 では 64 リクエストまで対応可能になりました。これにより、トータルコストはおよそ 30% 低下しました。
  • 適用戦略: プリフィル(計算依存)は BF16 を維持し、デコード(メモリ依存)で FP8 を採用するハイブリッド方式をとっています。

精度への影響なしの検証

評価スイート全体を通じて、FP8 と BF16 のキャッシュは区別できない精度を保持しています。

ベンチマークBF16 KV 結果FP8 KV 結果差分
GSM8K94.2494.09-
ARC-Easy89.0689.14+
ARC-Challenge66.7267.49+
MMLU89.1189.04-
MMLU-Pro80.2979.29-
mcxams(内部ベンチマーク)61 / 6361 / 63同等
ツール呼び出しの有効性92.2%92.6%+

2. モデル重みの圧縮

モデルの重みが GPU メモリの主要な負荷源の一つです。GLM 5.2 で、FP8 から INT4(4 ビット整数)への圧縮を実施しました。

  • チェックポイントサイズ削減: 705GB → 421GB(約 40% 削減)
  • GPU メモリ使用量削減(8 ウエイテンソル並列): 約 88GB → 約 52GB
  • 結果: 残されたメモリで確保できる KV キャッシュ量は、約 118 万トークン分に相当します。

精度検証:INT4 vs FP8

重みの圧縮によりモデルの回答品質に差異は見られませんでした。

ベンチマーク / 能力指標FP8 (基準)INT4 (圧縮後)評価
GSM8K(完全一致)94.39%93.56%同等
GSM8K(柔軟評価)94.24%93.48%同等
ARC-Easy(精度)86.62%86.15%同等
ARC-Challenge(精度)64.93%64.85%同等
MMLU(平均)86.60%86.54%同等
MMLU-Pro(完全一致)80.80%80.47%同等
mcxams(内部ベンチマーク)通過数62 / 6362 / 63同等

デコードフェーズでの速度向上

モデル重みを GPU メモリからストリーミングする必要があるため、デコード速度はメモリ帯域幅で制限されます。データ移動量を減らすことで、INT4 はより高速なデコードを実現します。

同時実行リクエスト数GLM FP8 (tok/s)GLM INT4 (tok/s)INT4 の向上率
1692+55%
8413+21%
166838+21%
321,672+27%
641,933+16%

プリフィルフェーズの挙動

一方、プリフィルでは計算リソースが主導となります。INT4 重みを FP8 に展開し直すためのオーバーヘッドがあるため、FP8 の方が高速です(GLM 例:FP8 約 10,160 トークン/秒 vs INT4 約 8,660 トokens/秒)。

  • disaggregated アーキテクチャの活用:
    • デコード: 大容量 KV キャッシュが必要 → INT4 を採用(速度向上)。
    • プリフィル: 計算リソース依存 → FP8 を維持(速度維持)。
  • 総合的な品質: すべてのベンチマークにおいて、モデル精度は FP8 モデルから0.8 ポイント以内であり、品質上の差異は検出できません。

3. 共用 KV キャッシュの保護

KV キャッシュ量子化や重み圧縮により、1 つの GPU メモリ上で多数のリクエストを共有可能になりました。しかし、数百のリクエストが同じ物理ページを読み書きするため、高速化を実現する仕組み(Paged Attention など)は帳簿管理の完全な正確性に依存します。

  • リスク: 大規模なボリュームにおいて、誤った読み出しが発生するとシステム安定性に直結します。
  • 対策: **「KV キャッシュの整合性チェック」**を防御層として構築しました。

動作原理

  1. タグ管理: 各物理キャッシュページには、再割り当てごとに一意のタグが付与されます。
  2. マッピング検証: デコード操作中にキャッシュからデータを読み取る直前、サーバーは「どのリクエストがどのページを使用するか」を検証します。
  3. 異常時の挙動: タグやマッピングが一致しない場合、誤ったデータを返すのではなく、そのリクエストを中止させます。

コストパフォーマンス測定

2 プリフィル・2 デコード構成の中規模本番モデル(入力 8,192 トークン、出力 1,000 トークン)での測定結果です。

同時実行数スループット変化p95 レイテンシ変化
1-0.53%+0.42%
2-0.38%+0.54%
4-0.79%+0.63%
8-0.43%+0.80%
  • コスト評価:
    • スループットおよび p95 レイテンシのオーバーヘッドは、いずれも 1% 未満です。
    • GPU スレッド群間の競合を招かないよう、アテンションカーネルに融合させず別々のバッチチェックとして実装しています(計算コスト最小化)。
  • デフォルト動作: デプロイ単位で有効化可能です。デフォルトは無操作(no-op)トラッカーを使用するため、測定可能なオーバーヘッドはありません。**必要な場合は「完全に無料」**で利用できます。

今後の展望と参画への招待

frontier モデルの効率的なサービングは常に進化し続ける領域です。今後以下の取り組みを推進します。

  • 技術拡張: FP8 KV キャッシュをフリート全体のさらに多くのシステムに展開。
  • 新アーキテクチャ対応: Blackwell GPU での NVFP4 重みの妥当性を検証。
  • 安定性向上: 整合性チェック機能を全システムで安定的かつ無償に近い状態で維持・提供。

これらの最適化により、より多くの顧客を低コストかつ同等の精度でサポートし続けることができます。

最先端のオープンソースモデルを GPU に最適化し、何百万もの開発者にサービスを提供するこの挑戦に興味をお持ちの場合は、ぜひ我々と一緒に働いてください。

同じ日のほかのニュース

一覧に戻る →

2026/08/04 6:13

LLM は専門性を報酬とする

## 日本語翻訳: 大規模言語モデル(LLM)は、CSS など基本的なデジタルタスクへの参入障壁を下げていますが、深いドメイン知識の必要性を排除するものではありません。一般的に応用提示技術(generalist prompting techniques)を習得すれば真の価値を引き出せるという一般的な誤解がありますが、複雑な問題解決には特定の分野の知識が不可欠であり、それによって AI を効果的に導く必要があります。数学者のテレンス・ tao の LLM に関する研究に示されるように、専門的な成果は簡潔であるといったスタイル上のヒントではなく、真の理解から生じます。分野に対する親和性がない場合、ユーザーは出力を検証したり、モデルを高度な解決策へと導いたりすることができず、質問の工夫がいくら手巧くてもその限りではありません。著者は、トークンが無限にあっても、非専門家は Tao 氏のような複雑な数学問題においては彼のレベルには達できないと指摘しており、分野知識こそが決定的な要因であることを強調しています。したがって、モデルがさらに強くなるにつれて、人間が正確な要件を伝達し結果を検証するという役割がボトルネックとなります。そのためには、組織は平均的な成果を超えようとする場合、特別な訓練への投資や専門家を採用することが必要であり、AI 統合の未来は汎用的なインターネット検索スキルよりも、制約を定義し高品質な結果を確保するために特定分野での卓越した知識を育成することによって支えられるでしょう。

2026/08/03 23:15

デベロッパーツールのオープンソース化が必須です。

## 日本語翻訳: 人工知能(AI)エージェントは、大規模なユーザーコミュニティや複雑な設定ファイルに依存せずに個々の作成者がパーソナライズされたアプリケーションを構築することを可能にするため、ソフトウェア開発を変革しています。VS Code の拡張機能や vimdiff といった従来の API はリアルタイムでのファイル変更やバックグラウンド処理で苦戦するのに対し、Shelley とような AI エージェントは、上流リリースとの nightly スインジングや人間のレビュー前のコードのプリプロセスなどの複雑なタスクを自動的に処理します。これは、過去 5 年の間にエンジニアが高い維持コストと疑わしい投資対効果のためにカスタムツールを廃棄することが多かった時代から、現在、かつて高価なプラグインシステムを必要としたか多くのユーザーにアモルタイズされた機能が単一ユーザーのために瞬時に組み立てられることへの大きなシフトを示しています。著者は "meat.dev" というツールを作成することでこれを例示しました。このツールは大規模言語モデル(LLM)を使用して、差分からインポートやボイラープレートなど重要なコードを取り除き、開発者がコアアーキテクチャとエッジケース(「the meat」)に集中できるようにします。Shelley 内の発見可能なスキルとして構築されたこのエージェントは、単一のプロンプトでバックグラウンドスインジングなどの複雑なロジックを統合することを可能にし、手動のコマンドライン実行の必要性を排除します。さらに、エージェントによるパーソナライゼーションは学習曲線を劇的に削減し、ソリューションが「機能しているように見える」場合、大規模なレビューなしに小規模チームや個人開発者向けのカスタムソフトウェア(例:セルフホストされたブログ)を可能にします。Claude Code などのクローズドソースツールはソースコードへのアクセスを欠いているのに対し、オープンソースのエージェントはハードコーディングされた値の直接修正や Monobit を通じたビットマップフォントのようなカスタムアセットの統合、またはオンデマンドでの固有リソースの生成を可能にします。このシフトは、開発をレガシーなプラグインエコシステムと設定中心のワークフローから遠ざけ、自動化が効率的に日常運用を管理する一方で人間がコアアーキテクチャに完全に集中する未来へと導きます。

2026/08/04 2:02

15 年ぶりとなる初の新しい C-Kermit リリースと共に、ケルミットの 45 周年を祝いましょう。

## 日本語翻訳: このウェブサイトは、プライバシーに配慮したツールである Techaro(「Techaro から保護されています」)により駆動され、「Anubis バージョン 1.22.0」を実行しています。これは ❤️ で 🇨🇦 にて作成されたものです。この実装ではオープンソースへの帰属を強調し、創作者を明確にクレジットしています。マスコットのデザインはデジタルアーティスト CELPHASE が手がけ、インターフェースに独自のクリエイティブな触れ込みを加えています。一般ユーザーを対象としている Anubis は、技術的な専門用語で圧倒することなく、プライバシーに配慮したブラウジング環境を提供することを目的としています。入手可能な情報に基づき、今後のアップデートやロードマップの変更に関する発表はありません。全体として、主な焦点は、セキュリティなブラウジングを開始する前に、あなたが使用しているツールの作成者が誰であるかについての明確な帰属と透明性にあります。

より小さく、高速で、安全に:Kim i と G L M を大規模に展開するための実行方法 | そっか~ニュース