← 返回 2026-03-19

专家阈值路由:动态计算分配和负载平衡的自回归语言建模 Expert Threshold Routing for Autoregressive Language Modeling with Dynamic Computation Allocation and Load Balancing

Hanchi Sun, Yixin Liu, Yonghui Wu, Lichao Sun 📅 2026-03-12 👍 10 2026-07-13 08:36
MoE 动态计算 混合专家模型 自回归语言建模 路由机制

提出专家阈值路由方法,在保持因果性的同时实现MoE的动态计算分配和负载平衡

前置知识

Mixture of Experts (MoE)

混合专家架构是一种通过稀疏激活来扩展模型参数容量的技术。它将前馈网络替换为一组专家网络和一个路由器。对于每个token,路由器选择一小部分专家(比如从16个专家中选1-2个)来处理这个token。由于只激活部分专家,计算复杂度基本保持不变,但总参数量可以大幅增加。这在语言模型中特别有用,可以在不显著增加推理成本的情况下扩展模型容量。常见的MoE实现包括Token Choice(每个token选择固定的G个专家)和Expert Choice(每个专家选择固定的k个token)两种路由策略。

本文提出的Expert Threshold路由是MoE架构的改进方案,需要先理解MoE的基本概念、稀疏激活机制、以及两种主流路由策略的优缺点,才能理解ET的创新点和解决的问题。

Token Choice vs Expert Choice路由

Token Choice (TC)路由:每个token独立地从所有专家中选择top-G个。这种方法的优点是每个token的计算量固定,但缺点是会导致负载不平衡(某些专家被过度使用,某些专家很少被激活),通常需要辅助损失函数来强制负载平衡。Expert Choice (EC)路由:改变视角,让每个专家从批次中选择top-k个token。这种方法的优点是天然实现完美负载平衡(每个专家正好处理k个token),并且支持动态计算(困难的token可能被多个专家选择,简单的token可能不被任何专家选择)。但致命缺点是违反因果性:选择top-k需要与所有token的分数进行比较,包括未来位置的token,这对自回归生成是不可接受的。

理解TC和EC的区别是理解本文创新的基础。ET的目标是结合EC的动态计算和负载平衡优点,同时保持像TC一样的因果性,这使得自回归生成成为可能。

因果性 (Causality) 在自回归生成中

自回归语言模型(如GPT)在生成时是逐个token进行的,生成第t个token时只能访问前t-1个已生成的token,而不能访问未来的token。这种约束称为因果性。如果一个路由机制在决策时需要知道未来token的信息(比如批次级的top-k选择),那么在推理时就无法执行,因为没有未来token可供比较。这会导致训练和推理之间的不匹配(train-inference mismatch),严重影响模型性能。保持因果性意味着任何时刻的路由决策只能依赖于当前和历史的信息,而不能peek到未来。

EC路由的主要缺陷就是违反了因果性,ET的核心创新就是通过阈值机制恢复因果性,因此理解因果性约束对于理解ET的重要性至关重要。

指数移动平均 (EMA)

指数移动平均是一种时间序列平滑技术,用于估计序列的长期趋势。给定一系列观测值 $x_1, x_2, ..., x_t$,EMA按照 $c_t = \beta c_{t-1} + (1-\beta)x_t$ 更新,其中 $\beta$ 是衰减系数(如0.999)。EMA给历史数据更大的权重,近期数据也有但权重逐渐衰减。与简单平均相比,EMA的优点是计算效率高(只需要维护一个状态)、对异常值更鲁棒、能够平滑噪声同时跟踪趋势变化。在深度学习中,EMA常用于BatchNorm的running statistics、优化器的动量等场景。

ET的核心机制是使用EMA来维护每个专家的选择阈值。理解EMA的工作原理和特性(平滑性、衰减速度、有效样本量 $1/(1-\beta)$)对于理解ET如何稳定地估计population-level阈值至关重要。

研究动机

现有的混合专家模型路由机制存在根本性缺陷。Token Choice (TC)路由强制每个token激活固定数量的专家(通常是G=1),这限制了动态计算分配——无论token简单还是困难,都获得相同的计算资源。更重要的是,TC需要辅助损失函数来维持负载平衡,因为路由器倾向于坍塌到少数几个专家,导致专家利用率极不均匀。这种辅助损失会干扰路由器的学习,可能损害模型质量。Expert Choice (EC)路由通过让每个专家选择top-k token解决了这些问题:它天然实现完美负载平衡,并且支持动态计算(困难的token可能被多个专家选择,简单的token可能不被任何专家选择)。但EC存在致命的因果性问题:选择top-k需要比较批次中所有token的分数,包括未来位置的token。在自回归生成中,未来token在推理时根本不存在,这使得EC无法用于训练自回归语言模型。

