执行摘要

• 一句话：修复 EAGLE + Mamba 前缀缓存中 EAGLE 剪枝导致缓存丢失的问题，提升前缀复用率。
• 推荐动作：本 PR 值得精读，它解决了一个实际部署中导致前缀缓存失效的 bug，并通过精心设计的条件门控确保安全引入。关键设计决策包括：将调度器和管理器的条件统一到单一谓词、在 junction 处停止而非块对齐、以及默认关闭以确保向后兼容。测试策略（使用真实调度器和管理器、参数化扫掠、变异测试覆盖）是高质量的。文档更新完整。建议关注 get_replay_boundary 的实现和 _cache_partial_tail_block 的扩展逻辑。

功能与动机

本 PR 修复 #52371 中指出的两个 EAGLE + --mamba-cache-mode align 前缀缓存缺陷中的第二个。当共享前缀运行到生产者提示末尾时，EAGLE 裁剪一个 hash 单元，导致 Mamba 组在缓存网格上没有状态，命中回退到之前的块边界。在 4,416 token 的块上，64 token 的裁剪每次请求会损失 4,416 token 的复用率。修复方案通过在调度器的 junction 停止点缓存 Mamba 状态，使后续兄弟请求可以从该点恢复。

实现拆解

1. 配置层引入新选项：在 vllm/config/cache.py 的 CacheConfig 中新增 enable_mamba_fine_grained_prefix_cache 布尔字段，默认为 False。该字段被排除在 compute_hash 的计算因子中，因此不会影响编译图缓存。在 vllm/engine/arg_utils.py 中添加对应的命令行参数 --enable-mamba-fine-grained-prefix-cache。
2. 协调器计算 replay 边界：在 vllm/v1/core/kv_cache_coordinator.py 中新增 get_replay_boundary 方法。对于 EAGLE 模型，该方法计算提示最后对齐位置下方一个对齐单元的边界，确保 EAGLE 裁剪的块存在。对于非 EAGLE 模型，返回 num_prompt_tokens - 1。该边界通过 cache_blocks 方法传递给每个管理器。
3. 调度器在 junction 处停止：在 vllm/v1/core/sched/scheduler.py 的 _mamba_block_aligned_split 方法中，当 mamba_fine_grained_prefix_cache 启用且 junction 在提示范围内时，停止点直接使用 junction 位置（而非块对齐的向下取整）。对于 EAGLE，部分尾部边界向下移动一个 hash 单元，因为 EAGLE 匹配并裁剪一个单元。
4. 管理器缓存 junction 状态：在 vllm/v1/core/single_type_kv_cache_manager.py 中，_cache_partial_tail_block 方法扩展以接受 junction 位置（在提示计算范围内）。在 cache_blocks 中，将 replay_boundary 作为关键字参数传递给所有管理器，用于 reachable_block_mask 计算。
5. 条件门控与传播：在 vllm/v1/core/kv_cache_manager.py 中，mamba_fine_grained_prefix_cache 标志仅在同时满足 EAGLE 组、部分 hash 命中和无多模块 MTP 时启用。该标志被传播到调度器和 Mamba 管理器。
6. 测试覆盖：新增 tests/v1/core/prefix_cache/test_mamba_eagle_resume_checkpoint.py 测试文件，使用真实调度器和缓存管理器测试 junction 恢复。在现有测试中添加参数以覆盖新标志。测试使用变异测试确保每个条件都被覆盖。
7. 文档更新：在 docs/features/automatic_prefix_caching.md 中添加“混合 Mamba 模型”部分，说明标志的作用、目标场景和生效条件。

关键文件：

• vllm/v1/core/sched/scheduler.py（模块 调度器；类别 source；类型 core-logic；符号 _mamba_block_aligned_split, mamba_fine_grained_prefix_cache）: 核心调度逻辑，修改了 _mamba_block_aligned_split 方法以在 junction 处停止，引入了 tail_boundary 的 EAGLE 调整和 junction_stop 计算
• vllm/v1/core/kv_cache_coordinator.py（模块 缓存协调器；类别 source；类型 core-logic；符号 get_replay_boundary, cache_blocks）: 新增 get_replay_boundary 方法，为 EAGLE 模型计算重放边界，确保裁剪的块存在
• vllm/v1/core/single_type_kv_cache_manager.py（模块 缓存管理器；类别 source；类型 core-logic；符号 _cache_partial_tail_block, cache_blocks, fine_grained_prefix_cache）: 扩展 _cache_partial_tail_block 以接受 junction 位置，并添加 fine_grained_prefix_cache 属性

关键符号：Scheduler._mamba_block_aligned_split, HybridKVCacheCoordinator.get_replay_boundary, MambaManager._cache_partial_tail_block, KVCacheManager.init, CacheConfig.init

关键源码片段

vllm/v1/core/sched/scheduler.py

核心调度逻辑，修改了 _mamba_block_aligned_split 方法以在 junction 处停止，引入了 tail_boundary 的 EAGLE 调整和 junction_stop 计算

