|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
from collections import defaultdict |
|
|
from typing import List |
|
|
|
|
|
import torch |
|
|
|
|
|
|
|
|
class Block(object): |
|
|
|
|
|
def __init__(self, block_idx: int): |
|
|
self.idx = block_idx |
|
|
self.ref_count = 0 |
|
|
|
|
|
def add_link(self): |
|
|
self.ref_count += 1 |
|
|
|
|
|
def remove_link(self): |
|
|
self.ref_count -= 1 |
|
|
|
|
|
def has_link(self) -> bool: |
|
|
return self.ref_count > 0 |
|
|
|
|
|
def is_shared(self) -> bool: |
|
|
return self.ref_count > 1 |
|
|
|
|
|
|
|
|
class GenerationSequence(object): |
|
|
|
|
|
def __init__(self, seq_idx, batch_idx): |
|
|
self.seq_idx = seq_idx |
|
|
self.batch_idx = batch_idx |
|
|
|
|
|
def get_batch_idx(self) -> int: |
|
|
""" |
|
|
Returns idx of sequence in batch |
|
|
""" |
|
|
return self.batch_idx |
|
|
|
|
|
def get_seq_idx(self) -> int: |
|
|
""" |
|
|
Returns sequence idx |
|
|
""" |
|
|
return self.seq_idx |
|
|
|
|
|
def __eq__(self, another): |
|
|
return hasattr(another, 'seq_idx') and self.seq_idx == another.seq_idx and \ |
|
|
hasattr(another, 'batch_idx') and self.batch_idx == another.batch_idx |
|
|
|
|
|
def __hash__(self): |
|
|
return self.seq_idx |
|
|
|
|
|
|
|
|
class BlocksManager(object): |
|
|
_sizeof = { |
|
|
torch.float32: 4, |
|
|
torch.float16: 2, |
|
|
torch.bfloat16: 2, |
|
|
torch.int8: 1 |
|
|
} |
|
|
|
|
|
def __init__(self, |
|
|
*, |
|
|
num_layers: int, |
|
|
num_blocks: int, |
|
|
block_size: int, |
|
|
max_blocks_per_seq: int = 128, |
|
|
beam_width: int = 1): |
|
|
""" |
|
|
expected block pool shape: [num_blocks, num_layers, 2, block_size] |
|
|
""" |
|
|
|
|
|
self.max_blocks_per_seq = max_blocks_per_seq |
|
|
|
|
|
self.num_layers = num_layers |
|
|
self.num_blocks = num_blocks |
|
|
self.block_size = block_size |
|
|
self.beam_width = beam_width |
|
|
|
|
|
self.free_blocks = [] |
|
|
for bi in range(num_blocks): |
|
|
self.free_blocks.append(Block(bi)) |
|
|
|
|
|
beam_width = self.beam_width |
|
|
|
|
|
|
|
|
self.allocated_blocks = defaultdict( |
|
|
lambda: [[] for _ in range(beam_width)]) |
|
|
|
|
|
def has_free_block(self) -> bool: |
|
|
""" |
|
|
Returns True if we have at least 1 free block |
|
|
""" |
|
|
return len(self.free_blocks) > 0 |
|
|
|
|
|
def allocate(self, |
|
|
owner: GenerationSequence, |
|
|
share_across_beam: bool = False): |
|
|
""" |
|
|
Add block to owner and increase ref count |
|
|
""" |
|
|
|
|
|
block = None |
|
|
for bi in range(self.beam_width): |
|
|
if not self.has_free_block(): |
|
|
raise RuntimeError("Can't allocate new block for KV cache") |
|
|
|
|
|
|
|
|
if block is None or share_across_beam == False: |
|
|
block = self.free_blocks.pop(0) |
|
|
|
|
|
block.add_link() |
|
|
self.allocated_blocks[owner][bi].append(block) |
|
|
|
|
|
def replace_shared_block(self, owner: GenerationSequence, block_idx: int): |
|
|
""" |
|
|
Replace the shared block. |
|
|
Free the shared block, and allocate blocks with share_across_beam=False |
|
|
""" |
|
|
if not self.allocated_blocks[owner][0][block_idx].is_shared(): |
|
|
return |
|
|
|
|
|
|
|
|
for bi in range(self.beam_width): |
|
|
block = self.allocated_blocks[owner][bi][block_idx] |
|
|
block.remove_link() |
|
|
if not block.has_link(): |
|
|
self.free_blocks.append(block) |
|
|
|
|
|
|
|
|
for bi in range(self.beam_width): |
|
|
if not self.has_free_block(): |
|
|
raise RuntimeError("Can't allocate new block for KV cache") |
|
|
block = self.free_blocks.pop(0) |
|
|
block.add_link() |
|
|
self.allocated_blocks[owner][bi][block_idx] = block |
|
|
return |
|
|
|
|
|
def free(self, owner: GenerationSequence): |
|
|
""" |
|
|
Unlink all blocks of given owner. |
|
|
Moves blocks with ref_count == 0 to free. |
|
|
Removes owner from allocated blocks. |
|
|
""" |
|
|
for bi in range(self.beam_width): |
|
|
for block in self.allocated_blocks[owner][bi]: |
|
|
|
|
|
block.remove_link() |
|
|
|
|
|
|
|
|
if not block.has_link(): |
|
|
self.free_blocks.append(block) |
|
|
|
|
|
self.allocated_blocks.pop(owner) |
|
|
|
|
|
def get_number_blocks(self, owner: GenerationSequence) -> int: |
|
|
""" |
|
|
Returns number of blocks allocated to the sequence owner |
|
|
""" |
|
|
return len(self.allocated_blocks[owner][0]) |
|
|
|
|
|
def get_k_or_v_block_offset(self, block_idx, field_idx): |
|
|
""" |
|
|
Get offset in memory pool to K or V block. field_idx should be 0 (K) or 1 (V). |
|
|
""" |
|
|
return block_idx * self.num_layers * 2 + field_idx |
|
|
|
|
|
def get_offset_array(self, beam_width: int) -> torch.Tensor: |
|
|
""" |
|
|
Returns array of [batch size, beam_width, 2, max_blocks_per_seq] of offsets |
|
|
to the allocated blocks in memory pool |
|
|
""" |
|
|
assert (beam_width <= self.beam_width) |
|
|
|
|
|
def create_nested_list(dims): |
|
|
"""Recursive function to generate nested list.""" |
|
|
if len(dims) == 1: |
|
|
return [0 for _ in range(dims[0])] |
|
|
return [create_nested_list(dims[1:]) for _ in range(dims[0])] |
|
|
|
|
|
offset_array = create_nested_list( |
|
|
(len(self.allocated_blocks), beam_width, 2, |
|
|
self.max_blocks_per_seq)) |
|
|
|
|
|
k_idx = 0 |
|
|
v_idx = 1 |
|
|
for owner, beams_blocks in self.allocated_blocks.items(): |
|
|
for bi in range(beam_width): |
|
|
for block_linear_idx, block in enumerate(beams_blocks[bi]): |
|
|
for x_idx in [k_idx, v_idx]: |
|
|
offset_array[owner.get_batch_idx()][bi][x_idx][ |
|
|
block_linear_idx] = self.get_k_or_v_block_offset( |
|
|
block.idx, x_idx) |
|
|
|
|
|
self.offset_array = torch.tensor(offset_array, dtype=torch.int32) |
|
|
return self.offset_array |
|
|
|
|
|
def get_continuous_caches(self, memory_pool: torch.Tensor) -> torch.Tensor: |
|
|
""" |
|
|
Returns continuous KV caches. |
|
|
Used only for debug purposes. |
|
|
""" |
|
|
assert self.beam_width == 1 |
|
|
|
|
|
pool = memory_pool.flatten() |
|
|
continuous_kv_cache = torch.zeros(len(self.allocated_blocks), |
|
|
2, |
|
|
self.max_blocks_per_seq * |
|
|
self.block_size, |
|
|
dtype=pool.dtype, |
|
|
device="cuda") |
|
|
k_idx = 0 |
|
|
v_idx = 1 |
|
|
for owner, beam_blocks in self.allocated_blocks.items(): |
|
|
for bi in range(self.beam_width): |
|
|
for block_linear_idx, block in enumerate(beam_blocks[bi]): |
|
|
|
|
|
batch_idx = owner.get_batch_idx() |
|
|
|
|
|
block_offset = block_linear_idx * self.block_size |
|
|
|
|
|
for x_idx in [k_idx, v_idx]: |
|
|
x_start = self.get_k_or_v_block_offset( |
|
|
block.idx, x_idx) * self.block_size |
|
|
|
|
|
continuous_kv_cache[batch_idx][ |
|
|
x_idx][block_offset:block_offset + |
|
|
self.block_size] = pool[x_start:x_start + |
|
|
self.block_size] |
|
|
|
|
|
return continuous_kv_cache |
|
|
|
|
|
|
|
|
class KVCacheManager(object): |
|
|
|
|
|
def __init__(self, |
|
|
*, |
|
|
num_layers: int, |
|
|
num_blocks: int, |
|
|
block_size: int, |
|
|
tokens_per_block: int, |
|
|
max_blocks_per_seq: int, |
|
|
max_attention_window_size: int, |
|
|
sink_token_len: int, |
|
|
beam_width: int = 1, |
|
|
use_one_more_block: bool = False): |
|
|
|
|
|
self.blocks_manager = BlocksManager( |
|
|
num_layers=num_layers, |
|
|
num_blocks=num_blocks, |
|
|
block_size=block_size, |
|
|
max_blocks_per_seq=max_blocks_per_seq, |
|
|
beam_width=beam_width) |
|
|
self.tokens_per_block = tokens_per_block |
|
|
self.max_attention_window_size = max_attention_window_size |
|
|
self.sink_token_len = sink_token_len |
|
|
self.beam_width = beam_width |
|
|
|
|
|
|
|
|
|
|
|
if sink_token_len % tokens_per_block == 0: |
|
|
self.bubble_len = 0 |
|
|
else: |
|
|
self.bubble_len = tokens_per_block - sink_token_len % tokens_per_block |
|
|
|
|
|
|
|
|
self.sink_block_token_num = self.sink_token_len + self.bubble_len |
|
|
|
|
|
|
|
|
self.max_token_num = self.max_attention_window_size + self.bubble_len |
|
|
if use_one_more_block: |
|
|
self.max_token_num += self.tokens_per_block |
|
|
|
|
|
self.lens = [] |
|
|
self.sequences = [] |
|
|
|
|
|
def step(self, finished: List[bool]): |
|
|
""" |
|
|
Iterate to the next generation step. |
|
|
Add new blocks where needed and clear finished sequences. |
|
|
""" |
|
|
for seq in self.sequences: |
|
|
batch_idx = seq.get_batch_idx() |
|
|
|
|
|
cyclic_token_num = self.max_token_num - self.sink_block_token_num |
|
|
next_token_idx_in_cache = self.sink_block_token_num + \ |
|
|
(self.lens[batch_idx] - self.sink_block_token_num) % cyclic_token_num |
|
|
if not finished[batch_idx] and ( |
|
|
next_token_idx_in_cache % self.tokens_per_block == 0 or |
|
|
(next_token_idx_in_cache - self.sink_block_token_num) % |
|
|
cyclic_token_num == 0): |
|
|
if self.lens[batch_idx] < self.max_token_num: |
|
|
self.blocks_manager.allocate(seq) |
|
|
elif self.beam_width > 1: |
|
|
|
|
|
next_block_idx = next_token_idx_in_cache // self.tokens_per_block |
|
|
|
|
|
self.blocks_manager.replace_shared_block( |
|
|
seq, next_block_idx) |
|
|
|
|
|
self.lens[batch_idx] += 1 |
|
|
|
|
|
|
|
|
for fi in range(len(finished)): |
|
|
if finished[fi]: |
|
|
self.blocks_manager.free(self.sequences[fi]) |
|
|
self.lens = [l for l, f in zip(self.lens, finished) if not f] |
|
|
|
|
|
|
|
|
new_sequences = [] |
|
|
batch_idx = 0 |
|
|
for seq, finish in zip(self.sequences, finished): |
|
|
if not finish: |
|
|
seq.batch_idx = batch_idx |
|
|
new_sequences.append(seq) |
|
|
batch_idx += 1 |
|
|
self.sequences = new_sequences |
|
|
|
|
|
def add_sequence(self, |
|
|
sequence: GenerationSequence, |
|
|
context_len: int, |
|
|
always_share_across_beam: bool = False): |
|
|
""" |
|
|
Add sequence to the manager and allocate minimum amount of blocks for context |
|
|
""" |
|
|
seq_len = context_len + self.bubble_len |
|
|
self.lens.append(seq_len) |
|
|
self.sequences.append(sequence) |
|
|
|
|
|
|
|
|
|
|
|
enable_cyclic_kv_cache = seq_len >= self.max_token_num |
|
|
|
|
|
|
|
|
final_token_kv_index = self.sink_block_token_num + ( |
|
|
(seq_len - 1 - self.sink_block_token_num) % |
|
|
(self.max_token_num - self.sink_block_token_num)) |
|
|
|
|
|
|
|
|
unshared_block_idx = -1 |
|
|
if (not enable_cyclic_kv_cache or self.beam_width > 1 |
|
|
or final_token_kv_index % self.tokens_per_block > 0): |
|
|
unshared_block_idx = final_token_kv_index // self.tokens_per_block + 1 if ( |
|
|
final_token_kv_index + 1 |
|
|
) % self.tokens_per_block == 0 else final_token_kv_index // self.tokens_per_block |
|
|
|
|
|
|
|
|
|
|
|
seq_len = min(seq_len, self.max_token_num) |
|
|
context_blocks = seq_len // self.tokens_per_block |
|
|
if seq_len % self.tokens_per_block > 0: |
|
|
context_blocks += 1 |
|
|
|
|
|
|
|
|
for i in range(context_blocks): |
|
|
self.blocks_manager.allocate( |
|
|
sequence, |
|
|
share_across_beam=True if always_share_across_beam else |
|
|
(i != unshared_block_idx)) |
|
|
|
|
|
def get_block_offsets(self, beam_width: int) -> torch.Tensor: |
|
|
""" |
|
|
Returns array of offsets into memory pools |
|
|
""" |
|
|
return self.blocks_manager.get_offset_array(beam_width) |
|
|
|
|
|
|
|
|
class KVCacheUpdater: |
|
|
|
|
|
def __init__(self): |
|
|
self.use_paged_kv_cache = None |
|
|
self.num_layers = None |
|
|
self.num_kv_heads = None |
|
|
self.head_dim = None |
|
|
self.elt_size = None |
|
|
self.past_key_value_list = None |
|
|
self.max_kv_cache_length = None |
|
|
self.kv_cache_manager = None |
|
|
self.host_kv_cache_pool_pointers = None |
|
|
|
|
|
def init_linear_kv_cache(self, num_layers, num_kv_heads, head_dim, |
|
|
kv_cache_type, past_key_value_list): |
|
|
self.use_paged_kv_cache = False |
|
|
self.num_layers = num_layers |
|
|
self.num_kv_heads = num_kv_heads |
|
|
self.head_dim = head_dim |
|
|
self.past_key_value_list = past_key_value_list |
|
|
self.elt_size = torch.zeros(1, dtype=kv_cache_type).element_size() |
|
|
self.max_kv_cache_length = past_key_value_list[0].shape[3] |
|
|
|
|
|
def init_paged_kv_cache(self, num_layers, num_kv_heads, head_dim, |
|
|
kv_cache_type, kv_cache_manager, |
|
|
host_kv_cache_pool_pointers): |
|
|
self.use_paged_kv_cache = True |
|
|
self.num_layers = num_layers |
|
|
self.num_kv_heads = num_kv_heads |
|
|
self.head_dim = head_dim |
|
|
self.kv_cache_manager = kv_cache_manager |
|
|
self.host_kv_cache_pool_pointers = host_kv_cache_pool_pointers |
|
|
self.elt_size = torch.zeros(1, dtype=kv_cache_type).element_size() |
|
|
|
|
|
def update(self, accepted_draft_token_offsets, |
|
|
packed_accepted_draft_tokens_indices, sequence_length_buffer, |
|
|
rewind_tokens): |
|
|
assert isinstance(rewind_tokens, torch.Tensor) or isinstance( |
|
|
rewind_tokens, int) |
|
|
rewind_tokens_tensor = rewind_tokens if isinstance( |
|
|
rewind_tokens, torch.Tensor) else None |
|
|
rewind_tokens_count = rewind_tokens if isinstance(rewind_tokens, |
|
|
int) else 0 |
|
|
assert self.use_paged_kv_cache is not None |
|
|
if self.use_paged_kv_cache: |
|
|
host_kv_cache_block_offsets = self.kv_cache_manager.get_block_offsets( |
|
|
1) |
|
|
kv_cache_block_offsets = host_kv_cache_block_offsets.to('cuda') |
|
|
torch.ops.tensorrt_llm.update_kv_cache_draft_token_location( |
|
|
accepted_draft_token_offsets, |
|
|
packed_accepted_draft_tokens_indices, |
|
|
sequence_length_buffer, |
|
|
True, |
|
|
self.num_layers, |
|
|
self.num_kv_heads, |
|
|
self.head_dim * self.elt_size, |
|
|
rewind_tokens_count, |
|
|
self.kv_cache_manager.max_attention_window_size, |
|
|
rewind_tokens_tensor, |
|
|
None, |
|
|
self.host_kv_cache_pool_pointers, |
|
|
kv_cache_block_offsets, |
|
|
self.kv_cache_manager.blocks_manager.max_blocks_per_seq, |
|
|
self.kv_cache_manager.tokens_per_block, |
|
|
None, |
|
|
) |
|
|
else: |
|
|
torch.ops.tensorrt_llm.update_kv_cache_draft_token_location( |
|
|
accepted_draft_token_offsets, |
|
|
packed_accepted_draft_tokens_indices, |
|
|
sequence_length_buffer, |
|
|
False, |
|
|
self.num_layers, |
|
|
self.num_kv_heads, |
|
|
self.head_dim * self.elt_size, |
|
|
rewind_tokens_count, |
|
|
self.max_kv_cache_length, |
|
|
rewind_tokens_tensor, |
|
|
self.past_key_value_list, |
|
|
None, |
|
|
None, |
|
|
None, |
|
|
None, |
|
|
None, |
|
|
) |
|
|
|