本文的目标是本文的目标是设计一种新的MoE路由机制,同时满足三个核心需求:1) 支持动态计算分配,让模型能够根据token的难度自适应分配计算资源;2) 在期望意义上实现负载平衡,避免专家坍塌,无需辅助损失;3) 保持完全因果性,使得训练和推理都适用于自回归语言模型。此外,该方法应该实用,不依赖于超大批次协调,避免隐私和安全问题。

与已有工作不同的是,本文的独特切入角度是放松TC和EC所施加的强约束。TC固定了每个token的稀疏性(必须选G个专家),EC固定了每个批次的负载平衡(每批每个专家正好处理k个token)。作者认为这些强约束并非必要:为了避免路由坍塌,渐进意义上的负载平衡就足够了。因此ET提出了一个更松弛的约束:只要求负载在期望上达到目标激活率(每批平均1/E的token路由到每个专家),而不是严格平衡每个批次。这个松弛使得可以用全局分布的阈值估计替代批次内top-k选择,从而恢复因果性。这是一个从批次级统计到种群级统计的关键转变。

核心方法

Expert Threshold (ET)路由的核心思想是用每个专家的阈值来替代EC的批次内top-k选择。每个专家维护一个指数移动平均(EMA)阈值 $c_i$,该阈值从该专家的全局token分数分布估计得到。在训练和推理时,每个token独立地与每个专家的阈值比较:如果token $t$ 对专家 $i$ 的路由分数 $r_{t,i}$ 超过阈值 $c_i$,则路由到该专家,否则不路由。决策公式为 $z_{t,i} = \mathbb{1}\{r_{t,i} > c_i\}$。由于决策只依赖于token自身的分数和全局阈值,不依赖于批次中的其他token,这实现了完全因果性。阈值 $c_i$ 通过EMA从历史的批次统计中学习:每批处理后,更新 $c_i \leftarrow \beta c_i + (1-\beta) \cdot c_i^{(batch)}$,其中 $c_i^{(batch)}$ 是该批次中该专家的第 $k$ 大分数($k = N/E$ 是目标容量)。随着训练进行,EMA阈值收敛到专家分数分布的 $1-1/E$ 分位数,使得在期望上每批有 $1/E$ 的token路由到该专家。

ET的核心创新点在于将路由从批次内优化转变为种群级估计。EC需要在每个批次内进行top-k选择,这需要访问该批次的所有token,违反因果性。ET认识到,如果批次足够大,EC的top-k阈值会收敛到全局分布的 $1-1/E$ 分位数。因此,ET直接用EMA估计这个全局分位数,然后用阈值测试替代top-k比较。关键洞察是:top-k选择本质上等价于用一个分位数阈值来筛选token,但这个阈值可以从历史统计中学习,而不需要从当前批次计算。这使得ET可以在训练和推理时使用相同的阈值机制,实现完全因果性,同时在期望上保持负载平衡。另一个关键点是ET放松了批次级的严格负载平衡,接受小范围的负载波动,换取稳定的阈值和因果一致性。

方法步骤详情

ET路由的完整工作流程如下。输入:路由logits矩阵 $r \in \mathbb{R}^{N \times GE}$(N个token,GE个专家),当前EMA阈值 $\{c_i\}_{i=1}^{GE}$,EMA衰减率 $\beta$(默认0.999),目标选择大小 $k = N/E$。对于每个专家 $i = 1, \dots, GE$:1) 路由阶段:对所有token $t = 1, \dots, N$,计算 $z_{t,i} = \mathbb{1}\{r_{t,i} > c_i\}$,即token分数超过阈值则激活该专家。2) 如果是训练阶段:找到该批次第 $k$ 大的分数 $c_i^{(batch)} = k\text{-th-largest}(\{r_{t,i}\}_{t=1}^N)$,然后更新EMA阈值 $c_i \leftarrow \beta c_i + (1-\beta) \cdot c_i^{(batch)}$。输出:二值路由矩阵 $z \in \{0,1\}^{N \times GE}$。在实际实现中,作者发现训练初期阈值不稳定会导致专家饥饿(大部分token都无法超过阈值),因此采用warmup策略:前4000步使用标准的EC路由,让阈值EMA积累稳定的统计,然后切换到ET路由。这种warmup显著改善了训练稳定性。