# 在 _mamba_block_aligned_split 方法中，当启用 mamba_fine_grained_prefix_cache 时，
# junction_stop 直接使用 junction 位置（而非块对齐的向下取整）。
# 对于 EAGLE，tail_boundary 向下移动一个 hash 单位，因为 EAGLE 匹配并裁剪一个单元。
tail_boundary = (
    request.num_prompt_tokens // self.hash_block_size * self.hash_block_size
    if self.mamba_partial_cache_hit
    else 0
)
if tail_boundary and self.use_eagle_block_drop:
    # Eagle 匹配并裁剪一个 hash 单位，因此材料化状态一个单位更低，
    # 实际命中可以落在此处。基于 block-drop 位（而非普通 use_eagle）：
    # 此调整仅用于补偿裁剪，Mamba 管理器的匹配门读取相同的位。
    tail_boundary = max(tail_boundary - self.hash_block_size, 0)
junction = request.shared_prefix_boundary
# 向下取整到块：子块 junction 的状态不可单独缓存。
block_floored = start + (junction - start) // block_size * block_size
# 过了提示后，管理器不写入任何内容，因此回退到向下取整的停止点：
# 重放输出 token 的恢复请求仍然可以观察到那里的 junction。
junction_stop = (
    junction
    if self.mamba_fine_grained_prefix_cache
    and junction <= request.num_prompt_tokens
    else block_floored
)
stops = (
    # 相同不变性：从中块开始的块在边界停止。
    next_block_boundary if start % block_size != 0 else 0,
    # 永远不要运行过最后一个可缓存块边界。
    last_cache_position,
    # 细粒度命中：提示的部分尾部条目只能通过恰好在其最后一个哈希边界结束的块来注册。
    tail_boundary
    if last_cache_position < tail_boundary < request.num_prompt_tokens
    else 0,
    # Marconi 共享前缀 junction：缓存其状态以便共享前缀的兄弟请求可以重用。
    junction_stop if start < junction < end else 0,
)

vllm/v1/core/kv_cache_coordinator.py

新增 get_replay_boundary 方法，为 EAGLE 模型计算重放边界，确保裁剪的块存在

def get_replay_boundary(self, request: Request) -> int:
    """返回后续请求重放此提示时恢复的位置。
​
    缓存命中是所有组中最短的命中，因此这是一个模型级位置：
    每个组都必须在此处保留状态，无论它是否是裁剪的组。
    组仅在围绕它的保留量上不同——EAGLE 组也保留上面的块，
    它们匹配并从那里裁剪回来（见 reachable_block_mask）。
​
    在 EAGLE 下，该块必须存在，因此边界位于提示最后对齐位置下方
    一个对齐单元；每个组的块大小都整除对齐，因此上面的块总是
    适合提示。
    """
    if not self.eagle_group_ids:
        return request.num_prompt_tokens - 1
    aligned = (
        request.num_prompt_tokens
        // self.scheduler_block_size
        * self.scheduler_block_size
    )
    return max(aligned - self.scheduler_block_size, 0)
​
# 在 cache_blocks 方法中，replay_boundary 被计算并传递给每个管理器
def cache_blocks(self, request: Request, num_computed_tokens: int) -> None:
    replay_boundary = self.get_replay_boundary(request)
    for manager in self.single_type_managers:
        num_tokens_to_cache = max(
            0, num_computed_tokens - self.num_reprefillable_tokens
        )
        manager.cache_blocks(
            request,
            num_tokens_to_cache,
            retention_interval=self.retention_interval,
            replay_boundary=replay_boundary,
        )

vllm/v1/core/single_type_kv_cache_manager.py

扩展 _cache_partial_tail_block 以接受 junction 位置，并添加 fine_grained_prefix_cache 属性

# 在 SingleTypeKVCacheManager 中添加 fine_grained_prefix_cache 属性
# 该标志由 KVCacheManager 设置，仅 EAGLE Mamba "align" 组会获得它
self.fine_grained_prefix_cache = False
​
# 在 MambaManager._cache_partial_tail_block 中扩展以接受 junction 位置
def _cache_partial_tail_block(
    self,
    request: Request,
    num_tokens: int,
) -> None:
    """缓存提示尾部当它在缓存块内结束时。
​
    仅最后一个提示哈希边界被注册为部分前缀缓存条目；
    同一缓存块内的中间哈希边界被有意跳过。
    """
    hash_block_size = self.block_pool.hash_block_size
    boundary_tokens = request.num_prompt_tokens // hash_block_size * hash_block_size
    if self.use_eagle:
        # Eagle 组匹配并裁剪一个 hash 单位，因此将尾部注册低一个单位。
        boundary_tokens = max(boundary_tokens - hash_block_size, 0)
    # junction 是兄弟节点恢复的另一个位置：一个节点停止的位置，
    # 以及调度器已经结束块的位置。限制在正在计算的提示块内——
    # 解码期间，目标是运行状态块，原地修改，其键仅在该步转发后
    # 才等于其所承诺的内容。
    if boundary_tokens != num_tokens and not (
        self.fine_grained_prefix_cache
        and num_tokens == request.shared_prefix_boundary
        and request.num_computed_tokens < num_tokens <= request.num_prompt_tokens
    ):
        return None
    # ... 继续缓存逻辑

