引言
💡本文为🔗[从零实现深度学习框架]系列文章内部限免文章,更多限免文章见 🔗专栏目录。
本着“凡我不能创造的,我就不能理解”的思想,系列文章会基于纯Python和NumPy从零创建自己的类PyTorch深度学习框架。
Transformer是继MLP、RNN、CNN之后的第四大特征提取器,也是第四大基础模型。像BERT、GPT和ChatGPT底层都是基于Transformer Block实现的。
为了更好的理解它,我们需要知道它的实现细节,本文开始我们来剖析它的原理与实现细节,并通过我们的框架来实现。
Transformer是论文Attention Is All You Need提出来的,博主也尝试翻译了一下这篇神作,需要的见参考目录。这篇论文非常短,其中涉及到很多细节并没有展开,博主想做的事情是,将这篇论文读厚,期望读完这些文章之后,大家对Transformer的理论和实现中的各种细节有一个清晰的认识,让大家变成Transformer高手。
本文的目标是理解多头注意力的理论和实现。
Transformer架构
这是论文中的原图,基本上介绍Transformer都会引入这个图片,因为它高度概括了Transformer的设计,不过隐藏在其中的细节还需要继续深入了解。
它也是一个encoder-decoder架构,左边是encoder,右边是decoder。我们先来看下它们内部的构件(从下到上)。
- Encoder
- Input Embedding:输入嵌入层
- Positional Encoding:位置编码
- Encoder Transformer Block:由于Encoder和Decoder的Block不同,这里区分来展开。
- Multi-Head Attention:多头注意力
- Add: 残差连接
- (Layer) Norm:层归一化
- (Position-wise) Feed Forward:位置级前馈网络
- 上面是一个Block包含的内容,由于设计成了输入和输出的维度一致,因此可以堆叠N个。
- Decoder
- Output Embedding:输出嵌入层
- Positional Encoding:位置编码
- Decoder Transformer Block
- Masked Multi-Head Attention:掩码多头注意力
- Add: 残差连接
- (Layer) Norm:层归一化
- Multi-Head Attention:多头注意力
- (Position-wise) Feed Forward:位置级前馈网络
- 上面是一个Block包含的内容,由于设计成了输入和输出的维度一致,因此可以堆叠N个。
- Linear:线性映射层
- Softmax:输出概率
以上就是从这个架构图能看出来的内容,背后还隐藏了如何训练、如何设计输入的格式、Dropout的使用等。我们在这篇文章中都能看到。
我们下面会了解每个组件的细节,先从Encoder开始。
Encoder
如上所示,Encoder由很多Transformer Block(或者说Encoder Layer)堆叠而成,每个Encoder Layer接收一个嵌入序列并经过下面的子层:
- 多头注意力层
- 位置级前馈网络
每个Encoder Layer的输出嵌入形状和输入一样,这样它们可以堆叠起来。堆叠Encoder的目的是得到具有上下文信息的输入表示,或者说提取表达能力丰富的特征。由于Encoder Layer可以看到完整的输入,再加上多头注意力机制,输入的每个位置都可以看到所有的其他位置,与其他位置进行交互(注意力计算),每个位置都可以得到具有多个方面上下文信息的表示。比如"这个苹果很好吃"中的"苹果"会得到一个类似可以吃的水果信息;而"苹果挤牙膏式推出新功能可能留不住一部分用户"中的"苹果"会得到一个类似公司的信息。相比每个token得到的嵌入都是一样的静态Word2vec来说,Transformer可以得到与上下文相关的动态嵌入表示。
其中的每个子层都使用了残差连接和层归一化,为了更高效地训练深层网络。为了吸引大家的"注意",我们先从Transformer的核心——多头注意力开始了解。
自注意力
首先回顾下注意力机制,注意力机制允许模型为序列中不同的元素分配不同的权重。而自注意力中的"自"表示输入序列中的输入相互之间的注意力,即通过某种方式计算输入序列每个位置相互之间的相关性。
对于Transformer编码器来说,给定一个输入序列
(
x
1
,
⋯
,
x
n
)
(\pmb x_1,\cdots,\pmb x_n)
(x1,⋯,xn),这里假设
x
i
\pmb x_i
xi是输入序列中第
i
i
i个位置所对应的词嵌入。自注意力产生了一个新的相同长度的嵌入
(
y
1
,
⋯
,
y
n
)
(\pmb y_1,\cdots,\pmb y_n)
(y1,⋯,yn),其中每个
y
i
\pmb y_i
yi是所有的
x
j
\pmb x_j
xj的加权和(包括
x
i
\pmb x_i
xi本身):
y
i
=
∑
j
α
i
j
x
j
(1)
\pmb y_i = \sum_j \alpha_{ij} \pmb x_j \tag 1
yi=j∑αijxj(1)
系数
α
j
i
\alpha_{ji}
αji被称为是注意力权重,且有性质
∑
j
α
i
j
=
1
\sum_j \alpha_{ij} =1
∑jαij=1。
缩放点积注意力
从文章注意力机制中我们知道有很多种计算注意力的方式,最高效的是点积注意力,即两个输入之间做点积。
以两个输入
x
i
,
x
j
\pmb x_i,\pmb x_j
xi,xj为例,它们之间的注意分数计算如下:
score
(
x
i
,
x
j
)
=
x
i
⋅
x
j
(2)
\text{score}(\pmb x_i,\pmb x_j) = \pmb x_i \cdot \pmb x_j \tag{2}
score(xi,xj)=xi⋅xj(2)
点积的结果是一个实数范围内的标量,结果越大代表两个向量越相似。这是计算两个输入之间的注意力分数,如果
x
i
\pmb x_i
xi与所有的输入进行计算,就可以得到
n
n
n个注意力分数,为了转换为权重,经过Softmax归一化就可以得到权重向量
α
\alpha
α,其中
α
i
j
\alpha_{ij}
αij表示两个输入
i
i
i和
j
j
j之间的相关度(权重系数):
α
i
j
=
softmax
(
score
(
x
i
,
x
j
)
)
=
exp
(
score
(
x
i
,
x
j
)
)
∑
k
=
1
n
exp
(
score
(
x
i
,
x
k
)
)
\begin{align} \alpha_{ij} &= \text{softmax}(\text{score}(\pmb x_i,\pmb x_j))\,\, \tag{3}\\ &= \frac{\exp(\text{score}(\pmb x_i,\pmb x_j))} { \sum_{k=1}^n \exp(\text{score}(\pmb x_i,\pmb x_k)) } \,\, \tag{4} \end{align}
αij=softmax(score(xi,xj))=∑k=1nexp(score(xi,xk))exp(score(xi,xj))(3)(4)
得到了这些权重系数,就可以通过对所有的输入进行加权和得到输出 y i \pmb y_i yi,如公式 ( 1 ) (1) (1)所示。
这种计算注意力的方式和我们在seq2seq中遇到的不同,seq2seq是用解码器的隐状态与编码器所有时刻的输出计算,而自注意力是输入自己与自己进行计算。参与计算的只是输入本身。
但Transformer使用的是更加复杂一点的计算方式,来捕获更加丰富的信息。
在Transformer计算注意力的过程中,每个输入扮演了三种不同角色:
- Query: 与所有的输入进行比较,为当前关注的点。
- Key:作为与Query进行比较的角色,用于计算和Query之间的相关性。
- Value:用于计算当前注意力关注点的输出,根据注意力权重对不同的Value进行加权和。
为了生成这三种不同的角色,Transformer分别引入了三个权重矩阵
W
Q
,
W
K
,
W
V
W^Q,W^K,W^V
WQ,WK,WV,分别将每个输入
x
i
\pmb x_i
xi投影到不同角色query,key和value表示:
q
i
=
x
i
W
Q
;
k
i
=
x
i
W
K
;
v
i
=
x
i
W
V
(5)
\pmb q_i = \pmb x_iW^Q;\quad \pmb k_i = \pmb x_i W^K; \quad \pmb v_i = \pmb x_iW^V \tag{5}
qi=xiWQ;ki=xiWK;vi=xiWV(5)
如果把注意力过程类比成搜索的话,那么假设在百度中输入"自然语言处理是什么",那么Query就是这个搜索的语句;Key相当于检索到的网页的标题;Value就是网页的内容。
Query和Key是用于比较的,Value是用于提取特征的。通过将输入映射到不同的角色,使模型具有更强的学习能力。
由于key和query向量需要计算点积,因此它们的维度一定是一致的,记为 d k d_k dk;而value的维度可以和它们不一样,记为 d v d_v dv。假设词嵌入向量的维度为 d m o d e l d_{model} dmodel,为了方便,这里简记为 d d d。
那么我们就可以得到投影矩阵的维度, W Q ∈ R d × d k , W K ∈ R d × d k , W V ∈ R d × d v W^Q \in \Bbb R^{d \times d_k},W^K \in \Bbb R^{d \times d_k},W^V \in \Bbb R^{d \times d_v} WQ∈Rd×dk,WK∈Rd×dk,WV∈Rd×dv。
注意Transformer中的每个输入
x
\pmb x
x和输出
y
\pmb y
y的维度都是
1
×
d
1 \times d
1×d,如果考虑批次和序列长度的话,完整维度是(batch_size, seq_len, embed_dim)
。我们这里先考虑单个输入,即维度为
1
×
d
1 \times d
1×d的
x
i
\pmb x_i
xi。
现在我们用公式
(
5
)
(5)
(5)把所有的输入投影到key,query,value向量表示,对应的维度为
1
×
d
k
,
1
×
d
k
,
1
×
d
v
1\times d_k,1 \times d_k, 1\times d_v
1×dk,1×dk,1×dv。然后我们假设用
x
i
\pmb x_i
xi的query向量
q
i
\pmb q_i
qi和
x
j
\pmb x_j
xj的key向量
k
j
\pmb k_j
kj来计算点积,因为它们的维度都是
1
×
d
k
1 \times d_k
1×dk,所以可以计算点积,我们得到新的注意力分数计算函数:
score
(
x
i
,
x
j
)
=
q
i
⋅
k
j
(6)
\text{score}(\pmb x_i,\pmb x_j) = \pmb q_i \cdot \pmb k_j \tag{6}
score(xi,xj)=qi⋅kj(6)
也可以表示为
q
i
k
j
T
\pmb q_i \pmb k_j^T
qikjT,点积的结果是一个标量,但这个结果可能非常大(不管是正的还是负的),这会使得softmax函数值进入一个导数非常小的区域。需要对这个注意力得分进行缩放,缩放使得分布更加平滑。一种缩放的方法是把点积结果除以一个和嵌入大小相关的因子(factor)。注意这是在传递给softmax之前进行的。
Transformer的做法是除以query和key向量维度
d
k
d_k
dk的平方根:
score
(
x
i
,
x
j
)
=
q
i
⋅
k
j
d
k
(7)
\text{score}(\pmb x_i,\pmb x_j) = \frac{\pmb q_i\cdot \pmb k_j}{\sqrt{d_k}} \tag 7
score(xi,xj)=dkqi⋅kj(7)
计算权重系数
α
\alpha
α的过程和上面介绍的一样(公式
(
3
)
−
(
4
)
(3)-(4)
(3)−(4)),但在计算输出
y
i
\pmb y_i
yi时的加权和变成了基于value向量
v
\pmb v
v:
y
i
=
∑
j
α
i
j
v
j
(8)
\pmb y_i = \sum_{j} \alpha_{ij} \pmb v_j \tag{8}
yi=j∑αijvj(8)
整个计算过程可以利用矩阵乘法一次计算,首先通过将具有
N
N
N个token的输入序列映射到一个(嵌入)矩阵
X
∈
R
N
×
d
X \in \Bbb R^{N \times d}
X∈RN×d。然后让
X
X
X乘到key,query和value权重矩阵(
W
Q
,
W
K
,
W
V
W^Q,W^K,W^V
WQ,WK,WV,注意它们的维度)上,得到矩阵
Q
∈
R
N
×
d
k
,
K
∈
R
N
×
d
k
,
V
∈
R
N
×
d
v
Q \in \Bbb R^{N \times d_k},K \in \Bbb R^{N \times d_k},V \in \Bbb R^{N \times d_v}
Q∈RN×dk,K∈RN×dk,V∈RN×dv,其中包含所有输入的key,query和value向量:
Q
=
X
W
Q
;
K
=
X
W
K
;
V
=
X
W
V
(9)
Q=XW^Q;\quad K=XW^K;\quad V=XW^V \tag{9}
Q=XWQ;K=XWK;V=XWV(9)
这样我们一次性计算出了所有的
Q
,
K
,
V
Q,K,V
Q,K,V,然后通过矩阵乘法
Q
K
T
QK^T
QKT得到相似度得分矩阵,形状为
N
×
N
N \times N
N×N。接着缩放这个得分矩阵,进行Softmax得到权重矩阵。最后拿权重矩阵去乘
V
V
V就可以得到一个形状为
N
×
d
v
N \times d_v
N×dv的矩阵,这就是经过注意力之后的结果,表示每个输入的自注意力后的向量表示。
上面说了这么多,实际可以用一个公式表示:
SelfAttention
(
Q
,
K
,
V
)
=
softmax
(
Q
K
T
d
k
)
V
(10)
\text{SelfAttention} (Q,K,V) = \text{softmax}\left(\frac{QK^T}{\sqrt {d_k}}\right) V \tag{10}
SelfAttention(Q,K,V)=softmax(dkQKT)V(10)
我们前面不是说,注意力层计算的结果
y
\pmb y
y和输入
x
\pmb x
x的维度是一致的吗?但这里为什么输出的维度是
d
v
d_v
dv,而不是词嵌入维度
d
d
d呢?因为Encoder Layer除了自注意力层还包含一个FF层,它就是用于将维度转换会
d
v
d_v
dv的,我们后面再深入探讨,前面那么说是为了让大家更好地理解。所以,准确地说应该是Transformer Block的输入和输出的维度是一致的。
为了更好地理解,下面举一个例子,这个例子来自文章The Illustrated Transformer。假设输入包含两个单词"Thinking Machines"。
计算自注意力的第一步就是,为编码器层的每个输入,都创建三个向量,分别是query向量,key向量和value向量。
正如我们上面所说,每个向量都是乘上一个权重矩阵得到的,这些权重矩阵是随模型一起训练的。
进行线性映射的目的是转换向量的维度,转换成一个更小的维度。原文中是将 512 512 512维转换为 64 64 64维。
比如输入 x 1 x_1 x1乘以矩阵 W Q W^Q WQ得到query向量 q 1 q_1 q1,然后乘以 W k W^k Wk和 W V W^V WV分别得到key向量 k 1 k_1 k1和value向量 v 1 v_1 v1。
第二步 是计算注意力得分,假设我们想计算单词“Thinking”的注意力得分,我们需要对输入序列中的所有单词(包括自身)都进行某个操作。得到单词“Thinking”对于输入序列中每个单词的注意力得分,如果某个位置的得分越大,那么在生成编码时就越需要考虑这个位置。或者说注意力就是衡量 q q q和 k k k的相关性,相关性越大,那么在得到最终输出时, k k k对应的 v v v在生成输出时贡献也越大。
那么这里所说的操作是什么呢?其实很简单,就是点乘。表示两个向量在多大程度上指向同一方向。类似余弦相似度,除了没有对向量的模进行归一化。
所以如果我们计算单词“Thinking”的注意力得分,需要计算 q 1 q_1 q1对 k 1 k_1 k1和 k 2 k_2 k2的点积。如上图所示。
第三步和第四步 是进行进行缩放,然后经过softmax函数,使得每个得分都是正的,且总和为 1 1 1。
经过Softmax之后的值就可以看成是一个权重了,也称为注意力权重。决定每个单词在生成这个位置的编码时能够共享多大程度。
第五步 用每个单词的value向量乘上对应的注意力权重。这一步用于保存我们想要注意单词的信息(给定一个很大的权重),而抑制我们不关心的单词信息(给定一个很小的权重)。
第六步 累加第五步的结果,得到一个新的向量,也就是自注意力层在这个位置(这里是对于第一个单词“Thinking”来说)的输出。举一个极端的例子,假设某个单词的权重非常大,比如是 1 1 1,其他单词都是 0 0 0,那么这一步的输出就是该单词对应的value向量。
这就是计算第一个单词的自注意力输出完整过程。自注意力层的魅力在于,计算所有单词的输出可以通过矩阵运算一次完成。
我们把所有的输入编入一个矩阵 X X X,上面的例子有两个输入,所以这里的 X X X矩阵有两行。分别乘上权重矩阵 W Q , W K , W V W^Q,W^K,W^V WQ,WK,WV就得到了 Q , K , V Q,K,V Q,K,V向量矩阵。
然后除以 d k \sqrt{d_k} dk进行缩放,再经过Softmax,得到注意力权重矩阵,接着乘以value向量矩阵 V V V,就一次得到了所有单词的输出矩阵 Z Z Z。上图就是公式 ( 10 ) (10) (10)。
注意权重矩阵 W Q , W K , W V W^Q,W^K,W^V WQ,WK,WV都是可以训练的,因此通过训练,可以为每个输入单词生成不同的注意力得分,从而得到不同的输出。
根据上面的内容,我们就可以实现一个计算缩放点积注意力的函数:
def scaled_dot_product_attention(query: Tensor, key: Tensor, value: Tensor) -> Tensor:
"""
缩放点积注意力实现函数
Args:
query: [batch_size, input_len, d_k]
key: [batch_size, input_len, d_k]
value: [batch_size, input_len, d_v]
Returns:
"""
d_k = query.size(-1)
# scores [batch_size, input_len, input_len]
scores = F.bmm(query, key.permute(0, 2, 1)) / math.sqrt(d_k)
# weights [batch_size, input_len, input_len]
weights = F.softmax(scores, axis=-1)
# [batch_size, input_len, d_v]
return F.bmm(weights, value)
并且可以实现注意力层:
class Attention(nn.Module):
def __init__(self, embed_dim: int) -> None:
super().__init__()
# 定义Q,K,V映射
self.q = nn.Linear(embed_dim, embed_dim)
self.k = nn.Linear(embed_dim, embed_dim)
self.v = nn.Linear(embed_dim, embed_dim)
def forward(self, query: Tensor, key: Tensor, value: Tensor) -> Tensor:
"""
注意力的前向算法
Args:
query: 来自Encoder的嵌入向量 [batch_size, input_len, d_k]
key: 来自Encoder的嵌入向量 [batch_size, input_len, d_k]
value: 来自Encoder的嵌入向量 [batch_size, input_len, d_k]
Returns:
"""
# query, key, value [batch_size, input_len, d_k]
query, key, value = self.q(query), self.k(key), self.v(value)
# attn_outputs [batch_size, input_len, d_k]
attn_outputs = scaled_dot_product_attention(query, key, value)
return attn_outputs
注意此时我们假设
d
=
d
k
=
d
v
d=d_k=d_v
d=dk=dv,所以在初始化方法中只需要传入embed_dim
。
要注意的是,在forward
方法中接收三个参数,实际上对于编码器来说都是来自同一个底层嵌入层的输出。
接着通过三个线性变换映射到不同的空间,然后传入缩放点积注意力函数。
下面简单地测试:
embed_dim = 2
seq_len = 3
batch_size = 1
# 假设为嵌入层的输出
input_embeds = Tensor.randn(batch_size, seq_len, embed_dim)
attn = Attention(embed_dim=embed_dim)
# 编码器中,query、key、value来自同一个嵌入
values = attn(input_embeds, input_embeds, input_embeds)
print(values.shape)
print(values)
(1, 3, 2)
Tensor(
[[[ 0.2886 1.2668]
[ 0.2559 1.0761]
[-0.2283 -0.1046]]], requires_grad=True)
由于我们设的维度是一样的,所以这里输出的形状和输入一致。
多头注意力
上面介绍的缩放点积注意力把原始的 x \pmb x x映射到不同的空间后,去做注意力。每次映射相当于是在特定空间中去建模特定的语义交互关系,类似卷积中的多通道可以得到多个特征图,那么多个注意力可以得到多个不同方面的语义交互关系。可以让模型更好地关注到不同位置的信息,捕捉到输入序列中不同依赖关系和语义信息。有助于处理长序列、解决语义消歧、句子表示等任务,提高模型的建模能力。
对于每个头 i i i,都有它自己不同的key,query和value矩阵: W i K , W i Q , W i V W_i^K,W_i^Q,W_i^V WiK,WiQ,WiV。在多头注意力中,key和query的维度是 d k d_k dk,value嵌入的维度是 d v d_v dv,这样每个头 i i i,权重 W i Q ∈ R d × d k , W i K ∈ R d × d k , W i V ∈ R d × d v W_i^Q \in \Bbb R^{d \times d_k},W_i^K \in \Bbb R^{d \times d_k},W_i^V \in \Bbb R^{d \times d_v} WiQ∈Rd×dk,WiK∈Rd×dk,WiV∈Rd×dv,然后与压缩到 X X X中的输入相乘,得到 Q ∈ R N × d k , K ∈ R N × d k , V ∈ R N × d v Q \in \Bbb R^{N \times d_k},K \in \Bbb R^{N \times d_k},V \in \Bbb R^{N \times d_v} Q∈RN×dk,K∈RN×dk,V∈RN×dv。
得到这些多头注意力的组合以后,再把它们拼接起来,然后通过一个线性变化映射回原来的维度,保证输入和输出的维度一致。
h个头的输出是
N
×
d
v
N \times d_v
N×dv的向量,接着这些输出被组合到一起压缩成原来的维度
d
d
d,这是拼接每个头的输出然后经过另一个线性投影
W
O
∈
R
h
d
v
×
d
W^O \in \Bbb R^{hd_v \times d}
WO∈Rhdv×d实现的,压缩到原来每个token的输出维度,或共
N
×
d
N \times d
N×d个输出:
MultiHeadAttention
(
X
)
=
(
head
1
⊕
head
2
⋯
⊕
head
h
)
W
O
(11)
\text{MultiHeadAttention}(X) = (\text{head}_1 \oplus \text{head}_2 \cdots \oplus \text{head}_h) W^O \tag{11}
MultiHeadAttention(X)=(head1⊕head2⋯⊕headh)WO(11)
head i = SelfAttention ( Q , K , V ) (12) \text{head}_i = \text{SelfAttention}(Q,K,V) \tag{12} headi=SelfAttention(Q,K,V)(12)
Q = X W i Q ; K = X W i K ; V = X W i V (13) Q=XW^Q_i; \,\, K=XW_i^K;\,\, V=XW_i^V \tag{13} Q=XWiQ;K=XWiK;V=XWiV(13)
上图是一个三个头的注意力示意图,在原论文中, d = 512 d=512 d=512,有 h = 8 h=8 h=8个注意力头。每个头中的 d k = d v = d / h = 64 d_k=d_v=d/h=64 dk=dv=d/h=64,由于每个头维度的减少,总的计算量和正常维度的单头注意力差不多( 8 × 64 = 512 8 \times 64 =512 8×64=512)。
class MultiHeadAttention(nn.Module):
def __init__(self, embed_dim: int, num_heads: int) -> None:
super().__init__()
self.d_k = embed_dim // num_heads # 计算每个头的维度
self.h = num_heads
# 定义Q,K,V映射
self.q = nn.Linear(embed_dim, embed_dim)
self.k = nn.Linear(embed_dim, embed_dim)
self.v = nn.Linear(embed_dim, embed_dim)
# 输出的那个线性变换
self.linear = nn.Linear(embed_dim, embed_dim)
def forward(self, query: Tensor, key: Tensor, value: Tensor) -> Tensor:
"""
注意力的前向算法
Args:
query: 来自Encoder的嵌入向量 [batch_size, input_len, d_k]
key: 来自Encoder的嵌入向量 [batch_size, input_len, d_k]
value: 来自Encoder的嵌入向量 [batch_size, input_len, d_k]
Returns:
"""
batch_size = query.size(0)
# 线性映射后转换为形状 [batch_size, input_len, self.h, self.d_k]
# 即h个d_k维度的query,key,value embed_dim == h x d_k
# permute -> [batch_size, self.h, input_len, self.d_k]
query = self.q(query).view(batch_size, -1, self.h, self.d_k).permute(0, 2, 1, 3) # transpose(1, 2)
key = self.q(key).view(batch_size, -1, self.h, self.d_k).permute(0, 2, 1, 3)
value = self.q(value).view(batch_size, -1, self.h, self.d_k).permute(0, 2, 1, 3)
# attn_outputs [batch_size, h, input_len, d_k]
attn_outputs = scaled_dot_product_attention(query, key, value)
# 在计算时并没有将多个头分开计算,而是放在矩阵中一起运算
# 这里可以直接通过view来执行类似拼接的操作,然后应用到最后一个线性层
# permute -> [batch_size, input_len, h, d_k]
# view -> [batch_size, input_len, h * d_k]
attn_outputs = attn_outputs.permute(0, 2, 1, 3).view(batch_size, -1, self.h * self.d_k)
return self.linear(attn_outputs)
我们首先实现多头注意力,在实现细节上,可以不真正执行 h h h次多头注意力运算,而是通过矩阵运算一次进行。
但我们给scaled_dot_product_attention
函数的维度发生了变化,因此也需要修改改函数的实现。原始Transformer中,d_k=d_v
,这里为了简单,都注释成d_k
。
def scaled_dot_product_attention(query: Tensor, key: Tensor, value: Tensor) -> Tensor:
"""
缩放点积注意力实现函数
Args:
query: [batch_size, h, input_len, d_k]
key: [batch_size, h, input_len, d_k]
value: [batch_size, h ,input_len, d_k]
Returns:
"""
d_k = query.size(-1)
# query [batch_size, h, input_len, d_k]
# key.permute -> [batch_size, h, d_k, input_len]
# 固定batch_size, self.h -> (input_len, self.d_k) x (self.d_k, input_len) = (input_len, input_len)
# -> [batch_size, self.h, input_len, input_len]
# scores [batch_size, h, input_len, input_len]
scores = F.bmm(query, key.permute(0, 1, 3, 2)) / math.sqrt(d_k)
# weights [batch_size, h, input_len, input_len]
weights = F.softmax(scores, axis=-1)
# [batch_size, h, input_len, d_k]
return F.bmm(weights, value)
为了兼容多个头,我们改了一点代码,最后输出的形状是 [batch_size, h, input_len, d_k]
。
下面我们进行简单的测试:
embed_dim = 512
seq_len = 3
batch_size = 1
num_heads = 8
# 假设是Transformer Layer的输入
input_embeds = Tensor.randn(batch_size, seq_len, embed_dim)
attn = MultiHeadAttention(embed_dim=embed_dim, num_heads=num_heads)
# 编码器中,query、key、value来自同一个嵌入
values = attn(input_embeds, input_embeds, input_embeds)
print(values.shape)
(1, 3, 512)
可以看到,输入和输出的维度确实一致。
但我们的实现还有点问题,当批次内包含多个序列样本时,可能它们的长度不一,这里也是需要进行填充以对齐长度。
而实际上,没必要对填充token计算注意力,因此,我们需要增加一个表示填充的mask
,如图4中所示。
def scaled_dot_product_attention(query: Tensor, key: Tensor, value: Tensor, mask: Tensor = None) -> Tensor:
"""
缩放点积注意力实现函数
Args:
query: [batch_size, h, input_len, d_k]
key: [batch_size, h, input_len, d_k]
value: [batch_size, h ,input_len, d_k]
mask: [batch_size, 1, 1, input_len]
Returns:
"""
d_k = query.size(-1)
# query [batch_size, h, input_len, d_k]
# key.permute -> [batch_size, h, d_k, input_len]
# 固定batch_size, self.h -> (input_len, self.d_k) x (self.d_k, input_len) = (input_len, input_len)
# -> [batch_size, self.h, input_len, input_len]
# scores [batch_size, h, input_len, input_len]
scores = F.bmm(query, key.permute(0, 1, 3, 2)) / math.sqrt(d_k)
# 对于源序列来说,由于批次内语句长短不一,对于短的语句,需要填充<pad> token
if mask is not None:
# 根据mask,把填充的位置填-1e9,然后计算softmax的时候,-1e9的位置就被计算为0
scores = scores.masked_fill(mask == 0, -1e9)
# weights [batch_size, h, input_len, input_len]
weights = F.softmax(scores, axis=-1)
# [batch_size, h, input_len, d_k]
return F.bmm(weights, value)
把填充的位置填-1e9
,然后计算softmax的时候,-1e9
的位置就被计算为0
,即在计算注意力的时候不会被考虑。
对于Encoder来说, mask
的形状是[batch_size, 1, 1, input_len]
,为了和scores
的形状匹配。
然后我们实现通过输入生成mask:
def generate_mask(src: Tensor, pad: int = 0):
"""
生成mask
Args:
src: [batch_size, input_len]
pad: 填充<pad>的id
Returns:
"""
# src_mask [batch_size, 1, 1, input_len]
src_mask = (src != pad).unsqueeze(1).unsqueeze(2)
return src_mask
最后,修改多头注意力代码,接受mask
参数:
class MultiHeadAttention(nn.Module):
def __init__(self, embed_dim: int, num_heads: int) -> None:
super().__init__()
self.d_k = embed_dim // num_heads # 计算每个头的维度
self.h = num_heads
# 定义Q,K,V映射
self.q = nn.Linear(embed_dim, embed_dim)
self.k = nn.Linear(embed_dim, embed_dim)
self.v = nn.Linear(embed_dim, embed_dim)
# 输出的那个线性变换
self.linear = nn.Linear(embed_dim, embed_dim)
def forward(self, query: Tensor, key: Tensor, value: Tensor, mask: Tensor = None) -> Tensor:
"""
注意力的前向算法
Args:
query: 来自Encoder的嵌入向量 [batch_size, input_len, d_k]
key: 来自Encoder的嵌入向量 [batch_size, input_len, d_k]
value: 来自Encoder的嵌入向量 [batch_size, input_len, d_k]
mask: 来自Encoder输入的mask [batch_size, 1, 1, input_len]
Returns:
"""
batch_size = query.size(0)
# ====拆分head====
# 线性映射后转换为形状 [batch_size, input_len, self.h, self.d_k]
# 即h个d_k维度的query,key,value embed_dim == h x d_k
# permute -> [batch_size, self.h, input_len, self.d_k]
query = self.q(query).view(batch_size, -1, self.h, self.d_k).permute(0, 2, 1, 3) # transpose(1, 2)
key = self.k(key).view(batch_size, -1, self.h, self.d_k).permute(0, 2, 1, 3)
value = self.v(value).view(batch_size, -1, self.h, self.d_k).permute(0, 2, 1, 3)
# attn_outputs [batch_size, h, input_len, d_k]
attn_outputs = scaled_dot_product_attention(query, key, value, mask)
# ====合并head====
# 在计算时并没有将多个头分开计算,而是放在矩阵中一起运算
# 这里可以直接通过view来执行类似拼接的操作,然后应用到最后一个线性层
# permute -> [batch_size, input_len, h, d_k]
# view -> [batch_size, input_len, h * d_k]
attn_outputs = attn_outputs.permute(0, 2, 1, 3).view(batch_size, -1, self.h * self.d_k)
return self.linear(attn_outputs)
编码器的多头注意力快完善好了,由于模型的参数较多,为了防止过拟合,我们还可以在注意力的时候加入dropout。如何加见下节内容。
完整代码
本文最终的完整代码为:
import copy
import math
import metagrad.module as nn
from metagrad import functions as F
from metagrad import Tensor
def scaled_dot_product_attention(query: Tensor, key: Tensor, value: Tensor, mask: Tensor = None,
dropout: nn.Dropout = None) -> Tensor:
"""
缩放点积注意力实现函数
Args:
query: [batch_size, h, input_len, d_k]
key: [batch_size, h, input_len, d_k]
value: [batch_size, h ,input_len, d_k]
mask: [batch_size, 1, 1, input_len]
dropout: Dropout层
Returns:
"""
d_k = query.size(-1)
# query [batch_size, h, input_len, d_k]
# key.permute -> [batch_size, h, d_k, input_len]
# 固定batch_size, self.h -> (input_len, self.d_k) x (self.d_k, input_len) = (input_len, input_len)
# -> [batch_size, self.h, input_len, input_len]
# scores [batch_size, h, input_len, input_len]
scores = F.bmm(query, key.permute(0, 1, 3, 2)) / math.sqrt(d_k)
# 对于源序列来说,由于批次内语句长短不一,对于短的语句,需要填充<pad> token
if mask is not None:
# 根据mask,把填充的位置填-1e9,然后计算softmax的时候,-1e9的位置就被计算为0
scores = scores.masked_fill(mask == 0, -1e9)
# weights [batch_size, h, input_len, input_len]
weights = F.softmax(scores, axis=-1)
if dropout:
weights = dropout(weights)
# [batch_size, h, input_len, d_k]
return F.bmm(weights, value)
def generate_mask(src: Tensor, pad: int = 0):
"""
生成mask
Args:
src: [batch_size, input_len]
pad: 填充<pad>的id
Returns:
"""
# src_mask [batch_size, 1, 1, input_len]
src_mask = (src != pad).unsqueeze(1).unsqueeze(2)
return src_mask
class MultiHeadAttention(nn.Module):
def __init__(self, embed_dim: int, num_heads: int, dropout: float = 0.1) -> None:
super().__init__()
self.d_k = embed_dim // num_heads # 计算每个头的维度
self.h = num_heads
# 定义Q,K,V映射
self.q = nn.Linear(embed_dim, embed_dim)
self.k = nn.Linear(embed_dim, embed_dim)
self.v = nn.Linear(embed_dim, embed_dim)
# 输出的那个线性变换
self.linear = nn.Linear(embed_dim, embed_dim)
# Dropout
if dropout:
self.dropout = nn.Dropout(p=dropout)
else:
self.dropout = None
def forward(self, query: Tensor, key: Tensor, value: Tensor, mask: Tensor = None) -> Tensor:
"""
注意力的前向算法
Args:
query: 来自Encoder的嵌入向量 [batch_size, input_len, d_k]
key: 来自Encoder的嵌入向量 [batch_size, input_len, d_k]
value: 来自Encoder的嵌入向量 [batch_size, input_len, d_k]
mask: 来自Encoder输入的mask [batch_size, 1, 1, input_len]
Returns:
"""
batch_size = query.size(0)
# ====拆分head====
# 线性映射后转换为形状 [batch_size, input_len, self.h, self.d_k]
# 即h个d_k维度的query,key,value embed_dim == h x d_k
# permute -> [batch_size, self.h, input_len, self.d_k]
query = self.q(query).view(batch_size, -1, self.h, self.d_k).permute(0, 2, 1, 3) # transpose(1, 2)
key = self.k(key).view(batch_size, -1, self.h, self.d_k).permute(0, 2, 1, 3)
value = self.v(value).view(batch_size, -1, self.h, self.d_k).permute(0, 2, 1, 3)
# attn_outputs [batch_size, h, input_len, d_k]
attn_outputs = scaled_dot_product_attention(query, key, value, mask, self.dropout)
# ====合并head====
# 在计算时并没有将多个头分开计算,而是放在矩阵中一起运算
# 这里可以直接通过view来执行类似拼接的操作,然后应用到最后一个线性层
# permute -> [batch_size, input_len, h, d_k]
# view -> [batch_size, input_len, h * d_k]
attn_outputs = attn_outputs.permute(0, 2, 1, 3).view(batch_size, -1, self.h * self.d_k)
return self.linear(attn_outputs)
import numpy as np
embed_dim = 512
vocab_size = 5000
num_heads = 8
# 第二个样本包含两个填充
input_data = Tensor(
np.array([[1, 2, 3, 4, 5], [6, 7, 8, 0, 0]])
)
# batch_size = 2
# seq_len = 5
batch_size, seq_len = input_data.shape
embedding = nn.Embedding(vocab_size, embed_dim)
# 模拟嵌入层
input_embeds = embedding(input_data)
mask = generate_mask(input_data)
attn = MultiHeadAttention(embed_dim=embed_dim, num_heads=num_heads)
# 编码器中,query、key、value来自同一个嵌入
values = attn(input_embeds, input_embeds, input_embeds, mask)
print(values.shape)
FAQ
为什么点积注意力需要进行缩放
除了上文通过梯度传递的角度来解释,还可以从均值和方差的角度解释。
假设q和k中元素是互相独立的均值为0方差为1的随机变量,那么它们的点积 q ⋅ k = ∑ i = 1 d k q i k i q \cdot k = \sum_{i=1}^{d_k} q_ik_i q⋅k=∑i=1dkqiki有均值0方差 d k d_k dk。
详细过程见https://github.com/BAI-Yeqi/Statistical-Properties-of-Dot-Product/blob/master/proof.pdf。
已知
E
[
q
i
]
=
E
[
k
i
]
=
0
var
[
q
i
]
=
var
[
k
i
]
=
1
E[q_i] = E[k_i] = 0\\ \text{var} [q_i] = \text{var}[k_i] = 1
E[qi]=E[ki]=0var[qi]=var[ki]=1
其中
i
∈
[
1
,
d
k
]
i \in [1,d_k]
i∈[1,dk]。
q
⋅
k
q \cdot k
q⋅k的均值为
E
[
q
⋅
k
]
=
E
[
∑
i
=
1
d
k
q
i
k
i
]
=
∑
i
=
1
d
k
E
[
q
i
k
i
]
=
∑
i
=
1
d
k
E
[
q
i
]
E
[
k
i
]
=
0
\begin{aligned} E[q \cdot k] &= E \left[ \sum_{i=1}^{d_k} q_ik_i \right] \\ &= \sum_{i=1}^{d_k} E[q_ik_i] \\ &= \sum_{i=1}^{d_k} E[q_i] E[k_i] \\ &= 0 \end{aligned}
E[q⋅k]=E[i=1∑dkqiki]=i=1∑dkE[qiki]=i=1∑dkE[qi]E[ki]=0
类似地,我们可以计算
q
⋅
k
q\cdot k
q⋅k的方差:
var
[
q
⋅
k
]
=
var
[
∑
i
=
1
d
k
q
i
k
i
]
=
∑
i
=
1
d
k
var
[
q
i
k
i
]
=
∑
i
=
1
d
k
var
[
q
i
]
var
[
k
i
]
=
∑
i
=
1
d
k
1
=
d
k
\begin{aligned} \text{var}[q\cdot k] &= \text{var}\left[ \sum_{i=1}^{d_k} q_ik_i \right] \\ &= \sum_{i=1}^{d_k} \text{var} [q_ik_i ] \\ &= \sum_{i=1}^{d_k} \text{var} [q_i] \text{var}[k_i ] \\ &= \sum_{i=1}^{d_k} 1 \\ &= d_k \end{aligned}
var[q⋅k]=var[i=1∑dkqiki]=i=1∑dkvar[qiki]=i=1∑dkvar[qi]var[ki]=i=1∑dk1=dk文章来源:https://www.toymoban.com/news/detail-630817.html
所以除以 d k \sqrt{d_k} dk使得方差变回1。文章来源地址https://www.toymoban.com/news/detail-630817.html
参考
- [论文翻译]Attention Is All You Need
- The Annotated Transformer
- Speech and Language Processing
- The Illustrated Transformer
到了这里,关于从零实现深度学习框架——Transformer从菜鸟到高手(一)的文章就介绍完了。如果您还想了解更多内容,请在右上角搜索TOY模板网以前的文章或继续浏览下面的相关文章,希望大家以后多多支持TOY模板网!