技术新颖性

ET的技术新颖性体现在三个方面。第一,从批次级统计到种群级统计的转变。传统路由方法(TC和EC)都在批次内做决策,而ET使用跨批次的EMA统计,这是一个更广泛的设计范式转变,类似于从Batch Normalization到Moving Average的转变。第二,ET完全消除了辅助损失。TC需要辅助损失来平衡负载,但ET通过阈值机制在期望上自然实现平衡,无需任何额外损失项。这不仅简化了训练,也避免了辅助损失对路由器学习的潜在干扰。第三,ET提供了EC的因果推理方案。作者证明,用ET的阈值可以替代EC的top-k进行推理,而无需重新训练。实验表明,当EC用大批次(如512k tokens)训练时,用ET推理能达到与训练时几乎相同的性能。这使得EC模型可以用于自回归生成,解决了EC的因果性问题。此外,ET不依赖于超大批次协调,避免了隐私和安全问题,使得它更适合生产环境。

Illustration of TC, EC, and ET routing mechanisms and their routing pools.
Figure 2: Illustration of TC, EC, and ET routing mechanisms and their routing pools.
Cutoff stability vs expert usage tradeoff.
Figure 3: Cutoff stability vs expert usage tradeoff.
Effect of TopK warmup on ET training dynamics (first 8k steps).
Figure 10: Effect of TopK warmup on ET training dynamics (first 8k steps).

实验结果

主要实验结果来自在FineWeb-Edu数据集上的预训练,验证了ET相对于TC和EC的优势。d12模型(575M总参数,195M活跃参数)在10B tokens上训练:ET达到CE loss 2.844,CORE Eval 19.876,明显优于TC的2.893/17.983和TC aux的2.892/15.894。EC在小批次(2k, 8k)上表现较差,但大批次(64k, 512k)接近ET:CE loss 2.841-2.843,CORE 18.754-19.94。关键发现是ET相对于TC的CE loss提升为0.05(d12)和0.067(d20),这相当于达到相同性能可以用1.6倍少的tokens训练。ET的负载平衡接近完美,原始专家使用率稳定在约6.5%(理论目标1/16=6.25%)。阈值EMA非常稳定,而EC的阈值每批波动很大。动态计算分析显示,ET给早期token和困难token分配更多计算,但比EC更平滑,避免了EC在第一个token上的剧烈峰值(fanout约10 vs 约2)。专家专业化分析表明,ET在代码和数学任务上都实现了清晰的专业化模式,某些专家专门处理特定领域的token。路由一致性分析显示,ET在不同检查点间的加权Jaccard相似度(0.66-0.74)明显高于EC 2k(0.45-0.62),接近EC 64k的水平,证明ET的路由决策非常稳定。

Main results comparing Expert Choice (EC), Token Choice (TC), and Expert Threshold (ET) routing.
Table 1: Main results comparing Expert Choice (EC), Token Choice (TC), and Expert Threshold (ET) routing.
d20 results.
Table 2: d20 results.
evaluation loss for Dense, TC, and ET. Compared to TC, ET achieves a 0.067 final loss gap (TC vs ET), or equivalently reaching same performance level with 1.6x few tokens.
Figure 1: evaluation loss for Dense, TC, and ET. Compared to TC, ET achieves a 0.067 final loss gap (TC vs ET), or equivalently reaching same performance level with 1.6x few tokens.
Expert specialization analysis.
Figure 4: Expert specialization analysis.
Activation dynamics for EC (2k) and ET.
Figure 5: Activation dynamics for EC (2k) and ET.
EC performance across routing batch sizes.
Figure 6: EC performance across routing batch sizes.
Within-family checkpoint-pair routing consistency on a fixed validation stream, measured by weighted Jaccard.
Figure 8: Within-family checkpoint-pair routing consistency on a fixed validation stream, measured by weighted Jaccard.
Layer-1 cutoff-EMA (expert 0) under EC/ET vs DeepSeek loss-free load balancing.
Figure 11: Layer-1 cutoff-EMA (expert 0) under EC/ET vs DeepSeek loss-free load balancing.
Expert activation heatmaps across routing configurations.
Figure 22: Expert activation heatmaps across routing configurations.
查看结构化数据
任务指标本文基线提升
预训练CE loss (d12) 交叉熵损失 (越低越好) 2.844 TC aux: 2.892 -0.048
预训练CE loss (d20) 交叉熵损失 (越低越好) 2.620 TC aux: 2.687 -0.067
CORE Eval (d12) CORE评分 (越高越好) 19.876 TC aux: 15.894 +3.982
CORE Eval (d20) CORE评分 (越高越好) 25.14 TC aux: 22.31 +2.83
计算效率 达到相同性能所需tokens 1x TC: 1.6x 节省37.5%计算量