评论区精华

1. 测试量审查：评审者 benchislett 指出“1000 多行测试对应 200 行代码过多”，要求减少测试量。作者 akshaver 回应已移除测试驱动开发阶段的冗余测试，仅保留关键用例。
2. 边界条件处理：评审者 roikoren755 询问当 tail_boundary == self.hash_block_size 时会发生什么。作者解释这会退化为标志关闭的行为，不会崩溃。
3. 文档完整性：YouNeedCryDear 指出需要为新命令行参数添加公开文档。作者补充了文档变更。
4. 滑动窗口影响：YouNeedCryDear 质疑 get_replay_boundary 是否会影响滑动窗口缓存管理器。作者引用测试用例 test_hybrid_local_kv_retention_mtp_reuses_latest_boundary（SWA+EAGLE）和 test_swa_reachable_block_mask_pins_shared_prefix（SWA+非 EAGLE）进行验证。
5. 测试架构选择：YouNeedCryDear 建议测试 stub 应该基于或扩展现有 _create_scheduler。作者解释扩展现有工具以支持多组和 mamba 配置会显著增加 PR 规模，因此保持简单。
6. 缓存别名权衡：关于 latest_prompt_hash_boundary == hash_block_size 的边界情况，作者承认存在缓存别名，但认为这是权衡，因为缓存所有内容会破坏 Mamba 效率。

• 测试量过大 (testing): 作者移除了测试驱动开发阶段的冗余测试，仅保留关键用例。
• tail_boundary 边界条件 (correctness): 作者解释这会退化为标志关闭的行为，不会崩溃。
• 新参数文档 (documentation): 作者补充了文档变更，添加了“混合 Mamba 模型”部分。
• 滑动窗口影响 (correctness): 作者引用测试用例验证了 SWA+EAGLE 和 SWA+非 EAGLE 场景。
• 测试 stub 架构 (design): 作者解释扩展现有工具以支持多组和 mamba 配置会显著增加 PR 规模，因此保持简单。

风险与影响

• 风险：
  1. 调度器-管理器同步风险：mamba_fine_grained_prefix_cache 标志作为单一谓词，确保调度器不会在管理器拒绝的位置停止。如果任一方条件不同步，可能导致多余的前向传递或缓存丢失。通过在 KVCacheManager 中计算并传播该标志来缓解。
  2. EAGLE 边界条件风险：当 tail_boundary 等于 hash_block_size 时，向下移动一个单元会得到 0，行为与标志关闭相同。测试覆盖了这种退化情况。
  3. 多模块 MTP 排除风险：当存在多模块 MTP 时，cache_blocks 接收 num_computed - num_reprefillable 而非块结束位置，导致发布位置不正确。通过 num_reprefillable_tokens == 0 条件排除。
  4. 回归风险：对 test_hybrid_local_kv_retention_mtp_reuses_latest_boundary 的调整改变了边界计算，可能影响其他使用相同测试路径的代码。通过变异测试和 CI 基线比较验证。
  5. 性能影响：每请求节省 block - hash_unit token 的未缓存前缀，在 ATHENA 工作负载上吞吐量提升最高 1.63 倍。默认关闭，不影响现有用户。
• 影响：
  1. 用户影响：对于使用 Mamba 模型、EAGLE 投机解码和 --mamba-cache-mode align 的用户，启用 --enable-mamba-fine-grained-prefix-cache 可以显著减少未缓存前缀，降低 TTFT 并提高吞吐量。影响范围限于启用了该标志的部署。
  2. 系统影响：变更涉及调度器、缓存协调器和缓存管理器的核心逻辑，但通过默认关闭和严格的条件门控，确保不影响现有功能。引入的 replay_boundary 参数是关键字参数，向后兼容。
  3. 团队影响：PR 展示了对 EAGLE 与 Mamba 交互的深入理解，为未来的混合模型优化提供了模式。测试策略（使用真实组件、变异测试、参数化扫掠）值得借鉴。
  4. 依赖影响：依赖于 --prefix-match-unit 配置，文档中已说明依赖关系。不影响其他模块。
     - 风险标记：调度器-管理器同步, EAGLE 边界条件, 多模块 MTP 排除, 回归风险

关联脉络

• PR #51295 [Bugfix][Spec Decode] Cache the Mamba state at the block-grid position of EAGLE resume: 本 PR 的第一个提交（Commit 1）来自 PR #51295，由 wzhao18 贡献，覆盖了共享前缀运行到生产者提示末尾的情况。本 PR 在此基础上增加了第二个场景的修复。
• PR #52371 EAGLE + --mamba-cache-mode align prefix-cache defects: 本 PR 修复的问题由 #52371 指出，是该 issue 中两个缺陷的第二个修复。
• PR #55808 [ROCm][Perf] Remove AITER paged-MQA outputs guard for DeepSeek-V4: 同属性能优化和内核调整的近期 PR，但模块不同，关注点在 ROCm 平台。