3. 缓存管理核心概念
在 Broadcom 交换芯片（如 Trident、Tomahawk 系列）中，缓存管理并不是“把整个包塞进一块内存”这么简单。芯片内部采用信元（Cell）与包描述符（Packet Descriptor，PD）分离的存储模型：数据面把包切分成固定长度的信元存入共享缓存（Shared Buffer / MMU Buffer），控制面则为每个包维护一个包描述符，记录该包的首信元指针、信元数量、入端口、优先级、目的端口位图等元数据。理解这两者的分工，是理解后续阈值、丢弃与反压机制的前提。
信元与包描述符：数据与控制分离
信元是缓存分配的最小物理单位。以典型配置为例，信元大小常为 208 字节（含内部开销），一个 1500 字节的以太网帧会被切成约 8 个信元。信元本身只承载净荷数据，不携带转发决策信息。包描述符则是逻辑对象，通常占用几十字节，存放在独立的描述符内存中，它指向该包占用的信元链表（Linked List）。这种分离带来两个直接好处：一是缓存可以按信元粒度被不同端口、不同队列灵活共享，避免按整包分配造成的内部碎片；二是描述符可以独立于数据被快速读取和修改，便于实现多播复制、丢弃决策和计数统计。
需要特别注意的是，缓存占用统计通常以信元为单位，而不是以包为单位。当我们在 CLI 中看到某队列的 “buffer usage” 时，它反映的是该队列当前占用的信元总数。一个包即使只有 64 字节，也会占用至少 1 个信元；因此小包场景下，信元开销占比会显著上升，这也是小包线速转发时缓存压力更大的原因之一。
入队与出队流程
入队（Enqueue）发生在包进入芯片并完成解析、查表之后。典型流程是：入端口 MAC 接收帧 → 解析并查表得到出端口与优先级 → 按信元切分写入共享缓存 → 分配包描述符并挂入对应出队列（或组队列）→ 更新队列深度与端口/队列计数。此时包并未真正发出，只是“排队等待”。
出队（Dequeue）由调度器驱动：调度器根据队列优先级、权重、整形参数选择下一个待发送队列 → 从该队列取出包描述符 → 按描述符中的信元链表从共享缓存读取数据 → 重组为完整帧 → 经出端口 MAC 发送 → 释放信元与描述符，并递减相应计数。入队与出队共同构成缓存的“占用—释放”循环，任何一侧出现瓶颈，都会导致队列深度上升，进而触发阈值判断。
缓存分配粒度
缓存分配粒度决定了“以什么单位向队列或端口记账”。Broadcom 芯片通常支持多种粒度视图：端口级（整个端口共享一个缓存池）、队列级（每个 UC/MC 队列独立计数）、服务池级（Service Pool，把多个队列归入一个池统一管理）。粒度越细，隔离性越好，但管理开销和配置复杂度也越高。工程上常见的做法是：对时延敏感的队列使用队列级阈值，对普通数据流使用端口级或服务池级阈值，从而在隔离性与缓存利用率之间取得平衡。
需要区分“分配粒度”与“信元大小”：信元大小是物理切分单位，分配粒度是逻辑记账单位。一个队列可能占用 500 个信元，但它的阈值是按“该队列可占用的最大信元数”来设定的，而不是按包数。配置时若把阈值误写成包数，会导致实际缓存占用远超预期。
阈值与动态阈值
静态阈值（Static Threshold）为每个队列或端口设定固定的最大信元数，例如 q_threshold = 2000 cells。它的优点是行为可预测，缺点是当缓存整体空闲时无法被充分利用，当多个队列同时突发时又容易过早丢弃。
动态阈值（Dynamic Threshold，DT）则根据当前空闲缓存总量动态计算每个队列的上限。一个常见的简化模型是：threshold_i = α × (free_buffer) + β，其中 α 为动态系数，β 为固定保底值。当空闲缓存多时，每个队列允许占用更多；当空闲缓存少时，阈值自动收紧，从而在拥塞时把缓存留给更需要保护的队列。Broadcom 的 MMU 配置中通常通过 alpha、beta 以及 reserved 等参数来调节这一行为。
peak 与 drop 计数。丢弃与反压的基本机制
当入队请求导致队列占用超过阈值时，芯片必须做出反应，基本手段有两类：丢弃（Drop）和反压（Backpressure / Pause）。
丢弃发生在缓存侧：尾丢弃（Tail Drop）直接丢弃超出阈值的包；WRED（Weighted Random Early Detection）在接近阈值时按概率随机丢弃，提前通知发送端降速，避免全局同步。丢弃的粒度可以是整包，也可以是“丢弃该包剩余信元”，具体取决于芯片实现。
反压发生在链路侧：当端口或队列达到反压阈值时，芯片生成 PAUSE 帧（或 PFC Priority Flow Control 帧）发往对端，要求对端暂停发送。反压阈值通常低于丢弃阈值，目的是在缓存真正耗尽之前先“踩刹车”。如果反压不及时或对端不响应，缓存继续被填满，最终只能丢弃。
一个可参考的配置检查清单
在实际调试中，可以按以下顺序核对缓存管理相关参数，避免遗漏关键项：
| 检查项 | 典型关注点 | 观察命令/计数示例 |
|---|---|---|
| 信元大小与切分 | 确认 cell size 与包长换算关系 | 查看 MMU cell 配置 |
| 包描述符分配 | PD 是否耗尽、是否影响入队 | PD usage / free count |
| 队列深度 | 各 UC/MC 队列当前占用信元数 | queue buffer usage |
| 静态阈值 | 每队列/端口上限是否合理 | q_threshold / port limit |
| 动态阈值 | alpha、beta、reserved 是否匹配业务 | DT 参数与 peak 对比 |
| 丢弃计数 | 尾丢弃与 WRED 丢弃是否异常增长 | drop counters |
| 反压计数 | PAUSE/PFC 发送与接收是否频繁 | pause tx/rx counters |
把上述概念串起来看：包被切成信元存入共享缓存，包描述符记录归属与去向；入队把 PD 挂入队列并增加计数，出队由调度器取出并释放资源；分配粒度决定记账单位，阈值决定何时干预，动态阈值让干预随空闲缓存浮动，丢弃与反压则是两种不同层面的干预手段。理解这条链路，后续分析具体拥塞场景时才能快速定位是“阈值设置问题”“反压不及时”还是“缓存被单一队列耗尽”。