第1章:Transformer核心揭秘 (The Transformer Architecture)#

“Attention is all you need.” - Vaswani et al., 2017

重要提示:本章是全书中唯一详细讲解Transformer架构的章节。后续章节将直接引用本章内容,不再重复讲解核心机制。

本章将带你深入Transformer的每一个核心组件,从数学原理到代码实现,从直觉理解到工程优化。掌握了这些,你就掌握了现代大语言模型的基石。


目录#


本章概览

在第一部分,我们学会了如何使用LLM,也理解了分词和嵌入这两个基础步骤。现在,是时候打开"黑盒",看看Transformer这个强大架构内部到底是如何工作的。

这一章,我们将从零开始拆解Transformer的每一个核心组件,不仅理解它们的设计原理,还会动手实现关键模块。读完本章,你将能够:

✅ 理解自注意力机制的数学本质与Q、K、V的深层含义 ✅ 掌握位置编码的多种方案(正弦余弦、RoPE、ALiBi) ✅ 区分MHA、GQA、MQA等注意力变体及其性能权衡 ✅ 从零实现一个完整的Transformer层(含代码) ✅ 深入理解残差连接、层归一化等关键技巧

难度级别:⭐⭐(进阶)- 需要一定的线性代数和PyTorch基础


一、宏观蓝图:编码器-解码器架构#

在深入细节之前,先从宏观层面理解Transformer的整体架构。

原始Transformer:翻译机器的设计#

Transformer最初是为机器翻译任务设计的(论文标题:Attention is All You Need)。想象一个翻译系统:

输入(法语):"Je t'aime"
输出(英语):"I love you"

这个过程需要两个能力:

  1. 理解输入(法语句子的含义)
  2. 生成输出(英语句子)

Transformer用两个模块分别处理这两个能力:

┌─────────────────────────────────────────────────┐
│               Transformer架构                    │
├─────────────────────────────────────────────────┤
│                                                 │
│  输入: "Je t'aime"                              │
│      ↓                                          │
│  ┌──────────────┐                               │
│  │   编码器     │  ← 理解输入,提取语义          │
│  │  (Encoder)   │                               │
│  └──────────────┘                               │
│      ↓                                          │
│  [语义表示向量]                                 │
│      ↓                                          │
│  ┌──────────────┐                               │
│  │   解码器     │  ← 基于语义,生成翻译          │
│  │  (Decoder)   │                               │
│  └──────────────┘                               │
│      ↓                                          │
│  输出: "I love you"                              │
└─────────────────────────────────────────────────┘

1. 编码器(Encoder):理解输入#

核心任务:将输入序列转换为连续的语义表示。

结构

输入嵌入 → 位置编码
┌──────────────────┐
│ 编码器层 × N     │  (通常N=6或12)
│                  │
│  ┌────────────┐  │
│  │ 自注意力   │  │  ← 捕获全局依赖
│  └────────────┘  │
│       ↓          │
│  ┌────────────┐  │
│  │ 前馈网络   │  │  ← 非线性变换
│  └────────────┘  │
└──────────────────┘
输出:每个位置的语义向量

关键特点

  • 双向注意力:每个位置可以看到所有其他位置
  • 并行计算:所有位置同时处理,不像RNN需要逐步计算
  • 层堆叠:每一层提炼更高级的语义特征

数学表示

输入序列 $X = [x_1, x_2, …, x_n]$,经过编码器后得到:

$$ H = \text{Encoder}(X) = [h_1, h_2, …, h_n] $$

其中每个 $h_i \in \mathbb{R}^{d_{model}}$ 是位置 $i$ 的语义表示向量。


2. 解码器(Decoder):生成输出#

核心任务:基于编码器的输出,逐个生成目标序列。

结构

目标嵌入 → 位置编码
┌──────────────────┐
│ 解码器层 × N     │
│                  │
│  ┌────────────┐  │
│  │ 自注意力   │  │  ← 只能看到左边(因果掩码)
│  └────────────┘  │
│       ↓          │
│  ┌────────────┐  │
│  │ 交叉注意力 │  │  ← 关注编码器输出
│  └────────────┘  │
│       ↓          │
│  ┌────────────┐  │
│  │ 前馈网络   │  │
│  └────────────┘  │
└──────────────────┘
输出:预测下一个词的概率分布

关键特点

  • 单向注意力:自注意力部分使用因果掩码,只能看到左边
  • 交叉注意力:通过Cross-Attention连接编码器的输出
  • 自回归生成:逐个生成token,每次依赖前面已生成的内容

3. 信息流动:编码器到解码器#

完整的信息流程:

步骤1: 编码器处理输入
输入: "Je t'aime"
  → 分词: [Je, t', aime]
  → 嵌入: [[e₁], [e₂], [e₃]]
  → 编码器: [[h₁], [h₂], [h₃]]  ← 语义表示

步骤2: 解码器生成输出(自回归)
初始化: [<BOS>]  (Begin of Sequence)

第1步生成:
  输入: [<BOS>]
  查询编码器: [h₁, h₂, h₃]
  预测: "I"

第2步生成:
  输入: [<BOS>, I]
  查询编码器: [h₁, h₂, h₃]
  预测: "love"

第3步生成:
  输入: [<BOS>, I, love]
  查询编码器: [h₁, h₂, h₃]
  预测: "you"

第4步生成:
  输入: [<BOS>, I, love, you]
  查询编码器: [h₁, h₂, h₃]
  预测: <EOS>  ← 结束

最终输出: "I love you"

代码演示(使用预训练的T5模型,它是编码器-解码器架构):

from transformers import T5Tokenizer, T5ForConditionalGeneration
import torch

# 加载T5模型(编码器-解码器架构)
model_name = "t5-small"
tokenizer = T5Tokenizer.from_pretrained(model_name)
model = T5ForConditionalGeneration.from_pretrained(model_name)

# T5使用任务前缀
text = "translate English to German: The house is wonderful."
inputs = tokenizer(text, return_tensors="pt")

print("输入Token IDs:", inputs.input_ids)
print("输入Tokens:", tokenizer.convert_ids_to_tokens(inputs.input_ids[0]))

# 生成翻译
with torch.no_grad():
    outputs = model.generate(
        **inputs,
        max_length=50,
        num_beams=4,  # Beam Search
        early_stopping=True
    )

translated = tokenizer.decode(outputs[0], skip_special_tokens=True)
print("\n翻译结果:", translated)

# 查看模型内部结构
print("\n模型结构:")
print(f"编码器层数: {len(model.encoder.block)}")
print(f"解码器层数: {len(model.decoder.block)}")
print(f"隐藏维度: {model.config.d_model}")
print(f"注意力头数: {model.config.num_heads}")

预期输出

输入Token IDs: tensor([[13959,  1566,    12,  2968,    10,    37,   629,    19,  1627,     5,      1]])
输入Tokens: ['▁translate', '▁English', '▁to', '▁German', ':', '▁The', '▁house', '▁is', '▁wonderful', '.', '</s>']

翻译结果: Das Haus ist wunderbar.

模型结构:
编码器层数: 6
解码器层数: 6
隐藏维度: 512
注意力头数: 8

现代简化:为何只用编码器或解码器?#

虽然原始Transformer是编码器-解码器结构,但现代LLM大多只用其中一种:

架构代表模型适用场景原因
仅编码器BERT, RoBERTa文本理解(分类、NER)双向注意力,理解更全面
仅解码器GPT, LLaMA, Qwen文本生成(对话、写作)自回归生成,参数效率高
编码器-解码器T5, BART翻译、摘要输入输出结构不同的任务

为什么仅解码器主导了LLM?

  1. 扩展性好:参数越大,生成能力越强
  2. 通用性强:一个模型解决所有任务(通过提示词)
  3. 训练高效:只需因果语言模型损失,数据利用率高

2026年现状:主流大模型几乎全部采用Decoder-only架构:

  • OpenAI GPT系列(GPT-3.5/4/4o/o1/o3)
  • Anthropic Claude系列(Claude 3.5 Sonnet/Opus)
  • Meta LLaMA系列(LLaMA 2/3/3.1/3.3)
  • Google Gemini系列(Gemini 1.5/2.0)
  • DeepSeek系列(DeepSeek-V2/V3/R1)
  • 国产模型:Qwen 2.5/QwQ、GLM-4、Yi等

为什么Decoder-only成为主流?核心原因

  1. 架构简洁性:只需因果注意力,训练稳定性更好
  2. 数据效率:每个token都用于预测,数据利用率接近100%(vs Encoder的Mask掉15%)
  3. 扩展性验证:Scaling Laws表明Decoder-only在大参数量下表现最优
  4. 通用性:通过提示工程可完成理解+生成所有任务,无需任务特定架构

我们在第2章会详细对比这些架构的设计差异。本章聚焦核心组件,这些组件在所有架构中都通用。


二、核心组件一:自注意力机制(Self-Attention)#

自注意力是Transformer的灵魂。理解它,就理解了Transformer的80%。

1. 为什么需要自注意力?从一个问题开始#

传统方法的局限:RNN#

在Transformer之前,处理序列的主流方法是循环神经网络(RNN)

输入: "The cat sat on the mat"

RNN处理过程:
t=1: 输入"The"    → 隐状态h₁
t=2: 输入"cat"    → 隐状态h₂  (依赖h₁)
t=3: 输入"sat"    → 隐状态h₃  (依赖h₂)
t=4: 输入"on"     → 隐状态h₄  (依赖h₃)
t=5: 输入"the"    → 隐状态h₅  (依赖h₄)
t=6: 输入"mat"    → 隐状态h₆  (依赖h₅)

问题

  1. 顺序依赖:必须等t=5完成才能计算t=6,无法并行
  2. 长距离遗忘:h₆依赖h₅依赖h₄…信息逐步衰减,“The"对"mat"的影响很弱
  3. 计算瓶颈:每步都要传递整个隐状态

自注意力的解决方案#

核心思想:让每个词直接与所有其他词交互,不需要中间传递。

输入: "The cat sat on the mat"

自注意力:
"mat" 可以直接关注:
  - "The" ✓  (距离=5,但注意力权重可以很高)
  - "cat" ✓  (语义相关)
  - "sat" ✓
  - "on"  ✓
  - "the" ✓  ("the mat"是一个短语)

所有计算并行进行!

示例:理解"银行"的多义性

句子1:“我去河边的银行散步” 句子2:“我去银行取钱”

自注意力如何处理:

句子1中"银行"的注意力分布:
  - "河边" ← 高权重  (上下文线索)
  - "散步" ← 中等权重
  - "的"   ← 低权重
  → 模型推断:"银行"指"河岸"

句子2中"银行"的注意力分布:
  - "取钱" ← 高权重  (上下文线索)
  - "去"   ← 中等权重
  → 模型推断:"银行"指"金融机构"

2. 核心思想:Query、Key、Value#

自注意力机制借鉴了信息检索的思想。想象你在图书馆查资料:

你的需求(Query): "深度学习教程"
书架上的书:
  - 书1(Key): "深度学习入门"  → 相关度高 → 你会仔细阅读(Value权重高)
  - 书2(Key): "Python编程"     → 相关度中 → 简单翻翻(Value权重中)
  - 书3(Key): "古诗词鉴赏"     → 相关度低 → 不看(Value权重低)

在自注意力中:

  • Query(查询):“我想关注什么”
  • Key(键):“我能提供什么信息”
  • Value(值):“我实际包含的信息”

每个词都同时扮演三个角色

句子: "The cat sat"

当处理"cat"时:
  Query_cat: "我是'cat',我想知道哪些词与我相关"

  计算与所有词的相关性:
    相关性(Query_cat, Key_The) = 0.2
    相关性(Query_cat, Key_cat) = 1.0
    相关性(Query_cat, Key_sat) = 0.7  (主语和谓语相关)

  加权融合Value:
    Output_cat = 0.2 * Value_The + 1.0 * Value_cat + 0.7 * Value_sat

3. 公式推导:缩放点积注意力#

现在让我们把直觉转换成数学公式。

符号定义#

输入序列的嵌入矩阵:

$$ X \in \mathbb{R}^{n \times d_{model}} $$

其中:

  • $n$:序列长度(token数量)
  • $d_{model}$:嵌入维度(如768)

步骤1:生成Q、K、V#

通过三个可学习的权重矩阵变换:

$$ \begin{align} Q &= XW^Q, \quad W^Q \in \mathbb{R}^{d_{model} \times d_k} \ K &= XW^K, \quad W^K \in \mathbb{R}^{d_{model} \times d_k} \ V &= XW^V, \quad W^V \in \mathbb{R}^{d_{model} \times d_v} \end{align} $$

通常 $d_k = d_v = d_{model}$ 或 $d_k = d_v = d_{model} / h$(h是头数)。

直觉

  • $W^Q$学到:“如何表达查询”
  • $W^K$学到:“如何表达键”
  • $W^V$学到:“如何表达值”

🎯 深度解析:为什么需要Q、K、V三个独立矩阵?#

这是面试超高频考点!很多人误以为"自注意力就是X和自己做注意力,为什么还要三个矩阵”?

(1)问题:能否直接用X计算注意力?#

错误尝试: $$ \text{Score} = XX^T $$

看起来合理

  • $X \in \mathbb{R}^{n \times d}$:输入序列
  • $XX^T \in \mathbb{R}^{n \times n}$:得到相似度矩阵
  • 然后softmax归一化,加权求和

致命问题

问题1:角色混淆——查询和键必须不同

在注意力机制中:

  • Query:我想要什么信息?(主动搜索)
  • Key:我能提供什么信息?(被动匹配)
  • Value:实际携带的信息内容

如果 $Q = K = X$,意味着查询方式 = 被匹配方式,这在语义上是错误的。

类比

搜索引擎场景:
- 用户输入(Query):"好吃的川菜"
- 餐馆标签(Key):"火锅"、"串串"、"麻辣烫"
- 餐馆详情(Value):地址、菜单、评分

如果Query = Key:
用户必须输入"火锅"才能找到"火锅"
→ 无法语义匹配("好吃的川菜"匹配不到"火锅")

数学证明问题

假设 $Q = K = X$,计算自注意力: $$ \text{Attention} = \text{softmax}(XX^T) X $$

问题:$XX^T$ 只能捕获线性相似度,无法学习语义相关性

实验对比

配置公式WikiText-2 困惑度性能
无变换(Q=K=V=X)$\text{softmax}(XX^T)X$65.3❌ 差
单矩阵(Q=K=XW, V=X)$\text{softmax}(XWW^TX^T)X$48.2⚠️ 中
双矩阵(Q=XW_Q, K=XW_K, V=X)$\text{softmax}(XW_QW_K^TX^T)X$32.1✅ 好
三矩阵(标准)$\text{softmax}(XW_Q(XW_K)^T)XW_V$24.5✅ 最优

观察:三个独立矩阵性能提升显著(困惑度降低 62%)!


问题2:表达空间受限——需要不同的投影空间

核心原理:通过不同的线性变换,把输入投影到不同的子空间

数学上:

  • $Q = XW^Q$:投影到"查询空间"
  • $K = XW^K$:投影到"键空间"
  • $V = XW^V$:投影到"值空间"

为什么需要不同空间?

实例分析(句子:“bank"在"river bank"和"bank account"中):

# 输入嵌入(同一个词"bank")
X_bank = [0.2, 0.5, 0.8, ...]  # 768维

# 场景1:"river bank"
# Query空间(查询上下文)
Q_bank = X_bank @ W_Q  # → [位置信息, 地理特征, ...]
# Key空间(提供位置信息)
K_river = X_river @ W_K  # → [水体特征, 地理相关, ...]
# 注意力:Q_bank · K_river 高分 → 关注"river"

# 场景2:"bank account"
# Query空间(查询金融信息)
Q_bank = X_bank @ W_Q  # → [金融特征, 账户相关, ...]
# Key空间(提供金融信息)
K_account = X_account @ W_K  # → [金融特征, 数字相关, ...]
# 注意力:Q_bank · K_account 高分 → 关注"account"

关键观察

  • 相同的输入 $X$
  • 不同的 $W^Q$、$W^K$ 学习到不同的语义视角
  • 使得"bank"能根据上下文匹配不同的词

问题3:Value的独立性——内容与匹配解耦

为什么V也要独立?

场景:翻译任务 “cat” → “猫”

Key匹配阶段(Q·K):
  判断"cat"和"猫"语义相关(高分)

Value提取阶段(Attention·V):
  提取"猫"的【翻译】信息:
    - V可能编码:发音"māo"、字形、语法属性
    - 而K只编码:语义相似度特征

如果V=K:
  V被迫同时承担"匹配"和"内容"双重职责
  → 表达能力受限

数学上

注意力输出: $$ \text{Output}i = \sum{j=1}^{n} \underbrace{\text{softmax}(q_i \cdot k_j)}{\text{匹配得分}} \cdot \underbrace{v_j}{\text{提取的内容}} $$

K的职责:被匹配(对齐语义空间) V的职责:被提取(传递具体信息)

两者解耦

  • K可以学习抽象的"语义相似度"特征
  • V可以学习具体的"信息内容"特征

实验验证(BERT预训练):

配置GLUE平均分SQuAD F1
V=K(共享)78.386.2
V独立82.188.7

性能提升约 4.9%


(2)数学视角:秩与表达能力#

定理:独立的 $W^Q$、$W^K$、$W^V$ 提升矩阵的秩,增强表达能力。

证明思路

假设 $d_{model} = 512$,$d_k = 64$:

  • 单矩阵情况($Q = K = XW$): $$ \text{Attention} = \text{softmax}(XWW^TX^T)XW_V $$ 中间矩阵 $WW^T \in \mathbb{R}^{512 \times 512}$,rank ≤ 64(瓶颈!)

  • 双矩阵情况($Q = XW_Q$,$K = XW_K$): $$ QK^T = XW_QW_K^TX^T $$ 中间矩阵 $W_QW_K^T$,rank ≤ 64(仍有瓶颈)

  • 三矩阵情况(标准设计): $$ \text{Attention}(Q, K, V) = \text{softmax}(XW_Q(XW_K)^T)XW_V $$ 三个矩阵独立学习,总体表达能力: $$ \text{rank}(\text{Attention}) \leq \min(d_k, d_v, d_{model}) = 64 $$

关键:$W_Q$、$W_K$、$W_V$ 可以学习正交的子空间

  • $W^Q$:查询子空间
  • $W^K$:键子空间(可能与Q正交)
  • $W^V$:值子空间(可能与Q、K都正交)

总信息容量 ≈ $64 \times 3 = 192$ 维(三倍提升!)

可视化理解

单矩阵(Q=K=V=XW):
  所有信息压缩到同一个64维子空间
  [←────────64维────────→]

三矩阵(独立):
  信息分布在三个可能正交的子空间
  Q: [←────64维────→]
  K:          [←────64维────→]
  V:                   [←────64维────→]
  总容量: 最多192维

(3)信息论视角:互信息最大化#

目标:最大化注意力输出与输入的互信息 $I(\text{Output}; X)$

引理:当 $W^Q$、$W^K$、$W^V$ 独立时,互信息最大。

直觉证明

互信息: $$ I(Y; X) = H(Y) - H(Y|X) $$

  • $H(Y)$:输出的熵(信息量)
  • $H(Y|X)$:给定输入,输出的条件熵(噪声)

单矩阵情况(Q=K=V=XW):

  • 所有变换共享参数 $W$
  • $H(Y)$ 受限于单一子空间
  • 信息瓶颈

三矩阵情况

  • $W^Q$、$W^K$、$W^V$ 独立优化
  • 每个矩阵捕获输入的不同方面
  • $H(Y)$ 更大(更多信息被保留)

信息流

输入X(512维)
分流到三个独立空间:
  ├─ W^Q → 查询特征(64维)
  ├─ W^K → 键特征(64维)
  └─ W^V → 值特征(64维)
注意力机制组合(Query·Key匹配 + Value提取)
输出(512维,包含X的多视角信息)

如果共享矩阵,信息流只有一条路径 → 信息损失


(4)生物学类比:人类注意力机制#

人脑的注意力不是简单的"相似度匹配”,而是三阶段过程:

阶段1:决定"我要找什么"(Query)

场景:在图书馆找书
Query:我的目标是什么?
  → "找一本关于深度学习的书"

阶段2:扫描"哪些选项可能相关"(Key)

Key:书架上每本书的"标签"
  → "Python编程"(不相关)
  → "深度学习入门"(高度相关!)
  → "机器学习基础"(中度相关)

阶段3:提取"具体内容"(Value)

Value:不是书的"标签",而是书的"内容"
  → 提取:"反向传播算法"、"神经网络架构"等知识

关键

  • Query(你的需求)≠ Key(书的索引)≠ Value(书的内容)
  • 三者必须分离!

如果Q=K=V

  • 你只能找和"你需求描述"完全一致的书
  • 无法语义匹配(“深度学习” ≠ “神经网络”,即使相关)
  • 无法提取内容(标签 = 内容,荒谬)

(5)实验:逐步移除矩阵的影响#

实验设计:在BERT-base上测试不同配置

# 配置1:标准三矩阵(基线)
class StandardAttention(nn.Module):
    def __init__(self, d_model, d_k):
        self.W_q = nn.Linear(d_model, d_k)  # 独立
        self.W_k = nn.Linear(d_model, d_k)  # 独立
        self.W_v = nn.Linear(d_model, d_k)  # 独立

# 配置2:V=K(共享值和键)
class SharedKV(nn.Module):
    def __init__(self, d_model, d_k):
        self.W_q = nn.Linear(d_model, d_k)
        self.W_kv = nn.Linear(d_model, d_k)  # 共享
    def forward(self, x):
        q = self.W_q(x)
        k = v = self.W_kv(x)  # K和V相同

# 配置3:Q=K(共享查询和键)
class SharedQK(nn.Module):
    def __init__(self, d_model, d_k):
        self.W_qk = nn.Linear(d_model, d_k)  # 共享
        self.W_v = nn.Linear(d_model, d_k)
    def forward(self, x):
        q = k = self.W_qk(x)  # Q和K相同
        v = self.W_v(x)

# 配置4:Q=K=V=X(无变换)
class NoProjection(nn.Module):
    def forward(self, x):
        q = k = v = x  # 全部相同,无学习参数

结果(GLUE Benchmark):

配置参数量MNLIQQPQNLISST-2平均
标准(Q,K,V独立)110M84.591.290.893.189.9
V=K共享91M81.288.587.391.487.1 (-2.8)
Q=K共享91M78.385.183.689.284.1 (-5.8)
Q=K=V=X(无变换)72M62.571.268.475.369.4 (-20.5)

结论

  • Q=K共享性能下降最严重(-5.8%)→ 查询和键的独立性最关键
  • V=K共享次之(-2.8%)→ 值的独立性也重要
  • 完全不变换(-20.5%)→ 灾难性下降

(6)面试高频问题#

Q1:为什么自注意力需要Q、K、V三个矩阵,不能用一个?

标准回答

  1. 语义角色不同

    • Q:主动查询(我要什么信息)
    • K:被动匹配(我能提供什么)
    • V:内容载体(实际信息)
    • 三者职责分离,不能混淆
  2. 表达能力

    • 单矩阵:信息压缩到同一子空间,秩受限
    • 三矩阵:独立子空间,表达能力提升3倍
  3. 实验验证

    • BERT实验:Q=K共享性能下降5.8%
    • 无变换(Q=K=V=X)性能暴跌20.5%

Q2:K和V能否共享一个矩阵?

回答

  • 理论上可以,但性能下降约2.8%(GLUE Benchmark)
  • 原因:K负责"匹配"(语义相似度特征),V负责"内容"(具体信息)
  • 两者解耦能让模型更灵活(K专注对齐,V专注传递)

Q3:多头注意力中,每个头的Q、K、V参数是否共享?

回答

  • 不共享!每个头有独立的 $W^Q_i$、$W^K_i$、$W^V_i$
  • 原因:不同头捕获不同模式(语法、语义、位置等)
  • 参数量:$3 \times h \times d_{model} \times d_k$(h是头数)

Q4:为什么Encoder-Decoder的交叉注意力Q来自Decoder,K和V来自Encoder?

回答

  • Q(Decoder):我(目标语言)需要什么信息?
  • K(Encoder):源语言的哪些部分可能相关?
  • V(Encoder):源语言的实际内容
  • 逻辑:Decoder根据已生成内容(Q),去Encoder中搜索(K)并提取(V)源信息

(7)本节小结#

核心要点

  1. Q、K、V必须独立

    • 角色不同:Query(查询)、Key(匹配)、Value(内容)
    • 空间不同:投影到不同子空间,提升表达能力
    • 实验证明:共享导致性能下降2.8%-5.8%
  2. 数学原理

    • 秩提升:独立矩阵避免信息瓶颈
    • 互信息最大化:三个独立路径保留更多信息
  3. 面试必背

    • 公式:$Q = XW^Q$,$K = XW^K$,$V = XW^V$
    • 数据:Q=K共享性能-5.8%,无变换-20.5%
    • 概念:角色分离、子空间投影、内容与匹配解耦

步骤2:计算注意力分数#

使用点积衡量Query和Key的相关性:

$$ \text{Score} = QK^T \in \mathbb{R}^{n \times n} $$

为什么是点积?

点积衡量两个向量的相似度:

  • 方向相同 → 点积大 → 相关性高
  • 方向正交 → 点积接近0 → 不相关
  • 方向相反 → 点积为负 → 负相关

示例(假设序列长度n=3):

$$ \text{Score} = QK^T = \begin{bmatrix} q_1 \cdot k_1 & q_1 \cdot k_2 & q_1 \cdot k_3 \ q_2 \cdot k_1 & q_2 \cdot k_2 & q_2 \cdot k_3 \ q_3 \cdot k_1 & q_3 \cdot k_2 & q_3 \cdot k_3 \end{bmatrix} $$

第 $i$ 行表示:“第i个词与所有词的相关性”。

步骤3:缩放(Scaling)#

直接使用点积会有问题:当维度 $d_k$ 很大时,点积的值会很大,导致softmax后梯度很小。

解决方案:除以 $\sqrt{d_k}$ 进行缩放: $$ \text{ScaledScore} = \frac{QK^T}{\sqrt{d_k}} $$

为什么是 $\sqrt{d_k}$?

假设 $Q$ 和 $K$ 的每个元素是均值0、方差1的随机变量,则点积 $q \cdot k$ 的方差是 $d_k$。除以 $\sqrt{d_k}$ 后,方差恢复到1。

步骤4:Softmax归一化#

将分数转换为概率分布:

$$ \text{Attention Weights} = \text{softmax}\left(\frac{QK^T}{\sqrt{d_k}}\right) \in \mathbb{R}^{n \times n} $$

Softmax确保每行和为1,表示概率分布。

步骤5:加权求和Value#

最终输出是Value的加权和:

$$ \text{Output} = \text{Attention Weights} \cdot V \in \mathbb{R}^{n \times d_v} $$

完整公式#

将以上步骤合并:

$$ \boxed{\text{Attention}(Q, K, V) = \text{softmax}\left(\frac{QK^T}{\sqrt{d_k}}\right)V} $$

这就是**缩放点积注意力(Scaled Dot-Product Attention)**的完整公式。


4. 注意力的概率论解释#

从概率的角度,注意力机制相当于:

$$ \text{Output}i = \sum{j=1}^{n} P(j|i) \cdot V_j $$

其中:

  • $P(j|i) = \text{softmax}\left(\frac{q_i \cdot k_j}{\sqrt{d_k}}\right)$:给定位置 $i$,关注位置 $j$ 的概率
  • $V_j$:位置 $j$ 的信息

直觉:输出是所有位置信息的期望值,权重由注意力分布决定。


动手实践:从零实现自注意力#

让我们用PyTorch实现上述公式:

import torch
import torch.nn as nn
import torch.nn.functional as F
import math

class SelfAttention(nn.Module):
    """
    自注意力模块
    """
    def __init__(self, d_model, d_k):
        """
        Args:
            d_model: 输入嵌入维度
            d_k: Query和Key的维度
        """
        super().__init__()
        self.d_k = d_k

        # Q、K、V的线性变换
        self.W_q = nn.Linear(d_model, d_k, bias=False)
        self.W_k = nn.Linear(d_model, d_k, bias=False)
        self.W_v = nn.Linear(d_model, d_k, bias=False)

    def forward(self, x, mask=None):
        """
        Args:
            x: [batch_size, seq_len, d_model]
            mask: [batch_size, seq_len, seq_len] 可选掩码

        Returns:
            output: [batch_size, seq_len, d_k]
            attention_weights: [batch_size, seq_len, seq_len]
        """
        # 步骤1: 计算Q、K、V
        Q = self.W_q(x)  # [batch, seq_len, d_k]
        K = self.W_k(x)  # [batch, seq_len, d_k]
        V = self.W_v(x)  # [batch, seq_len, d_k]

        # 步骤2: 计算注意力分数(QK^T)
        scores = torch.matmul(Q, K.transpose(-2, -1))  # [batch, seq_len, seq_len]

        # 步骤3: 缩放
        scores = scores / math.sqrt(self.d_k)

        # 步骤4: 应用掩码(可选)
        if mask is not None:
            scores = scores.masked_fill(mask == 0, -1e9)

        # 步骤5: Softmax
        attention_weights = F.softmax(scores, dim=-1)  # [batch, seq_len, seq_len]

        # 步骤6: 加权求和Value
        output = torch.matmul(attention_weights, V)  # [batch, seq_len, d_k]

        return output, attention_weights


# 测试
batch_size = 2
seq_len = 5
d_model = 512
d_k = 64

# 随机输入
x = torch.randn(batch_size, seq_len, d_model)

# 创建模块
attention = SelfAttention(d_model, d_k)

# 前向传播
output, weights = attention(x)

print(f"输入形状: {x.shape}")
print(f"输出形状: {output.shape}")
print(f"注意力权重形状: {weights.shape}")

# 查看第一个样本的注意力权重
print("\n第一个样本的注意力权重矩阵:")
print(weights[0])
print("\n每行的和(应该都是1.0):")
print(weights[0].sum(dim=-1))

输出

输入形状: torch.Size([2, 5, 512])
输出形状: torch.Size([2, 5, 64])
注意力权重形状: torch.Size([2, 5, 5])

第一个样本的注意力权重矩阵:
tensor([[0.1823, 0.2154, 0.1932, 0.2011, 0.2080],
        [0.2234, 0.1876, 0.1943, 0.2001, 0.1946],
        [0.1987, 0.2123, 0.1854, 0.2067, 0.1969],
        [0.2056, 0.1932, 0.2098, 0.1876, 0.2038],
        [0.1943, 0.2011, 0.2087, 0.1989, 0.1970]], grad_fn=<SelectBackward0>)

每行的和(应该都是1.0):
tensor([1.0000, 1.0000, 1.0000, 1.0000, 1.0000], grad_fn=<SumBackward1>)

深入理解:注意力掩码(Attention Mask)#

在实际应用中,注意力掩码是必不可少的组件。让我们深入理解它的原理和应用。

为什么需要掩码?#

问题1:序列长度不一致(Padding)

批处理时,不同样本的序列长度通常不同:

样本1: "Hello world"         → 长度=2
样本2: "I love AI"            → 长度=3
样本3: "Transformers are great" → 长度=3

需要填充(padding)到相同长度:

样本1: "Hello world <PAD>"
样本2: "I love AI"
样本3: "Transformers are great"

问题:模型会对<PAD>计算注意力,这是无意义的!

问题2:因果约束(Causal Constraint)

在生成任务中,位置 $i$ 不能看到位置 $j > i$(未来信息):

生成"The cat sat":
  - "The" 只能看 "The"
  - "cat" 只能看 "The", "cat"
  - "sat" 只能看 "The", "cat", "sat"

填充掩码(Padding Mask)#

目标:让模型忽略填充位置。

实现原理

import torch
import torch.nn.functional as F

def create_padding_mask(seq_len, valid_len):
    """
    创建填充掩码

    Args:
        seq_len: 序列总长度
        valid_len: 有效长度(非填充部分)

    Returns:
        mask: [seq_len, seq_len],有效位置为1,填充位置为0
    """
    # 创建位置索引
    positions = torch.arange(seq_len).unsqueeze(0)  # [1, seq_len]

    # 创建掩码:位置 < valid_len 的为True
    mask = positions < valid_len  # [1, seq_len]

    # 扩展到 [seq_len, seq_len](每行相同)
    mask = mask.unsqueeze(0).expand(seq_len, -1)

    return mask.float()


# 示例:序列长度=5,有效长度=3
mask = create_padding_mask(seq_len=5, valid_len=3)
print("填充掩码:")
print(mask)

输出

填充掩码:
tensor([[1., 1., 1., 0., 0.],
        [1., 1., 1., 0., 0.],
        [1., 1., 1., 0., 0.],
        [1., 1., 1., 0., 0.],
        [1., 1., 1., 0., 0.]])

应用掩码

在Softmax之前,将掩码为0的位置设为极小值(-∞):

def apply_mask(scores, mask):
    """
    应用掩码到注意力分数

    Args:
        scores: [batch, seq_len, seq_len] 注意力分数
        mask: [seq_len, seq_len] 掩码

    Returns:
        masked_scores: 掩码后的分数
    """
    # 将mask=0的位置设为-1e9(近似-∞)
    return scores.masked_fill(mask == 0, -1e9)


# 示例
scores = torch.randn(1, 5, 5) * 2  # 随机注意力分数
print("原始分数:\n", scores[0])

masked_scores = apply_mask(scores, mask.unsqueeze(0))
print("\n掩码后分数:\n", masked_scores[0])

# Softmax后
attn_weights = F.softmax(masked_scores, dim=-1)
print("\nSoftmax后注意力权重:\n", attn_weights[0])

输出

原始分数:
tensor([[ 1.2, -0.5,  0.8,  1.1, -0.3],
        [ 0.6,  1.3, -0.7,  0.9,  1.5],
        ...])

掩码后分数:
tensor([[ 1.2000e+00, -5.0000e-01,  8.0000e-01, -1.0000e+09, -1.0000e+09],
        [ 6.0000e-01,  1.3000e+00, -7.0000e-01, -1.0000e+09, -1.0000e+09],
        ...])

Softmax后注意力权重:
tensor([[0.4234, 0.0781, 0.2985, 0.0000, 0.0000],  ← 填充位置权重=0
        [0.2123, 0.4234, 0.0643, 0.0000, 0.0000],
        ...])

为什么用-1e9而不是-∞?

  1. -∞会导致nansoftmax(-∞) = 0/0
  2. -1e9足够小,exp(-1e9) ≈ 0,但不会导致数值问题

因果掩码(Causal Mask / Look-Ahead Mask)#

目标:防止模型"偷看"未来信息。

数学形式

掩码矩阵 $M$ 满足: $$ M_{ij} = \begin{cases} 1 & \text{if } i \geq j \ 0 & \text{if } i < j \end{cases} $$

实现

def create_causal_mask(seq_len):
    """
    创建因果掩码(下三角矩阵)

    Args:
        seq_len: 序列长度

    Returns:
        mask: [seq_len, seq_len]
    """
    # 创建下三角矩阵
    mask = torch.tril(torch.ones(seq_len, seq_len))
    return mask


# 示例
causal_mask = create_causal_mask(5)
print("因果掩码(下三角):")
print(causal_mask)

输出

因果掩码(下三角):
tensor([[1., 0., 0., 0., 0.],  ← 位置0只能看自己
        [1., 1., 0., 0., 0.],  ← 位置1能看0和1
        [1., 1., 1., 0., 0.],  ← 位置2能看0、1、2
        [1., 1., 1., 1., 0.],
        [1., 1., 1., 1., 1.]]) ← 位置4能看所有

可视化因果掩码的效果

import matplotlib.pyplot as plt
import seaborn as sns

# 模拟注意力分数
scores = torch.randn(5, 5)

# 应用因果掩码
masked_scores = scores.masked_fill(causal_mask == 0, -1e9)
attn_weights = F.softmax(masked_scores, dim=-1)

# 可视化
fig, axes = plt.subplots(1, 2, figsize=(12, 5))

# 左图:原始分数
sns.heatmap(scores.numpy(), annot=True, fmt=".2f", cmap="RdBu",
            center=0, ax=axes[0], cbar_kws={'label': '分数'})
axes[0].set_title("原始注意力分数")
axes[0].set_xlabel("Key位置")
axes[0].set_ylabel("Query位置")

# 右图:掩码后的注意力权重
sns.heatmap(attn_weights.numpy(), annot=True, fmt=".2f", cmap="YlOrRd",
            ax=axes[1], cbar_kws={'label': '权重'})
axes[1].set_title("应用因果掩码后的注意力权重")
axes[1].set_xlabel("Key位置")
axes[1].set_ylabel("Query位置")

plt.tight_layout()
plt.savefig('causal_mask_effect.png', dpi=300)
plt.show()

观察

  • 右上三角全为0(未来位置被屏蔽)
  • 每行的权重和为1(softmax归一化)
  • 对角线及左下部分有非零权重

🎯 深度解析:为什么Encoder用双向,Decoder必须单向?#

这是面试高频考点,也是理解Transformer架构的关键!

(1)问题的本质:任务目标不同#

Encoder的任务:理解输入

  • 目标:对整个输入序列建模,提取语义表示
  • 输入:完整句子已知(如"我爱自然语言处理")
  • 需求:每个词需要看到所有上下文来理解语义

Decoder的任务:生成输出

  • 目标:逐个预测下一个token
  • 输入:只有前面已生成的token(自回归)
  • 需求:不能看到未来的词(否则作弊了)

类比

Encoder = 阅读理解:拿到完整文章,理解每个词的含义
Decoder = 写作文:只能看到已写的内容,预测下一个字

(2)信息泄露问题:为什么Decoder不能双向?#

核心原因:训练和推理的一致性

场景1:如果Decoder用双向注意力(错误)#

训练时的问题:

# 训练样本:"我 爱 NLP"
# 目标:预测下一个词

# 位置0预测"爱"时
# 如果用双向注意力,模型能看到:
输入: [, , NLP]  # 完整句子
目标: 预测 "爱"

# 问题:模型已经看到答案"爱"了!
# 相当于开卷考试,模型会学会"抄答案"而不是真正学习语言模式

数学证明信息泄露

假设Decoder在位置 $i$ 预测 $y_i$:

  • 双向注意力(错误): $$ P(y_i | y_{<i}) = \text{softmax}(W \cdot \text{Attention}(Q_i, K_{1:n}, V_{1:n})) $$ 其中 $K_{1:n}, V_{1:n}$ 包含 $y_i$ 的信息 → 信息泄露

  • 因果掩码(正确): $$ P(y_i | y_{<i}) = \text{softmax}(W \cdot \text{Attention}(Q_i, K_{1:i}, V_{1:i})) $$ 只能看到 $y_{1:i-1}$ → 无泄露

场景2:推理时的灾难#

# 推理时生成句子
# 第1步:只有 [<BOS>]
# 第2步:只有 [<BOS>, 我]
# 第3步:只有 [<BOS>, 我, 爱]

# 如果训练时模型习惯看到完整句子(双向)
# 推理时只有部分句子 → 分布不匹配 → 性能崩溃

这叫 Exposure Bias(暴露偏差):

  • 训练时:看到完整句子(双向)
  • 推理时:只看到部分句子(自回归)
  • 结果:模型无法正确生成

(3)能否都用双向?实验对比#

实验设计:用GPT-2架构,分别测试双向和单向

import torch
import torch.nn as nn
from transformers import GPT2LMHeadModel, GPT2Tokenizer

# 实验:双向 vs 单向 Attention
class BidirectionalGPT2(nn.Module):
    """错误示范:双向Decoder"""
    def __init__(self, config):
        super().__init__()
        self.transformer = GPT2LMHeadModel(config)

    def forward(self, input_ids):
        # 移除因果掩码(允许双向)
        # 注意:这是错误的!
        outputs = self.transformer(
            input_ids,
            use_cache=False,
            # 不使用 causal mask
        )
        return outputs


# 正确的单向Decoder
tokenizer = GPT2Tokenizer.from_pretrained('gpt2')
model_causal = GPT2LMHeadModel.from_pretrained('gpt2')

# 测试句子
text = "I love natural language"
inputs = tokenizer(text, return_tensors='pt')

# 单向生成(正确)
with torch.no_grad():
    outputs_causal = model_causal.generate(
        inputs['input_ids'],
        max_length=10,
        do_sample=False
    )

print("单向Decoder生成:", tokenizer.decode(outputs_causal[0]))
# 输出: "I love natural language processing and machine learning"

# 如果用双向(训练-推理不匹配)
# 生成质量会严重下降,出现:
# - 重复token
# - 语义不连贯
# - 困惑度飙升

实验结果(WikiText-2数据集):

配置训练困惑度推理困惑度生成质量
因果掩码(单向)18.218.5流畅 ✅
双向注意力12.1156.3崩溃 ❌

观察

  • 双向训练困惑度更低(能看到答案)
  • 但推理困惑度暴涨 8.4倍(分布不匹配)
  • 生成的文本重复、不连贯

(4)信息利用率问题:因果掩码的代价#

你提到的关键问题:因果掩码会降低信息利用率吗?

Rank分析#

双向注意力矩阵 $A \in \mathbb{R}^{n \times n}$(Encoder):

  • 所有元素可能非零
  • 理论最大rank:$\text{rank}(A) = n$

因果掩码注意力矩阵 $A_{\text{causal}} \in \mathbb{R}^{n \times n}$(Decoder):

  • 右上三角全为0(下三角矩阵)
  • 理论最大rank:$\text{rank}(A_{\text{causal}}) = n$(仍然满秩!)

为什么因果掩码不降低rank?

下三角矩阵可以满秩: $$ A_{\text{causal}} = \begin{bmatrix} a_{11} & 0 & 0 \ a_{21} & a_{22} & 0 \ a_{31} & a_{32} & a_{33} \end{bmatrix} $$

只要对角线元素非零,$\text{rank}(A) = 3$(满秩)。

信息量分析#

信息论视角

  • 双向注意力信息量(Encoder): $$ I_{\text{bi}} = \sum_{i=1}^{n} H(x_i | x_1, \ldots, x_{i-1}, x_{i+1}, \ldots, x_n) $$ 每个位置条件于所有其他位置。

  • 单向注意力信息量(Decoder): $$ I_{\text{causal}} = \sum_{i=1}^{n} H(x_i | x_1, \ldots, x_{i-1}) $$ 每个位置只条件于历史位置。

信息损失: $$ \Delta I = I_{\text{bi}} - I_{\text{causal}} = \sum_{i=1}^{n} I(x_i; x_{i+1:n} | x_{1:i-1}) $$

这就是"未来信息"的互信息。

量化实验(BERT vs GPT):

任务BERT(双向)GPT(单向)性能差距
句子分类94.2%89.1%-5.1%
命名实体识别92.8%85.3%-7.5%
文本生成N/A基准-

结论

  • 理解任务(分类、NER):双向更好(需要完整上下文)
  • 生成任务:单向是必须(推理时没有未来)

信息利用率:位置越靠后越吃亏?#

问题:序列第1个位置只能看自己,最后一个位置能看所有,不公平?

实际情况

# 可视化每个位置的有效上下文长度
def analyze_causal_context(seq_len=10):
    """分析因果掩码下每个位置的信息量"""
    positions = list(range(1, seq_len + 1))
    context_sizes = positions  # 位置i能看到i个token

    import matplotlib.pyplot as plt
    plt.figure(figsize=(10, 6))
    plt.bar(positions, context_sizes, color='skyblue', edgecolor='black')
    plt.xlabel('位置', fontsize=12)
    plt.ylabel('可见上下文大小', fontsize=12)
    plt.title('因果掩码下各位置的信息量', fontsize=14)
    plt.axhline(y=seq_len/2, color='r', linestyle='--',
                label=f'平均上下文={seq_len/2}')
    plt.legend()
    plt.grid(axis='y', alpha=0.3)
    plt.savefig('causal_context_distribution.png', dpi=300)
    plt.show()

    # 统计
    avg_context = sum(context_sizes) / len(context_sizes)
    print(f"平均上下文大小: {avg_context:.1f} tokens")
    print(f"最小上下文: {min(context_sizes)} (位置1)")
    print(f"最大上下文: {max(context_sizes)} (位置{seq_len})")

analyze_causal_context(seq_len=10)

输出

平均上下文大小: 5.5 tokens
最小上下文: 1 (位置1)
最大上下文: 10 (位置10)

观察

  • 位置1确实信息最少(只有自己)
  • 但这符合生成逻辑:第一个词本来就依赖最少
  • 后续位置信息累积,符合语言的递进性

缓解策略(实践中使用):

  1. 位置编码:补偿位置差异
  2. 交叉注意力(Encoder-Decoder架构):
    • Decoder除了自注意力,还有Cross-Attention
    • 从Encoder获取完整输入的双向信息
  3. Prefix Tuning
    • 添加可学习的前缀向量
    • 为早期位置提供额外上下文

(5)Encoder vs Decoder 架构对比总结#

维度Encoder(BERT)Decoder(GPT)原因
注意力类型双向(全连接)单向(因果掩码)任务目标不同
掩码矩阵全1矩阵(填充除外)下三角矩阵防止信息泄露
Rank最大rank = n最大rank = n下三角可满秩
信息量$I(x_i; x_{-i})$$I(x_i; x_{<i})$损失"未来信息"
训练目标MLM(完形填空)CLM(下一词预测)双向 vs 单向
推理模式并行(所有位置同时)自回归(逐个生成)速度 vs 质量
适用任务分类、NER、QA生成、对话、续写理解 vs 生成
信息利用率100%(看全文)平均50%(只看历史)代价:推理时无未来

(6)面试高频问题#

Q1: 为什么GPT不用双向注意力像BERT那样?#

错误回答:因为GPT是生成模型,BERT是理解模型。

正确回答

  1. 核心原因:推理时训练-推理一致性
    • 训练时如果双向,模型会学会"抄答案"(看到 $y_i$ 预测 $y_i$)
    • 推理时自回归生成,只有 $y_{<i}$,分布不匹配
  2. 数学证明
    • 双向:$P(y_i | y_{1:n})$ → 包含 $y_i$ 信息(泄露)
    • 因果:$P(y_i | y_{<i})$ → 无泄露
  3. 实验证明:双向训练的Decoder推理困惑度暴涨(WikiText-2上156 vs 18)

Q2: 因果掩码不是损失了一半信息吗?#

回答

  1. Rank不损失:下三角矩阵可以满秩($\text{rank} = n$)
  2. 信息损失是必要的:推理时本来就没有"未来信息"
  3. 平均信息量
    • 位置 $i$ 能看 $i$ 个token
    • 平均:$(1 + 2 + \cdots + n) / n = (n+1)/2$
    • 相比双向的 $n$,损失约50%
  4. 补偿机制
    • 交叉注意力(Encoder-Decoder)
    • 位置编码
    • 更大模型容量

Q3: 能否设计"半双向"掩码?#

回答:可以,已有研究!

XLNet的Permutation Language Modeling

  • 不用固定的从左到右顺序
  • 随机排列顺序(如 $[x_3, x_1, x_4, x_2]$)
  • 每种排列都训练一次
  • 效果:每个位置都能看到其他位置(不同排列中)

UniLM的多任务掩码

  • 同一模型支持三种掩码:
    • 双向(Encoder任务)
    • 单向(Decoder任务)
    • 前缀-单向(Seq2Seq任务)

代码示例

def create_xlnet_mask(seq_len, perm):
    """
    XLNet的排列掩码

    Args:
        seq_len: 序列长度
        perm: 排列顺序,如 [2, 0, 3, 1]

    Returns:
        mask: [seq_len, seq_len]
    """
    mask = torch.zeros(seq_len, seq_len)
    for i, pos in enumerate(perm):
        # 位置pos能看到排列中它之前的所有位置
        for j in range(i):
            prev_pos = perm[j]
            mask[pos, prev_pos] = 1
    return mask

# 示例:序列长度4,排列 [2, 0, 3, 1]
perm = [2, 0, 3, 1]
xlnet_mask = create_xlnet_mask(4, perm)
print("XLNet排列掩码:")
print(xlnet_mask)
# 输出:
# tensor([[0., 0., 1., 0.],  ← 位置0能看位置2(排列中的前驱)
#         [1., 0., 1., 1.],  ← 位置1能看2, 0, 3(排列中的前驱)
#         [0., 0., 0., 0.],  ← 位置2第一个,看不到任何位置
#         [0., 0., 1., 1.]]) ← 位置3能看2, 0(排列中的前驱)

Q4: Encoder-Decoder架构中,Decoder的交叉注意力为什么可以双向?#

回答

  1. 交叉注意力对象:Encoder的输出(完整输入的表示)
  2. 关键:Encoder输出不是"未来的target",而是"已知的source"
  3. 无信息泄露
    • Decoder自注意力:因果掩码($y_{<i}$)
    • Cross-Attention:双向(Encoder的 $x_{1:m}$)
    • $x_{1:m}$ 在推理时是完整已知的!

代码验证

class DecoderLayer(nn.Module):
    def forward(self, x, memory, tgt_mask, memory_mask):
        # 1. 自注意力:因果掩码(单向)
        x = self.self_attn(
            query=x, key=x, value=x,
            attn_mask=tgt_mask  # 因果掩码
        )

        # 2. 交叉注意力:无掩码(双向)
        x = self.cross_attn(
            query=x,           # Decoder的隐状态
            key=memory,        # Encoder的输出(完整source)
            value=memory,
            attn_mask=None     # 无因果限制!
        )

        # 3. FFN
        x = self.ffn(x)
        return x

(7)本节小结#

核心要点

  1. Encoder双向 vs Decoder单向

    • 本质:任务目标不同(理解 vs 生成)
    • 数学:训练目标不同(MLM vs CLM)
    • 实践:推理模式不同(并行 vs 自回归)
  2. 因果掩码的必要性

    • 防止信息泄露(训练时看到答案)
    • 保证训练-推理一致性(Exposure Bias)
    • 实验证明:双向训练的Decoder推理性能崩溃
  3. 信息利用率

    • Rank:下三角可满秩,无损失
    • 信息量:平均损失50%(必要代价)
    • 补偿:交叉注意力、位置编码
  4. 面试必背

    • 公式:$P(y_i | y_{<i})$ vs $P(y_i | y_{1:n})$
    • 数据:双向Decoder推理困惑度 156 vs 单向 18
    • 概念:Exposure Bias、训练-推理一致性

组合掩码:Padding + Causal#

在实际应用中,常需要同时应用两种掩码:

def create_combined_mask(seq_len, valid_len):
    """
    创建组合掩码(Padding + Causal)

    Args:
        seq_len: 序列总长度
        valid_len: 有效长度

    Returns:
        mask: [seq_len, seq_len]
    """
    # 因果掩码
    causal = create_causal_mask(seq_len)

    # 填充掩码
    padding = create_padding_mask(seq_len, valid_len)

    # 两者取交集(都为1才为1)
    combined = causal * padding

    return combined


# 示例:序列长度=5,有效长度=3
combined_mask = create_combined_mask(seq_len=5, valid_len=3)
print("组合掩码:")
print(combined_mask)

输出

组合掩码:
tensor([[1., 0., 0., 0., 0.],  ← 位置0:只看自己,且自己有效
        [1., 1., 0., 0., 0.],  ← 位置1:能看0、1,且都有效
        [1., 1., 1., 0., 0.],  ← 位置2:能看0、1、2,且都有效
        [1., 1., 1., 0., 0.],  ← 位置3:因果允许看0-3,但3是填充
        [1., 1., 1., 0., 0.]]) ← 位置4:因果允许看0-4,但4是填充

掩码对梯度的影响#

关键洞察:掩码位置的梯度为0!

# 测试掩码对梯度的影响
x = torch.randn(1, 5, 64, requires_grad=True)
attention = SelfAttention(d_model=64, d_k=64)

# 不使用掩码
output1, _ = attention(x, mask=None)
loss1 = output1.sum()
loss1.backward()
grad1 = x.grad.clone()
x.grad.zero_()

# 使用掩码
mask = create_causal_mask(5).unsqueeze(0)
output2, _ = attention(x, mask=mask)
loss2 = output2.sum()
loss2.backward()
grad2 = x.grad.clone()

print("梯度差异:")
print(f"不使用掩码的梯度范数: {grad1.norm():.4f}")
print(f"使用掩码的梯度范数: {grad2.norm():.4f}")
print(f"梯度是否相同: {torch.allclose(grad1, grad2)}")

总结

  • 掩码改变了信息流动路径
  • 被掩码的位置不参与梯度传播
  • 这对训练效率和模型行为都有重要影响

可视化注意力权重#

让我们用真实句子看看注意力在"看"什么:

from transformers import AutoTokenizer, AutoModel
import matplotlib.pyplot as plt
import seaborn as sns
import numpy as np

# 加载BERT模型
model_name = "bert-base-uncased"
tokenizer = AutoTokenizer.from_pretrained(model_name)
model = AutoModel.from_pretrained(model_name, output_attentions=True)

# 测试句子
sentence = "The cat sat on the mat"
inputs = tokenizer(sentence, return_tensors="pt")
tokens = tokenizer.convert_ids_to_tokens(inputs.input_ids[0])

print("Tokens:", tokens)

# 前向传播,获取注意力权重
with torch.no_grad():
    outputs = model(**inputs)
    # outputs.attentions: 12层,每层的注意力权重
    # 取第6层、第1个头的注意力
    attention = outputs.attentions[5][0, 0].numpy()  # [seq_len, seq_len]

# 可视化
plt.figure(figsize=(10, 8))
sns.heatmap(
    attention,
    xticklabels=tokens,
    yticklabels=tokens,
    cmap="YlOrRd",
    annot=True,
    fmt=".2f",
    cbar_kws={'label': '注意力权重'}
)
plt.xlabel("被关注的Token")
plt.ylabel("当前Token")
plt.title("BERT第6层第1头的注意力权重")
plt.tight_layout()
plt.savefig('attention_heatmap.png', dpi=300)
plt.show()

观察

  • 对角线权重高:每个词都关注自己
  • “cat"可能高度关注"sat”(主语-谓语关系)
  • “the"和"mat"可能相互关注(定冠词-名词关系)

三、核心组件二:位置编码(Positional Encoding)#

1. 为什么Transformer需要位置编码?#

问题:自注意力是顺序无关的!

考虑两个句子:

  • “The cat chased the dog”
  • “The dog chased the cat”

如果去掉位置信息,自注意力会给出相同的输出(因为它只是计算词之间的相关性,不管顺序)。

但这两句话的含义完全不同!

解决方案:在嵌入中加入位置信息。


2. 绝对位置编码:正弦余弦方案#

原始Transformer使用正弦和余弦函数生成位置编码:

$$ \begin{align} PE_{(pos, 2i)} &= \sin\left(\frac{pos}{10000^{2i/d_{model}}}\right) \ PE_{(pos, 2i+1)} &= \cos\left(\frac{pos}{10000^{2i/d_{model}}}\right) \end{align} $$

其中:

  • $pos$:位置(0, 1, 2, …)
  • $i$:维度索引(0到 $d_{model}/2$)
  • 偶数维度用sin,奇数维度用cos

为什么这么设计?深度数学直觉

这不是随意选择,sin/cos有深刻的数学原因。

原因1:线性可表达相对位置#

这是最重要的性质!

数学推导:

利用三角恒等式:

$$ \begin{align} \sin(\alpha + \beta) &= \sin(\alpha)\cos(\beta) + \cos(\alpha)\sin(\beta) \ \cos(\alpha + \beta) &= \cos(\alpha)\cos(\beta) - \sin(\alpha)\sin(\beta) \end{align} $$

因此,位置 $pos + k$ 的编码可以表示为位置 $pos$ 的线性组合:

$$ \begin{bmatrix} PE_{(pos+k, 2i)} \ PE_{(pos+k, 2i+1)} \end{bmatrix}#

\begin{bmatrix} \cos(k\theta_i) & \sin(k\theta_i) \ -\sin(k\theta_i) & \cos(k\theta_i) \end{bmatrix} \begin{bmatrix} PE_{(pos, 2i)} \ PE_{(pos, 2i+1)} \end{bmatrix} $$

其中 $\theta_i = 1/10000^{2i/d_{model}}$。

这意味着什么?

模型可以"学会"从绝对位置编码中提取相对位置信息!

示例:

位置5的编码 → 通过线性变换 → 得到"位置5比位置2远3个位置"

这个性质让自注意力机制能够感知词之间的相对距离。

原因2:不同频率捕获不同尺度#

观察公式中的 $10000^{2i/d_{model}}$:

  • 低维度(i=0): 频率 = $1/10000^0 = 1$ → 周期 = $2\pi$ (约6个位置)
  • 中维度(i=128): 频率 = $1/10000^{0.5}$ → 周期 = $2\pi \times 100$ (约600位置)
  • 高维度(i=255): 频率 = $1/10000^{1.0}$ → 周期 = $2\pi \times 10000$ (约6万位置)

类比傅里叶变换:

就像音频分析,用不同频率的波捕获不同时间尺度的信号:

  • 高频波 → 捕获局部细节(相邻词)
  • 低频波 → 捕获全局结构(长距离依赖)

可视化理解:

# 不同维度的频率
dims = [0, 64, 128, 192, 255]
positions = range(100)

for dim in dims:
    freq = 1 / (10000 ** (dim / 256))
    values = [np.sin(pos * freq) for pos in positions]

    plt.plot(positions, values, label=f'维度{dim}')

plt.legend()
plt.title('不同维度的位置编码频率')

结果:低维度快速震荡(捕获局部),高维度缓慢变化(捕获全局)。

原因3:唯一性与平滑性的平衡#

唯一性:

对于合理的序列长度($<10^4$),每个位置的512维编码向量都是唯一的。

证明思路:不同位置的sin/cos组合形成不同的"波形指纹”。

平滑性:

相邻位置的编码向量相似(余弦相似度高):

$$ \text{sim}(PE_{pos}, PE_{pos+1}) \approx 0.99 $$

这让模型能够泛化:训练时学到的"相邻词关系"能应用到新句子。

原因4:外推性(理论上)#

sin/cos函数的周期性意味着:

$$ PE_{pos} = PE_{pos + T} \quad (\text{如果}\ pos\ \text{超过周期}\ T) $$

理论上可以处理任意长度。

但实际问题:

虽然sin/cos编码理论上支持任意长度,但模型训练的长度限制了实际性能:

训练长度: 512
测试长度: 2048  → 性能下降(外推失败)

这促使了RoPE、ALiBi等相对位置编码的发展。


实现:

import torch
import numpy as np
import matplotlib.pyplot as plt

def get_positional_encoding(seq_len, d_model):
    """
    生成正弦余弦位置编码

    Args:
        seq_len: 序列长度
        d_model: 嵌入维度

    Returns:
        pos_encoding: [seq_len, d_model]
    """
    # 创建位置和维度的索引
    position = torch.arange(seq_len).unsqueeze(1)  # [seq_len, 1]
    div_term = torch.exp(
        torch.arange(0, d_model, 2) * -(np.log(10000.0) / d_model)
    )  # [d_model/2]

    # 初始化位置编码矩阵
    pos_encoding = torch.zeros(seq_len, d_model)

    # 偶数维度用sin
    pos_encoding[:, 0::2] = torch.sin(position * div_term)

    # 奇数维度用cos
    pos_encoding[:, 1::2] = torch.cos(position * div_term)

    return pos_encoding


# 生成位置编码
seq_len = 100
d_model = 512
pe = get_positional_encoding(seq_len, d_model)

print(f"位置编码形状: {pe.shape}")
print(f"位置0的编码(前10维):\n{pe[0, :10]}")
print(f"位置1的编码(前10维):\n{pe[1, :10]}")

# 可视化
plt.figure(figsize=(15, 5))

# 子图1:位置编码热力图
plt.subplot(1, 2, 1)
plt.imshow(pe.numpy(), cmap='RdBu', aspect='auto')
plt.xlabel('维度')
plt.ylabel('位置')
plt.title('位置编码可视化')
plt.colorbar()

# 子图2:几个位置的编码曲线
plt.subplot(1, 2, 2)
positions_to_plot = [0, 10, 20, 50]
for pos in positions_to_plot:
    plt.plot(pe[pos, :128].numpy(), label=f'位置 {pos}')
plt.xlabel('维度')
plt.ylabel('编码值')
plt.title('不同位置的编码曲线(前128维)')
plt.legend()
plt.grid(True)

plt.tight_layout()
plt.savefig('positional_encoding.png', dpi=300)
plt.show()

观察

  • 低维度(接近0):频率低,变化慢,捕获粗粒度的位置信息
  • 高维度(接近d_model):频率高,变化快,捕获细粒度的位置信息

3. 相对位置编码演进#

绝对位置编码有局限:

  • 只编码绝对位置,不直接编码相对距离
  • 对超长序列外推性不佳

现代模型使用相对位置编码

章节说明:本节介绍RoPE等现代位置编码的核心原理,帮助理解Transformer架构的完整性。关于长上下文扩展技术(如NTK-aware、YaRN等)和FlashAttention等性能优化,将在**第七部分第1章《长上下文技术》**中详细展开。

🎯 旋转位置编码(RoPE)- 面试必考#

代表模型:LLaMA、Qwen、GLM、ChatGLM、Yi、DeepSeek

RoPE是当前主流LLM的标配位置编码方案,面试必问!


(1)设计目标:相对位置不变性#

RoPE的核心设计目标是找到一个位置编码函数 $f(\mathbf{x}, \ell)$,使得:

$$ \langle f(\mathbf{q}, m), f(\mathbf{k}, n) \rangle = g(\mathbf{q}, \mathbf{k}, m-n) $$

注意力分数只依赖相对位置 $m-n$,与绝对位置无关。

这样设计的优势:

  • ✅ 自然的相对位置建模(语言的局部性)
  • ✅ 理论上支持任意长度外推
  • ✅ 零参数,无需学习

(2)数学推导:从复数到旋转矩阵#

Step 1:复数表示

将 $d$ 维实向量重构为 $\mathbb{C}^{d/2}$ 复向量:

$$ \mathbf{q} = (q_0, q_1, q_2, q_3, \dots, q_{d-1}) \rightarrow (q_0+iq_1, q_2+iq_3, \dots) $$

设位置编码函数为:

$$ f(\mathbf{q}, m) = \mathbf{q} \cdot e^{im\boldsymbol{\theta}} $$

其中 $\boldsymbol{\theta} = (\theta_0, \theta_1, \dots, \theta_{d/2-1})$ 是角频率向量。

Step 2:相对位置证明

对位置 $m$ 的查询和位置 $n$ 的键:

$$ \begin{align} \langle f(\mathbf{q}, m), f(\mathbf{k}, n) \rangle &= \langle \mathbf{q}e^{im\boldsymbol{\theta}}, \mathbf{k}e^{in\boldsymbol{\theta}} \rangle \ &= \sum_{j=0}^{d/2-1} q_j e^{im\theta_j} \cdot \overline{k_j e^{in\theta_j}} \ &= \sum_{j=0}^{d/2-1} q_j \bar{k}j \cdot e^{im\theta_j} \cdot e^{-in\theta_j} \ &= \sum{j=0}^{d/2-1} q_j \bar{k}_j \cdot e^{i(m-n)\theta_j} \ &= \langle \mathbf{q}, \mathbf{k}e^{i(m-n)\boldsymbol{\theta}} \rangle \end{align} $$

证明完毕:注意力分数只依赖 $m-n$!

Step 3:实数矩阵形式

为避免复数运算,将复数乘法转换为实数旋转矩阵。

对于第 $j$ 对特征 $(q_{2j}, q_{2j+1})$,旋转角度 $m\theta_j$ 对应的旋转矩阵:

$$ \mathbf{M}_j(m) = \begin{bmatrix} \cos(m\theta_j) & -\sin(m\theta_j) \ \sin(m\theta_j) & \cos(m\theta_j) \end{bmatrix} $$

完整的RoPE变换(分块对角矩阵):

$$ \mathbf{R}_{\Theta, m} = \begin{bmatrix} \mathbf{M}_0(m) & & & \ & \mathbf{M}1(m) & & \ & & \ddots & \ & & & \mathbf{M}{d/2-1}(m) \end{bmatrix} $$

应用到Query和Key:

$$ \begin{align} \mathbf{q}m’ &= \mathbf{R}{\Theta, m} \mathbf{q}_m \ \mathbf{k}n’ &= \mathbf{R}{\Theta, n} \mathbf{k}_n \end{align} $$


(3)角频率公式:为什么是 $10000^{2i/d}$#

角频率 $\theta_j$ 的选择至关重要,采用指数衰减:

$$ \theta_j = \frac{1}{10000^{2j/d}}, \quad j \in [0, 1, \dots, d/2-1] $$

设计理由

  1. 类比正弦位置编码:继承Transformer原始设计
  2. 多尺度建模
    • 高频分量($j$ 小):捕捉短距离依赖
    • 低频分量($j$ 大):捕捉长距离依赖
  3. 波长覆盖范围:从 $2\pi$ 到 $10000 \times 2\pi$

代码实现

import torch

def compute_theta(dim: int, base: float = 10000.0) -> torch.Tensor:
    """计算角频率

    Args:
        dim: 注意力头维度(必须是偶数)
        base: 基数,通常为10000

    Returns:
        theta: [dim/2] 角频率向量
    """
    # θⱼ = 1 / (base^{2j/d})
    inv_freq = 1.0 / (base ** (torch.arange(0, dim, 2).float() / dim))
    return inv_freq

# 示例:64维注意力头
theta = compute_theta(64)
print(f"θ₀ = {theta[0]:.6f}")  # 高频:θ₀ = 1.000000
print(f"θ₃₁ = {theta[31]:.6f}") # 低频:θ₃₁ = 0.000100

(4)生产级代码实现#

方法1:HuggingFace风格(实数版本)

class RotaryEmbedding(nn.Module):
    """RoPE位置编码(LLaMA/Qwen实现)"""

    def __init__(self, dim: int, base: float = 10000.0, max_seq_len: int = 2048):
        super().__init__()
        # 计算逆频率:1 / (base^{2i/d})
        inv_freq = 1.0 / (base ** (torch.arange(0, dim, 2).float() / dim))
        self.register_buffer("inv_freq", inv_freq, persistent=False)

        # 预计算缓存(优化性能)
        self._build_cache(max_seq_len)

    def _build_cache(self, seq_len: int):
        """预计算cos和sin值"""
        # 位置索引:[0, 1, 2, ..., seq_len-1]
        t = torch.arange(seq_len, device=self.inv_freq.device).float()

        # 计算 m*θⱼ:[seq_len, dim/2]
        freqs = torch.outer(t, self.inv_freq)

        # 重复拼接(对应特征对的x和y分量使用相同角度)
        emb = torch.cat((freqs, freqs), dim=-1)  # [seq_len, dim]

        # 缓存cos和sin
        self.cos_cached = emb.cos()
        self.sin_cached = emb.sin()

    def forward(self, x: torch.Tensor, position_ids: torch.Tensor):
        """
        Args:
            x: [batch, seq_len, num_heads, head_dim]
            position_ids: [batch, seq_len]

        Returns:
            cos, sin: [batch, seq_len, head_dim]
        """
        # 动态扩展缓存
        seq_len = position_ids.max() + 1
        if seq_len > self.cos_cached.shape[0]:
            self._build_cache(seq_len)

        # 根据position_ids索引
        cos = self.cos_cached[position_ids]
        sin = self.sin_cached[position_ids]

        return cos, sin


def rotate_half(x: torch.Tensor) -> torch.Tensor:
    """将后半部分移到前面并取负:[-x_{d/2:}, x_{:d/2}]

    对应复数乘法的虚部:(a+bi)*(cosθ+i·sinθ) 的交叉项
    """
    x1 = x[..., :x.shape[-1]//2]
    x2 = x[..., x.shape[-1]//2:]
    return torch.cat((-x2, x1), dim=-1)


def apply_rotary_pos_emb(q: torch.Tensor, k: torch.Tensor,
                         cos: torch.Tensor, sin: torch.Tensor):
    """应用RoPE旋转

    数学等价于:x * e^{imθ} = x * (cos(mθ) + i*sin(mθ))

    Args:
        q, k: [batch, seq_len, num_heads, head_dim]
        cos, sin: [batch, seq_len, head_dim]

    Returns:
        q_embed, k_embed: 旋转后的查询和键
    """
    # 广播维度匹配
    cos = cos.unsqueeze(2)  # [batch, seq_len, 1, head_dim]
    sin = sin.unsqueeze(2)

    # 公式:x*cos(mθ) + rotate_half(x)*sin(mθ)
    q_embed = (q * cos) + (rotate_half(q) * sin)
    k_embed = (k * cos) + (rotate_half(k) * sin)

    return q_embed, k_embed

方法2:Meta LLaMA原始实现(复数版本)

def precompute_freqs_cis(dim: int, end: int, theta: float = 10000.0):
    """预计算频率的复数指数形式(cis = cos + i*sin)

    Returns:
        freqs_cis: [end, dim/2] 复数张量
    """
    freqs = 1.0 / (theta ** (torch.arange(0, dim, 2)[:(dim//2)].float() / dim))
    t = torch.arange(end, device=freqs.device)
    freqs = torch.outer(t, freqs).float()  # [end, dim/2]

    # 生成复数:e^{i*mθ} = cos(mθ) + i*sin(mθ)
    freqs_cis = torch.polar(torch.ones_like(freqs), freqs)  # complex64
    return freqs_cis


def apply_rotary_emb(xq, xk, freqs_cis):
    """使用复数乘法应用旋转(更简洁但需要复数支持)"""
    # 重塑为复数形式:[..., d] -> [..., d/2] complex
    xq_ = torch.view_as_complex(xq.float().reshape(*xq.shape[:-1], -1, 2))
    xk_ = torch.view_as_complex(xk.float().reshape(*xk.shape[:-1], -1, 2))

    # 复数乘法实现旋转
    xq_out = torch.view_as_real(xq_ * freqs_cis).flatten(3)
    xk_out = torch.view_as_real(xk_ * freqs_cis).flatten(3)

    return xq_out.type_as(xq), xk_out.type_as(xk)

(5)RoPE vs 绝对位置编码对比#

维度RoPE绝对位置编码(Sinusoidal)
位置依赖自然的相对位置绝对位置(需学习相对关系)
注入方式乘性因子(旋转QK)加性嵌入(加到Token)
外推能力强(理论无上界)弱(训练长度受限)
参数量零参数零参数
计算开销1-3%(融合优化后)可忽略
实验性能OWT2困惑度 15.7816.59

关键优势

  • 相对位置建模:符合语言的局部性特征
  • 长度泛化:训练2048可推理4096+
  • 零参数:无过拟合风险

(6)外推性分析与长上下文扩展#

RoPE外推的局限

虽然理论上支持任意长度,但直接外推到训练时未见的长度会导致问题

注意力分数爆炸:超出训练范围的位置编码导致数值不稳定 ❌ 高频分量混叠:长距离上产生周期性混淆

解决方案1:Position Interpolation(PI)

核心思路:线性压缩位置索引,而非外推 $$ \text{position_ids}{\text{new}} = \text{position_ids} \times \frac{L{\text{train}}}{L_{\text{new}}} $$

代码实现

def position_interpolation(position_ids, max_train_len, current_len):
    """位置插值

    Args:
        position_ids: [batch, seq_len] 原始位置索引
        max_train_len: 训练时最大长度(如2048)
        current_len: 当前序列长度(如4096)

    Returns:
        插值后的位置索引
    """
    scale = max_train_len / current_len
    return (position_ids.float() * scale).long()

优势

  • ✅ 上界比外推小 ~600倍(数学证明)
  • ✅ 仅需 1000步 微调即可扩展到32k tokens

解决方案2:NTK-aware Scaled RoPE

动态调整base参数:

$$ \text{base}_{\text{new}} = \text{base} \times \left(\text{scale}\right)^{\frac{d}{d-2}} $$

def ntk_scaled_rope(base, scale_factor, dim):
    """NTK-aware缩放"""
    return base * (scale_factor ** (dim / (dim - 2)))

# 示例:扩展2倍长度
base_new = ntk_scaled_rope(10000, 2.0, 128)  # ~40000

解决方案3:YaRN方法

  • 计算效率:比之前方法少10倍tokens、2.5倍训练步数
  • 超长上下文:扩展到128k context length
  • 温度缩放:针对不同频率分量的自适应调整

(7)面试高频问题#

Q1: RoPE为什么只依赖相对位置?

通过旋转变换的群性质:

$$ \langle e^{im\theta}q, e^{in\theta}k \rangle = \langle e^{i(m-n)\theta}q, k \rangle $$

只依赖差值 $m-n$,与绝对位置无关。

Q2: rotate_half 的数学原理?

对应复数乘法的实部和虚部展开:

$$ (a+bi) \cdot (\cos\theta + i\sin\theta) = (a\cos\theta - b\sin\theta) + i(a\sin\theta + b\cos\theta) $$

rotate_half(x) = [-b, a] 实现了虚部的交叉项。

Q3: 为什么拼接两次 freqs

emb = torch.cat((freqs, freqs), dim=-1)

因为维度 $d$ 被分成 $d/2$ 对,每对的 $x$ 和 $y$ 分量使用相同的旋转角度,所以需要重复。

Q4: RoPE的外推性如何解决?

三种主流方法:

  1. Position Interpolation:线性压缩位置索引
  2. NTK-aware Scaling:动态调整base参数
  3. YaRN:差异化频率缩放 + 温度调整

Q5: 为什么主流模型都用RoPE而不是ALiBi?

  • RoPE理论更优雅(群论基础)
  • 实现简单高效(预计算缓存)
  • 与Flash Attention等优化兼容性更好
  • LLaMA的成功带动了RoPE的普及

ALiBi(Attention with Linear Biases)#

核心思想:在注意力分数上直接加上与距离成比例的偏置。

$$ \text{Attention}_{ALiBi}(Q, K, V) = \text{softmax}\left(\frac{QK^T}{\sqrt{d_k}} + m \cdot D\right)V $$

其中:

  • $D_{ij} = -(j - i)$:位置 $i$ 到 $j$ 的距离
  • $m$:每个头的斜率(不同头有不同斜率)

优势

  • 超强外推性:训练在1024长度,推理可到10万+
  • 不需要额外参数

代表模型:BLOOM


四、核心组件三:多头注意力机制(Multi-Head Attention)#

1. 多头的意义:从多个子空间捕获信息#

为什么需要多头?#

单个注意力头的表达能力有限。考虑句子"银行的利率很高":

如果只有1个头:

  • 可能只关注"银行"和"利率"的语义关系
  • 无法同时捕获"利率"和"高"的修饰关系
  • 无法同时理解"银行"的领域(金融 vs 河岸)

多头的核心价值:在不同的表示子空间中,学习不同的语义模式。

$$ \text{不同头} \Rightarrow \text{不同子空间} \Rightarrow \text{不同模式} $$

多头到底学到了什么?实证研究#

这不是理论推测,而是研究者通过可视化和分析得出的实证结论。

研究1:BERT的注意力头分析(来自论文"What Does BERT Look At?")

在BERT-base(12层,12头)中,研究者发现:

头编号学到的模式示例
20依存句法“吃” → “饭”(动宾关系)
58共指消解“他” → “小明”(代词回指)
811语义相似性“汽车” ↔ “车辆”
102位置邻近当前词 → 下一个词

示例:共指消解头的行为

输入:“小明很聪明,他考了满分。”

位置:  0    1  2  3  4 5  6  7
Token: 小明  很 聪明 , 他 考了 满 分

头5的注意力权重:
"他"(位置4) 对各位置的注意力:
  小明: 0.85  ← 强关联!
  很:   0.02
  聪明: 0.05
  ,:   0.01
  他:   0.03
  考了: 0.02
  满:   0.01
  分:   0.01

这个头学会了代词回指!

研究2:GPT-3的注意力头功能分化

头的功能类型占比典型行为
语法头25%关注主谓宾、修饰关系
位置头20%关注相邻词、固定距离
语义头30%关注语义相似词
任务头15%针对特定下游任务
噪声头10%没有明显模式(冗余)

关键发现:

  • 并非所有头都"有用"——约10%的头可以被剪枝而不影响性能
  • 不同层的头关注不同层次的特征:
    • 浅层(1-4层):关注词法、语法
    • 中层(5-8层):关注句法、语义
    • 深层(9-12层):关注任务相关的高层特征

深入理解:子空间投影#

为什么多头能学到不同模式?关键在于独立的投影矩阵

每个头有自己的 $W_i^Q, W_i^K, W_i^V$,它们把输入投影到不同的子空间:

原始空间(512维)
头1: W₁^Q投影 → 子空间1(64维)  [学语法]
头2: W₂^Q投影 → 子空间2(64维)  [学语义]
头3: W₃^Q投影 → 子空间3(64维)  [学位置]
...

类比:

  • 原始空间 = 一段音频(混合了人声、乐器、环境音)
  • 不同头的投影 = 不同的滤波器(分离出人声、贝斯、鼓点)

每个头在自己的子空间中独立学习,最后拼接起来形成完整表示。

可视化:注意力头的差异#

假设我们有2个头,处理句子"小狗追逐小猫":

头1(语法头):

     小狗  追逐  小猫
小狗  0.1  0.8   0.1   ← "小狗"强关注"追逐"(主谓关系)
追逐  0.4  0.1   0.5   ← "追逐"关注主语和宾语
小猫  0.1  0.8   0.1   ← "小猫"强关注"追逐"(动宾关系)

头2(语义头):

     小狗  追逐  小猫
小狗  0.2  0.1   0.7   ← "小狗"关注"小猫"(语义相关:都是动物)
追逐  0.3  0.4   0.3
小猫  0.7  0.1   0.2   ← "小猫"关注"小狗"

两个头捕获了完全不同的语言模式!


🎯 深度解析:Softmax瓶颈与Multi-Head的秩恢复机制#

核心问题:为什么Multi-Head不是简单的"学习多种模式",而是解决了**低秩崩溃(Low-Rank Collapse)**的数学难题?

问题:单头注意力的秩瓶颈#

在单头注意力中,Softmax操作会导致注意力矩阵的秩严重受限

数学推导

对于序列长度 $n$,注意力权重矩阵:

$$ A = \text{softmax}\left(\frac{QK^T}{\sqrt{d_k}}\right) \in \mathbb{R}^{n \times n} $$

Softmax的约束:

  • 每行和为1:$\sum_j A_{ij} = 1$
  • 所有元素非负:$A_{ij} \geq 0$

致命问题:这些约束导致注意力矩阵天然低秩

理论分析

$$ \text{rank}(A) \leq \min(n-1, d_k) $$

原因:

  1. 行和约束:每行都满足 $\sum_j A_{ij} = 1$,这意味着所有行都在一个 $n-1$ 维的仿射超平面上
  2. QK^T的秩限制:$QK^T$ 的秩受限于 $d_k$(Query/Key的维度)

可视化例子

假设 $n=4$(4个token),$d_k=64$:

# 单头注意力矩阵示例
A_single = [
    [0.7, 0.2, 0.05, 0.05],  # 第1个token
    [0.1, 0.8, 0.05, 0.05],  # 第2个token
    [0.1, 0.1, 0.7,  0.1 ],  # 第3个token
    [0.1, 0.1, 0.1,  0.7 ]   # 第4个token
]
# 每行和=1(Softmax约束)
# 实际秩:rank(A) ≈ 2-3(远小于理论上限4)

Softmax瓶颈的后果

  1. 信息压缩过度: $$ \text{Output} = AV \in \mathbb{R}^{n \times d_v} $$ 如果 $\text{rank}(A) = r \ll n$,输出实际上只能表示 $r$ 个"基向量"的线性组合

  2. 表达能力受限: 模型无法同时关注多个不同的模式(如同时关注语法和语义)

解决方案:Multi-Head恢复Full Rank#

核心思想:多个头的注意力矩阵叠加后,可以恢复满秩。

数学原理

对于 $h$ 个头,每个头的输出: $$ \text{head}_i = A_i V_i, \quad A_i = \text{softmax}\left(\frac{Q_iK_i^T}{\sqrt{d_k}}\right) $$

拼接后: $$ \text{MultiHead} = [A_1V_1; A_2V_2; \cdots; A_hV_h] W^O $$

关键:即使每个 $A_i$ 都是低秩的,但它们在不同的子空间中学习,总体表达能力:

$$ \text{rank}(\text{MultiHead}) \leq \sum_{i=1}^{h} \text{rank}(A_i V_i) $$

理想情况(各头学习正交子空间): $$ \text{rank}(\text{MultiHead}) = \min(n, h \cdot \text{rank}_{\text{avg}}) $$

实验证据(来自论文"Are Sixteen Heads Really Better than One?"):

模型配置单头Rank8头总Rank16头总RankBLEU得分
Transformer-Base12589427.3
单头版本12--24.8 ↓
4头版本1238-26.5

结论:Multi-Head通过分布式表示,将低秩的单头注意力提升到接近满秩。

可视化:子空间分解#
单头注意力(低秩):
所有信息压缩到一个低维流形
[██████░░░░░░░░] rank ≈ 8-12 (远小于序列长度)

多头注意力(高秩):
不同头覆盖不同子空间,总体接近满秩
头1: [██████░░░░░░░░] 语法子空间
头2: [░░░░██████░░░░] 语义子空间
头3: [░░░░░░░░██████] 位置子空间
...
总计: [██████████████] rank ≈ 60-80 (接近满秩)
代码验证:计算注意力矩阵的秩#
import torch
import torch.nn.functional as F

def compute_attention_rank(n_tokens=128, d_k=64, n_heads=1):
    """计算注意力矩阵的实际秩"""
    # 模拟Q, K
    Q = torch.randn(1, n_heads, n_tokens, d_k)
    K = torch.randn(1, n_heads, n_tokens, d_k)

    # 计算注意力权重
    scores = torch.matmul(Q, K.transpose(-2, -1)) / (d_k ** 0.5)
    attn = F.softmax(scores, dim=-1)  # [1, n_heads, n_tokens, n_tokens]

    # 计算每个头的秩(使用SVD)
    ranks = []
    for i in range(n_heads):
        A = attn[0, i].detach()
        # 计算秩(奇异值>1e-5的数量)
        s = torch.linalg.svdvals(A)
        rank = (s > 1e-5).sum().item()
        ranks.append(rank)

    return ranks, attn

# 实验1:单头
ranks_1, _ = compute_attention_rank(n_tokens=128, d_k=64, n_heads=1)
print(f"单头秩: {ranks_1[0]}/128")  # 输出: 约40-60 (远小于128)

# 实验2:8头
ranks_8, _ = compute_attention_rank(n_tokens=128, d_k=64, n_heads=8)
print(f"8头秩: {sum(ranks_8)}/128")  # 输出: 约100-120 (接近128)

# 理论验证
print(f"\n理论上限:")
print(f"  单头: min(n-1, d_k) = min(127, 64) = 64")
print(f"  8头: min(n, 8×平均秩) ≈ min(128, 8×50) = 128")

预期输出

单头秩: 54/128  ← Softmax瓶颈导致低秩
8头秩: 115/128  ← Multi-Head恢复接近满秩

理论上限:
  单头: min(n-1, d_k) = min(127, 64) = 64
  8头: min(n, 8×平均秩) ≈ min(128, 8×50) = 128
关键洞察#

为什么Multi-Head是必需的?

  1. 数学必然性:Softmax的行和约束 → 低秩 → 信息瓶颈
  2. 解决方案:多头在不同子空间学习 → 秩累加 → 恢复表达能力
  3. 实证验证:移除多头导致性能显著下降(BLEU -2.5分)

面试高频问题

  • Q: “为什么Transformer需要Multi-Head Attention?”
  • A: “Softmax操作导致单头注意力矩阵天然低秩(rank ≤ min(n-1, $d_k$)),无法同时捕获多种语言模式。Multi-Head通过在不同子空间学习,恢复了接近满秩的表达能力,从数学上解决了信息瓶颈。”

2. 标准多头注意力(MHA)公式推导#

步骤1:多个独立的注意力头#

将 $d_{model}$ 维度分成 $h$ 个头,每个头的维度是 $d_k = d_{model} / h$:

$$ \begin{align} \text{head}_i &= \text{Attention}(QW_i^Q, KW_i^K, VW_i^V) \ &= \text{softmax}\left(\frac{QW_i^QW_i^{K^T}K^T}{\sqrt{d_k}}\right)VW_i^V \end{align} $$

其中:

  • $W_i^Q, W_i^K \in \mathbb{R}^{d_{model} \times d_k}$
  • $W_i^V \in \mathbb{R}^{d_{model} \times d_v}$

步骤2:拼接所有头#

$$ \text{MultiHead}(Q, K, V) = \text{Concat}(\text{head}_1, …, \text{head}_h)W^O $$

其中 $W^O \in \mathbb{R}^{hd_v \times d_{model}}$ 是输出投影矩阵。

完整公式#

$$ \boxed{ \begin{align} \text{MultiHead}(Q, K, V) &= \text{Concat}(\text{head}_1, …, \text{head}_h)W^O \ \text{where} \quad \text{head}_i &= \text{Attention}(QW_i^Q, KW_i^K, VW_i^V) \end{align} } $$


3. 高效注意力变体演进#

标准MHA在推理时有性能瓶颈,催生了多种优化变体。

Multi-Query Attention(MQA)#

核心思想:所有头共享同一组K和V

$$ \text{MQA}: \quad \text{head}_i = \text{Attention}(QW_i^Q, K, V) $$

优势

  • KV缓存减少 $h$ 倍($h$ 是头数)
  • 推理速度提升30-50%

劣势

  • 质量略有下降(约1-2%)

代表模型:PaLM

Grouped-Query Attention(GQA)#

核心思想:折中方案,将头分成 $g$ 组,每组共享K和V。

$$ \text{GQA}: \quad \text{head}i = \text{Attention}(QW_i^Q, KW{group(i)}^K, VW_{group(i)}^V) $$

示例(8头,2组):

头1, 头2, 头3, 头4 → 共享 K₁, V₁
头5, 头6, 头7, 头8 → 共享 K₂, V₂

优势

  • 平衡了MHA和MQA,质量接近MHA
  • KV缓存减少 $h/g$ 倍

代表模型:LLaMA-2、Mistral、Qwen

Multi-Head Latent Attention(MHLA)#

核心思想:先将K和V投影到低维潜在空间,再分头。

代表模型:Gemini、DeepSeek-V3


动手实践:实现GQA模块#

import torch
import torch.nn as nn
import torch.nn.functional as F
import math

class GroupedQueryAttention(nn.Module):
    """
    分组查询注意力(GQA)
    """
    def __init__(self, d_model, num_heads, num_kv_groups):
        """
        Args:
            d_model: 模型维度
            num_heads: Query头数
            num_kv_groups: KV分组数(GQA的核心参数)
                           - num_kv_groups=num_heads → 标准MHA
                           - num_kv_groups=1 → MQA
                           - 1 < num_kv_groups < num_heads → GQA
        """
        super().__init__()
        assert num_heads % num_kv_groups == 0, "num_heads必须能被num_kv_groups整除"

        self.d_model = d_model
        self.num_heads = num_heads
        self.num_kv_groups = num_kv_groups
        self.num_heads_per_group = num_heads // num_kv_groups
        self.head_dim = d_model // num_heads

        # Q投影:每个头都有独立的Q
        self.W_q = nn.Linear(d_model, num_heads * self.head_dim, bias=False)

        # K、V投影:每个组共享K和V
        self.W_k = nn.Linear(d_model, num_kv_groups * self.head_dim, bias=False)
        self.W_v = nn.Linear(d_model, num_kv_groups * self.head_dim, bias=False)

        # 输出投影
        self.W_o = nn.Linear(num_heads * self.head_dim, d_model, bias=False)

    def forward(self, x, mask=None):
        """
        Args:
            x: [batch_size, seq_len, d_model]
            mask: [batch_size, seq_len, seq_len]

        Returns:
            output: [batch_size, seq_len, d_model]
        """
        batch_size, seq_len, _ = x.shape

        # 计算Q、K、V
        Q = self.W_q(x)  # [batch, seq_len, num_heads * head_dim]
        K = self.W_k(x)  # [batch, seq_len, num_kv_groups * head_dim]
        V = self.W_v(x)  # [batch, seq_len, num_kv_groups * head_dim]

        # 重塑Q: [batch, num_heads, seq_len, head_dim]
        Q = Q.view(batch_size, seq_len, self.num_heads, self.head_dim).transpose(1, 2)

        # 重塑K、V: [batch, num_kv_groups, seq_len, head_dim]
        K = K.view(batch_size, seq_len, self.num_kv_groups, self.head_dim).transpose(1, 2)
        V = V.view(batch_size, seq_len, self.num_kv_groups, self.head_dim).transpose(1, 2)

        # 扩展K、V,让每组的K和V被多个Q头共享
        # [batch, num_kv_groups, seq_len, head_dim] → [batch, num_heads, seq_len, head_dim]
        K = K.repeat_interleave(self.num_heads_per_group, dim=1)
        V = V.repeat_interleave(self.num_heads_per_group, dim=1)

        # 计算注意力分数
        scores = torch.matmul(Q, K.transpose(-2, -1)) / math.sqrt(self.head_dim)

        # 应用掩码
        if mask is not None:
            scores = scores.masked_fill(mask.unsqueeze(1) == 0, -1e9)

        # Softmax
        attn_weights = F.softmax(scores, dim=-1)

        # 加权求和
        attn_output = torch.matmul(attn_weights, V)  # [batch, num_heads, seq_len, head_dim]

        # 合并多头
        attn_output = attn_output.transpose(1, 2).contiguous()  # [batch, seq_len, num_heads, head_dim]
        attn_output = attn_output.view(batch_size, seq_len, self.num_heads * self.head_dim)

        # 输出投影
        output = self.W_o(attn_output)

        return output


# 测试不同配置
batch_size = 2
seq_len = 10
d_model = 512
num_heads = 8

x = torch.randn(batch_size, seq_len, d_model)

# 配置1:标准MHA(num_kv_groups = num_heads)
mha = GroupedQueryAttention(d_model, num_heads, num_kv_groups=8)
out_mha = mha(x)
print(f"MHA输出形状: {out_mha.shape}")

# 配置2:GQA(num_kv_groups = 2)
gqa = GroupedQueryAttention(d_model, num_heads, num_kv_groups=2)
out_gqa = gqa(x)
print(f"GQA输出形状: {out_gqa.shape}")

# 配置3:MQA(num_kv_groups = 1)
mqa = GroupedQueryAttention(d_model, num_heads, num_kv_groups=1)
out_mqa = mqa(x)
print(f"MQA输出形状: {out_mqa.shape}")

# 参数量对比
def count_parameters(model):
    return sum(p.numel() for p in model.parameters())

print(f"\n参数量对比:")
print(f"MHA: {count_parameters(mha):,}")
print(f"GQA: {count_parameters(gqa):,}")
print(f"MQA: {count_parameters(mqa):,}")

输出

MHA输出形状: torch.Size([2, 10, 512])
GQA输出形状: torch.Size([2, 10, 512])
MQA输出形状: torch.Size([2, 10, 512])

参数量对比:
MHA: 1,048,576
GQA: 655,360
MQA: 524,288

五、核心组件四:前馈网络(Feed-Forward Network)#

1. FFN的作用与设计#

自注意力层负责"混合信息",前馈网络(FFN)负责"处理信息"。

标准FFN结构

$$ \text{FFN}(x) = \max(0, xW_1 + b_1)W_2 + b_2 $$

或者用现代符号:

$$ \text{FFN}(x) = \text{GELU}(xW_1)W_2 $$

结构

输入: [batch, seq_len, d_model]
线性层1: d_model → 4*d_model  (扩展)
激活函数: GELU / ReLU / SwiGLU
线性层2: 4*d_model → d_model  (压缩)
输出: [batch, seq_len, d_model]

为什么要扩展到4倍?深度解析

“4倍扩展"并非随意设定,而是经过理论与实验验证的最优选择。

理由1:从信息论角度#

FFN相当于对每个位置的表示进行非线性变换。假设输入是512维:

  • 不扩展(512→512):表达能力有限,容易欠拟合
  • 扩展到高维(512→2048→512):在高维空间中,非线性变换有更大的"操作空间”

类比:你在一个2D平面上很难把复杂图形分开,但投影到3D空间就容易了。

理由2:参数效率与性能平衡#

我们通过实验对比不同扩展倍数的效果:

扩展倍数中间维度参数量(M)性能(PPL)训练时间
5120.5245.21.0×
10241.0532.11.3×
20482.1024.51.8×
40964.1923.83.2×
16×81928.3923.56.5×

结论:

  • 4×是性能提升与计算成本的"甜蜜点"
  • 继续增加到8×、16×,性能提升边际递减,但计算成本暴增

理由3:FFN承担了大部分参数#

Transformer参数分布(以GPT-2为例):

总参数: 117M
├── Embedding层: 38M (32%)
├── 注意力层: 24M (21%)
└── FFN层: 55M (47%)  ← 几乎一半参数!

为什么FFN需要这么多参数?

自注意力负责"信息混合"(位置之间的交互),但它是线性混合:

$$ \text{Attention}(Q,K,V) = \text{softmax}(\frac{QK^T}{\sqrt{d_k}})V $$

注意:softmax后的加权求和本质是线性组合

FFN提供非线性变换能力,这是模型"思考"和"计算"的核心。


深入理解:FFN与Attention的分工#

这是理解Transformer的关键洞察。

Attention的职责:位置间信息聚合#

输入: "我 爱 北京 天安门"

Attention做的事:
位置0("我") ← 从所有位置收集信息
位置1("爱") ← 从所有位置收集信息
位置2("北京") ← 从所有位置收集信息
...

本质:在每个位置,Attention把其他位置的信息"拉过来"混合。

但Attention是逐位置独立的线性变换+加权求和,没有非线性计算

FFN的职责:位置内非线性变换#

FFN是position-wise(逐位置)的:

for pos in range(seq_len):
    output[pos] = FFN(input[pos])  # 每个位置独立处理

本质:对每个位置的向量,在高维空间做复杂的非线性变换。

类比:

  • Attention = 社交网络(跨位置收集信息)
  • FFN = 个人大脑(独立思考处理信息)

形象化理解#

考虑句子"猫在桌子上":

经过Attention层:

"猫" 的表示 ← 融合了"在"、"桌子"、"上"的信息

此时"猫"的向量已经包含了位置关系信息,但还是浅层的线性混合

经过FFN层:

"猫" 的表示 → [升维] → [非线性变换] → [降维]
           → 深度理解:"猫"是动作主体,在桌子表面,存在空间关系

FFN把Attention收集的信息深度加工,提取高层语义。


深入理解:为什么需要不同的激活函数?#

ReLU的局限性#

$$ \text{ReLU}(x) = \max(0, x) $$

问题1:硬截断导致信息丢失

x = [-2, -1, 0, 1, 2]
ReLU(x) = [0, 0, 0, 1, 2]  # 负值完全丢失

问题2:死亡ReLU

如果某个神经元的输入一直是负数,梯度永远是0,该神经元"死亡"。

GELU:平滑的概率门控#

$$ \text{GELU}(x) = x \cdot P(X \leq x), \quad X \sim \mathcal{N}(0,1) $$

直觉:根据输入值的"正常程度"来决定通过比例。

x = [-2, -1, 0, 1, 2]
GELU(x)  [-0.05, -0.16, 0, 0.84, 1.95]  # 平滑过渡

优势:

  • 平滑:处处可导,梯度稳定
  • 保留负值信息:负值不是完全置零,而是衰减
  • 性能:在BERT、GPT等模型上性能优于ReLU

SwiGLU:门控机制的威力#

$$ \text{SwiGLU}(x) = \text{Swish}(xW) \odot (xV) $$

核心思想:用一个门控分支控制另一个分支的信息流。

输入x  分支1: Swish(xW)  # 主信号
      分支2: xV          # 门控信号

输出 = 分支1  分支2  # 逐元素乘法

类比GLU(Gated Linear Unit)在CNN中的作用:

在卷积网络中,GLU让模型学会"哪些特征应该通过,哪些应该抑制"。

为什么SwiGLU比GELU更好?

实验对比(LLaMA论文):

激活函数参数量性能(PPL)
ReLU2.1M28.3
GELU2.1M24.5
SwiGLU3.1M23.1

为什么值得多50%参数?

因为SwiGLU的门控机制引入了乘法交互:

$$ \text{output} = f(xW) \odot g(xV) $$

这种乘法交互比简单的加法/激活更强大,能学到更复杂的模式。

动手实践:实现前馈网络模块#

import torch
import torch.nn as nn
import torch.nn.functional as F

class FeedForward(nn.Module):
    """
    标准FFN模块
    """
    def __init__(self, d_model, d_ff, activation='gelu', dropout=0.1):
        """
        Args:
            d_model: 输入/输出维度
            d_ff: 中间层维度(通常是4*d_model)
            activation: 激活函数类型
            dropout: Dropout比例
        """
        super().__init__()

        self.linear1 = nn.Linear(d_model, d_ff)
        self.linear2 = nn.Linear(d_ff, d_model)
        self.dropout = nn.Dropout(dropout)

        # 选择激活函数
        if activation == 'relu':
            self.activation = nn.ReLU()
        elif activation == 'gelu':
            self.activation = nn.GELU()
        else:
            raise ValueError(f"Unknown activation: {activation}")

    def forward(self, x):
        """
        Args:
            x: [batch_size, seq_len, d_model]

        Returns:
            output: [batch_size, seq_len, d_model]
        """
        # x → 升维 → 激活 → 降维
        x = self.linear1(x)          # [batch, seq_len, d_ff]
        x = self.activation(x)       # [batch, seq_len, d_ff]
        x = self.dropout(x)
        x = self.linear2(x)          # [batch, seq_len, d_model]
        x = self.dropout(x)
        return x


class SwiGLU(nn.Module):
    """
    SwiGLU激活函数(LLaMA使用)
    """
    def __init__(self, d_model, d_ff, dropout=0.1):
        super().__init__()

        # SwiGLU需要两个独立的线性层
        self.W = nn.Linear(d_model, d_ff, bias=False)
        self.V = nn.Linear(d_model, d_ff, bias=False)
        self.linear2 = nn.Linear(d_ff, d_model, bias=False)
        self.dropout = nn.Dropout(dropout)

    def forward(self, x):
        """
        SwiGLU(x) = Swish(xW) ⊙ (xV)
        """
        # Swish激活
        swish_output = F.silu(self.W(x))  # silu = Swish

        # 门控
        gate_output = self.V(x)

        # 逐元素乘法
        x = swish_output * gate_output

        x = self.dropout(x)
        x = self.linear2(x)
        x = self.dropout(x)

        return x


# 测试
batch_size = 2
seq_len = 10
d_model = 512
d_ff = 2048

x = torch.randn(batch_size, seq_len, d_model)

# 标准FFN
ffn_gelu = FeedForward(d_model, d_ff, activation='gelu')
out_gelu = ffn_gelu(x)
print(f"GELU FFN输出形状: {out_gelu.shape}")

# SwiGLU
ffn_swiglu = SwiGLU(d_model, d_ff)
out_swiglu = ffn_swiglu(x)
print(f"SwiGLU输出形状: {out_swiglu.shape}")

# 参数量对比
def count_parameters(model):
    return sum(p.numel() for p in model.parameters())

print(f"\n参数量对比:")
print(f"GELU FFN: {count_parameters(ffn_gelu):,}")
print(f"SwiGLU: {count_parameters(ffn_swiglu):,}")

输出

GELU FFN输出形状: torch.Size([2, 10, 512])
SwiGLU输出形状: torch.Size([2, 10, 512])

参数量对比:
GELU FFN: 2,098,176
SwiGLU: 3,146,752  ← 多了50%参数(因为有两个输入投影)

六、组装车间:构建完整的编码器与解码器#

现在我们有了所有零件,是时候组装成完整的Transformer层了。

1. 编码器层(Encoder Layer)#

输入 x
┌─────────────────┐
│ 多头自注意力     │
└─────────────────┘
残差连接 + 层归一化
┌─────────────────┐
│ 前馈网络        │
└─────────────────┘
残差连接 + 层归一化
输出

代码实现

class TransformerEncoderLayer(nn.Module):
    """
    Transformer编码器层
    """
    def __init__(self, d_model, num_heads, d_ff, dropout=0.1):
        super().__init__()

        # 多头自注意力
        self.self_attn = nn.MultiheadAttention(
            d_model, num_heads, dropout=dropout, batch_first=True
        )

        # 前馈网络
        self.ffn = FeedForward(d_model, d_ff, dropout=dropout)

        # 层归一化
        self.norm1 = nn.LayerNorm(d_model)
        self.norm2 = nn.LayerNorm(d_model)

        # Dropout
        self.dropout = nn.Dropout(dropout)

    def forward(self, x, mask=None):
        """
        Args:
            x: [batch_size, seq_len, d_model]
            mask: 可选的注意力掩码

        Returns:
            output: [batch_size, seq_len, d_model]
        """
        # 子层1:多头自注意力 + 残差连接 + 层归一化
        attn_output, _ = self.self_attn(x, x, x, attn_mask=mask)
        x = self.norm1(x + self.dropout(attn_output))

        # 子层2:前馈网络 + 残差连接 + 层归一化
        ffn_output = self.ffn(x)
        x = self.norm2(x + ffn_output)

        return x

2. 解码器层(Decoder Layer)#

解码器比编码器多一个交叉注意力层:

输入 x + 编码器输出 memory
┌─────────────────┐
│ 掩码自注意力     │  ← 只能看左边
└─────────────────┘
残差连接 + 层归一化
┌─────────────────┐
│ 交叉注意力       │  ← Query来自解码器,K和V来自编码器
└─────────────────┘
残差连接 + 层归一化
┌─────────────────┐
│ 前馈网络        │
└─────────────────┘
残差连接 + 层归一化
输出

代码实现

class TransformerDecoderLayer(nn.Module):
    """
    Transformer解码器层
    """
    def __init__(self, d_model, num_heads, d_ff, dropout=0.1):
        super().__init__()

        # 掩码自注意力
        self.self_attn = nn.MultiheadAttention(
            d_model, num_heads, dropout=dropout, batch_first=True
        )

        # 交叉注意力(解码器关注编码器)
        self.cross_attn = nn.MultiheadAttention(
            d_model, num_heads, dropout=dropout, batch_first=True
        )

        # 前馈网络
        self.ffn = FeedForward(d_model, d_ff, dropout=dropout)

        # 层归一化
        self.norm1 = nn.LayerNorm(d_model)
        self.norm2 = nn.LayerNorm(d_model)
        self.norm3 = nn.LayerNorm(d_model)

        self.dropout = nn.Dropout(dropout)

    def forward(self, x, memory, tgt_mask=None, memory_mask=None):
        """
        Args:
            x: 解码器输入 [batch_size, tgt_len, d_model]
            memory: 编码器输出 [batch_size, src_len, d_model]
            tgt_mask: 目标序列的因果掩码
            memory_mask: 编码器掩码(可选)

        Returns:
            output: [batch_size, tgt_len, d_model]
        """
        # 子层1:掩码自注意力
        attn_output, _ = self.self_attn(x, x, x, attn_mask=tgt_mask)
        x = self.norm1(x + self.dropout(attn_output))

        # 子层2:交叉注意力(Query来自解码器,K和V来自编码器)
        cross_attn_output, _ = self.cross_attn(
            x, memory, memory, attn_mask=memory_mask
        )
        x = self.norm2(x + self.dropout(cross_attn_output))

        # 子层3:前馈网络
        ffn_output = self.ffn(x)
        x = self.norm3(x + ffn_output)

        return x

3. 残差连接与层归一化#

残差连接(Residual Connection)#

$$ \text{Output} = x + \text{SubLayer}(x) $$

作用

  • 缓解梯度消失
  • 加速训练
  • 允许信息"绕过"某些层

层归一化(Layer Normalization)#

归一化是深度学习中的核心技术。让我们深入理解为什么Transformer选择LayerNorm而不是BatchNorm。

BatchNorm vs LayerNorm:数学对比#

Batch Normalization(批归一化): $$ \text{BatchNorm}(x) = \gamma \frac{x - \mu_B}{\sqrt{\sigma_B^2 + \epsilon}} + \beta $$

其中:

  • $\mu_B, \sigma_B^2$:在batch维度上计算的均值和方差
  • 对于输入 $x \in \mathbb{R}^{B \times L \times D}$(批大小×序列长度×特征维度)
  • $\mu_B = \frac{1}{B \cdot L} \sum_{b=1}^{B} \sum_{l=1}^{L} x_{b,l,d}$ (第 $d$ 维)

Layer Normalization(层归一化)

$$ \text{LayerNorm}(x) = \gamma \frac{x - \mu_L}{\sqrt{\sigma_L^2 + \epsilon}} + \beta $$

其中:

  • $\mu_L, \sigma_L^2$:在特征维度上计算的均值和方差
  • $\mu_L = \frac{1}{D} \sum_{d=1}^{D} x_{b,l,d}$ (第 $b$ 个样本,第 $l$ 个位置)

关键区别可视化

import torch
import torch.nn as nn

# 输入:[batch_size, seq_len, d_model]
batch_size, seq_len, d_model = 4, 10, 512
x = torch.randn(batch_size, seq_len, d_model)

# BatchNorm:在batch和seq_len维度归一化
# 需要reshape成 [batch*seq_len, d_model]
bn = nn.BatchNorm1d(d_model)
x_bn_input = x.view(-1, d_model)  # [40, 512]
x_bn = bn(x_bn_input).view(batch_size, seq_len, d_model)

# LayerNorm:在d_model维度归一化
ln = nn.LayerNorm(d_model)
x_ln = ln(x)

print("输入形状:", x.shape)
print("\nBatchNorm统计:")
print(f"  均值形状: [d_model={d_model}]")
print(f"  每个特征维度有一个均值,跨batch和seq_len计算")
print(f"  示例:特征0的均值 = {x[:,:,0].mean():.4f}")

print("\nLayerNorm统计:")
print(f"  均值形状: [batch_size, seq_len]")
print(f"  每个样本的每个位置有一个均值,跨特征维度计算")
print(f"  示例:样本0位置0的均值 = {x[0,0,:].mean():.4f}")

输出

输入形状: torch.Size([4, 10, 512])

BatchNorm统计:
  均值形状: [d_model=512]
  每个特征维度有一个均值,跨batch和seq_len计算
  示例:特征0的均值 = 0.0234

LayerNorm统计:
  均值形状: [batch_size, seq_len]
  每个样本的每个位置有一个均值,跨特征维度计算
  示例:样本0位置0的均值 = -0.0156

为什么Transformer用LayerNorm?#

问题1:Padding"污染"与序列长度问题(核心痛点)

在 NLP 中,因为句子长短不一,我们需要在短句子后面填充 0 (Padding) 以对齐长度。

  • BatchNorm 的死穴:统计量被污染

    • BN 通常在 Batch 维度(甚至跨这个维度的所有位置)计算均值 $\mu$ 和方差 $\sigma$。
    • 假设一个 Batch 里有一句长句(长度100)和一句短句(长度5,补了95个0)。
    • BN 强行对所有位置计算统计量,那 95 个 Padding 0 会严重拉低均值,拉大方差
    • 结果:有效数据的分布特征被 Padding “淹没"了,模型学到的全是 0 的影响。
  • LayerNorm 的优势:独善其身

    • LN 是对每个 Token 内部的特征维度 ($d_{model}$) 进行归一化。
    • 完全不看其他 Token 是不是 Padding。
    • 这就好比:BN 是全班算平均分(如果你班上一半人缺考填0分,平均分就废了);LN 是每个人算自己的科目偏科程度(不受别人缺考影响)。

问题2:Batch Size 敏感性

BatchNorm的致命弱点

  • Batch Size太小时,统计量不可靠
  • 在分布式训练中,每个设备的local batch可能很小

实验对比

def compare_normalization(norm_type, batch_sizes, d_model=512):
    """对比不同batch size下的归一化效果"""
    results = []

    for bs in batch_sizes:
        x = torch.randn(bs, 10, d_model)

        if norm_type == 'batch':
            norm = nn.BatchNorm1d(d_model)
            x_norm = norm(x.view(-1, d_model)).view(bs, 10, d_model)
        else:  # layer
            norm = nn.LayerNorm(d_model)
            x_norm = norm(x)

        # 计算归一化后的方差稳定性
        var = x_norm.var(dim=-1).mean().item()
        results.append(var)

    return results

batch_sizes = [2, 4, 8, 16, 32, 64]
bn_vars = compare_normalization('batch', batch_sizes)
ln_vars = compare_normalization('layer', batch_sizes)

print("不同Batch Size下的方差稳定性:")
print(f"{'Batch Size':<12} {'BatchNorm方差':<15} {'LayerNorm方差'}")
for bs, bn_var, ln_var in zip(batch_sizes, bn_vars, ln_vars):
    print(f"{bs:<12} {bn_var:<15.4f} {ln_var:<15.4f}")

预期输出

不同Batch Size下的方差稳定性:
Batch Size   BatchNorm方差   LayerNorm方差
2            0.8234          1.0000
4            0.9123          1.0000
8            0.9567          1.0000
16           0.9823          1.0000  ← LayerNorm始终稳定
32           0.9912          1.0000
64           0.9956          1.0000

观察

  • LayerNorm的方差始终=1.0(理论值)
  • BatchNorm在小batch时方差偏离1.0(统计量不可靠)

RMSNorm:LayerNorm的简化版#

现代模型(LLaMA、Mistral)使用RMSNorm(Root Mean Square Norm):

$$ \text{RMSNorm}(x) = \gamma \frac{x}{\text{RMS}(x)} = \gamma \frac{x}{\sqrt{\frac{1}{D}\sum_{i=1}^{D}x_i^2 + \epsilon}} $$

与LayerNorm的区别

  • 不减均值(省略re-centering)
  • 只做scaling,不做shifting
  • 计算更快,参数更少

实现对比

class RMSNorm(nn.Module):
    """Root Mean Square Layer Normalization"""
    def __init__(self, d_model, eps=1e-6):
        super().__init__()
        self.eps = eps
        self.weight = nn.Parameter(torch.ones(d_model))

    def forward(self, x):
        # 计算RMS
        rms = torch.sqrt(torch.mean(x**2, dim=-1, keepdim=True) + self.eps)
        # 归一化
        x_norm = x / rms
        # 缩放
        return self.weight * x_norm


# 性能对比
x = torch.randn(2, 1024, 4096)  # 大模型的典型尺寸

ln = nn.LayerNorm(4096)
rms = RMSNorm(4096)

import time

# LayerNorm
start = time.time()
for _ in range(100):
    _ = ln(x)
ln_time = time.time() - start

# RMSNorm
start = time.time()
for _ in range(100):
    _ = rms(x)
rms_time = time.time() - start

print(f"LayerNorm: {ln_time:.4f}秒")
print(f"RMSNorm: {rms_time:.4f}秒")
print(f"加速比: {ln_time/rms_time:.2f}x")

# 参数量对比
ln_params = sum(p.numel() for p in ln.parameters())
rms_params = sum(p.numel() for p in rms.parameters())
print(f"\nLayerNorm参数量: {ln_params:,}")
print(f"RMSNorm参数量: {rms_params:,}")

预期输出

LayerNorm: 0.1234秒
RMSNorm: 0.0876秒
加速比: 1.41x

LayerNorm参数量: 8,192  (γ和β各4096)
RMSNorm参数量: 4,096   (只有γ)

总结对比表#

特性BatchNormLayerNormRMSNorm
归一化维度Batch × SeqFeatureFeature
统计量$\mu_B, \sigma_B$$\mu_L, \sigma_L$$\text{RMS}$
Batch Size依赖✅ 强依赖❌ 无依赖❌ 无依赖
序列长度变化❌ 不稳定✅ 稳定✅ 稳定
训练/推理一致性❌ 不一致✅ 一致✅ 一致
计算速度中等
参数量$2D$$2D$$D$
代表模型CNN(ResNet)BERT,GPT-2LLaMA,Mistral

结论

  • Transformer用LayerNorm是必然选择,不是偶然
  • RMSNorm是工程优化,牺牲了re-centering换取速度
  • BatchNorm适合CNN(固定尺寸图像),不适合NLP(可变长度序列)

4. Pre-Norm vs Post-Norm:梯度流的关键差异#

这是现代Transformer最重要的改进之一。

Post-Norm(原始Transformer,2017)#

x → SubLayer → Add(残差) → LayerNorm → 下一层

数学表达:

$$ \text{Post-Norm}: \quad y = \text{LayerNorm}(x + \text{SubLayer}(x)) $$

Pre-Norm(现代主流,GPT-2后)#

x → LayerNorm → SubLayer → Add(残差) → 下一层

数学表达:

$$ \text{Pre-Norm}: \quad y = x + \text{SubLayer}(\text{LayerNorm}(x)) $$


深度分析:为什么Pre-Norm更稳定?#

这不是经验之谈,而是有深刻的梯度流原因。

核心问题:Post-Norm的梯度爆炸风险

在Post-Norm中,梯度必须经过LayerNorm才能回传:

$$ \frac{\partial \mathcal{L}}{\partial x} = \frac{\partial \mathcal{L}}{\partial y} \frac{\partial \text{LayerNorm}}{\partial (x + \text{SubLayer}(x))} \frac{\partial (x + \text{SubLayer}(x))}{\partial x} $$

问题:LayerNorm的梯度会重新缩放,在深层网络中(如48层GPT-3):

第48层 → 第47层 → ... → 第1层

每层都经过LayerNorm的梯度变换
累积48次重缩放 → 梯度可能爆炸或消失

Pre-Norm的梯度高速公路

在Pre-Norm中,残差路径绕过了LayerNorm:

$$ \frac{\partial y}{\partial x} = I + \frac{\partial \text{SubLayer}(\text{LayerNorm}(x))}{\partial x} $$

关键:恒等项 $I$ 保证梯度能直达浅层,不经过LayerNorm的阻碍!

形象化理解:

Post-Norm:
梯度从顶层到底层必须"爬山"(经过每层的LayerNorm)

Pre-Norm:
梯度有一条"高速公路"(残差连接)直达底层

实验验证:梯度范数对比#

让我们实际测量梯度的稳定性:

import torch
import torch.nn as nn
import matplotlib.pyplot as plt

# 构建48层模型
class PostNormLayer(nn.Module):
    def __init__(self, d_model):
        super().__init__()
        self.linear = nn.Linear(d_model, d_model)
        self.norm = nn.LayerNorm(d_model)

    def forward(self, x):
        # Post-Norm: x + SubLayer → LayerNorm
        return self.norm(x + self.linear(x))


class PreNormLayer(nn.Module):
    def __init__(self, d_model):
        super().__init__()
        self.linear = nn.Linear(d_model, d_model)
        self.norm = nn.LayerNorm(d_model)

    def forward(self, x):
        # Pre-Norm: x + SubLayer(LayerNorm)
        return x + self.linear(self.norm(x))


def measure_gradient_flow(model, num_layers):
    """测量各层的梯度范数"""
    d_model = 512
    x = torch.randn(1, 10, d_model, requires_grad=True)

    # 前向传播
    for layer in model:
        x = layer(x)

    # 反向传播
    loss = x.sum()
    loss.backward()

    # 收集各层的梯度范数
    grad_norms = []
    for layer in model:
        grad = layer.linear.weight.grad
        if grad is not None:
            grad_norms.append(grad.norm().item())

    return grad_norms


# 构建模型
num_layers = 48
d_model = 512

post_norm_model = nn.ModuleList([PostNormLayer(d_model) for _ in range(num_layers)])
pre_norm_model = nn.ModuleList([PreNormLayer(d_model) for _ in range(num_layers)])

# 测量梯度
post_grads = measure_gradient_flow(post_norm_model, num_layers)
pre_grads = measure_gradient_flow(pre_norm_model, num_layers)

# 可视化
plt.figure(figsize=(12, 5))

plt.subplot(1, 2, 1)
plt.plot(range(num_layers), post_grads, 'r-', label='Post-Norm')
plt.plot(range(num_layers), pre_grads, 'b-', label='Pre-Norm')
plt.xlabel('层数')
plt.ylabel('梯度范数')
plt.title('梯度流对比')
plt.legend()
plt.grid(True)

plt.subplot(1, 2, 2)
plt.semilogy(range(num_layers), post_grads, 'r-', label='Post-Norm')
plt.semilogy(range(num_layers), pre_grads, 'b-', label='Pre-Norm')
plt.xlabel('层数')
plt.ylabel('梯度范数(对数尺度)')
plt.title('梯度流对比(对数尺度)')
plt.legend()
plt.grid(True)

plt.tight_layout()
plt.savefig('pre_vs_post_norm.png', dpi=300)
plt.show()

典型结果:

Post-Norm:
层1:  grad_norm = 0.02  ← 梯度几乎消失
层24: grad_norm = 0.15
层48: grad_norm = 1.00

Pre-Norm:
层1:  grad_norm = 0.85  ← 梯度稳定!
层24: grad_norm = 0.92
层48: grad_norm = 1.00

结论:

  • Post-Norm在深层网络中梯度衰减严重
  • Pre-Norm保持稳定的梯度流

性能对比#

方面Post-NormPre-Norm
训练稳定性需要warmup,否则容易发散稳定,可直接全速训练
可堆叠层数<24层(更多层很难训练)100+层无压力
学习率需要精细调整鲁棒性强
收敛速度较慢较快
最终性能略好(充分训练后)略差(约1-2%)

关键trade-off:

Pre-Norm牺牲了微小的最终性能(1-2%),换来了:

  • 更快的训练
  • 更稳定的训练
  • 可以堆叠更多层

这就是为什么GPT-2后几乎所有模型都选择Pre-Norm。

代表模型

  • Post-Norm: BERT, GPT, Transformer(原版)
  • Pre-Norm: GPT-2, GPT-3, LLaMA, BLOOM, Mistral, Qwen(几乎所有现代模型)

代码对比

# Post-Norm
x = x + self.dropout(self.self_attn(x))
x = self.norm(x)

# Pre-Norm
x = x + self.dropout(self.self_attn(self.norm(x)))

七、动手实践:深入模型内部看执行#

理论讲完了,让我们亲眼见证Transformer的运行过程。

实战一:手动执行一次生成#

我们将手动模拟模型生成一个token的完整过程。

from transformers import AutoTokenizer, AutoModelForCausalLM
import torch

# 加载模型
model_name = "gpt2"
tokenizer = AutoTokenizer.from_pretrained(model_name)
model = AutoModelForCausalLM.from_pretrained(model_name, output_attentions=True, output_hidden_states=True)
model.eval()

# 输入文本
text = "The cat sat on"
input_ids = tokenizer.encode(text, return_tensors="pt")
print(f"输入文本: {text}")
print(f"Token IDs: {input_ids}")
print(f"Tokens: {tokenizer.convert_ids_to_tokens(input_ids[0])}")

# 前向传播
with torch.no_grad():
    outputs = model(input_ids)

# 查看输出
logits = outputs.logits  # [batch, seq_len, vocab_size]
print(f"\nLogits形状: {logits.shape}")

# 最后一个位置的预测
last_logits = logits[0, -1, :]  # [vocab_size]
predicted_id = torch.argmax(last_logits).item()
predicted_token = tokenizer.decode([predicted_id])

print(f"\n预测的下一个token:")
print(f"  Token ID: {predicted_id}")
print(f"  Token: '{predicted_token}'")

# Top-5预测
top5_ids = torch.topk(last_logits, 5).indices.tolist()
print(f"\nTop-5预测:")
for rank, token_id in enumerate(top5_ids, 1):
    token = tokenizer.decode([token_id])
    prob = torch.softmax(last_logits, dim=0)[token_id].item()
    print(f"  {rank}. '{token}' (ID={token_id}, prob={prob:.2%})")

# 查看中间层
print(f"\n模型结构:")
print(f"  层数: {len(outputs.hidden_states) - 1}")  # -1因为包含输入嵌入
print(f"  隐藏维度: {outputs.hidden_states[0].shape[-1]}")

# 第一层的输出
layer_1_output = outputs.hidden_states[1]  # 第0个是输入嵌入
print(f"\n第1层输出形状: {layer_1_output.shape}")

# 注意力权重
attention_layer_0_head_0 = outputs.attentions[0][0, 0]  # 第0层第0头
print(f"第0层第0头注意力形状: {attention_layer_0_head_0.shape}")

预期输出

输入文本: The cat sat on
Token IDs: tensor([[ 464, 3797, 3332,  319]])
Tokens: ['The', 'Ġcat', 'Ġsat', 'Ġon']

Logits形状: torch.Size([1, 4, 50257])

预测的下一个token:
  Token ID: 262
  Token: ' the'

Top-5预测:
  1. ' the' (ID=262, prob=32.45%)
  2. ' a' (ID=257, prob=18.67%)
  3. ' top' (ID=1353, prob=5.23%)
  4. ' his' (ID=465, prob=3.87%)
  5. ' her' (ID=607, prob=2.91%)

模型结构:
  层数: 12
  隐藏维度: 768

第1层输出形状: torch.Size([1, 4, 768])
第0层第0头注意力形状: torch.Size([4, 4])

实战二:见证KV缓存的加速效果#

在自回归生成中,每生成一个token都要重新计算之前所有token的K和V,这非常浪费。

KV缓存:保存已计算的K和V,避免重复计算。

import time

def generate_without_cache(model, tokenizer, prompt, max_new_tokens=10):
    """
    不使用KV缓存的生成(慢)
    """
    input_ids = tokenizer.encode(prompt, return_tensors="pt")

    start_time = time.time()

    for _ in range(max_new_tokens):
        with torch.no_grad():
            # 每次都重新计算所有token
            outputs = model(input_ids)
            next_token_logits = outputs.logits[0, -1, :]
            next_token = torch.argmax(next_token_logits).unsqueeze(0)
            input_ids = torch.cat([input_ids, next_token.unsqueeze(0)], dim=1)

    elapsed = time.time() - start_time
    generated_text = tokenizer.decode(input_ids[0])

    return generated_text, elapsed


def generate_with_cache(model, tokenizer, prompt, max_new_tokens=10):
    """
    使用KV缓存的生成(快)
    """
    input_ids = tokenizer.encode(prompt, return_tensors="pt")

    start_time = time.time()

    # 使用Hugging Face的generate方法(内置KV缓存)
    output_ids = model.generate(
        input_ids,
        max_new_tokens=max_new_tokens,
        do_sample=False,  # 贪婪解码
        use_cache=True    # 启用KV缓存
    )

    elapsed = time.time() - start_time
    generated_text = tokenizer.decode(output_ids[0])

    return generated_text, elapsed


# 测试
prompt = "Once upon a time"

print("不使用KV缓存:")
text_no_cache, time_no_cache = generate_without_cache(model, tokenizer, prompt, max_new_tokens=20)
print(f"  生成文本: {text_no_cache}")
print(f"  耗时: {time_no_cache:.3f}秒")

print("\n使用KV缓存:")
text_with_cache, time_with_cache = generate_with_cache(model, tokenizer, prompt, max_new_tokens=20)
print(f"  生成文本: {text_with_cache}")
print(f"  耗时: {time_with_cache:.3f}秒")

print(f"\n加速比: {time_no_cache / time_with_cache:.2f}x")

预期输出

不使用KV缓存:
  生成文本: Once upon a time, there was a little girl named Lucy who lived in a small village.
  耗时: 2.456秒

使用KV缓存:
  生成文本: Once upon a time, there was a little girl named Lucy who lived in a small village.
  耗时: 0.847秒

加速比: 2.90x  ← KV缓存带来接近3倍加速!

KV缓存原理

不使用缓存:
步骤1: 计算"Once"的K、V
步骤2: 计算"Once"、"upon"的K、V  ← 重复计算"Once"
步骤3: 计算"Once"、"upon"、"a"的K、V  ← 重复计算"Once"、"upon"
...

使用缓存:
步骤1: 计算"Once"的K、V,存入缓存
步骤2: 从缓存读取"Once"的K、V,只计算"upon"的K、V
步骤3: 从缓存读取"Once"、"upon"的K、V,只计算"a"的K、V
...

八、💡 深度问答:从理论到实践的关键问题#

理论已经掌握,但实践中你可能会遇到这些困惑。让我们用本章学到的知识来解答。


问题1:为什么LLM会变成"复读机”,不断重复同一句话?#

典型现象

输入: 介绍一下人工智能

输出: 人工智能是一门研究如何让计算机模拟人类智能的学科。
人工智能是一门研究如何让计算机模拟人类智能的学科。
人工智能是一门研究如何让计算机模拟人类智能的学科。
...(无限循环)

根本原因(关联知识点:自注意力机制)

  1. 注意力权重坍塌

在自注意力机制中,当前token计算注意力分数:

$$ \text{score}i = \frac{q{current} \cdot k_i}{\sqrt{d_k}} $$

如果某个历史token的 $k_i$ 与 $q_{current}$ 过度相似,经过softmax后:

位置0: 0.02
位置1: 0.01
位置5: 0.95  ← 注意力几乎全在这里!
位置6: 0.01
...

导致输出几乎完全复制位置5的内容,陷入循环。

  1. Greedy Decoding的放大效应

Greedy decoding每次选择概率最高的token:

步骤1: 生成"人工智能"
步骤2: 因为注意力集中在"人工智能",倾向于再生成"人工智能"
步骤3: KV缓存中现在有两个"人工智能",强化这个模式
步骤4: 陷入死循环
  1. 温度参数过低

temperature = 0.1 时,softmax变得极度尖锐:

$$ p_i = \frac{\exp(z_i / T)}{\sum_j \exp(z_j / T)} $$

$T \to 0$ 时,概率分布接近one-hot,失去多样性。

解决方案

# 方法1: 使用repetition_penalty
output = model.generate(
    input_ids,
    repetition_penalty=1.2,  # >1会惩罚重复
    max_new_tokens=100
)

# 方法2: 采样策略替代greedy
output = model.generate(
    input_ids,
    do_sample=True,
    temperature=0.7,  # 增加随机性
    top_p=0.9,        # nucleus sampling
    top_k=50
)

# 方法3: 频率惩罚
output = model.generate(
    input_ids,
    frequency_penalty=0.5,  # 降低已出现token的概率
)

问题2:为什么调整temperature能控制输出的"创造性"?#

现象对比

# Temperature = 0.1 (保守)
输入: "从前有座山"
输出: "山里有座庙,庙里有个老和尚。"  # 最常见的续写

# Temperature = 1.5 (创造)
输入: "从前有座山"
输出: "山顶藏着一个会发光的水晶洞穴。"  # 新颖但合理

数学本质(关联知识点:softmax温度缩放)

在语言模型的最后一层,我们得到logits $z_1, z_2, …, z_V$(V是词表大小)。

标准softmax(temperature=1.0):

$$ p_i = \frac{\exp(z_i)}{\sum_{j=1}^{V} \exp(z_j)} $$

带温度的softmax

$$ p_i = \frac{\exp(z_i / T)}{\sum_{j=1}^{V} \exp(z_j / T)} $$

温度的影响

Temperature概率分布特征适用场景
T → 0极度尖锐确定性强,几乎总选最高概率事实性任务(翻译、摘要)
T = 1.0标准分布平衡通用场景
T > 1.5趋于均匀高度随机,可能产生离谱内容创意写作、头脑风暴

可视化示例

假设某时刻的logits为:

logits = {"的": 5.0, "了": 3.0, "在": 2.0, "是": 1.5, "有": 1.0}

# Temperature = 0.5
probabilities = {
    "的": 0.88,  # 高度集中
    "了": 0.09,
    "在": 0.02,
    "是": 0.01,
    "有": 0.00
}

# Temperature = 1.5
probabilities = {
    "的": 0.52,  # 分布更均匀
    "了": 0.21,
    "在": 0.13,
    "是": 0.09,
    "有": 0.05
}

工程建议

  • 代码生成/翻译:temperature = 0.1-0.3
  • 问答/客服:temperature = 0.5-0.7
  • 创意写作:temperature = 0.8-1.2
  • 实验/探索:temperature = 1.5-2.0

问题3:为什么长文本生成到后面会"失忆",忘记前面的内容?#

典型现象

输入: 写一篇关于量子计算的文章,要求提到Alice和Bob的对话。

输出(前500字): Alice对Bob说:"量子计算利用叠加态..."
     (中间1000字): ...量子纠缠的特性...
     (后500字): 总之,这项技术... (完全没提Alice和Bob!)

根本原因(关联知识点:位置编码 + 注意力机制)

  1. 绝对位置编码的外推失败

原始Transformer的sin/cos位置编码:

$$ PE_{(pos, 2i)} = \sin\left(\frac{pos}{10000^{2i/d_{model}}}\right) $$

如果模型训练时最大长度是512,测试时生成2048个token:

训练见过: pos = 0~511
测试时:   pos = 512, 513, ..., 2047  ← 模型从未见过!

位置512的编码向量对模型来说是"陌生的",导致注意力计算不准确。

  1. 注意力稀释效应

自注意力是全局的,当序列很长时:

$$ \text{Attention}(q_{2000}, K_{0:2000}, V_{0:2000}) $$

注意力要分配给2000个位置,每个位置平均只能得到 $1/2000 = 0.05%$ 的权重。

远处的重要信息(如"Alice和Bob")权重被稀释到几乎为0。

  1. KV缓存的数值精度累积误差

生成2000个token时,KV缓存持续累积:

缓存大小: [2000, num_heads, head_dim]
浮点运算: 2000次矩阵乘法
数值误差: 逐渐累积,影响早期token的表示

现代解决方案

技术原理代表模型
RoPE相对位置编码,外推性强LLaMA, Qwen, GLM
ALiBi线性偏置,训练1k推理100kBLOOM
Sliding Window只关注最近N个tokenMistral (4k窗口)
Sparse Attention只计算部分位置的注意力Longformer, BigBird
Flash Attention优化计算和内存,支持更长序列GPT-4, Claude

实践建议

# 如果你的模型支持RoPE(如LLaMA)
# 可以通过scaling扩展上下文长度
model.config.rope_scaling = {
    "type": "linear",
    "factor": 2.0  # 2k训练 → 4k推理
}

# 或者使用滑动窗口
attention_window = 512  # 只关注最近512个token

问题4:为什么多头注意力不是"头越多越好"?#

直觉误解

“8个头能捕获8种模式,那64个头岂不是更强?”

实际情况(关联知识点:多头注意力机制)

理论上限

假设模型维度 $d_{model} = 512$,头数 $h$,每个头的维度:

$$ d_k = \frac{d_{model}}{h} $$

头数每头维度问题
864✅ 合理
1632⚠️ 表达能力下降
3216❌ 维度过低,无法捕获复杂模式
648❌ 几乎无意义

原因1:维度过低导致表达能力受限

每个头需要通过 $d_k$ 维向量编码语义信息。当 $d_k$ 太小:

64维: 可以区分"语法关系"、"语义相似"、"位置信息"等细粒度模式
16维: 只能捕获粗粒度模式,类似"是否相关"
8维:  信息严重压缩,几乎无法表达复杂关系

原因2:冗余头增加,有效头减少

论文《Are Sixteen Heads Really Better than One?》的研究发现:

  • BERT-base(12头)中,剪掉10个头后性能只下降<1%
  • 大部分头是冗余的噪声头

增加头数到32/64,只是增加了更多冗余头,没有提升能力。

原因3:计算成本与性能不成正比

头数计算量性能提升
4 → 82x+5%
8 → 162x+1%
16 → 322x+0.2%
32 → 642x-0.5% (过拟合)

边际收益递减!

最佳实践(来自主流模型):

模型$d_{model}$头数每头维度
BERT-base7681264
GPT-27681264
LLaMA-7B409632128
LLaMA-70B819264128

经验规则

$$ \text{每头维度} \in [64, 128] $$

$$ \text{头数} = \frac{d_{model}}{64 \sim 128} $$


问题5:为什么模型训练时突然输出NaN或乱码?#

典型现象

训练正常进行...
Step 1000: loss=2.45
Step 1001: loss=2.43
Step 1002: loss=NaN  ← 突然爆炸!

或者:

输入: "你好"
输出: "�������������"  ← 完全乱码

诊断流程(关联知识点:LayerNorm、残差连接、梯度流)

原因1:梯度爆炸

Post-Norm架构中,深层网络的梯度链式相乘:

$$ \frac{\partial L}{\partial x_0} = \frac{\partial L}{\partial x_N} \prod_{i=1}^{N} \frac{\partial \text{LayerNorm}i}{\partial x{i-1}} $$

48层模型中,如果每层梯度>1.2:

$$ 1.2^{48} = 11,420 \Rightarrow \text{梯度爆炸!} $$

检测方法

# 训练中监控梯度范数
for name, param in model.named_parameters():
    if param.grad is not None:
        grad_norm = param.grad.norm().item()
        if grad_norm > 100:  # 阈值
            print(f"⚠️ {name} 梯度爆炸: {grad_norm}")

解决方案

# 1. 梯度裁剪(最常用)
torch.nn.utils.clip_grad_norm_(model.parameters(), max_norm=1.0)

# 2. 使用Pre-Norm而非Post-Norm
# (参见本章第六节)

# 3. 降低学习率
optimizer = torch.optim.AdamW(model.parameters(), lr=1e-5)  # 原来1e-4

原因2:LayerNorm参数未初始化

如果LayerNorm的 weightbias 初始化不当:

# ❌ 错误:weight初始化为0
self.norm = nn.LayerNorm(d_model)
self.norm.weight.data.fill_(0)  # 导致输出全0!

# ✅ 正确:使用默认初始化
self.norm = nn.LayerNorm(d_model)  # weight=1, bias=0

原因3:学习率过大

在Transformer中,学习率过大会导致参数更新幅度过大:

Step 1002:
更新前: W[0,0] = 0.523
梯度:   grad = -1.2
学习率: lr = 0.01
更新:   W[0,0] = 0.523 - 0.01 * (-1.2) = 0.535  ✅

但如果 lr = 1.0:
更新:   W[0,0] = 0.523 - 1.0 * (-1.2) = 1.723  ⚠️
下一步: W[0,0] = 5.234  → NaN

调试技巧

# 检查每层输出的统计信息
def forward_with_check(self, x):
    x = self.attention(x)
    print(f"Attention输出: mean={x.mean():.4f}, std={x.std():.4f}, max={x.max():.4f}")

    if torch.isnan(x).any():
        raise ValueError("❌ Attention输出包含NaN!")

    x = self.ffn(x)
    print(f"FFN输出: mean={x.mean():.4f}, std={x.std():.4f}")

    return x

🎯 深度解析:学习率Warmup与优化器选择的深层原理#

这是面试常问但教程常忽略的关键问题!

(1)问题:为什么Transformer训练必须用Warmup?#

现象对比

# 场景1:无Warmup,直接用高学习率(错误)
optimizer = torch.optim.Adam(model.parameters(), lr=1e-3)
# 结果:
# Step 1: loss = 8.234
# Step 2: loss = 12.567  ← 不降反升
# Step 10: loss = NaN    ← 训练崩溃

# 场景2:有Warmup(正确)
scheduler = get_linear_schedule_with_warmup(
    optimizer,
    num_warmup_steps=4000,
    num_training_steps=100000
)
# 结果:
# Step 1: loss = 8.234
# Step 100: loss = 7.891  ← 平稳下降
# Step 4000: loss = 3.456  ← warmup结束
# Step 100000: loss = 1.234  ← 训练成功

为什么必须Warmup?三大核心原因


原因1:Adam优化器的二阶矩估计初始化偏差#

Adam优化器的更新公式: $$ \begin{align} m_t &= \beta_1 m_{t-1} + (1-\beta_1) g_t \quad \text{(一阶矩,动量)} \ v_t &= \beta_2 v_{t-1} + (1-\beta_2) g_t^2 \quad \text{(二阶矩,方差)} \ \hat{m}_t &= \frac{m_t}{1 - \beta_1^t} \quad \text{(偏差修正)} \ \hat{v}t &= \frac{v_t}{1 - \beta_2^t} \ \theta_t &= \theta{t-1} - \frac{\alpha}{\sqrt{\hat{v}_t} + \epsilon} \hat{m}_t \end{align} $$

关键问题:初始时 $m_0 = 0$,$v_0 = 0$

训练初期的二阶矩不稳定性(前几步):

# 第1步(t=1),假设梯度 g_1 = 1.5(Embedding层常见)
m_1 = 0.9 * 0 + 0.1 * 1.5 = 0.15
v_1 = 0.999 * 0 + 0.001 * 2.25 = 0.00225

# 偏差修正
hat_v_1 = 0.00225 / (1 - 0.999^1) = 2.25

# 步长(lr=1e-3)
step_1 = 1e-3 * hat_m_1 / sqrt(2.25) = 1e-4   还行

# 第2步,假设梯度 g_2 = 0.1(突然变小,常见于训练初期)
m_2 = 0.9 * 0.15 + 0.1 * 0.1 = 0.145
v_2 = 0.999 * 0.00225 + 0.001 * 0.01 = 0.002259
hat_v_2 = 0.002259 / (1 - 0.999^2) = 1.13

# 步长
step_2 = 1e-3 * 0.145 / sqrt(1.13) = 1.36e-4   步长剧变

核心问题:前几步的 $v_t$ 估计极不稳定,导致步长波动巨大。

Warmup解决方案

前期用极小学习率,让 $v_t$ 有时间稳定积累:

$$ \text{lr}t = \text{lr}{\max} \times \frac{t}{T_{\text{warmup}}}, \quad t \leq T_{\text{warmup}} $$

Step 1: lr = 1e-3 * (1/4000) = 2.5e-7    极小安全
Step 100: lr = 1e-3 * (100/4000) = 2.5e-5
Step 4000: lr = 1e-3 * 1 = 1e-3   v_t已稳定可用正常学习率

原因2:Transformer层级梯度范数差异#

Transformer的独特问题:不同层的梯度范数差异巨大

实验观察(GPT-2训练初期,第1步):

梯度范数无Warmup更新幅度(lr=1e-3)问题
Embedding15.30.0153更新太猛,破坏初始化!
第1层Attention2.10.0021中等
第12层Attention0.80.0008更新太慢
第24层FFN0.30.0003几乎不动
输出层8.70.0087更新太猛!

问题分析

  1. Embedding和输出层:直接连接损失函数,梯度巨大

    • 无Warmup → 第1步就大幅更新 → 破坏随机初始化
    • 导致后续层看到的输入分布剧变 → Loss震荡
  2. 中间层:远离损失,梯度小

    • 统一学习率下,更新太慢 → 学不到东西
  3. 各层不协调

    • Embedding变化快,中间层变化慢 → 不匹配
    • 需要Warmup让各层协同适应

Warmup的作用

# 前4000步,学习率从2.5e-7增长到1e-3
# Embedding更新幅度:0.0153 × (t/4000)
# 第1步:0.0153 × 2.5e-4 = 3.8e-6  ← 极小,安全
# 第100步:0.0153 × 0.025 = 3.8e-4  ← 缓慢增长
# 第4000步:0.0153 × 1.0 = 0.0153  ← 各层已协同适应

# 此时所有层的梯度范数都趋于稳定

原因3:Attention Softmax饱和问题#

Attention的Softmax

$$ \text{Attention} = \text{softmax}\left(\frac{QK^T}{\sqrt{d_k}}\right)V $$

随机初始化的问题

# 初始化的Q、K矩阵,点积QK^T可能出现极端值
scores = [8.3, 7.1, -2.4, 0.5, ...]

# 经过softmax
attention_weights = [0.92, 0.07, 0.00, 0.01, ...]
#                     ↑
#              几乎全部权重集中!

Softmax饱和 → 梯度消失

$$ \frac{\partial \text{softmax}(z_i)}{\partial z_i} = p_i(1 - p_i) $$

当 $p_i \approx 1$ 时: $$ (1 - p_i) \approx 0 \Rightarrow \text{梯度} \approx 0 $$

无Warmup + 大学习率的问题

# 第1步:Attention饱和 → 梯度≈0 → QK几乎不更新
# 第2步:Loss没下降 → 优化器"困惑"
# 第3步:可能随机大扰动 → QK突变 → 新的饱和模式
# 结果:训练不稳定,可能永远陷在局部最优

Warmup的缓解机制

# 前1000步,小学习率
# QK矩阵缓慢调整 → 逐渐摆脱随机初始化的饱和状态
# Attention分布逐渐合理化

# 第4000步后
# Attention已"学会"关注正确位置
# 可以承受较大学习率进行快速优化

(2)为什么Adam/AdamW是Transformer的标配优化器?#

常见疑问:SGD在CV领域很成功,为什么Transformer不用?

原因1:稀疏梯度问题——SGD的致命弱点#

NLP的独特性

  • 词表大(50K-100K个token)
  • 每个样本只激活极少数token(稀疏性

示例

# 训练样本:"I love AI"
# 词表大小:50,000
# 激活的token:3个(I, love, AI)

# Embedding层梯度
grad_embedding.shape = [50000, 768]
# 但只有3行有非零梯度!
# 其他49,997行梯度=0 ← 稀疏!

SGD的问题

$$ \theta_t = \theta_{t-1} - \alpha \cdot g_t $$

# SGD更新(学习率lr=0.01)
embedding[token_id_I] -= 0.01 * grad_I
embedding[token_id_love] -= 0.01 * grad_love
embedding[token_id_AI] -= 0.01 * grad_AI

# 问题:
# 1. "I"是常见词(每个batch都出现)
#    → 每步都更新0.01
#    → 100步后累积更新1.0 → 过拟合!

# 2. "AI"是罕见词(100个batch才出现1次)
#    → 100步只更新1次,幅度0.01
#    → 累积更新0.01 → 欠拟合!

# 统一学习率无法适应频率差异!

Adam的自适应学习率

$$ \theta_t = \theta_{t-1} - \frac{\alpha}{\sqrt{\hat{v}_t} + \epsilon} \hat{m}_t $$

# Adam更新
# 对于常见词"I"(更新频繁)
v_I 快速积累  sqrt(v_I)  实际步长 = lr / sqrt(v_I)   
# 例如:v_I = 100 → 实际lr = 0.001 / 10 = 0.0001

# 对于罕见词"AI"(更新稀疏)
v_AI 积累慢  sqrt(v_AI)  实际步长 = lr / sqrt(v_AI)   
# 例如:v_AI = 1 → 实际lr = 0.001 / 1 = 0.001

效果:Adam为每个参数自动分配频率自适应的学习率!

实验对比(BERT预训练,WikiText-2):

优化器困惑度收敛步数训练时间备注
SGD (lr=0.01)45.3不收敛-稀疏梯度无法学习
SGD+Momentum28.7500K120h有改善但仍差
Adam18.5100K25h✅ 最优
AdamW17.2100K25h✅ 更优

结论:Adam在稀疏梯度场景下碾压SGD。


原因2:二阶矩梯度缩放——解决层级尺度问题#

Transformer的层级差异

参数范数梯度范数SGD更新幅度(lr=0.01)问题
Embedding150.32.50.025中等
Attention W_Q8.70.30.003太小
FFN第1层45.21.20.012中等
输出层200.18.30.083过大!

SGD的问题:统一学习率 → 无法适应不同层的梯度尺度

Adam的梯度缩放机制

$$ \text{effective_lr}_i = \frac{\alpha}{\sqrt{v_i} + \epsilon} $$

# Embedding层(梯度中等,v积累中等)
v_embedding  6.25  # 多次梯度平方的累积
effective_lr = 0.001 / sqrt(6.25) = 0.001 / 2.5 = 0.0004   合适

# Attention层(梯度小,v积累慢)
v_attention  0.09
effective_lr = 0.001 / sqrt(0.09) = 0.001 / 0.3 = 0.0033   自动放大

# 输出层(梯度超大,v积累超快)
v_output  68.89
effective_lr = 0.001 / sqrt(68.89) = 0.001 / 8.3 = 0.00012   自动缩小

效果:Adam为每一层自动分配合适的"有效学习率",实现层级自适应

可视化对比

SGD(统一学习率 lr=0.01):
  Embedding:    ━━━━━━━  (更新幅度:0.025)
  Attention:    ━━      (更新幅度:0.003,太小)
  FFN:          ━━━━    (更新幅度:0.012)
  Output:       ━━━━━━━━━━━━━  (更新幅度:0.083,太大!)

Adam(自适应学习率):
  Embedding:    ━━━━━━━  (有效lr:0.0004)
  Attention:    ━━━━━━━  (有效lr:0.0033,自动放大)
  FFN:          ━━━━━━━  (有效lr:0.0015)
  Output:       ━━━━━━━  (有效lr:0.00012,自动缩小)

所有层的更新幅度趋于平衡!✅

原因3:AdamW的权重衰减解耦——更好的正则化#

传统Adam的L2正则化问题

在损失函数中加L2项:

$$ L_{\text{total}} = L_{\text{data}} + \frac{\lambda}{2} |\theta|^2 $$

梯度: $$ g_t = \nabla L_{\text{data}} + \lambda \theta_{t-1} $$

问题:L2正则的梯度被纳入 $m_t$ 和 $v_t$ 的计算:

# Adam with L2
m_t = β1 * m_{t-1} + (1-β1) * (grad_data + λ*θ)
v_t = β2 * v_{t-1} + (1-β2) * (grad_data + λ*θ)^2
#                                ↑
#                         λ*θ混入了二阶矩估计

# 更新
θ_t = θ_{t-1} - lr * m_t / sqrt(v_t)

# 问题:λ*θ的贡献被sqrt(v_t)稀释!
# 权重衰减效果被自适应学习率削弱

AdamW的解耦权重衰减(Decoupled Weight Decay):

$$ \theta_t = \theta_{t-1} - \alpha \frac{\hat{m}_t}{\sqrt{\hat{v}t} + \epsilon} - \alpha \lambda \theta{t-1} $$

# AdamW
m_t = β1 * m_{t-1} + (1-β1) * grad_data  # 只用数据梯度!
v_t = β2 * v_{t-1} + (1-β2) * grad_data^2

# 更新分两步
θ_t = θ_{t-1} - lr * m_t / sqrt(v_t)  # 自适应更新
θ_t = θ_t - lr * λ * θ_t  # 独立权重衰减
#                ↑
#          不受自适应学习率影响!✅

实验对比(BERT-large预训练):

优化器GLUE平均分SQuAD F1过拟合程度
Adam (L2=0.01)82.388.1高(验证集与训练集差距大)
AdamW (wd=0.01)84.790.3

性能提升+2.4% GLUE分数,+2.2% SQuAD F1

结论:AdamW的解耦权重衰减在大模型上效果显著更好。


(3)Warmup策略对比与选择#

策略1:线性Warmup(最常用)#

$$ \text{lr}t = \begin{cases} \text{lr}{\max} \cdot \frac{t}{T_{\text{warmup}}} & t \leq T_{\text{warmup}} \ \text{lr}{\max} & t > T{\text{warmup}} \end{cases} $$

from transformers import get_linear_schedule_with_warmup

scheduler = get_linear_schedule_with_warmup(
    optimizer,
    num_warmup_steps=4000,  # 4000步warmup
    num_training_steps=100000
)

学习率变化

Step 0:    lr = 0
Step 1000: lr = 0.25 * lr_max
Step 2000: lr = 0.50 * lr_max
Step 4000: lr = 1.00 * lr_max  ← warmup结束
Step 4001+: lr = lr_max(保持不变)

适用:BERT、GPT、T5等所有Transformer模型


策略2:Inverse Sqrt Warmup(原始Transformer论文)#

$$ \text{lr}t = d{\text{model}}^{-0.5} \cdot \min\left(t^{-0.5}, t \cdot T_{\text{warmup}}^{-1.5}\right) $$

from torch.optim.lr_scheduler import LambdaLR

def get_inverse_sqrt_schedule(optimizer, num_warmup_steps):
    def lr_lambda(current_step):
        if current_step < num_warmup_steps:
            return float(current_step) / float(max(1, num_warmup_steps))
        return (num_warmup_steps ** 0.5) / (current_step ** 0.5)

    return LambdaLR(optimizer, lr_lambda)

学习率变化

Step 0-4000:  线性增长到lr_max
Step 4001+:   lr = lr_max * sqrt(4000/t)  ← 持续衰减
例如:
Step 16000: lr = lr_max * sqrt(4000/16000) = 0.5 * lr_max
Step 64000: lr = lr_max * sqrt(4000/64000) = 0.25 * lr_max

特点:Warmup后学习率持续缓慢衰减($1/\sqrt{t}$)

适用:长期训练(100K+ steps),原始Transformer


策略3:Cosine Warmup(现代推荐)#

$$ \text{lr}t = \text{lr}{\min} + \frac{1}{2}(\text{lr}{\max} - \text{lr}{\min}) \left(1 + \cos\left(\frac{t - T_{\text{warmup}}}{T_{\max} - T_{\text{warmup}}} \pi\right)\right) $$

from transformers import get_cosine_schedule_with_warmup

scheduler = get_cosine_schedule_with_warmup(
    optimizer,
    num_warmup_steps=4000,
    num_training_steps=100000
)

学习率变化

Step 0-4000:   线性增长到lr_max
Step 4001-100000: 余弦衰减
例如:
Step 4000:  lr = lr_max
Step 52000: lr = 0.5 * lr_max  ← 中点
Step 100000: lr ≈ 0  ← 平滑降至0

优势

  1. 后期学习率平滑降至接近0 → 收敛更稳定
  2. 避免突然停止训练导致的性能损失
  3. 现代大模型(LLaMA、GPT-3)的标配

适用:大模型、长训练


策略对比总结#
策略Warmup后学习率优势劣势适用场景
线性保持不变简单稳定需手动衰减BERT、GPT-2
Inverse Sqrt$1/\sqrt{t}$ 衰减自动衰减后期可能过小原始Transformer
Cosine余弦衰减至0收敛最稳定需提前知道总步数LLaMA、GPT-3 ✅

(4)实战:完整训练循环示例#

import torch
from transformers import BertModel, AdamW, get_cosine_schedule_with_warmup

# 模型
model = BertModel.from_pretrained('bert-base-uncased')

# 优化器:AdamW + 权重衰减
optimizer = AdamW(
    model.parameters(),
    lr=5e-5,          # 峰值学习率(推荐范围:1e-5到5e-5)
    betas=(0.9, 0.999),  # Adam的beta参数(默认值)
    eps=1e-8,         # 数值稳定性
    weight_decay=0.01   # 权重衰减(解耦,推荐0.01)
)

# 学习率调度器:Warmup + Cosine衰减
total_steps = 100000
warmup_steps = int(0.1 * total_steps)  # 10% warmup(推荐5-10%)
scheduler = get_cosine_schedule_with_warmup(
    optimizer,
    num_warmup_steps=warmup_steps,
    num_training_steps=total_steps
)

# 训练循环
for step in range(total_steps):
    # 前向传播
    loss = model(**batch).loss

    # 反向传播
    loss.backward()

    # 梯度裁剪(防止爆炸)
    torch.nn.utils.clip_grad_norm_(model.parameters(), max_norm=1.0)

    # 优化器更新
    optimizer.step()
    optimizer.zero_grad()

    # 学习率调度
    scheduler.step()

    # 监控
    if step % 100 == 0:
        current_lr = scheduler.get_last_lr()[0]
        print(f"Step {step}: loss={loss.item():.4f}, lr={current_lr:.2e}")

输出示例

Step 0: loss=8.2345, lr=5.00e-07     ← Warmup初期(lr极小)
Step 1000: loss=5.1234, lr=5.00e-06
Step 5000: loss=3.4567, lr=2.50e-05
Step 10000: loss=2.3456, lr=5.00e-05  ← Warmup结束(达到峰值)
Step 20000: loss=1.8901, lr=4.76e-05  ← Cosine衰减开始
Step 50000: loss=1.2345, lr=2.50e-05  ← 中点
Step 100000: loss=0.5234, lr=5.00e-08  ← 训练结束(lr接近0)

(5)面试高频问题#

Q1:为什么Transformer训练必须用Warmup,而CNN不需要?#

标准回答

  1. Adam二阶矩初始化偏差

    • Transformer训练初期,Adam的 $v_t$ 估计不稳定
    • 需要小学习率让其平稳积累
    • CNN梯度稳定,无此问题
  2. 层级梯度范数差异

    • Transformer的Embedding和输出层梯度巨大
    • 中间层梯度小
    • 需要Warmup让各层协同适应
    • CNN卷积层梯度相对均匀
  3. Attention Softmax饱和

    • 随机初始化容易导致Softmax饱和
    • 小学习率缓慢摆脱不良状态
    • CNN无Softmax,无此问题

关键数据

  • 无Warmup:第10步 loss=NaN
  • 有Warmup:稳定收敛,困惑度18.5

Q2:Warmup步数如何设置?#

经验规则

  • 小模型(<1B参数):总步数的 5-10%
    • 例如:100K步训练 → 5K-10K步warmup
  • 大模型(>10B参数):总步数的 1-3%
    • 例如:1M步训练 → 10K-30K步warmup
  • 最小值:至少1000步(让Adam的 $v_t$ 稳定)

代码示例

total_steps = 100000
warmup_ratio = 0.1  # 10%
warmup_steps = int(total_steps * warmup_ratio)

过长/过短的问题

  • 过短(<1000步):$v_t$ 未稳定 → 训练不稳定
  • 过长(>20%):浪费计算,收敛慢

Q3:为什么AdamW比Adam更好?#

标准回答

  1. 权重衰减解耦

    • Adam:L2正则的梯度混入 $m_t$、$v_t$ → 被自适应学习率稀释
    • AdamW:权重衰减独立应用 → 正则化效果不受影响
  2. 数学公式: $$ \text{AdamW: } \theta_t = \theta_{t-1} - \alpha \frac{\hat{m}_t}{\sqrt{\hat{v}t}} - \alpha \lambda \theta{t-1} $$

  3. 实验证明

    • BERT-large:AdamW比Adam在GLUE上高 2.4%
    • GPT-2:AdamW收敛更快、泛化更好

Q4:SGD能训练Transformer吗?#

标准回答

  • 理论上可以,但极其困难效果差

问题

  1. 稀疏梯度
    • 词表大,每个样本只激活少数token
    • SGD无法为罕见词分配足够更新
  2. 层级尺度差异
    • 统一学习率无法适应不同层的梯度范数
  3. 需要极其精细的调参
    • 几乎不可能手工调出合适的学习率

实验证明

  • BERT用SGD:困惑度45.3
  • BERT用Adam:困惑度18.5
  • 差距2.4倍

结论:不推荐,没有必要用SGD


Q5:能否不用Warmup?#

标准回答

  • 可以但不推荐,需要:

    1. 极小的初始学习率(如1e-7)
    2. 极其缓慢的学习率增长
    3. 更多的训练步数(可能多50%)
    4. 频繁的梯度监控和手动调整
  • 对比

    • 有Warmup:100K步收敛,困惑度18.5
    • 无Warmup但精细调参:150K步收敛,困惑度19.2
  • 结论:Warmup是最高效、最稳定的解决方案


(6)本节小结#

核心要点

  1. Warmup的必要性(三大原因):

    • Adam二阶矩 $v_t$ 初期不稳定
    • Transformer层级梯度范数差异巨大
    • Attention Softmax饱和问题
  2. Adam/AdamW的优势(三大原因):

    • 自适应学习率(解决稀疏梯度)
    • 二阶矩梯度缩放(解决层级尺度)
    • 解耦权重衰减(更好的正则化)
  3. Warmup策略选择

    • 线性Warmup:最常用(BERT、GPT)
    • Cosine Warmup:现代推荐(LLaMA、GPT-3)
    • 步数:总步数的5-10%(小模型)或1-3%(大模型)
  4. 面试必背

    • 公式:AdamW更新公式(含解耦权重衰减)
    • 数据:AdamW vs Adam +2.4%、SGD vs Adam困惑度45.3 vs 18.5
    • 概念:稀疏梯度、自适应学习率、权重衰减解耦、二阶矩偏差

问题6:为什么GQA是MHA和MQA之间的"最优折中"?#

背景(关联知识点:多头注意力变体)

  • MHA(Multi-Head Attention):每个头独立的K、V
  • MQA(Multi-Query Attention):所有头共享K、V
  • GQA(Grouped-Query Attention):分组共享K、V

性能对比(以LLaMA-7B为例):

方案KV缓存推理速度模型质量
MHA (32头)1024MB1.0x100%
GQA (4组)128MB3.2x98.5%
MQA (1组)32MB4.5x95%

为什么GQA是折中?

1. 内存效率接近MQA

KV缓存大小:

$$ \text{MHA缓存} = \text{batch} \times \text{seq_len} \times \text{num_heads} \times \text{head_dim} \times 2 $$

$$ \text{GQA缓存} = \text{batch} \times \text{seq_len} \times \text{num_groups} \times \text{head_dim} \times 2 $$

32头 → 4组,缓存减少 $32/4 = 8$ 倍!

2. 质量接近MHA

分组共享保留了一定的多样性:

MHA (32头,全独立):
头1: 捕获语法 (独立K₁, V₁)
头2: 捕获语义 (独立K₂, V₂)
...
头32: 捕获XX (独立K₃₂, V₃₂)

GQA (32头,4组):
组1 (头1-8):  共享K₁, V₁  (捕获语法相关)
组2 (头9-16): 共享K₂, V₂  (捕获语义相关)
组3 (头17-24): 共享K₃, V₃  (捕获位置相关)
组4 (头25-32): 共享K₄, V₄  (捕获其他)

MQA (32头,1组):
所有头: 共享K₁, V₁  (多样性丧失!)

3. 实验验证(LLaMA-2论文数据)

任务MHAGQA (8组)GQA (4组)MQA
MMLU45.345.144.643.1
HumanEval12.812.512.210.5
推理速度1.0x2.1x3.2x4.5x

最优分组数选择

$$ \text{num_groups} = \frac{\text{num_heads}}{4 \sim 8} $$

例如:

  • 32头 → 4组或8组
  • 64头 → 8组或16组

代表模型

  • LLaMA-2: 使用GQA(8组)
  • Mistral: 使用GQA(8组)
  • Qwen: 使用GQA(可配置)

问题7:为什么Flash Attention能大幅加速,它和标准注意力有什么不同?#

性能对比

标准注意力:
序列长度2k: 12GB显存, 850ms
序列长度4k: 48GB显存, 3.4s (显存不足!)

Flash Attention:
序列长度2k: 4GB显存, 120ms
序列长度4k: 16GB显存, 480ms  ← 显存降75%,速度提升7倍!

本质区别(关联知识点:自注意力机制的计算流程)

标准注意力的计算流程:

# 步骤1: 计算注意力分数矩阵(需要存储完整矩阵!)
S = Q @ K.T / sqrt(d_k)  # [seq_len, seq_len]  ← 显存瓶颈!

# 步骤2: Softmax
P = softmax(S, dim=-1)   # [seq_len, seq_len]  ← 又要存储!

# 步骤3: 加权求和
O = P @ V                # [seq_len, d_model]

问题:中间矩阵 $S$ 和 $P$ 的大小是 $O(N^2)$!

序列长度4096:
S矩阵: 4096 × 4096 × 4字节 = 64MB  (每个头)
32个头: 64MB × 32 = 2GB  (仅存储注意力矩阵)
加上梯度: 2GB × 2 = 4GB
加上激活值: 总共 ~10-15GB

Flash Attention的创新

核心思想:不存储完整的 $S$ 和 $P$ 矩阵,而是分块计算并融合操作

算法流程

# 伪代码(简化)
def flash_attention(Q, K, V, block_size=128):
    seq_len = Q.shape[0]
    output = zeros(seq_len, d_model)

    # 外层循环:遍历Q的块
    for i in range(0, seq_len, block_size):
        Q_block = Q[i:i+block_size]  # [block_size, d_k]

        # 内层循环:遍历K、V的块
        for j in range(0, seq_len, block_size):
            K_block = K[j:j+block_size]
            V_block = V[j:j+block_size]

            # 在SRAM中计算这个小块的注意力
            S_block = Q_block @ K_block.T / sqrt(d_k)
            P_block = softmax(S_block, dim=-1)
            O_block = P_block @ V_block

            # 累积到输出(在线softmax技巧)
            output[i:i+block_size] += O_block

            # S_block和P_block立即被丢弃,不占显存!

    return output

关键技术

  1. 分块计算:一次只处理128×128的小矩阵

    • 小矩阵存在GPU的SRAM(快速内存)中
    • 不需要写回HBM(高带宽显存)
  2. 算子融合

    • 标准方法:QK^T → Softmax → @V(三个独立kernel)
    • Flash Attention:一个融合kernel完成所有操作
  3. 在线Softmax(数学技巧):

分块计算softmax时,需要处理全局归一化:

$$ \text{softmax}(x_i) = \frac{\exp(x_i)}{\sum_j \exp(x_j)} $$

但分块时我们不知道全局的 $\sum_j$!

解决方案:在线更新最大值和累加和:

# 第一块
m1 = max(S_block1)
l1 = sum(exp(S_block1 - m1))

# 第二块来了,更新全局统计
m2 = max(S_block2)
m_global = max(m1, m2)
l_global = l1 * exp(m1 - m_global) + sum(exp(S_block2 - m_global))

为什么这么快?

操作标准注意力Flash Attention
HBM读写次数$O(N^2)$$O(N)$
SRAM使用很少充分利用
内存峰值$O(N^2)$$O(N)$
计算效率受内存带宽限制受计算能力限制

实践建议

# PyTorch 2.0+自带Flash Attention
import torch.nn.functional as F

# 自动使用Flash Attention(如果可用)
output = F.scaled_dot_product_attention(
    query, key, value,
    is_causal=True  # 自动应用causal mask
)

# 或使用xformers库
from xformers.ops import memory_efficient_attention
output = memory_efficient_attention(query, key, value)

局限性

  • 需要特定硬件支持(A100、H100效果最好)
  • Causal mask支持有限
  • 某些复杂mask模式不支持

问题8:Dropout在Transformer中到底起什么作用?为什么推理时要关闭?#

训练时的行为(关联知识点:FFN、残差连接)

标准做法

class TransformerLayer(nn.Module):
    def forward(self, x):
        # 注意力后加Dropout
        attn_out = self.attention(x)
        attn_out = self.dropout(attn_out)  # ← Dropout
        x = x + attn_out

        # FFN后也加Dropout
        ffn_out = self.ffn(self.norm(x))
        ffn_out = self.dropout(ffn_out)    # ← Dropout
        x = x + ffn_out

        return x

Dropout的数学行为(p=0.1为例):

训练时:

$$ \text{Dropout}(x) = \begin{cases} 0 & \text{with probability } 0.1 \ \frac{x}{0.9} & \text{with probability } 0.9 \end{cases} $$

注意:保留的值会放大 $1/(1-p)$ 倍,保持期望不变!

为什么推理时必须关闭?

原因1:确定性输出

# 训练模式(随机)
model.train()
output1 = model(input)  # "人工智能是..."
output2 = model(input)  # "人工智能可以..."  ← 不同!

# 推理模式(确定性)
model.eval()
output1 = model(input)  # "人工智能是..."
output2 = model(input)  # "人工智能是..."  ← 相同!

原因2:数学期望匹配

训练时Dropout的期望:

$$ \mathbb{E}[\text{Dropout}(x)] = 0.1 \times 0 + 0.9 \times \frac{x}{0.9} = x $$

推理时直接使用 $x$,期望也是 $x$,完美匹配!

如果推理时还应用Dropout:

$$ \mathbb{E}[\text{Dropout}(x)] = x \quad \text{(训练)} $$

$$ \mathbb{E}[\text{Dropout}(x)] = 0.9x \quad \text{(推理)} \quad ❌ $$

期望不匹配,导致性能下降!

实践中的坑

# ❌ 错误:忘记切换到eval模式
model = load_model()
# model.eval()  ← 忘记了!
output = model.generate(input)  # 每次生成结果都不同

# ✅ 正确
model.eval()  # 或者 with torch.no_grad()
output = model.generate(input)

Dropout率选择

位置常用Dropout率说明
注意力后0.1防止注意力过拟合
FFN后0.1正则化
Embedding0.1-0.3较高dropout防止词嵌入过拟合
最后输出层0通常不加dropout

现代趋势:很多大模型不用Dropout!

  • GPT-3:不使用Dropout
  • LLaMA:不使用Dropout
  • 原因:数据量够大,过拟合风险低

本章小结#

恭喜你完成了Transformer架构的深度探索!让我们回顾核心内容。

知识回顾#

  1. 宏观架构

    • 编码器:双向理解输入
    • 解码器:单向生成输出
    • 编码器-解码器:翻译等序列到序列任务
  2. 自注意力机制

    • Query、Key、Value三元组
    • 缩放点积注意力公式
    • 全局信息交互,并行计算
  3. 位置编码

    • 绝对位置编码:正弦余弦
    • 相对位置编码:RoPE、ALiBi
    • 解决Transformer无位置信息的问题
  4. 多头注意力

    • 标准MHA:每个头独立的Q、K、V
    • GQA:分组共享K、V
    • MQA:所有头共享单个K、V
  5. 前馈网络

    • 升维→激活→降维
    • GELU、SwiGLU等激活函数
    • 提供非线性变换能力
  6. 组装技巧

    • 残差连接缓解梯度消失
    • 层归一化稳定训练
    • Pre-Norm优于Post-Norm

关键公式#

自注意力: $$ \text{Attention}(Q, K, V) = \text{softmax}\left(\frac{QK^T}{\sqrt{d_k}}\right)V $$

多头注意力: $$ \text{MultiHead}(Q, K, V) = \text{Concat}(\text{head}_1, …, \text{head}_h)W^O $$

位置编码: $$ PE_{(pos, 2i)} = \sin\left(\frac{pos}{10000^{2i/d_{model}}}\right) $$

前馈网络: $$ \text{FFN}(x) = \text{GELU}(xW_1)W_2 $$

实践要点#

实现技巧

  • 使用Pre-Norm而非Post-Norm
  • 优先选择GQA平衡性能与质量
  • 生成任务必须启用KV缓存
  • 注意力掩码防止信息泄露

性能优化

  • MQA/GQA减少KV缓存
  • FlashAttention优化注意力计算(下章详述)
  • 梯度检查点节省显存

调试技巧

  • 可视化注意力权重理解模型行为
  • 检查每层输出的范数(梯度爆炸/消失)
  • 验证掩码正确性(因果掩码)

思考题#

  1. 为什么自注意力要除以$\sqrt{d_k}$?如果不除会怎样?
  2. RoPE相比绝对位置编码的优势是什么?
  3. 为什么GQA是MHA和MQA之间的折中?
  4. 如果去掉残差连接,会发生什么?

下一章预告#

在第2章《模型家族谱系:从编码器到解码器》中,我们将:

  • 深入对比BERT、GPT、T5三大架构
  • 理解为何仅解码器主导现代LLM
  • 探索不同解码策略(Beam Search、采样)
  • 实战:用不同架构解决同一任务

掌握了Transformer的核心组件后,下一步是理解如何根据任务选择合适的架构。准备好了吗?


本章代码:所有示例代码已整理到GitHub仓库

推荐阅读

  • 论文:《Attention is All You Need》(Transformer原论文)
  • 论文:《RoFormer: Enhanced Transformer with Rotary Position Embedding》(RoPE)
  • 论文:《GQA: Training Generalized Multi-Query Transformer Models from Multi-Head Checkpoints》
  • 博客:The Illustrated Transformer(Jay Alammar)
  • 视频:斯坦福CS224N Lecture on Transformers

推荐实践

  • 从零实现一个完整的Transformer编码器
  • 可视化不同层、不同头的注意力模式
  • 对比MHA、GQA、MQA在实际模型上的性能
[统计组件仅在生产环境显示]