94057c3d3e
PR Test (NPU) / check-changes (push) Has been cancelled
PR Test (NPU) / pr-gate (push) Has been cancelled
PR Test (NPU) / set-image-config (push) Has been cancelled
PR Test (NPU) / stage-b-test-1-npu-a2 (0) (push) Has been cancelled
PR Test (NPU) / stage-b-test-1-npu-a2 (1) (push) Has been cancelled
PR Test (NPU) / stage-b-test-2-npu-a2 (0) (push) Has been cancelled
PR Test (NPU) / stage-b-test-2-npu-a2 (1) (push) Has been cancelled
PR Test (NPU) / stage-b-test-4-npu-a3 (push) Has been cancelled
PR Test (NPU) / stage-b-test-16-npu-a3 (push) Has been cancelled
PR Test (NPU) / multimodal-gen-test-1-npu-a3 (push) Has been cancelled
PR Test (NPU) / multimodal-gen-test-2-npu-a3 (push) Has been cancelled
PR Test (Arm64) / pr-gate (push) Has been cancelled
PR Test (Arm64) / check-changes (push) Has been cancelled
PR Test (Arm64) / build-test (push) Has been cancelled
PR Test (sgl-router) / gate (push) Has been cancelled
PR Test (sgl-router) / tier-1 — lint (push) Has been cancelled
PR Test (sgl-router) / tier-2 — build + test (push) Has been cancelled
PR Test (sgl-router) / tier-3 — docker (placeholder) (push) Has been cancelled
PR Test (sgl-router) / tier-3 — k8s integration (push) Has been cancelled
PR Test (sgl-router) / tier-3 — e2e (push) Has been cancelled
PR Test (sgl-router) / finish (push) Has been cancelled
PR Test (NPU) / single-node-poc (map[name:qwen3_6_27b_w8a8_1p_in64k_out1k_50ms runner:linux-aarch64-a3-2 test_case:test/registered/ascend/performance/qwen3_6_27b/test_npu_qwen3_6_27b_w8a8_1p_in64k_out1k_50ms.py test_type:perf]) (push) Has been cancelled
PR Test (NPU) / pr-test-npu-finish (push) Has been cancelled
PR Test (Xeon) / pr-gate (push) Has been cancelled
PR Test (Xeon) / check-changes (push) Has been cancelled
PR Test (Xeon) / build-test (, xeon-gnr, base-b-test-cpu) (push) Has been cancelled
PR Test (XPU) / check-changes (push) Has been cancelled
PR Test (XPU) / pr-gate (push) Has been cancelled
PR Test (XPU) / stage-a-test-1-gpu-xpu (push) Has been cancelled
PR Test (XPU) / wait-for-stage-a (push) Has been cancelled
PR Test (XPU) / stage-b-test-1-gpu-xpu (push) Has been cancelled
PR Test (XPU) / finish (push) Has been cancelled
CI Model Inventory / build-inventory (push) Has been cancelled
Lint / lint (push) Has been cancelled
PR Benchmark (SMG Components) / Benchmark Compilation Check (push) Has been cancelled
PR Benchmark (SMG Components) / Benchmark - Manual Policy (push) Has been cancelled
PR Benchmark (SMG Components) / Benchmark - Request Processing (push) Has been cancelled
PR Benchmark (SMG Components) / Benchmark Summary (push) Has been cancelled
PR Test (SMG) / build-wheel (push) Has been cancelled
Release SGLang Model Gateway to PyPI / build on windows (x86_64 - auto) (push) Has been cancelled
Release SGLang Model Gateway to PyPI / build on macos (x86_64 - auto) (push) Has been cancelled
PR Test (SMG) / python-unit-tests (push) Has been cancelled
PR Test (SMG) / unit-tests (push) Has been cancelled
PR Test (SMG) / benchmarks (push) Has been cancelled
PR Test (SMG) / chat-completions (push) Has been cancelled
PR Test (SMG) / chat-completions-4gpu (push) Has been cancelled
PR Test (SMG) / e2e (push) Has been cancelled
PR Test (SMG) / docker-build-test (push) Has been cancelled
PR Test (SMG) / k8s-integration (push) Has been cancelled
PR Test (SMG) / finish (push) Has been cancelled
PR Test (SMG) / summarize-benchmarks (push) Has been cancelled
Release SGLang Model Gateway Docker Image / publish (push) Has been cancelled
Release SGLang Model Gateway to PyPI / build on macos (aarch64 - auto) (push) Has been cancelled
Release SGLang Model Gateway to PyPI / build on linux (aarch64 - auto) (push) Has been cancelled
Release SGLang Model Gateway to PyPI / build on linux (x86_64 - auto) (push) Has been cancelled
Release SGLang Model Gateway to PyPI / build on linux (aarch64 - musllinux_1_1) (push) Has been cancelled
Release SGLang Model Gateway to PyPI / build on linux (x86_64 - musllinux_1_1) (push) Has been cancelled
Release SGLang Model Gateway to PyPI / Build SDist (push) Has been cancelled
Release SGLang Model Gateway to PyPI / Upload to PyPI (push) Has been cancelled
Release SGLang Kernels / build-cu129-matrix (aarch64, 12.9, 3.10, arm-kernel-build-node) (push) Has been cancelled
Release SGLang Kernels / build-cu129-matrix (x86_64, 12.9, 3.10, x64-kernel-build-node) (push) Has been cancelled
Release SGLang Kernels / release-cu129 (push) Has been cancelled
Release SGLang Kernels / build-cu130-matrix (aarch64, 13.0, 3.10, arm-kernel-build-node) (push) Has been cancelled
Release SGLang Kernels / build-cu130-matrix (x86_64, 13.0, 3.10, x64-kernel-build-node) (push) Has been cancelled
Release SGLang Kernels / release-cu130 (push) Has been cancelled
Release SGLang Kernels / build-rocm-matrix (3.10, 700) (push) Has been cancelled
Release SGLang Kernels / build-rocm-matrix (3.10, 720) (push) Has been cancelled
Release SGLang Kernels / release-rocm700 (push) Has been cancelled
Release SGLang Kernels / release-rocm720 (push) Has been cancelled
Release SGLang Kernels / build-musa43 (43, 3.10) (push) Has been cancelled
Release SGLang Kernels / release-musa43 (push) Has been cancelled
683 lines
22 KiB
Python
683 lines
22 KiB
Python
from typing import Optional
|
|
|
|
import torch
|
|
import triton
|
|
import triton.language as tl
|
|
|
|
|
|
@triton.jit(
|
|
do_not_specialize=[
|
|
"page_table_stride_0",
|
|
"real_page_table_stride_0",
|
|
"max_len",
|
|
]
|
|
)
|
|
def _fused_dsa_decode_metadata_kernel(
|
|
seq_lens,
|
|
req_pool_indices,
|
|
req_to_token,
|
|
cache_seqlens,
|
|
cu_seqlens_k,
|
|
page_table_1,
|
|
dsa_cache_seqlens,
|
|
dsa_cu_seqlens_k,
|
|
real_page_table,
|
|
seq_lens_stride: tl.constexpr,
|
|
req_pool_indices_stride: tl.constexpr,
|
|
req_to_token_stride_0: tl.constexpr,
|
|
req_to_token_stride_1: tl.constexpr,
|
|
page_table_stride_0,
|
|
page_table_stride_1: tl.constexpr,
|
|
real_page_table_stride_0,
|
|
real_page_table_stride_1: tl.constexpr,
|
|
bs: tl.constexpr,
|
|
max_len,
|
|
dsa_index_topk: tl.constexpr,
|
|
real_page_size: tl.constexpr,
|
|
HAS_REAL_PAGE_TABLE: tl.constexpr,
|
|
HAS_PAGE_TABLE_1: tl.constexpr,
|
|
BLOCK_BS: tl.constexpr,
|
|
BLOCK_N: tl.constexpr,
|
|
):
|
|
pid = tl.program_id(0)
|
|
|
|
if pid == 0:
|
|
offs_b = tl.arange(0, BLOCK_BS)
|
|
mask_b = offs_b < bs
|
|
seq = tl.load(seq_lens + offs_b * seq_lens_stride, mask=mask_b, other=0)
|
|
seq_i32 = seq.to(tl.int32)
|
|
dsa_seq = tl.minimum(seq_i32, dsa_index_topk)
|
|
|
|
cu = tl.cumsum(seq_i32, 0)
|
|
dsa_cu = tl.cumsum(dsa_seq, 0)
|
|
|
|
tl.store(cache_seqlens + offs_b, seq_i32, mask=mask_b)
|
|
tl.store(cu_seqlens_k, tl.full((), 0, tl.int32))
|
|
tl.store(cu_seqlens_k + 1 + offs_b, cu, mask=mask_b)
|
|
tl.store(dsa_cache_seqlens + offs_b, dsa_seq, mask=mask_b)
|
|
tl.store(dsa_cu_seqlens_k, tl.full((), 0, tl.int32))
|
|
tl.store(dsa_cu_seqlens_k + 1 + offs_b, dsa_cu, mask=mask_b)
|
|
return
|
|
|
|
num_col_blocks = tl.cdiv(max_len, BLOCK_N)
|
|
page_pid = pid - 1
|
|
row = page_pid // num_col_blocks
|
|
col_block = page_pid - row * num_col_blocks
|
|
offs_n = col_block * BLOCK_N + tl.arange(0, BLOCK_N)
|
|
mask = (row < bs) & (offs_n < max_len)
|
|
|
|
req_idx = tl.load(
|
|
req_pool_indices + row * req_pool_indices_stride,
|
|
mask=row < bs,
|
|
other=0,
|
|
)
|
|
vals = tl.load(
|
|
req_to_token + req_idx * req_to_token_stride_0 + offs_n * req_to_token_stride_1,
|
|
mask=mask,
|
|
other=0,
|
|
).to(tl.int32)
|
|
# Write the wide page_size=1 table only when the caller provides it; the
|
|
# fused decode CUDA graph drops it and consumes real_page_table alone.
|
|
if HAS_PAGE_TABLE_1:
|
|
tl.store(
|
|
page_table_1 + row * page_table_stride_0 + offs_n * page_table_stride_1,
|
|
vals,
|
|
mask=mask,
|
|
)
|
|
|
|
if HAS_REAL_PAGE_TABLE:
|
|
real_mask = mask & ((offs_n % real_page_size) == 0)
|
|
real_cols = offs_n // real_page_size
|
|
tl.store(
|
|
real_page_table
|
|
+ row * real_page_table_stride_0
|
|
+ real_cols * real_page_table_stride_1,
|
|
vals // real_page_size,
|
|
mask=real_mask,
|
|
)
|
|
|
|
|
|
def fused_dsa_decode_metadata(
|
|
seq_lens: torch.Tensor,
|
|
req_pool_indices: torch.Tensor,
|
|
req_to_token: torch.Tensor,
|
|
cache_seqlens: torch.Tensor,
|
|
cu_seqlens_k: torch.Tensor,
|
|
page_table_1: Optional[torch.Tensor],
|
|
dsa_cache_seqlens: torch.Tensor,
|
|
dsa_cu_seqlens_k: torch.Tensor,
|
|
real_page_table: torch.Tensor,
|
|
bs: int,
|
|
max_len: int,
|
|
dsa_index_topk: int,
|
|
real_page_size: int,
|
|
) -> None:
|
|
"""Fill decode-graph DSA metadata (seqlens + page tables) from req_to_token.
|
|
|
|
``page_table_1`` (the wide page_size=1 table) is optional: pass ``None`` to
|
|
skip materializing it and write only the compact ``real_page_table``
|
|
(page_size=``real_page_size``). This is used by the fused decode CUDA graph,
|
|
where the wide table is never read (attention uses topk_indices, the indexer
|
|
uses real_page_table); ``real_page_size`` must be >1 in that case. When a
|
|
tensor is passed, behavior is unchanged (both tables are written).
|
|
"""
|
|
assert seq_lens.is_cuda
|
|
assert req_pool_indices.is_cuda
|
|
assert req_to_token.is_cuda
|
|
assert cache_seqlens.is_cuda
|
|
assert cu_seqlens_k.is_cuda
|
|
assert dsa_cache_seqlens.is_cuda
|
|
assert dsa_cu_seqlens_k.is_cuda
|
|
|
|
if bs == 0:
|
|
cu_seqlens_k[:1].zero_()
|
|
dsa_cu_seqlens_k[:1].zero_()
|
|
return
|
|
|
|
has_real_page_table = real_page_size > 1
|
|
if has_real_page_table:
|
|
assert real_page_table is not None
|
|
assert real_page_table.is_cuda
|
|
else:
|
|
# page_size==1: real IS page_table_1, so page_table_1 must be present.
|
|
assert page_table_1 is not None
|
|
real_page_table = page_table_1
|
|
|
|
# page_table_1 (the wide page_size=1 table) may be dropped for the fused
|
|
# decode CUDA graph; the kernel then writes only real_page_table.
|
|
has_page_table_1 = page_table_1 is not None
|
|
if not has_page_table_1:
|
|
assert has_real_page_table
|
|
page_table_1 = real_page_table # dummy pointer for stride args
|
|
else:
|
|
assert page_table_1.is_cuda
|
|
|
|
block_bs = triton.next_power_of_2(bs)
|
|
block_n = 128
|
|
num_col_blocks = triton.cdiv(max_len, block_n)
|
|
grid = (1 + bs * num_col_blocks,)
|
|
|
|
_fused_dsa_decode_metadata_kernel[grid](
|
|
seq_lens,
|
|
req_pool_indices,
|
|
req_to_token,
|
|
cache_seqlens,
|
|
cu_seqlens_k,
|
|
page_table_1,
|
|
dsa_cache_seqlens,
|
|
dsa_cu_seqlens_k,
|
|
real_page_table,
|
|
seq_lens.stride(0),
|
|
req_pool_indices.stride(0),
|
|
req_to_token.stride(0),
|
|
req_to_token.stride(1),
|
|
page_table_1.stride(0),
|
|
page_table_1.stride(1),
|
|
real_page_table.stride(0) if has_real_page_table else 0,
|
|
real_page_table.stride(1) if has_real_page_table else 0,
|
|
bs,
|
|
max_len,
|
|
dsa_index_topk,
|
|
real_page_size,
|
|
has_real_page_table,
|
|
has_page_table_1,
|
|
BLOCK_BS=block_bs,
|
|
BLOCK_N=block_n,
|
|
)
|
|
|
|
|
|
@triton.jit(
|
|
do_not_specialize=[
|
|
"page_table_stride_0",
|
|
"real_page_table_stride_0",
|
|
"max_seqlen_k",
|
|
]
|
|
)
|
|
def _fused_dsa_target_verify_metadata_kernel(
|
|
seq_lens,
|
|
req_pool_indices,
|
|
req_to_token,
|
|
cache_seqlens,
|
|
cu_seqlens_k,
|
|
page_table_1,
|
|
seqlens_expanded,
|
|
dsa_cache_seqlens,
|
|
dsa_cu_seqlens_k,
|
|
real_page_table,
|
|
paged_mqa_ctx_lens_2d,
|
|
seq_lens_stride: tl.constexpr,
|
|
req_pool_indices_stride: tl.constexpr,
|
|
req_to_token_stride_0: tl.constexpr,
|
|
req_to_token_stride_1: tl.constexpr,
|
|
page_table_stride_0,
|
|
page_table_stride_1: tl.constexpr,
|
|
real_page_table_stride_0,
|
|
real_page_table_stride_1: tl.constexpr,
|
|
paged_mqa_ctx_lens_stride_0: tl.constexpr,
|
|
paged_mqa_ctx_lens_stride_1: tl.constexpr,
|
|
bs: tl.constexpr,
|
|
max_seqlen_k,
|
|
dsa_index_topk: tl.constexpr,
|
|
real_page_size: tl.constexpr,
|
|
next_n: tl.constexpr,
|
|
HAS_REAL_PAGE_TABLE: tl.constexpr,
|
|
HAS_PAGED_MQA_CTX_LENS: tl.constexpr,
|
|
HAS_PAGE_TABLE_1: tl.constexpr,
|
|
BLOCK_BS: tl.constexpr,
|
|
BLOCK_EXPANDED: tl.constexpr,
|
|
BLOCK_N: tl.constexpr,
|
|
):
|
|
pid = tl.program_id(0)
|
|
expanded_size: tl.constexpr = bs * next_n
|
|
|
|
if pid == 0:
|
|
offs_b = tl.arange(0, BLOCK_BS)
|
|
mask_b = offs_b < bs
|
|
seq = tl.load(seq_lens + offs_b * seq_lens_stride, mask=mask_b, other=0)
|
|
cache_seq = seq.to(tl.int32) + next_n
|
|
cu = tl.cumsum(cache_seq, 0)
|
|
|
|
tl.store(cache_seqlens + offs_b, cache_seq, mask=mask_b)
|
|
tl.store(cu_seqlens_k, tl.full((), 0, tl.int32))
|
|
tl.store(cu_seqlens_k + 1 + offs_b, cu, mask=mask_b)
|
|
|
|
offs_e = tl.arange(0, BLOCK_EXPANDED)
|
|
mask_e = offs_e < expanded_size
|
|
req_row = offs_e // next_n
|
|
draft_off = offs_e - req_row * next_n
|
|
base_seq = tl.load(
|
|
seq_lens + req_row * seq_lens_stride,
|
|
mask=mask_e,
|
|
other=0,
|
|
).to(tl.int32)
|
|
expanded_seq = base_seq + draft_off + 1
|
|
expanded_seq = tl.where(mask_e, expanded_seq, 0)
|
|
dsa_seq = tl.minimum(expanded_seq, dsa_index_topk)
|
|
dsa_cu = tl.cumsum(dsa_seq, 0)
|
|
|
|
tl.store(seqlens_expanded + offs_e, expanded_seq, mask=mask_e)
|
|
tl.store(dsa_cache_seqlens + offs_e, dsa_seq, mask=mask_e)
|
|
tl.store(dsa_cu_seqlens_k, tl.full((), 0, tl.int32))
|
|
tl.store(dsa_cu_seqlens_k + 1 + offs_e, dsa_cu, mask=mask_e)
|
|
|
|
if HAS_PAGED_MQA_CTX_LENS:
|
|
tl.store(
|
|
paged_mqa_ctx_lens_2d
|
|
+ req_row * paged_mqa_ctx_lens_stride_0
|
|
+ draft_off * paged_mqa_ctx_lens_stride_1,
|
|
base_seq + next_n,
|
|
mask=mask_e,
|
|
)
|
|
return
|
|
|
|
num_col_blocks = tl.cdiv(max_seqlen_k, BLOCK_N)
|
|
page_pid = pid - 1
|
|
out_row = page_pid // num_col_blocks
|
|
col_block = page_pid - out_row * num_col_blocks
|
|
offs_n = col_block * BLOCK_N + tl.arange(0, BLOCK_N)
|
|
mask = (out_row < expanded_size) & (offs_n < max_seqlen_k)
|
|
|
|
req_row = out_row // next_n
|
|
req_idx = tl.load(
|
|
req_pool_indices + req_row * req_pool_indices_stride,
|
|
mask=out_row < expanded_size,
|
|
other=0,
|
|
)
|
|
vals = tl.load(
|
|
req_to_token + req_idx * req_to_token_stride_0 + offs_n * req_to_token_stride_1,
|
|
mask=mask,
|
|
other=0,
|
|
).to(tl.int32)
|
|
# Write the wide page_size=1 table only when the caller provides it (see
|
|
# fused_dsa_decode_metadata for the optional-page_table_1 contract).
|
|
if HAS_PAGE_TABLE_1:
|
|
tl.store(
|
|
page_table_1 + out_row * page_table_stride_0 + offs_n * page_table_stride_1,
|
|
vals,
|
|
mask=mask,
|
|
)
|
|
|
|
if HAS_REAL_PAGE_TABLE:
|
|
real_mask = mask & ((offs_n % real_page_size) == 0)
|
|
real_cols = offs_n // real_page_size
|
|
tl.store(
|
|
real_page_table
|
|
+ out_row * real_page_table_stride_0
|
|
+ real_cols * real_page_table_stride_1,
|
|
vals // real_page_size,
|
|
mask=real_mask,
|
|
)
|
|
|
|
|
|
def fused_dsa_target_verify_metadata(
|
|
seq_lens: torch.Tensor,
|
|
req_pool_indices: torch.Tensor,
|
|
req_to_token: torch.Tensor,
|
|
cache_seqlens: torch.Tensor,
|
|
cu_seqlens_k: torch.Tensor,
|
|
page_table_1: Optional[torch.Tensor],
|
|
seqlens_expanded: torch.Tensor,
|
|
dsa_cache_seqlens: torch.Tensor,
|
|
dsa_cu_seqlens_k: torch.Tensor,
|
|
real_page_table: torch.Tensor,
|
|
bs: int,
|
|
max_seqlen_k: int,
|
|
dsa_index_topk: int,
|
|
real_page_size: int,
|
|
next_n: int,
|
|
paged_mqa_ctx_lens_2d: torch.Tensor = None,
|
|
) -> None:
|
|
assert seq_lens.is_cuda
|
|
assert req_pool_indices.is_cuda
|
|
assert req_to_token.is_cuda
|
|
assert cache_seqlens.is_cuda
|
|
assert cu_seqlens_k.is_cuda
|
|
assert seqlens_expanded.is_cuda
|
|
assert dsa_cache_seqlens.is_cuda
|
|
assert dsa_cu_seqlens_k.is_cuda
|
|
|
|
if bs == 0:
|
|
cu_seqlens_k[:1].zero_()
|
|
dsa_cu_seqlens_k[:1].zero_()
|
|
return
|
|
assert next_n > 0
|
|
|
|
has_real_page_table = real_page_size > 1
|
|
if has_real_page_table:
|
|
assert real_page_table is not None
|
|
assert real_page_table.is_cuda
|
|
else:
|
|
assert page_table_1 is not None
|
|
real_page_table = page_table_1
|
|
|
|
# page_table_1 (the wide page_size=1 table) may be dropped for the fused
|
|
# decode CUDA graph; the kernel then writes only real_page_table.
|
|
has_page_table_1 = page_table_1 is not None
|
|
if not has_page_table_1:
|
|
assert has_real_page_table
|
|
page_table_1 = real_page_table # dummy pointer for stride args
|
|
else:
|
|
assert page_table_1.is_cuda
|
|
|
|
has_paged_mqa_ctx_lens = paged_mqa_ctx_lens_2d is not None
|
|
if has_paged_mqa_ctx_lens:
|
|
assert paged_mqa_ctx_lens_2d.is_cuda
|
|
assert paged_mqa_ctx_lens_2d.dtype == torch.int32
|
|
assert paged_mqa_ctx_lens_2d.dim() == 2
|
|
assert paged_mqa_ctx_lens_2d.size(0) == bs
|
|
assert paged_mqa_ctx_lens_2d.size(1) == next_n
|
|
else:
|
|
paged_mqa_ctx_lens_2d = page_table_1
|
|
|
|
expanded_size = bs * next_n
|
|
block_bs = triton.next_power_of_2(bs)
|
|
block_expanded = triton.next_power_of_2(expanded_size)
|
|
block_n = 128
|
|
num_col_blocks = triton.cdiv(max_seqlen_k, block_n)
|
|
grid = (1 + expanded_size * num_col_blocks,)
|
|
|
|
_fused_dsa_target_verify_metadata_kernel[grid](
|
|
seq_lens,
|
|
req_pool_indices,
|
|
req_to_token,
|
|
cache_seqlens,
|
|
cu_seqlens_k,
|
|
page_table_1,
|
|
seqlens_expanded,
|
|
dsa_cache_seqlens,
|
|
dsa_cu_seqlens_k,
|
|
real_page_table,
|
|
paged_mqa_ctx_lens_2d,
|
|
seq_lens.stride(0),
|
|
req_pool_indices.stride(0),
|
|
req_to_token.stride(0),
|
|
req_to_token.stride(1),
|
|
page_table_1.stride(0),
|
|
page_table_1.stride(1),
|
|
real_page_table.stride(0) if has_real_page_table else 0,
|
|
real_page_table.stride(1) if has_real_page_table else 0,
|
|
paged_mqa_ctx_lens_2d.stride(0) if has_paged_mqa_ctx_lens else 0,
|
|
paged_mqa_ctx_lens_2d.stride(1) if has_paged_mqa_ctx_lens else 0,
|
|
bs,
|
|
max_seqlen_k,
|
|
dsa_index_topk,
|
|
real_page_size,
|
|
next_n,
|
|
has_real_page_table,
|
|
has_paged_mqa_ctx_lens,
|
|
has_page_table_1,
|
|
BLOCK_BS=block_bs,
|
|
BLOCK_EXPANDED=block_expanded,
|
|
BLOCK_N=block_n,
|
|
)
|
|
|
|
|
|
@triton.jit(
|
|
do_not_specialize=[
|
|
"page_table_stride_0",
|
|
"real_page_table_stride_0",
|
|
"total_len",
|
|
"max_seqlen_k",
|
|
]
|
|
)
|
|
def _fused_dsa_draft_extend_metadata_kernel(
|
|
seq_lens,
|
|
extend_seq_lens,
|
|
req_pool_indices,
|
|
req_to_token,
|
|
cache_seqlens,
|
|
cu_seqlens_k,
|
|
page_table_1,
|
|
seqlens_expanded,
|
|
dsa_cache_seqlens,
|
|
dsa_cu_seqlens_k,
|
|
real_page_table,
|
|
seq_lens_stride: tl.constexpr,
|
|
extend_seq_lens_stride: tl.constexpr,
|
|
req_pool_indices_stride: tl.constexpr,
|
|
req_to_token_stride_0: tl.constexpr,
|
|
req_to_token_stride_1: tl.constexpr,
|
|
page_table_stride_0,
|
|
page_table_stride_1: tl.constexpr,
|
|
real_page_table_stride_0,
|
|
real_page_table_stride_1: tl.constexpr,
|
|
bs: tl.constexpr,
|
|
total_len,
|
|
max_seqlen_k,
|
|
dsa_index_topk: tl.constexpr,
|
|
real_page_size: tl.constexpr,
|
|
HAS_REAL_PAGE_TABLE: tl.constexpr,
|
|
HAS_PAGE_TABLE_1: tl.constexpr,
|
|
STATIC_EXTEND_LEN: tl.constexpr,
|
|
BLOCK_BS: tl.constexpr,
|
|
BLOCK_EXPANDED: tl.constexpr,
|
|
BLOCK_ROWS: tl.constexpr,
|
|
BLOCK_N: tl.constexpr,
|
|
):
|
|
pid = tl.program_id(0)
|
|
|
|
if pid == 0:
|
|
offs_b = tl.arange(0, BLOCK_BS)
|
|
mask_b = offs_b < bs
|
|
seq = tl.load(seq_lens + offs_b * seq_lens_stride, mask=mask_b, other=0)
|
|
cache_seq = seq.to(tl.int32)
|
|
cu = tl.cumsum(cache_seq, 0)
|
|
|
|
tl.store(cache_seqlens + offs_b, cache_seq, mask=mask_b)
|
|
tl.store(cu_seqlens_k, tl.full((), 0, tl.int32))
|
|
tl.store(cu_seqlens_k + 1 + offs_b, cu, mask=mask_b)
|
|
|
|
offs_e = tl.arange(0, BLOCK_EXPANDED)
|
|
mask_e = offs_e < total_len
|
|
if STATIC_EXTEND_LEN:
|
|
static_qo_len = tl.load(extend_seq_lens).to(tl.int32)
|
|
req_row = offs_e // static_qo_len
|
|
local_off = offs_e - req_row * static_qo_len
|
|
qo_len_for_row = tl.zeros((BLOCK_EXPANDED,), tl.int32) + static_qo_len
|
|
else:
|
|
req_row = tl.full((BLOCK_EXPANDED,), 0, tl.int32)
|
|
local_off = tl.full((BLOCK_EXPANDED,), 0, tl.int32)
|
|
qo_len_for_row = tl.full((BLOCK_EXPANDED,), 1, tl.int32)
|
|
prefix = tl.full((), 0, tl.int32)
|
|
|
|
for i in tl.range(0, bs):
|
|
qo_len = tl.load(extend_seq_lens + i * extend_seq_lens_stride).to(
|
|
tl.int32
|
|
)
|
|
in_row = (offs_e >= prefix) & (offs_e < prefix + qo_len)
|
|
req_row = tl.where(in_row, i, req_row)
|
|
local_off = tl.where(in_row, offs_e - prefix, local_off)
|
|
qo_len_for_row = tl.where(in_row, qo_len, qo_len_for_row)
|
|
prefix += qo_len
|
|
|
|
base_seq = tl.load(
|
|
seq_lens + req_row * seq_lens_stride,
|
|
mask=mask_e,
|
|
other=0,
|
|
).to(tl.int32)
|
|
# Clamp to >= 0: DP-padded / idle-companion rows carry the CUDA-graph
|
|
# seq_len fill value (1), which is smaller than qo_len, so the raw
|
|
# per-row visible kv length goes negative. Consumers treat these
|
|
# lengths as unsigned (the top-k v2 kernel reads them as uint32), so a
|
|
# negative row becomes a ~4e9-token length and an illegal memory
|
|
# access. 0 keeps padded rows on the trivial all-(-1) output path.
|
|
expanded_seq = base_seq - qo_len_for_row + local_off + 1
|
|
expanded_seq = tl.maximum(expanded_seq, 0)
|
|
expanded_seq = tl.where(mask_e, expanded_seq, 0)
|
|
dsa_seq = tl.minimum(expanded_seq, dsa_index_topk)
|
|
dsa_cu = tl.cumsum(dsa_seq, 0)
|
|
|
|
tl.store(seqlens_expanded + offs_e, expanded_seq, mask=mask_e)
|
|
tl.store(dsa_cache_seqlens + offs_e, dsa_seq, mask=mask_e)
|
|
tl.store(dsa_cu_seqlens_k, tl.full((), 0, tl.int32))
|
|
tl.store(dsa_cu_seqlens_k + 1 + offs_e, dsa_cu, mask=mask_e)
|
|
return
|
|
|
|
num_col_blocks = tl.cdiv(max_seqlen_k, BLOCK_N)
|
|
page_pid = pid - 1
|
|
req_row = page_pid // num_col_blocks
|
|
col_block = page_pid - req_row * num_col_blocks
|
|
offs_n = col_block * BLOCK_N + tl.arange(0, BLOCK_N)
|
|
|
|
qo_len = tl.load(
|
|
extend_seq_lens + req_row * extend_seq_lens_stride,
|
|
mask=req_row < bs,
|
|
other=0,
|
|
).to(tl.int32)
|
|
if STATIC_EXTEND_LEN:
|
|
prefix = req_row * qo_len
|
|
else:
|
|
prefix = tl.full((), 0, tl.int32)
|
|
for i in tl.range(0, bs):
|
|
prev_qo_len = tl.load(extend_seq_lens + i * extend_seq_lens_stride).to(
|
|
tl.int32
|
|
)
|
|
prefix += tl.where(i < req_row, prev_qo_len, 0)
|
|
offs_r = tl.arange(0, BLOCK_ROWS)
|
|
out_rows = prefix + offs_r
|
|
row_mask = (req_row < bs) & (offs_r < qo_len) & (out_rows < total_len)
|
|
col_mask = offs_n < max_seqlen_k
|
|
has_rows = (req_row < bs) & (qo_len > 0)
|
|
mask = row_mask[:, None] & col_mask[None, :]
|
|
|
|
req_idx = tl.load(
|
|
req_pool_indices + req_row * req_pool_indices_stride,
|
|
mask=has_rows,
|
|
other=0,
|
|
)
|
|
vals = tl.load(
|
|
req_to_token + req_idx * req_to_token_stride_0 + offs_n * req_to_token_stride_1,
|
|
mask=col_mask & has_rows,
|
|
other=0,
|
|
).to(tl.int32)
|
|
# Write the wide page_size=1 table only when the caller provides it (see
|
|
# fused_dsa_decode_metadata for the optional-page_table_1 contract).
|
|
if HAS_PAGE_TABLE_1:
|
|
tl.store(
|
|
page_table_1
|
|
+ out_rows[:, None] * page_table_stride_0
|
|
+ offs_n[None, :] * page_table_stride_1,
|
|
vals[None, :],
|
|
mask=mask,
|
|
)
|
|
|
|
if HAS_REAL_PAGE_TABLE:
|
|
real_mask = mask & ((offs_n[None, :] % real_page_size) == 0)
|
|
real_cols = offs_n // real_page_size
|
|
tl.store(
|
|
real_page_table
|
|
+ out_rows[:, None] * real_page_table_stride_0
|
|
+ real_cols[None, :] * real_page_table_stride_1,
|
|
(vals // real_page_size)[None, :],
|
|
mask=real_mask,
|
|
)
|
|
|
|
|
|
def fused_dsa_draft_extend_metadata(
|
|
seq_lens: torch.Tensor,
|
|
extend_seq_lens: torch.Tensor,
|
|
req_pool_indices: torch.Tensor,
|
|
req_to_token: torch.Tensor,
|
|
cache_seqlens: torch.Tensor,
|
|
cu_seqlens_k: torch.Tensor,
|
|
page_table_1: Optional[torch.Tensor],
|
|
seqlens_expanded: torch.Tensor,
|
|
dsa_cache_seqlens: torch.Tensor,
|
|
dsa_cu_seqlens_k: torch.Tensor,
|
|
real_page_table: torch.Tensor,
|
|
bs: int,
|
|
total_len: int,
|
|
max_seqlen_k: int,
|
|
dsa_index_topk: int,
|
|
real_page_size: int,
|
|
max_extend_len: int,
|
|
max_total_len: int,
|
|
static_extend_len: bool = False,
|
|
) -> None:
|
|
assert seq_lens.is_cuda
|
|
assert extend_seq_lens.is_cuda
|
|
assert req_pool_indices.is_cuda
|
|
assert req_to_token.is_cuda
|
|
assert cache_seqlens.is_cuda
|
|
assert cu_seqlens_k.is_cuda
|
|
assert seqlens_expanded.is_cuda
|
|
assert dsa_cache_seqlens.is_cuda
|
|
assert dsa_cu_seqlens_k.is_cuda
|
|
|
|
if bs == 0:
|
|
cu_seqlens_k[:1].zero_()
|
|
dsa_cu_seqlens_k[:1].zero_()
|
|
return
|
|
if total_len == 0:
|
|
cache = seq_lens.to(torch.int32)
|
|
cache_seqlens.copy_(cache)
|
|
cu_seqlens_k[:1].zero_()
|
|
cu_seqlens_k[1 : bs + 1].copy_(torch.cumsum(cache, dim=0, dtype=torch.int32))
|
|
dsa_cu_seqlens_k[:1].zero_()
|
|
return
|
|
assert total_len <= max_total_len
|
|
# Caller-owned graph metadata guarantees each request accepts at most
|
|
# max_extend_len tokens. Avoid checking extend_seq_lens.max() here because
|
|
# that would sync in the replay hot path.
|
|
assert max_extend_len > 0
|
|
assert total_len <= bs * max_extend_len
|
|
|
|
has_real_page_table = real_page_size > 1
|
|
if has_real_page_table:
|
|
assert real_page_table is not None
|
|
assert real_page_table.is_cuda
|
|
else:
|
|
assert page_table_1 is not None
|
|
real_page_table = page_table_1
|
|
|
|
# page_table_1 (the wide page_size=1 table) may be dropped for the fused
|
|
# decode CUDA graph; the kernel then writes only real_page_table.
|
|
has_page_table_1 = page_table_1 is not None
|
|
if not has_page_table_1:
|
|
assert has_real_page_table
|
|
page_table_1 = real_page_table # dummy pointer for stride args
|
|
else:
|
|
assert page_table_1.is_cuda
|
|
|
|
block_bs = triton.next_power_of_2(bs)
|
|
block_expanded = triton.next_power_of_2(max_total_len)
|
|
block_rows = triton.next_power_of_2(max_extend_len)
|
|
block_n = 128
|
|
num_col_blocks = triton.cdiv(max_seqlen_k, block_n)
|
|
grid = (1 + bs * num_col_blocks,)
|
|
|
|
_fused_dsa_draft_extend_metadata_kernel[grid](
|
|
seq_lens,
|
|
extend_seq_lens,
|
|
req_pool_indices,
|
|
req_to_token,
|
|
cache_seqlens,
|
|
cu_seqlens_k,
|
|
page_table_1,
|
|
seqlens_expanded,
|
|
dsa_cache_seqlens,
|
|
dsa_cu_seqlens_k,
|
|
real_page_table,
|
|
seq_lens.stride(0),
|
|
extend_seq_lens.stride(0),
|
|
req_pool_indices.stride(0),
|
|
req_to_token.stride(0),
|
|
req_to_token.stride(1),
|
|
page_table_1.stride(0),
|
|
page_table_1.stride(1),
|
|
real_page_table.stride(0) if has_real_page_table else 0,
|
|
real_page_table.stride(1) if has_real_page_table else 0,
|
|
bs,
|
|
total_len,
|
|
max_seqlen_k,
|
|
dsa_index_topk,
|
|
real_page_size,
|
|
has_real_page_table,
|
|
has_page_table_1,
|
|
static_extend_len,
|
|
BLOCK_BS=block_bs,
|
|
BLOCK_EXPANDED=block_expanded,
|
|
BLOCK_ROWS=block_rows,
|
|
BLOCK_N=block_n,
|
|
)
|