1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
|
// Dispatch with [ neq1*neq2*neq3, 1, 1 ] thread groups
#include "flashAttentionCommon.hlsli"
#include "groupReduce.hlsli"
inline void computeDotProduct( Buffer<float> buff0, Buffer<float> buff1, uint s0, uint s1, const uint len, const uint thread, inout float acc )
{
acc = 0;
/*
const uint s0End = s0 + len;
s0 += thread;
s1 += thread;
for( ; s0 < s0End; s0 += 32, s1 += 32 )
acc = mad( buff0[ s0 ], buff1[ s1 ], acc );
horizontalSumCompatNew( thread, acc );
*/
const uint completeVectors = len / 32;
uint i;
for( i = 0; i < completeVectors; i++, s0 += 32, s1 += 32 )
acc = mad( buff0[ s0 + thread ], buff1[ s1 + thread ], acc );
horizontalSumCompatNew( thread, acc );
if( 0 == thread )
{
const uint rem = len % 32;
for( i = 0; i < rem; i++ )
{
precise float a = buff0[ s0 + i ];
precise float b = buff1[ s1 + i ];
precise float prod = a * b;
acc += prod;
}
}
}
void scaleTempVector( uint i, const uint length, const uint thread, const float multiplier )
{
const uint end = i + length;
for( i += thread; i < end; i += 32 )
{
float f = temp[ i ];
f *= multiplier;
temp[ i ] = f;
}
}
[ numthreads( 32, 1, 1 ) ]
void main( uint3 group: SV_GroupID, uint thread : SV_GroupIndex )
{
const uint neq0 = q_elements[ 0 ];
const uint neq1 = q_elements[ 1 ];
const uint neq2 = q_elements[ 2 ];
const uint neq3 = q_elements[ 3 ];
const uint nek0 = k_elements[ 0 ];
const uint nek1 = k_elements[ 1 ];
const uint nev1 = v_elements[ 1 ];
const uint ne0 = res_elements[ 0 ];
const uint ne1 = res_elements[ 1 ];
const uint nbk0 = k_strides[ 0 ];
const uint nbk1 = k_strides[ 1 ];
const uint nbk2 = k_strides[ 2 ];
const uint nbk3 = k_strides[ 3 ];
const uint nbq0 = q_strides[ 0 ];
const uint nbq1 = q_strides[ 1 ];
const uint nbq2 = q_strides[ 2 ];
const uint nbq3 = q_strides[ 3 ];
const uint nbv0 = v_strides[ 0 ];
const uint nbv1 = v_strides[ 1 ];
const uint nbv2 = v_strides[ 2 ];
const uint nbv3 = v_strides[ 3 ];
const uint nb0 = res_strides[ 0 ];
const uint nb1 = res_strides[ 1 ];
const uint nb2 = res_strides[ 2 ];
const uint nb3 = res_strides[ 3 ];
const uint D = neq0;
const uint N = neq1;
const uint P = nek1 - N;
// const uint M = P + N;
const uint M = nek1;
const uint ir = group.x;
const uint iq3 = ir / ( neq2 * neq1 );
const uint iq2 = ( ir - iq3 * neq2 * neq1 ) / neq1;
const uint iq1 = ( ir - iq3 * neq2 * neq1 - iq2 * neq1 );
const uint tempIndex = ir * tempBufferStride;
uint ic;
for( ic = 0; ic < nek1; ic++ )
{
// k indices
const uint ik3 = iq3;
const uint ik2 = iq2;
const uint ik1 = ic;
// S indices
const uint i1 = ik1;
if( masked )
{
if( ic > P + iq1 )
{
if( 0 == thread )
temp[ tempIndex + ic ] = negativeInfinity;
continue;
}
}
const uint s0 = ik1 * nbk1 + ik2 * nbk2 + ik3 * nbk3;
const uint s1 = iq1 * nbq1 + iq2 * nbq2 + iq3 * nbq3;
float dp;
computeDotProduct( k, q, s0, s1, neq0, thread, dp );
if( 0 == thread )
temp[ tempIndex + ic ] = dp * scale;
}
}
|
