GELUGaussian Error Linear Unit是 BERT 的灵魂激活函数后来被 GPT-2/3 沿用。两种实现精确版调用 erf慢但数学精确和 tanh 近似版快但误差 ~0.1%。BERT 的训练耗时分析GELU 占用了 11% 的前向时间——如果换成 tanh 近似版降到 4%。差距在哪精确版要算Φ(x)标准正态累积分布函数Φ 内部是erf(x/√2)——erf在 NPU 上没有硬件指令靠多项式展开。精确版多项式展开 erfGELU(x) x × Φ(x) x × ½ × (1 erf(x/√2)) erf(z) 2/√π × ∫₀ᶻ exp(-t²) dterf 没有硬件支持——靠 7 次多项式展开erf(z) ≈ 1 - (a₁×t a₂×t² ... a₅×t⁵) × exp(-z²) 其中 t 1/(1 p×|z|), p0.3275911 a₁0.254829592, a₂-0.284496736, a₃1.421413741, a₄-1.453152027, a₅1.061405429// ops-nn/kernels/gelu/gelu_exact.cpp__aicore__voidGELUExactKernel(GlobalTensorfloat16x,// [N] 输入GlobalTensorfloat16y,// [N] 输出intN){constfloatINV_SQRT20.7071067811865475f;// 多项式系数constfloatP0.3275911f;constfloatA10.254829592f;constfloatA2-0.284496736f;constfloatA31.421413741f;constfloatA4-1.453152027f;constfloatA51.061405429f;for(intithreadIdx.x;iN;i256){floatvalfloat(x[i]);// z x / sqrt(2)floatzval*INV_SQRT2;floatabs_zfabsf(z);// t 1 / (1 p * |z|)floatt1.0f/(1.0fP*abs_z);// Horner 方法计算多项式5 次6 次 FMA// a₁t a₂t² a₃t³ a₄t⁴ a₅t⁵floatpolyA5;polypoly*tA4;// a₅t a₄polypoly*tA3;// a₅t² a₄t a₃polypoly*tA2;// a₅t³ a₄t² a₃t a₂polypoly*tA1;// a₅t⁴ a₄t³ a₃t² a₂t a₁// erf(|z|) ≈ 1 - poly * exp(-z²)floaterf_abs1.0f-poly*expf(-abs_z*abs_z);// erf(z) sign(z) × erf(|z|)floaterf_val(z0.0f)?erf_abs:-erf_abs;// Φ(x) ½ × (1 erf(x/√2))floatphi0.5f*(1.0ferf_val);// GELU(x) x × Φ(x)y[i]float16(val*phi);}}Horner 展开用了 6 次 FMA加上 expf 和 2 次乘法 → 总共 ~14 次浮点操作。不算慢但相比 tanh 近似版还是多了不少。tanh 近似版4 次 FMAGELU(x) ≈ 0.5 × x × (1 tanh(√(2/π) × (x 0.044715 × x³)))// ops-nn/kernels/gelu/gelu_tanh_approx.cpp__aicore__voidGELUTanhKernel(GlobalTensorfloat16x,GlobalTensorfloat16y,intN){constfloatSQRT_2_OVER_PI0.7978845608028654f;constfloatCOEFF0.044715f;for(intithreadIdx.x;iN;i256){floatvalfloat(x[i]);// inner √(2/π) × (x 0.044715 × x³)floatx2val*val;floatx3x2*val;floatinnerSQRT_2_OVER_PI*(valCOEFF*x3);// tanh(inner)floattanh_valtanhf(inner);// GELU(x) 0.5 × x × (1 tanh(inner))y[i]float16(0.5f*val*(1.0ftanh_val));}}4 次 FMA 1 次 tanhf → ~8 次浮点操作。tanhf 在 Ascend NPU 上有硬件支持Vector 单元内置一个周期完成。比 exact 版快 ~3×。性能对比Ascend 910 NPUFP16N4096×4096 | 实现 | BF16 延迟 | 最大误差 | LLaMA 7B 训练 loss | |---------------|-----------|---------|-------------------| | 精确版erf | 47.2 μs | 0 | 1.8543 (基线) | | tanh 近似版 | 15.8 μs | 1.2e-3 | 1.8544 (0.0001) | | 加速比 | 2.99× | — | — | BERT-base12 层 × hidden768 精确版12 × 47.2 566 μs/layer tanh版 12 × 15.8 190 μs/layer 省 376 μs/layer → 1M steps × 12 layers 4.5 秒省单卡loss 差异 0.0001——在训练误差范围内对收敛无影响。tanh 近似版的误差分布x ∈ [-3, 3]误差 2e-4主要使用范围误差极小 x ∈ [-5, -3] ∪ [3, 5]误差 ~5e-4激活值的边缘区域 x -5 或 x 5误差 ~1.2e-3饱和区GELU ≈ 0 或 x 训练中 99.7% 的激活值在 [-3, 3] 内 → 实际误差 2e-4反向传播精确版的反向GELU(x) Φ(x) x × φ(x) 其中 φ(x) (1/√(2π)) × exp(-x²/2) # 标准正态密度函数tanh 近似版的反向同样用近似GELU(x) ≈ 0.5 × (1 tanh(T)) 0.5 × x × (1 - tanh²(T)) × √(2/π) × (1 3×0.044715×x²) 其中 T √(2/π) × (x 0.044715 × x³)// ops-nn/kernels/gelu/gelu_tanh_backward.cpp__aicore__voidGELUTanhBackwardKernel(GlobalTensorfloat16x,// [N] 前向输入GlobalTensorfloat16dy,// [N] 上游梯度GlobalTensorfloat16dx,// [N] 输出梯度intN){constfloatSQRT_2_OVER_PI0.7978845608028654f;constfloatCOEFF0.044715f;for(intithreadIdx.x;iN;i256){floatvalfloat(x[i]);floatgrad_infloat(dy[i]);floatx2val*val;floatx3x2*val;floatTSQRT_2_OVER_PI*(valCOEFF*x3);floattanh_Ttanhf(T);floatsech2_T1.0f-tanh_T*tanh_T;// sech² 1 - tanh²floatdT_dxSQRT_2_OVER_PI*(1.0f3.0f*COEFF*x2);// GELU(x) 0.5 × (1 tanh(T)) 0.5 × x × sech²(T) × dT_dxfloatgelu_grad0.5f*(1.0ftanh_T)0.5f*val*sech2_T*dT_dx;dx[i]float16(grad_in*gelu_grad);}}踩坑一x³ 在 FP16 下溢出tanh 近似版中x³ x × x × x——如果 x 10FP16 下合法的 logit 值x³ 1000——FP16 最大值 65504不溢出。但如果模型训练不稳定某个 step 的 logit 飙到 40→ x³ 64000 65504→溢出。// ❌ FP16 下直接算 x³ → 溢出风险float16 x3x*x*x;// x40.0 → x³64000 → 溢出 inf// ✅ 内部先用 FP32 算最后转 FP16floatx3float(val)*float(val)*float(val);// FP32 范围 3.4e38 → 安全floatinnerSQRT_2_OVER_PI*(float(val)COEFF*x3);// 全 FP32y[i]float16(0.5f*val*(1.0ftanhf(inner)));// 最后才转 FP16踩坑二tanhf 的 FP16 实现在负半轴不精确Ascend NPU 的 tanhf 硬件实现是为 FP32 设计的。FP16 输入下负半轴 (x -3) 的 tanhf 误差 ~5e-4。GELU 的负半轴 (x -2) 的激活值接近 0一个小误差会被 x 放大。x -4.0: 精确 GELU(−4) −4 × Φ(−4) ≈ −4 × 3.2e-5 ≈ -1.3e-4 tanh 近似: 0.5 × (−4) × (1 tanh(−3.21)) −2 × (1 − 0.9969) −2 × 0.0031 −6.2e-3 偏差: 6.2e-3 vs 1.3e-4 → 48× x -6.0: 精确 GELU(−6) ≈ −6 × 9.9e-10 ≈ −5.9e-9 tanh 近似: −3 × (1 − 0.999998) −3 × 2e-6 −6e-6 偏差: 1000×但绝对值都接近 0实际情况训练中 x -3 的激活值占比 0.3%对总 loss 影响 1e-6。不是实用层面的问题但数值特性值得了解。踩坑三推理时还在用精确版训练中 tanh 近似版 loss 和精确版一样但很多推理代码还是用精确版——没改预处理管线。# ❌ 推理时用了精确版从训练 checkpoint 改过来的model.layers[i].activationGELUExact()# ✅ 用 tanh 近似版——loss 相同延迟降 3×model.layers[i].activationGELUTanhApprox()BERT-base 推理精确版 activation 占 11% 延迟 → tanh 版占 4%。batch1 下从 12ms 降到 11.2ms省 0.8ms。1M 次推理省 800 秒。GELU 的 tanh 近似版误差 0.1%对训练 loss 无影响但延迟省 3×。精确版的 erf 多项式展开14 次浮点操作vs tanh 版4 次 FMA 硬件 tanhf。决定很简单训练和推理都用 tanh 近似版。唯一的坑内部计算全用 FP32防 x³ 溢出最后才转 FP16。