局限与改进

作者承认了一些局限性。首先,训练初期的阈值不稳定需要warmup策略,增加了超参数调优的复杂性。Figure 10显示没有warmup时,ET的专家使用率低、饥饿率高,训练不稳定。其次,由于没有批次级的严格负载平衡,ET每批的专家使用率会有波动,可能触发容量限制(capacity factor C=0.5),导致某些token被丢弃或专家被填充。Figure 13显示饱和率和饥饿率虽然在warmup后保持在低水平(小于2%),但仍然存在,这可能导致轻微的训练-推理不匹配。第三,论文主要在相对较小的模型(2.4B参数)上验证,是否能扩展到千亿参数规模有待验证。第四,ET的有效性依赖于高质量的阈值估计,如果数据分布发生剧烈变化(比如域迁移),可能需要重新调整阈值。我观察到的额外局限是:ET的动态计算能力虽然比TC更强,但比EC略弱,因为EC在极大批次下能实现更精细的计算分配;ET的EMA机制需要一定步数(约1000步)才能收敛,这可能在训练初期引入偏差;ET的批间负载波动可能在某些分布式训练场景下带来通信开销的效率问题。

独立分析的弱点

独立分析来看,ET存在几个可改进的弱点。首先,EMA阈值使用固定衰减率beta=0.999,这在训练全程不变。但实际上,训练初期需要快速适应(因为分布变化快),训练后期需要平滑(分布稳定)。自适应的beta调度可能更好:初期用较小beta(快速学习),后期用较大beta(平滑)。其次,ET对所有专家使用相同的beta,但不同专家的分数分布变化速度可能不同。专家专用的beta_i可能更好。第三,ET的warmup策略是hard switch(4000步后突然从EC切换到ET),这可能导致突然的梯度变化。渐进式过渡(比如用线性插值混合EC和ET的输出)可能更平滑。第四,ET的阈值估计基于分数的第k大值,这是对1-1/E分位数的经验估计,可能有偏差。更精确的分位数估计(如使用quantile regression或更鲁棒的统计量)可能改善性能。第五,论文只考虑了简单阈值测试1{r_{t,i} > c_i},但可以扩展到软阈值或概率路由,比如sigma((r_{t,i} - c_i)/tau),这可能在保持因果性的同时提供更细粒度的控制。

未来方向

作者提出的未来工作方向包括:将ET扩展到更大规模的模型(如百亿参数)验证可扩展性;探索ET在其他模态(视觉、多模态)中的应用;研究与其他MoE技术的结合(如zero-computation experts、hierarchical MoE)。基于论文成果,可以延伸以下方向:1) 自适应阈值机制:学习beta衰减率或使用更复杂的统计估计(如Kalman滤波、贝叶斯更新)来动态调整阈值;2) 多粒度阈值:除了专家级阈值,可以加入层级的、token类型的(如POS tag)阈值,实现更细粒度的控制;3) 阈值正则化:在阈值EMA上加入正则化项,防止极端值,改善稳定性;4) ET的变体:如ET-P(top-p style的cumulative mass threshold)、ET-Adaptive(根据任务难度动态调整阈值);5) 理论分析:深入分析ET的收敛性质、与EC的理论差距、最优beta的选择等;6) 实际部署:研究ET在分布式训练中的通信效率、在流式推理中的性能表现、以及在多租户环境下的隐私保护。

复现评估

论文的可复现性评估:代码将在GitHub开源(根据Acknowledgment),这提供了很好的基础。作者详细报告了模型架构、训练超参数、数据集和评估指标。硬件使用8x NVIDIA B200 GPUs(每卡180GB内存),这是一个相对高端的配置,可能对复现者有门槛。训练d20模型需要11.2B tokens,这在时间和资源上是可观的挑战。论文包含了丰富的消融实验,提供了完整的附录,这有助于理解和复现。然而,一些细节可能仍有模糊:比如warmup的具体实现(是前4k步用EC,还是混合使用)、EMA初始化(阈值初始值是什么)、capacity factor的具体实现细节。总体来说,如果论文开源代码,复现难度中等偏上,主要挑战是硬件资源和训练时间。研究者可以先用较小的模型和更少的tokens进行验证性复现。