検証ラボの メトリフクロウ です。評価レポートを厚くする前に、まず比較の前提を揃えます。「量子化した」という言葉を、会議でそのまま使わないための回です。
「量子化した」は説明になっていない
ベンチ報告で「量子化したので速くなった」と聞くことがあります。しかし量子化は一枚岩ではありません。少なくとも次を分けないと、再現も改善もできません。
同じ「量子化」という言葉でも、効く場所が違います。この回は、評価前に揃えるべき 量子化の語彙 を作ります。
レイヤ別の見え方
| レイヤ | 主に効くこと | 観測しやすい症状 |
|---|---|---|
| 重み | 載るか、常駐メモリ、品質の底 | OOM / 起動不可 / 回答の崩れ |
| 計算精度 | スループットの伸び | 速くなるが品質が落ちることも |
| KV dtype | 長文・同時実行の伸びしろ | context延長で急に詰まる |
社内プロファイル例では、重み側に NVFP4、KV に FP8 を併用する構成が出てきます。重要なのは「速い設定」ではなく、どの列を変えたかを残すことです。
方式名の読み方(現場向け)
| よく出る名前 | まず疑うレイヤ | メモ |
|---|---|---|
| NVFP4 | 重み | 載せる/品質の話になりやすい |
| FP8 KV | KV | 長文・同時実行とセットで見る |
| AWQ / GPTQ | 重み | 方式差を品質スイートで確認 |
| 「FP8にした」 | どれか不明 | 列を聞き返す |
選定パターン(現場の型)
| パターン | ねらい | 向く用途 | 先に見る指標 |
|---|---|---|---|
| 載せる最優先 | まず常駐させる | 単機・共有GPU | 起動可否、メモリ |
| 品質優先 | 崩れを嫌う | FAQ、規約回答 | smoke品質 |
| 長文優先 | contextを伸ばす | 要約、長文書 | KVとp95 |
| 同時実行優先 | 複数利用者 | 社内ツール | concurrency |
チェックリスト(量子化比較の前)
- [ ] 重みとKVの列が分かれているか
- [ ] 同時に変えた軸が1つだけか
- [ ] 起動可否と品質スモークを先に見たか
- [ ] 長文用途ならKVの影響を切り分けたか
- [ ] 「量子化した」という曖昧語を資料から消したか
一度に全部いじらない
量子化比較の失敗パターンは、だいたい同じです。
- 重みとKVとエンジンを同時変更する
- 品質スイートなしで tok/s だけ見る
- 「NVFP4だから強い」と用途を無視する
エンジン側のノブ名はランタイムで違います(vLLM / SGLang の起動引数、TRT-LLM のビルド/serve、Atlas のターゲット固有制約など)。レイヤの切り方は共通で、変えた列だけを1つにするルールも共通です。
転ぶポイントを先に潰すなら、比較表は最低でも次の列を分けます。
- 重み量子化方式
- KV dtype
- max_model_len / 同時実行
- 品質スイート版
- 環境ラベル(harness / real)
シナリオで言うと、「メモリが足りないから量子化」は仮説として正しいことが多いです。ただし、その一言で重みとKVを同時に変えると、後から効いた理由が分からなくなります。まず載せるための重み、次に長文のためのKV、と段を分けます。
ポイント
量子化は速度の話の前に、比較可能な列設計の話です。
つまずいたこと
「量子化したので軽くなりました」で説明を終えてしまい、精度と KV とビルドコストがごちゃ混ぜになった反省があります。言葉が太いほど、後工程の切り分けが不能になります。
苦労したのは、レイヤを分ける忍耐です。一度に語ると分かりやすい気がして、実際は誰も再現できませんでした。
この回の要点
- 『量子化した』で説明を終わらせない
- 重み・KV・ビルドコストをレイヤ別に書く
- 一度に語らず、列を分けて残す
いま公開しているのは評価の型です。実機ベンチの数字は、再計測と匿名化が済んだものから順に足します。合格ラインや用途別プロファイルの未確定は残っています。
次は「投機的デコーディングとコーディング:速さの期待をどう検証するか」へ進みます。いまのメモを1行残してから読むと、連載の筋がつながりやすくなります。
よくある質問
量子化を一言で比べてよいですか?
いいえ。重み量子化・計算精度・KVキャッシュ精度は効果が違うため、レイヤを分けて記録します。
NVFP4 と FP8 KV は同じ話ですか?
違います。前者は主に重み側、後者はKVキャッシュ側の話です。混ぜると選定理由が読めなくなります。
この回で実測 tok/s は出しますか?
いいえ。レイヤ地図と選定パターンの型が先です。数字は条件が揃ったものから足します。