burn_dragon_kernel 0.21.0-pre.13

Fused GPU kernel crate for burn_dragon execution paths
Documentation 
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

@group(0) @binding(0)
var<storage, read_write> query: array<f32>;

@group(0) @binding(1)
var<storage, read_write> value: array<f32>;

@group(0) @binding(2)
var<storage, read_write> rho_state: array<f32>;

@group(0) @binding(3)
var<storage, read_write> decay: array<f32>;

@group(0) @binding(4)
var<storage, read_write> context: array<f32>;

@group(0) @binding(5)
var<storage, read_write> params: array<f32>;

const LATENT_TILE: u32 = 32u;

var<workgroup> query_tile: array<f32, LATENT_TILE>;

fn to_u32(v: f32) -> u32 {
  return u32(v + 0.5);
}

fn idx_query(b: u32, h: u32, t: u32, l: u32, heads: u32, time: u32, latent: u32) -> u32 {
  return (((b * heads + h) * time + t) * latent + l);
}

fn idx_value(
  b: u32,
  h: u32,
  t: u32,
  e: u32,
  value_heads: u32,
  time: u32,
  embd: u32,
) -> u32 {
  return (((b * value_heads + h) * time + t) * embd + e);
}

fn idx_rho(b: u32, h: u32, l: u32, e: u32, heads: u32, latent: u32, embd: u32) -> u32 {
  return (((b * heads + h) * latent + l) * embd + e);
}

fn idx_context(b: u32, h: u32, t: u32, e: u32, heads: u32, time: u32, embd: u32) -> u32 {
  return (((b * heads + h) * time + t) * embd + e);
}

@compute @workgroup_size(64, 1, 1)
fn main(
  @builtin(global_invocation_id) gid: vec3<u32>,
  @builtin(local_invocation_id) lid: vec3<u32>,
) {
  let batch = to_u32(params[0]);
  let heads = to_u32(params[1]);
  let value_heads = to_u32(params[2]);
  let time = to_u32(params[3]);
  let latent = to_u32(params[4]);
  let embd = to_u32(params[5]);

  let e = gid.x;
  let h = gid.y;
  let b = gid.z;
  let lane = lid.x;

  if b >= batch || h >= heads || e >= embd {
    return;
  }

  let h_value = select(h, 0u, value_heads == 1u);
  let decay_value = decay[h];

  var t = 0u;
  while t < time {
    let value_index = idx_value(b, h_value, t, e, value_heads, time, embd);
    let value_t = value[value_index];

    var acc = 0.0;
    var latent_base = 0u;
    while latent_base < latent {
      let tile_len = min(LATENT_TILE, latent - latent_base);
      if lane < tile_len {
        let query_index = idx_query(b, h, t, latent_base + lane, heads, time, latent);
        query_tile[lane] = query[query_index];
      }
      workgroupBarrier();

      var tile_offset = 0u;
      while tile_offset < tile_len {
        let l = latent_base + tile_offset;
        let rho_index = idx_rho(b, h, l, e, heads, latent, embd);
        let q = query_tile[tile_offset];
        let rho_prev = rho_state[rho_index];
        acc += rho_prev * q;
        rho_state[rho_index] = (rho_prev + q * value_t) * decay_value;
        tile_offset += 1u;
      }
      workgroupBarrier();
      latent_base += LATENT_TILE;
    }

    let out_index = idx_context(b, h, t, e, heads, time, embd);
    context[out_index] = acc;

    t += 1u;
  }
}