ljsysfurry commited on
Commit
f0ad681
·
verified ·
1 Parent(s): 9b93dae

Upload kv_compress_plan.md with huggingface_hub

Browse files
Files changed (1) hide show
  1. kv_compress_plan.md +292 -0
kv_compress_plan.md ADDED
@@ -0,0 +1,292 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ # 🧠 纯文本 LLM KV 缓存压缩 — 详细定制方案
2
+
3
+ > **版本**: v1.0
4
+ > **日期**: 2026-08-06
5
+ > **适用**: 纯文本大语言模型推理(对话/长文/代码/文档)
6
+ > **目标**: 显存 -50%+、吞吐 +2x、精度损失 < 0.5 PPL
7
+
8
+ ---
9
+
10
+ ## 一、方案总览
11
+
12
+ ### 1.1 核心思路
13
+
14
+ 纯文本 LLM 的 KV 缓存压缩采用**分层正交叠加**策略:
15
+
16
+ ```
17
+ ┌─────────────────────────────────────────────────────┐
18
+ │ Layer 1: INT8 量化 (per-channel) → 显存 -50% │
19
+ │ Layer 2: StreamingLLM (attention sink) → 长上下稳定 │
20
+ │ Layer 3: H2O 驱逐 (重击者+近邻) → 再省 40% │
21
+ │ Layer 4: K/V 分离存储 (可选) → 显存换质量 │
22
+ └─────────────────────────────────────────────────────┘
23
+ 每层独立开关, 可按场景组合
24
+ ```
25
+
26
+ ### 1.2 三层正交性
27
+
28
+ | 维度 | 压缩对象 | 对应层 | 说明 |
29
+ |------|----------|--------|------|
30
+ | 特征维度 | 每个 token 的 K/V 精度 | Layer 1 量化 | 与长度无关 |
31
+ | 序列维度 | 不重要的历史 token | Layer 3 驱逐 | 与精度无关 |
32
+ | 存储维度 | 冷数据放慢速介质 | Layer 4 分离 | 与上面都正交 |
33
+ | 结构维度 | 首 token 保留 | Layer 2 保底 | 免费防护 |
34
+
35
+ ---
36
+
37
+ ## 二、Layer 1: INT8 KV 量化(必做)
38
+
39
+ ### 2.1 原理
40
+
41
+ ```python
42
+ # per-channel 量化 (K/V 每通道一个 scale)
43
+ scale_k = max_abs(K, dim=channel) / 127
44
+ K_int8 = round(K / scale_k)
45
+
46
+ # 反量化在注意力计算时做
47
+ K_deq = K_int8 * scale_k
48
+ ```
49
+
50
+ ### 2.2 技术选型
51
+
52
+ | 方案 | 精度 | 速度 | 复杂度 | 推荐 |
53
+ |------|------|------|--------|------|
54
+ | **per-channel INT8** | 掉点 <0.3 | 快 | 低 | ✅ 首选 |
55
+ | per-token INT8 | 更稳 | 快 | 中 | ✅ 精度敏感时 |
56
+ | FP8 (E4M3) | 几乎无损 | 最快 | 高 | ⚠️ 需 H100/L40S 支持 |
57
+ | INT4 | 掉点 1-2 | 最快 | 高 | ❌ 纯文本不值当 |
58
+
59
+ ### 2.3 实现要点
60
+
61
+ ```
62
+ 1. 量化时机: 每 token 写入 KV 缓存时即时量化 (不重算)
63
+ 2. scale 计算: per-channel (head 维度), 避免 per-token 额外开销
64
+ 3. 反量化位置: 在 FlashAttention 内核内融合, 不额外访存
65
+ 4. 溢出处理: 用动态 scale (max-abs), 比固定 scale 稳
66
+ 5. 特殊 token: attention sink 的 K/V 保持 FP16 (防精度损失)
67
+ ```
68
+
69
+ ### 2.4 预期收益
70
+
71
+ - 显存: K/V 从 FP16 → INT8, **-50%**
72
+ - 速度: 缓存命中率提升, decode 吞吐 **+30~50%**
73
+ - 精度: PPL 变化 < 0.3, 实际对话几乎无感
74
+
75
+ ---
76
+
77
+ ## 三、Layer 2: StreamingLLM 滑窗保底(必做)
78
+
79
+ ### 3.1 原理
80
+
81
+ ```
82
+ 保留集合 = [attention_sink(前4个token)] + [最近 N 个token]
83
+ 旧 token 滑出窗口后被丢弃, 但 sink 永不动
84
+ ```
85
+
86
+ ### 3.2 参数推荐
87
+
88
+ | 参数 | 默认 | 说明 |
89
+ |------|------|------|
90
+ | sink_tokens | 4 | 首 4 个 token 永存 |
91
+ | window_size | 2048 | 滑动窗口长度 |
92
+ | 触发时机 | 序列 > window 时 | 之前不启用 |
93
+
94
+ ### 3.3 与 Layer 1 叠加
95
+
96
+ ```
97
+ Layer 1 (量化) 对窗口内所有 token 生效
98
+ Layer 2 (滑窗) 决定哪些 token 保留
99
+ → 实际显存 = window_size × 量化后大小
100
+ → 长对话显存从 O(seq_len) 降到 O(window)
101
+ ```
102
+
103
+ ---
104
+
105
+ ## 四、Layer 3: H2O 驱逐(可选, 按场景)
106
+
107
+ ### 4.1 适用判定
108
+
109
+ | 场景 | 是否启用 | 原因 |
110
+ |------|----------|------|
111
+ | 多轮对话 | ⚠️ 谨慎 | 回头翻旧账可能丢信息 |
112
+ | 单轮长文 | ✅ 启用 | 注意力集中, 效果好 |
113
+ | RAG 检索 | ❌ 禁用 | 检索需全量上下文 |
114
+ | 代码补全 | ✅ 启用 | 代码局部性强 |
115
+
116
+ ### 4.2 H2O 算法
117
+
118
+ ```python
119
+ def h2o_evict(kv_cache, budget, attention_scores):
120
+ """
121
+ 1. 统计每个 token 的累计注意力分数 (heavy hitter 分数)
122
+ 2. 保留 top-k 重击者 token
123
+ 3. 加上最近 budget 内 token
124
+ 4. 其余驱逐
125
+ """
126
+ scores = cumulative_attention(attention_scores)
127
+ heavy = topk(scores, k=budget * 0.3) # 30% 重击者
128
+ recent = last_n_tokens(kv_cache, budget * 0.7) # 70% 最近
129
+ return heavy ∪ recent
130
+ ```
131
+
132
+ ### 4.3 参数
133
+
134
+ | 参数 | 默认 | 说明 |
135
+ |------|------|------|
136
+ | budget | 1024 | 驱逐后保留的 token 数 |
137
+ | heavy_ratio | 0.3 | 重击者占比 |
138
+ | 驱逐频率 | 每 64 token | 避免频繁计算 |
139
+
140
+ ### 4.4 与推理模型的区别(重要)
141
+
142
+ ```
143
+ ⚠️ 推理模型 (DeepSeek-R1) 禁用 H2O:
144
+ 思考链长且信息密度高, 驱逐会破坏推理连贯性
145
+ 纯文本模型 (对话/总结/代码) 可用:
146
+ 注意力集中, 驱逐掉低分 token 影响极小
147
+ ```
148
+
149
+ ---
150
+
151
+ ## 五、Layer 4: K/V 分离存储(高级定制)
152
+
153
+ ### 5.1 原理(HCAttention 思路)
154
+
155
+ ```
156
+ ┌─────────────────────────────────────────┐
157
+ │ GPU 高速显存 │
158
+ │ K_int8 (量��后, 只用来打分) ← 全保留 │
159
+ │ 最近窗口的 V (FP16) │
160
+ ├─────────────────────────────────────────┤
161
+ │ CPU 内存 │
162
+ │ 旧 token 的完整 V (FP16) ← 按需调取 │
163
+ └─────────────────────────────────────────┘
164
+ ```
165
+
166
+ ### 5.2 工作流
167
+
168
+ ```python
169
+ # 打分阶段 (GPU, 只要 K)
170
+ scores = Q @ K_int8.T / sqrt(d) # 全局近似打分
171
+
172
+ # 取用阶段 (按需)
173
+ if token 在 GPU 窗口: V = V_gpu
174
+ else: V = V_cpu[token] # 从 CPU 拉取
175
+
176
+ # 输出
177
+ out = softmax(scores) @ V
178
+ ```
179
+
180
+ ### 5.3 适用场景
181
+
182
+ | 场景 | 是否启用 | 原因 |
183
+ |------|----------|------|
184
+ | 多轮对话(客户翻旧账) | ✅ 启用 | 旧信息可回溯, 不丢 |
185
+ | 单轮长文 | ❌ 不必 | 滑窗够用 |
186
+ | 显存紧张 (24G 卡) | ✅ 启用 | 把显存让给 batch |
187
+
188
+ ### 5.4 代价
189
+
190
+ - 冷 V 从 CPU 拉取: 延迟 +5~15ms(首 token 感知)
191
+ - 实现复杂度: 中高(需要 CPU/GPU 内存管理)
192
+
193
+ ---
194
+
195
+ ## 六、场景定制矩阵
196
+
197
+ | 业务场景 | Layer1 | Layer2 | Layer3 | Layer4 | 预期压缩 |
198
+ |----------|--------|--------|--------|--------|----------|
199
+ | **客服对话** | ✅ | ✅ | ⚠️ | ✅ | 4~6x |
200
+ | **长文总结** | ✅ | ✅ | ✅ | ❌ | 6~8x |
201
+ | **代码生成** | ✅ | ✅ | ✅ | ❌ | 6~8x |
202
+ | **RAG 问答** | ✅ | ✅ | ❌ | ✅ | 3~4x |
203
+ | **推理模型** | ✅ | ✅ | ❌ | ✅ | 3~4x |
204
+ | **批量离线** | ✅ | ❌ | ✅ | ❌ | 8x+ |
205
+
206
+ ---
207
+
208
+ ## 七、实现路线图(L40S 实测)
209
+
210
+ ### Phase 1: Baseline(1 天)
211
+ ```
212
+ 1. 搭 vLLM 或自研推理脚本 (支持 7B/14B)
213
+ 2. 跑通 FlashAttention 2
214
+ 3. 记录 baseline: PPL / 吞吐 / 显存
215
+ ```
216
+
217
+ ### Phase 2: INT8 量化(1-2 天)
218
+ ```
219
+ 1. 实现 per-channel KV 量化
220
+ 2. 内核融合反量化
221
+ 3. 对比 PPL / 显存 / 吞吐
222
+ ```
223
+
224
+ ### Phase 3: StreamingLLM + H2O(1-2 天)
225
+ ```
226
+ 1. 实现滑窗 + attention sink
227
+ 2. 实现 H2O 驱逐
228
+ 3. 长上下文压力测试 (4k/8k/16k/32k)
229
+ ```
230
+
231
+ ### Phase 4: K/V 分离(2 天, 可选)
232
+ ```
233
+ 1. CPU 内存池管理
234
+ 2. 冷热 V 迁移
235
+ 3. 多轮回溯测试
236
+ ```
237
+
238
+ ### Phase 5: 评测 + 交付(1 天)
239
+ ```
240
+ 1. 三张核心曲线: 压缩率 vs PPL / 压缩率 vs 吞吐 / 压缩率 vs 延迟
241
+ 2. 生成对比报告 (HTML, 类似 kv_cache_report)
242
+ 3. 封装成可复用的推理加速模块
243
+ ```
244
+
245
+ ---
246
+
247
+ ## 八、评测方案
248
+
249
+ ### 8.1 精度指标
250
+
251
+ | 指标 | 工具 | 目标 |
252
+ |------|------|------|
253
+ | PPL | wikitext-2/4 | 变化 < 0.5 |
254
+ | 任务准确率 | MMLU / GSM8K | 掉点 < 1% |
255
+ | 长文检索 | LongBench | 保持 |
256
+ | 对话一致性 | 人工抽测 | 无明显劣化 |
257
+
258
+ ### 8.2 性能指标
259
+
260
+ | 指标 | 定义 | 目标 |
261
+ |------|------|------|
262
+ | 显存占用 | KV 缓存峰值 | -50% |
263
+ | decode 吞吐 | tokens/s | +50% |
264
+ | TTFT | 首 token 延迟 | 不变 |
265
+ | 长上下文极限 | 可处理最大序列 | 2x 提升 |
266
+
267
+ ---
268
+
269
+ ## 九、交付物
270
+
271
+ ```
272
+ 1. 推理加速模块 (可插拔: kv_compress.py)
273
+ 2. 四层开关配置 (yaml)
274
+ 3. 评测报告 (HTML 带曲线)
275
+ 4. 场景接入示例 (对话/长文/代码/RAG)
276
+ 5. 文档: 参数调优指南
277
+ ```
278
+
279
+ ---
280
+
281
+ ## 十、风险与对策
282
+
283
+ | 风险 | 概率 | 对策 |
284
+ |------|------|------|
285
+ | INT8 掉点超预期 | 低 | 回退 per-token 量化 / 关键层保 FP16 |
286
+ | H2O 在特定任务崩 | 中 | 按场景开关, 提供安全默认值 |
287
+ | K/V 分离延迟超标 | 中 | 预取 / 双缓冲 / LRU 热 V 常驻 |
288
+ | 长上下文 OOM | 低 | 滑窗兜底 + 显存监控自动降级 |
289
+
290
+ ---
291
+
292
+ *本方案为纯文本 LLM KV 缓存压缩定制版, 基于 H2O / StreamingLLM / HCAttention / INT8 量化等技术路线综合设计。*