# coding=utf-8 # Copyright 2023 DeepSeek-AI and The HuggingFace Inc. team. All rights reserved. # # This code is based on EleutherAI's GPT-NeoX library and the GPT-NeoX # and OPT implementations in this library. It has been modified from its # original forms to accommodate minor architectural differences compared # to GPT-NeoX and OPT used by the Meta AI team that trained the model. # # Licensed under the Apache License, Version 2.0 (the "License"); # you may not use this file except in compliance with the License. # You may obtain a copy of the License at # # http://www.apache.org/licenses/LICENSE-2.0 # # Unless required by applicable law or agreed to in writing, software # distributed under the License is distributed on an "AS IS" BASIS, # WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. # See the License for the specific language governing permissions and # limitations under the License. """ PyTorch DeepSeek model.""" import math import warnings from typing import List, Optional, Tuple, Union, Dict, Any, Callable from collections import defaultdict, deque import torch import torch.nn.functional as F import torch.utils.checkpoint from torch import nn from torch.nn import BCEWithLogitsLoss, CrossEntropyLoss, MSELoss from transformers.activations import ACT2FN from transformers.cache_utils import Cache, DynamicCache from transformers.modeling_attn_mask_utils import ( AttentionMaskConverter, _prepare_4d_attention_mask, _prepare_4d_causal_attention_mask, ) from transformers.modeling_outputs import ( BaseModelOutputWithPast, CausalLMOutputWithPast, SequenceClassifierOutputWithPast, ) from transformers.modeling_utils import PreTrainedModel from transformers.pytorch_utils import ( ALL_LAYERNORM_LAYERS, is_torch_greater_or_equal_than_1_13, ) from transformers.utils import ( add_start_docstrings, add_start_docstrings_to_model_forward, is_flash_attn_2_available, is_flash_attn_greater_or_equal_2_10, logging, replace_return_docstrings, ) from transformers.utils.import_utils import is_torch_fx_available try: from .configuration_isom_deepseek_coder_v2 import IsomDeepseekCoderV2Config except ImportError: from configuration_isom_deepseek_coder_v2 import IsomDeepseekCoderV2Config import hashlib, time import torch.distributed as dist import numpy as np if is_flash_attn_2_available(): from flash_attn import flash_attn_func, flash_attn_varlen_func from flash_attn.bert_padding import index_first_axis, pad_input, unpad_input # noqa # This makes `_prepare_4d_causal_attention_mask` a leaf function in the FX graph. # It means that the function will not be traced through and simply appear as a node in the graph. if is_torch_fx_available(): if not is_torch_greater_or_equal_than_1_13: import torch.fx _prepare_4d_causal_attention_mask = torch.fx.wrap(_prepare_4d_causal_attention_mask) logger = logging.get_logger(__name__) _CONFIG_FOR_DOC = "IsomDeepseekCoderV2Config" def _get_unpad_data(attention_mask): seqlens_in_batch = attention_mask.sum(dim=-1, dtype=torch.int32) indices = torch.nonzero(attention_mask.flatten(), as_tuple=False).flatten() max_seqlen_in_batch = seqlens_in_batch.max().item() cu_seqlens = F.pad( torch.cumsum(seqlens_in_batch, dim=0, dtype=torch.torch.int32), (1, 0) ) return ( indices, cu_seqlens, max_seqlen_in_batch, ) # ?????????????????????????????????????????????????????????????????????????????? # SECTION 1: FUSED INT8 QUANTIZATION ENGINE # ?????????????????????????????????????????????????????????????????????????????? def fused_int8_quantize( x: torch.Tensor, dim: int = -1, per_channel: bool = True, eps: float = 1e-8, ) -> Tuple[torch.Tensor, torch.Tensor]: """Dynamic symmetric INT8 quantization with per-channel scaling.""" if x.dtype == torch.int8: scale = torch.tensor(1.0, dtype=torch.float32, device=x.device) return x, scale orig_dtype = x.dtype if per_channel: max_val = torch.amax(torch.abs(x), dim=dim, keepdim=True).clamp(min=eps) else: max_val = torch.max(torch.abs(x)).clamp(min=eps) scale = (max_val / 127.0).to(orig_dtype) quantized = torch.clamp(torch.round(x / scale), min=-128, max=127).to(torch.int8) return quantized, scale def fused_int8_dequantize( quantized: torch.Tensor, scale: torch.Tensor, target_dtype: torch.dtype = torch.float32, ) -> torch.Tensor: """Vectorized INT8 -> Float32 / FP16 dequantization.""" return (quantized.to(target_dtype) * scale.to(target_dtype)).to(target_dtype) # ?????????????????????????????????????????????????????????????????????????????? # SECTION 2: RADIX PREFIX STATE CACHE (<90 ?s Traversal) # ?????????????????????????????????????????????????????????????????????????????? class SSMRadixStateCache: """High-Throughput Prefix State Tree for Zero-Cost Prompt Resumption.""" def __init__(self, max_cached: int = 512, min_prefix_len: int = 4): self.max_cached = max_cached self.min_prefix_len = min_prefix_len self._cache: Dict[str, Any] = {} self._prefix_index: Dict[int, List[Tuple[List[int], str]]] = {} self.hits = 0 self.misses = 0 @staticmethod def _hash(tokens: List[int]) -> str: return hashlib.sha256(",".join(str(t) for t in tokens).encode("ascii")).hexdigest() def insert(self, tokens: List[int], state_dict: Dict[str, Any]) -> str: seq_len = len(tokens) if seq_len < self.min_prefix_len or not state_dict: return "" h = self._hash(tokens) if h in self._cache: return h self._cache[h] = { "state_dict": state_dict, "token_len": seq_len, "last_accessed": time.monotonic(), } if seq_len not in self._prefix_index: self._prefix_index[seq_len] = [] self._prefix_index[seq_len].append((tokens, h)) while len(self._cache) > self.max_cached: oldest_key = min(self._cache, key=lambda k: self._cache[k]["last_accessed"]) oldest_len = self._cache[oldest_key]["token_len"] del self._cache[oldest_key] if oldest_len in self._prefix_index: self._prefix_index[oldest_len] = [ (toks, k) for toks, k in self._prefix_index[oldest_len] if k != oldest_key ] return h def lookup(self, tokens: List[int]) -> Tuple[Optional[Dict[str, Any]], int]: seq_len = len(tokens) if seq_len < self.min_prefix_len: self.misses += 1 return None, 0 for stored_len in sorted(self._prefix_index.keys(), reverse=True): if stored_len <= seq_len: query_prefix = tokens[:stored_len] for candidate_tokens, h in self._prefix_index[stored_len]: if candidate_tokens == query_prefix and h in self._cache: self.hits += 1 entry = self._cache[h] entry["last_accessed"] = time.monotonic() return entry["state_dict"], stored_len self.misses += 1 return None, 0 # ?????????????????????????????????????????????????????????????????????????????? # SECTION 3: HOLOGRAPHIC TOKEN TABLE (Lossless Verbatim Anchor Store) # ?????????????????????????????????????????????????????????????????????????????? class HolographicTokenTable: """ Ultra-compact lossless token store in Host CPU Memory (<192 KB for 32k tokens) with dual-mode microsecond retrieval: 1. Lexical Inverted Index (BM25 token-ID matching) 2. Dense Token-wise MaxSim with IDF Weighting (ColBERT-style) for Semantic Paraphrases & Multi-Needle Aggregation """ def __init__(self, dtype: torch.dtype = torch.int32, chunk_size: int = 64, dense_dim: int = 64): self.dtype = dtype self.chunk_size = chunk_size self.dense_dim = dense_dim self.token_buffer: List[int] = [] self.chunk_anchors: Dict[int, str] = {} self.inverted_index: Dict[int, List[int]] = defaultdict(list) self.chunk_token_sets: List[set] = [] self.chunk_dense_tokens: Optional[torch.Tensor] = None self._proj_matrix: Optional[torch.Tensor] = None def register_prompt(self, token_ids: List[int], embed_weights: Optional[torch.Tensor] = None): if not token_ids: return self.token_buffer = list(token_ids) self.chunk_anchors.clear() self.inverted_index.clear() self.chunk_token_sets.clear() self.chunk_dense_tokens = None num_chunks = (len(token_ids) + self.chunk_size - 1) // self.chunk_size for chunk_idx in range(num_chunks): start = chunk_idx * self.chunk_size chunk = token_ids[start : start + self.chunk_size] anchor_sig = f"{len(chunk)}_{chunk[0] if chunk else 0}_{chunk[-1] if chunk else 0}" self.chunk_anchors[chunk_idx] = anchor_sig c_set = set(chunk) self.chunk_token_sets.append(c_set) for t in c_set: self.inverted_index[t].append(chunk_idx) # Build dense token representations if embedding weights are available if embed_weights is not None and len(token_ids) > 0: try: hidden_dim = embed_weights.shape[-1] if self._proj_matrix is None or self._proj_matrix.shape[0] != hidden_dim: gen = torch.Generator().manual_seed(42) self._proj_matrix = torch.randn(hidden_dim, self.dense_dim, generator=gen, dtype=torch.float32) / math.sqrt(self.dense_dim) self._proj_matrix = self._proj_matrix.to("cpu") with torch.no_grad(): all_chunks = [] for c_idx in range(num_chunks): start = c_idx * self.chunk_size end = min(len(token_ids), start + self.chunk_size) c_toks = torch.tensor(token_ids[start:end], dtype=torch.long, device=embed_weights.device) embs = embed_weights[c_toks].to(torch.float32).to("cpu") proj = F.normalize(torch.matmul(embs, self._proj_matrix), dim=-1) if proj.shape[0] < self.chunk_size: pad = torch.zeros(self.chunk_size - proj.shape[0], self.dense_dim) proj = torch.cat([proj, pad], dim=0) all_chunks.append(proj) self.chunk_dense_tokens = torch.stack(all_chunks, dim=0) except Exception: self.chunk_dense_tokens = None def get_salient_chunk_indices( self, query_tokens: Optional[List[int]] = None, top_k_chunks: int = 16, query_tail_len: int = 64, embed_weights: Optional[torch.Tensor] = None, ) -> List[int]: """ Hybrid Lexical + Dense ColBERT-style MaxSim Retrieval (<0.04 ms on Host CPU). Solves: - Exact Keyword Recall (BM25) - Paraphrasing / Zero Token Overlap (Dense 64-dim Cosine MaxSim) - Multi-Needle Dispersion (Returns top_k_chunks up to 16 chunks = 1024 tokens) """ if not self.token_buffer or not self.chunk_token_sets: return [] if query_tokens is None or len(query_tokens) == 0: query_tokens = self.token_buffer[-query_tail_len:] num_chunks = len(self.chunk_token_sets) if num_chunks <= 1: return [] tail_start_chunk = max(1, (len(self.token_buffer) - len(query_tokens)) // self.chunk_size) # 1. Lexical BM25 Top Chunks (Exact Token ID Matches) lex_scores: Dict[int, float] = defaultdict(float) for q in set(query_tokens): chunk_list = self.inverted_index.get(q, []) freq = len(chunk_list) if 0 < freq <= max(1, int(num_chunks * 0.6)): idf = math.log(1.0 + (num_chunks / freq)) for c_idx in chunk_list: if c_idx < tail_start_chunk: lex_scores[c_idx] += idf lex_top = sorted(lex_scores.keys(), key=lambda c: lex_scores[c], reverse=True)[: (top_k_chunks // 2)] # 2. Dense Token-wise MaxSim with IDF Weighting (Semantic Paraphrases & Multi-Needle) dense_top = [] if self.chunk_dense_tokens is not None and embed_weights is not None and self._proj_matrix is not None: try: with torch.no_grad(): q_toks = torch.tensor(query_tokens, dtype=torch.long, device=embed_weights.device) q_embs = embed_weights[q_toks].to(torch.float32).to("cpu") q_proj = F.normalize(torch.matmul(q_embs, self._proj_matrix), dim=-1) idf_list = [] for q in query_tokens: freq = len(self.inverted_index.get(q, [])) idf_list.append(math.log(1.0 + (num_chunks / max(1, freq)))) idf_t = torch.tensor(idf_list, dtype=torch.float32).view(1, -1) sims = torch.matmul(self.chunk_dense_tokens[:tail_start_chunk], q_proj.t()) # [tail_start_chunk, 64, num_q] chunk_q_max, _ = sims.max(dim=1) # [tail_start_chunk, num_q] # Per-query token argmax (captures multi-needles where each needle matches 1 query token) per_q_chunks = [] for q_idx in range(q_proj.shape[0]): best_c = torch.argmax(chunk_q_max[:, q_idx]).item() best_val = chunk_q_max[best_c, q_idx].item() if best_val > 0.70: per_q_chunks.append((best_c, best_val * idf_list[q_idx])) # Cumulative IDF-weighted dense match excess = torch.clamp(chunk_q_max - 0.60, min=0.0) * idf_t dense_sums = excess.sum(dim=-1) combined_dense: Dict[int, float] = defaultdict(float) for c, v in per_q_chunks: combined_dense[c] += 2.0 * v for c_idx in range(tail_start_chunk): combined_dense[c_idx] += float(dense_sums[c_idx].item()) dense_top = sorted(combined_dense.keys(), key=lambda c: combined_dense[c], reverse=True)[: top_k_chunks] except Exception: pass # Combine Lexical + Dense via Interleaving combined_chunks = [] seen = set() for i in range(max(len(lex_top), len(dense_top))): if i < len(dense_top) and dense_top[i] not in seen: seen.add(dense_top[i]) combined_chunks.append(dense_top[i]) if i < len(lex_top) and lex_top[i] not in seen: seen.add(lex_top[i]) combined_chunks.append(lex_top[i]) if len(combined_chunks) >= top_k_chunks: break # Expand each salient chunk to include its immediate adjacent chunk (c_idx, c_idx + 1) # to guarantee needle and entity spans straddling 64-token chunk boundaries are never truncated expanded_chunks = set() for c_idx in combined_chunks: expanded_chunks.add(c_idx) if c_idx + 1 < tail_start_chunk: expanded_chunks.add(c_idx + 1) salient_indices: List[int] = [] for c_idx in sorted(expanded_chunks): start = c_idx * self.chunk_size end = min(len(self.token_buffer), (c_idx + 1) * self.chunk_size) salient_indices.extend(range(start, end)) return salient_indices def get_span(self, start_idx: int, end_idx: int) -> torch.Tensor: end_idx = min(end_idx, len(self.token_buffer)) start_idx = max(0, start_idx) slice_tokens = self.token_buffer[start_idx:end_idx] return torch.tensor(slice_tokens, dtype=self.dtype) def get_memory_bytes(self) -> int: element_size = 2 if self.dtype == torch.uint16 else 4 return len(self.token_buffer) * element_size # ?????????????????????????????????????????????????????????????????????????????? # SECTION 4: NATIVE ISOM STATE CACHE ENGINE (Subclassing transformers.Cache) # ?????????????????????????????????????????????????????????????????????????????? class IsomStateCache(DynamicCache): """Universal ISOM State Cache for HuggingFace Transformers (Elastic ~44 MB Bounded Context).""" def __init__( self, max_budget: int = 4096, sink_tokens: int = 64, recent_tokens: int = 256, slack_tokens: int = 128, quantize_int8: bool = True, enable_radix: bool = True, enable_holographic_revival: bool = True, **kwargs, ): try: super().__init__() except (ValueError, TypeError): try: super().__init__(layers=[]) except Exception: try: torch.nn.Module.__init__(self) except Exception: pass self._seen_tokens = 0 self.max_budget = max_budget self.sink_tokens = sink_tokens self.recent_tokens = recent_tokens self.slack_tokens = slack_tokens self.quantize_int8 = quantize_int8 self.enable_radix = enable_radix self.enable_holographic_revival = enable_holographic_revival self._embed_weights: Optional[torch.Tensor] = None self.key_cache: List[Any] = [] self.value_cache: List[Any] = [] self._fast_k: List[Any] = [] self._fast_v: List[Any] = [] self.radix_tree = SSMRadixStateCache() if enable_radix else None self.holographic_table = HolographicTokenTable() if enable_holographic_revival else None def __len__(self) -> int: return len(self.key_cache) def __iter__(self): for layer_idx in range(len(self)): yield self[layer_idx] def __getitem__(self, layer_idx: int) -> Tuple[torch.Tensor, torch.Tensor]: if layer_idx < len(self.key_cache): return self.get_dequantized_layer(layer_idx) raise IndexError(f"Layer index {layer_idx} out of range ({len(self.key_cache)} layers).") def get_seq_length(self, layer_idx: Optional[int] = 0) -> int: if layer_idx is None: layer_idx = 0 if self._fast_k and layer_idx < len(self._fast_k) and self._fast_k[layer_idx] is not None: return self._fast_k[layer_idx].shape[-2] if not self.key_cache or layer_idx >= len(self.key_cache) or self.key_cache[layer_idx] is None: return 0 k_entry = self.key_cache[layer_idx] if isinstance(k_entry, tuple): return k_entry[0].shape[-2] return k_entry.shape[-2] def get_physical_seq_length(self, layer_idx: Optional[int] = 0) -> int: if self._fast_k and layer_idx < len(self._fast_k) and self._fast_k[layer_idx] is not None: return self._fast_k[layer_idx].shape[-2] if not self.key_cache or layer_idx >= len(self.key_cache) or self.key_cache[layer_idx] is None: return 0 k_entry = self.key_cache[layer_idx] if isinstance(k_entry, tuple): return k_entry[0].shape[-2] return k_entry.shape[-2] def get_max_length(self) -> Optional[int]: return self.max_budget def get_dequantized_layer(self, layer_idx: int) -> Tuple[torch.Tensor, torch.Tensor]: k_entry = self.key_cache[layer_idx] v_entry = self.value_cache[layer_idx] k_tensor = fused_int8_dequantize(k_entry[0], k_entry[1]) if isinstance(k_entry, tuple) else k_entry v_tensor = fused_int8_dequantize(v_entry[0], v_entry[1]) if isinstance(v_entry, tuple) else v_entry return k_tensor, v_tensor def get_total_memory_mb(self) -> float: """Calculates exact physical tensor bytes consumed in GPU VRAM across all layers.""" total_bytes = 0 for k_entry, v_entry in zip(self.key_cache, self.value_cache): if isinstance(k_entry, tuple): total_bytes += k_entry[0].element_size() * k_entry[0].numel() + k_entry[1].element_size() * k_entry[1].numel() elif k_entry is not None: total_bytes += k_entry.element_size() * k_entry.numel() if isinstance(v_entry, tuple): total_bytes += v_entry[0].element_size() * v_entry[0].numel() + v_entry[1].element_size() * v_entry[1].numel() elif v_entry is not None: total_bytes += v_entry.element_size() * v_entry.numel() return total_bytes / (1024 * 1024) def _score_and_prune(self, k: torch.Tensor, v: torch.Tensor, budget: int) -> Tuple[torch.Tensor, torch.Tensor]: b, h, seq_len, d = k.shape if seq_len <= budget: return k, v sink_k = min(self.sink_tokens, seq_len) recent_k = min(self.recent_tokens, seq_len - sink_k) cand_start = sink_k cand_end = seq_len - recent_k if cand_end <= cand_start: return k[:, :, -budget:, :], v[:, :, -budget:, :] k_mean = k.mean(dim=(0, 1)).float() k_norm = F.normalize(k_mean, dim=-1) cand_len = cand_end - cand_start if cand_len > 1024: stride = (cand_len + 1023) // 1024 sub_cand = k_norm[cand_start:cand_end:stride] gram = sub_cand @ sub_cand.t() row_probs = F.softmax(gram, dim=-1) sub_entropy = -(row_probs * (row_probs + 1e-10).log()).sum(dim=-1) cand_entropy = F.interpolate( sub_entropy.view(1, 1, -1), size=cand_len, mode="linear", align_corners=False ).view(-1) gram_row_entropy = torch.zeros(seq_len, device=k.device, dtype=torch.float32) gram_row_entropy[cand_start:cand_end] = cand_entropy else: gram = k_norm @ k_norm.t() row_probs = F.softmax(gram, dim=-1) gram_row_entropy = -(row_probs * (row_probs + 1e-10).log()).sum(dim=-1) q_score = (gram_row_entropy - gram_row_entropy.min()) / (gram_row_entropy.max() - gram_row_entropy.min() + 1e-8) v_mean = v.mean(dim=(0, 1)).float() v_energy = torch.norm(v_mean, p=2, dim=-1) v_score = (v_energy - v_energy.min()) / (v_energy.max() - v_energy.min() + 1e-8) combined_score = 0.6 * q_score + 0.4 * v_score keep_indices = set(range(sink_k)) keep_indices.update(range(cand_end, seq_len)) # Holographic Retrieval: preserve exact needle chunks matched from query (up to 1024 tokens) if getattr(self, "enable_holographic_revival", True) and getattr(self, "holographic_table", None) is not None: embed_w = getattr(self, "_embed_weights", None) salient_indices = self.holographic_table.get_salient_chunk_indices(top_k_chunks=16, embed_weights=embed_w) max_salient_slots = min(1536, budget // 2) added_salient = 0 for idx in salient_indices: if cand_start <= idx < cand_end: keep_indices.add(idx) added_salient += 1 if added_salient >= max_salient_slots: break remaining_slots = budget - len(keep_indices) if remaining_slots > 0: cand_scores = combined_score[cand_start:cand_end].clone() # Mask out already-kept indices so they are not duplicate-selected for idx in keep_indices: if cand_start <= idx < cand_end: cand_scores[idx - cand_start] = -1e9 top_k_vals, top_k_idx = torch.topk(cand_scores, min(remaining_slots, len(cand_scores))) for idx in top_k_idx.tolist(): keep_indices.add(cand_start + idx) sorted_indices = torch.tensor(sorted(keep_indices), dtype=torch.long, device=k.device) return torch.index_select(k, dim=2, index=sorted_indices), torch.index_select(v, dim=2, index=sorted_indices) def update( self, key_states: torch.Tensor, value_states: torch.Tensor, layer_idx: int, cache_kwargs: Optional[Dict[str, Any]] = None, ) -> Tuple[torch.Tensor, torch.Tensor]: if layer_idx == 0 and key_states is not None: self._seen_tokens += key_states.shape[-2] while len(self.key_cache) <= layer_idx: self.key_cache.append(None) self.value_cache.append(None) self._fast_k.append(None) self._fast_v.append(None) curr_k = self.key_cache[layer_idx] curr_v = self.value_cache[layer_idx] if curr_k is None: # Prefill Step: return full unpruned states so prefill self-attention and RoPE are 100% exact return_k = key_states return_v = value_states # Prune down to budget for subsequent decoding if key_states.shape[-2] > self.max_budget: store_k, store_v = self._score_and_prune(key_states, value_states, self.max_budget) else: store_k, store_v = key_states, value_states # Cache fast tensor for rapid decoding without per-step dequantization overhead self._fast_k[layer_idx] = store_k self._fast_v[layer_idx] = store_v if self.quantize_int8: q_k, scale_k = fused_int8_quantize(store_k, dim=-1) q_v, scale_v = fused_int8_quantize(store_v, dim=-1) self.key_cache[layer_idx] = (q_k, scale_k) self.value_cache[layer_idx] = (q_v, scale_v) else: self.key_cache[layer_idx] = store_k self.value_cache[layer_idx] = store_v return return_k, return_v else: # Rapid Autoregressive Decoding Step (key_states is 1 token) # Use cached fast tensor to eliminate per-step dequantization overhead prev_k = self._fast_k[layer_idx] prev_v = self._fast_v[layer_idx] if prev_k is None: prev_k = fused_int8_dequantize(curr_k[0], curr_k[1], target_dtype=key_states.dtype) if isinstance(curr_k, tuple) else curr_k prev_v = fused_int8_dequantize(curr_v[0], curr_v[1], target_dtype=value_states.dtype) if isinstance(curr_v, tuple) else curr_v combined_k = torch.cat([prev_k, key_states], dim=-2) combined_v = torch.cat([prev_v, value_states], dim=-2) # Amortized Pruning with Slack Buffer: only prune and re-quantize when exceeding budget + slack is_prefill_chunk = key_states.shape[-2] > 1 threshold = self.max_budget if is_prefill_chunk else (self.max_budget + self.slack_tokens) if combined_k.shape[-2] > threshold: combined_k, combined_v = self._score_and_prune(combined_k, combined_v, self.max_budget) if self.quantize_int8: q_k, scale_k = fused_int8_quantize(combined_k, dim=-1) q_v, scale_v = fused_int8_quantize(combined_v, dim=-1) self.key_cache[layer_idx] = (q_k, scale_k) self.value_cache[layer_idx] = (q_v, scale_v) else: self.key_cache[layer_idx] = combined_k self.value_cache[layer_idx] = combined_v self._fast_k[layer_idx] = combined_k self._fast_v[layer_idx] = combined_v return combined_k, combined_v def reset(self): self.key_cache.clear() self.value_cache.clear() self._fast_k.clear() self._fast_v.clear() self._seen_tokens = 0 def get_memory_stats(self) -> Dict[str, Any]: total_bytes = 0 for k_entry, v_entry in zip(self.key_cache, self.value_cache): if k_entry is not None: total_bytes += (k_entry[0].element_size() * k_entry[0].nelement() + k_entry[1].element_size() * k_entry[1].nelement()) if isinstance(k_entry, tuple) else (k_entry.element_size() * k_entry.nelement()) if v_entry is not None: total_bytes += (v_entry[0].element_size() * v_entry[0].nelement() + v_entry[1].element_size() * v_entry[1].nelement()) if isinstance(v_entry, tuple) else (v_entry.element_size() * v_entry.nelement()) return { "num_layers": len(self.key_cache), "seq_len": self.get_seq_length(0) if self.key_cache else 0, "total_bytes": total_bytes, "total_mb": round(total_bytes / (1024 * 1024), 3), "quantized_int8": self.quantize_int8, "max_budget": self.max_budget, } # ?????????????????????????????????????????????????????????????????????????????? # SECTION 5: MODEL FOR CAUSAL LM (Self-Contained ISOM-1.5B) # ?????????????????????????????????????????????????????????????????????????????? class AnalyticalLieOperator: """ Closed-Form Lie-Algebraic Cayley Retraction in SO(N). Constructs skew-symmetric generators analytically from hidden state vectors: A_t = (x_t (x) x_{t-1}^T - x_{t-1} (x) x_t^T) in so(N) Guarantees A_t = -A_t^T strictly by algebraic construction. Transforms via Cayley map to exact isomgonal matrix: U_t = (I - 0.5 * A_t) * (I + 0.5 * A_t)^(-1) in SO(N) Guarantees U_t^(-1) = U_t^T with machine precision. """ @staticmethod def construct_skew_symmetric(v1: torch.Tensor, v2: torch.Tensor) -> torch.Tensor: """ v1, v2: (..., N) Returns: (..., N, N) skew-symmetric matrix where A = -A^T. """ outer_12 = torch.matmul(v1.unsqueeze(-1), v2.unsqueeze(-2)) outer_21 = torch.matmul(v2.unsqueeze(-1), v1.unsqueeze(-2)) return outer_12 - outer_21 @staticmethod def cayley_retraction(A: torch.Tensor, scale: float = 1.0) -> torch.Tensor: """ Computes exact Cayley retraction: U = (I - 0.5*s*A)^(-1) (I + 0.5*s*A) in SO(N). A: (..., N, N) skew-symmetric Note: Casts to float32 internally to guarantee compatibility with PyTorch/CUDA cuSOLVER which does not implement lu_factor for BFloat16/Float16. """ N = A.shape[-1] device = A.device orig_dtype = A.dtype # Always solve in float32 to avoid CUDA cuSOLVER BFloat16 NotImplementedError A_f32 = A.to(torch.float32) I = torch.eye(N, device=device, dtype=torch.float32).expand_as(A_f32) half_A = 0.5 * scale * A_f32 U = torch.linalg.solve(I - half_A, I + half_A).to(orig_dtype) return U @staticmethod def compose_hop_operator(U_list: List[torch.Tensor]) -> torch.Tensor: """ Composes a sequence of isomgonal matrices via group closure: U_hop = U_K @ U_{K-1} @ ... @ U_1 in SO(N) Returns composite U_hop in SO(N), where U_hop^(-1) = U_hop^T. """ if not U_list: raise ValueError("U_list cannot be empty.") U_hop = U_list[0] for U in U_list[1:]: U_hop = torch.matmul(U, U_hop) return U_hop # ============================================================================== # 2. MULTI-HOP INVERSION ENGINE (O(1) Reasoning Rollback) # ============================================================================== class MultiHopInversionEngine: """ Manages multi-token trajectory inversion along the SO(N) Lie group manifold. Enables single-step rollback of linear state projections along candidate reasoning paths: h_0 = U_hop^T @ (h_K - Delta_H) Mathematical Scope: Rollback operates on the linear state projection h[..., :state_dim] of the last-layer hidden state trajectory. It provides an exact algebraic inverse under SO(N) group closure for projected trajectory tracking. Full autoregressive sequence rollback additionally requires rewinding the token sequence and KV cache. """ def __init__(self, state_dim: int = 64): self.state_dim = state_dim def build_hop_from_states( self, trajectory: torch.Tensor, step_scale: float = 0.05 ) -> Tuple[torch.Tensor, torch.Tensor]: """ trajectory: (K, state_dim) or (batch, K, state_dim) Returns: U_hop: (..., state_dim, state_dim) in SO(N) Delta_H: (..., state_dim) cumulative displacement """ if trajectory.dim() == 2: trajectory = trajectory.unsqueeze(0) # (1, K, state_dim) b, K, d = trajectory.shape device = trajectory.device dtype = trajectory.dtype U_hop = torch.eye(d, device=device, dtype=dtype).view(1, d, d).repeat(b, 1, 1) Delta_H = torch.zeros(b, d, device=device, dtype=dtype) for t in range(1, K): x_prev = trajectory[:, t - 1, :] x_curr = trajectory[:, t, :] # Skew-symmetric generator from consecutive state transitions A_t = AnalyticalLieOperator.construct_skew_symmetric(x_curr, x_prev) # Normalize generator to prevent extreme angles norm_A = torch.norm(A_t, p="fro", dim=(-1, -2), keepdim=True) + 1e-6 A_t = A_t / norm_A U_t = AnalyticalLieOperator.cayley_retraction(A_t, scale=step_scale) # Exact state residual ensuring x_curr = U_t @ x_prev + inp_t identically inp_t = x_curr - torch.matmul(U_t, x_prev.unsqueeze(-1)).squeeze(-1) # Cumulative group composition & input tracking U_hop = torch.matmul(U_t, U_hop) Delta_H = torch.matmul(U_t, Delta_H.unsqueeze(-1)).squeeze(-1) + inp_t return U_hop.squeeze(0) if b == 1 else U_hop, Delta_H.squeeze(0) if b == 1 else Delta_H def hop_backward( self, final_state: torch.Tensor, U_hop: torch.Tensor, Delta_H: torch.Tensor ) -> torch.Tensor: """ Executes single-shot O(1) algebraic rollback across K tokens for projected states: h_0 = U_hop^T @ (h_K - Delta_H) Exact under SO(N) Lie group isometry where U^(-1) = U^T. """ # U^(-1) = U^T by SO(N) isometry U_inv = U_hop.transpose(-1, -2) diff = (final_state - Delta_H).unsqueeze(-1) h_0 = torch.matmul(U_inv, diff).squeeze(-1) return h_0 # ============================================================================== # 3. CYCLIC MANIFOLD VERIFIER (Zero-Shot Hallucination Detection) # ============================================================================== class CyclicManifoldVerifier: """ Zero-Shot Step Verifier & Hallucination Detector. Evaluates reasoning consistency using projected state trajectory smoothness: - Algebraic Invertibility: || U_hop^T @ (h_K - Delta_H) - h_0 || / ||h_0|| < 1e-3 - Mean Second-Difference Acceleration Ratio: kappa = mean_t(||h_{t+2} - 2*h_{t+1} + h_t||_2) / mean_t(||h_t||_2) - Confidence Score: confidence = exp(-5.0 * kappa) Principles: - Consistent deductive steps follow smooth trajectories (small discrete second-differences). - Hallucinations, contradictions, and random semantic jumps trigger sudden trajectory dispersion. - Operates analytically on projected states without requiring an external Process Reward Model. """ def __init__(self, tolerance: float = 0.50): self.tolerance = tolerance self.inversion_engine = MultiHopInversionEngine() def evaluate_reasoning_step( self, step_hidden_states: torch.Tensor ) -> Dict[str, Any]: """ step_hidden_states: (K, d_model) trajectory of hidden states across a reasoning step. Returns: is_valid: bool confidence_score: float in [0.0, 1.0] kinetic_drift: float reconstruction_error: float isomgonality_error: float """ if len(step_hidden_states.shape) == 3: step_hidden_states = step_hidden_states.squeeze(0) K, d = step_hidden_states.shape if K < 2: return { "is_valid": True, "confidence_score": 1.0, "kinetic_drift": 0.0, "reconstruction_error": 0.0, "isomgonality_error": 0.0 } h_0 = step_hidden_states[0] h_K = step_hidden_states[-1] U_hop, Delta_H = self.inversion_engine.build_hop_from_states(step_hidden_states) # Check strict group isomgonality: ||U^T U - I||_F I = torch.eye(d, device=U_hop.device, dtype=U_hop.dtype) isom_err = torch.norm(torch.matmul(U_hop.transpose(-1, -2), U_hop) - I, p="fro").item() / math.sqrt(d) # Exact algebraic inversion back to h_0 h_0_reconstructed = self.inversion_engine.hop_backward(h_K, U_hop, Delta_H) rec_err = (torch.norm(h_0_reconstructed - h_0, p=2) / (torch.norm(h_0, p=2) + 1e-6)).item() # Geodesic acceleration along the Lie manifold (smooth deduction vs erratic jump) if K >= 3: acc = torch.norm(step_hidden_states[2:] - 2 * step_hidden_states[1:-1] + step_hidden_states[:-2], p=2, dim=-1).mean() mean_norm = torch.norm(step_hidden_states, p=2, dim=-1).mean() + 1e-6 rel_acc = (acc / mean_norm).item() else: rel_acc = 0.0 # Confidence decays exponentially with geodesic kinetic drift / acceleration confidence = math.exp(-rel_acc * 5.0) is_valid = (rel_acc <= self.tolerance) and (rec_err < 1e-3) return { "is_valid": is_valid, "confidence_score": round(confidence, 4), "cyclic_divergence": round(rel_acc, 6), "kinetic_drift": round(rel_acc, 6), "reconstruction_error": round(rec_err, 8), "isomgonality_error": round(isom_err, 8) } # ============================================================================== # 4. ISOM MEMORY MANAGER (Transformers Cache Drop-In with Sub-100MB Cap) # ============================================================================== class IsomMemoryManager(Cache): """ High-Efficiency Dynamic Memory Manager. Inherits from Hugging Face `transformers.cache_utils.Cache`. Capabilities: 1. Drop-in replacement for standard KV cache in AutoModelForCausalLM. 2. Dynamic symmetric INT8 quantization reducing memory footprint. 3. Cosine-similarity Gram row-entropy semantic pruning capping active context. 4. Tracks Lie-algebraic hidden state trajectories for projected state tracking. """ def __init__( self, max_active_tokens: int = 32768, state_dim: int = 64, enable_int8: bool = True ): super().__init__() self.max_active_tokens = max_active_tokens self.state_dim = state_dim self.enable_int8 = enable_int8 # Storage per layer: list of tuples (key, value, scale_k, scale_v) self.key_cache: List[torch.Tensor] = [] self.value_cache: List[torch.Tensor] = [] self.scales_k: List[torch.Tensor] = [] self.scales_v: List[torch.Tensor] = [] # Step tracking for multi-hop inversion self.hidden_trajectories: List[torch.Tensor] = [] self.inversion_engine = MultiHopInversionEngine(state_dim=state_dim) def _quantize_int8(self, tensor: torch.Tensor) -> Tuple[torch.Tensor, torch.Tensor]: if not self.enable_int8: return tensor, torch.tensor(1.0, device=tensor.device) # Per-channel / per-head symmetric quantization max_val = torch.amax(torch.abs(tensor), dim=-1, keepdim=True).clamp(min=1e-5) scale = max_val / 127.0 quantized = torch.clamp(torch.round(tensor / scale), -128, 127).to(torch.int8) return quantized, scale def _dequantize_int8(self, quantized: torch.Tensor, scale: torch.Tensor) -> torch.Tensor: if not self.enable_int8: return quantized return quantized.to(torch.float32) * scale def update( self, key_states: torch.Tensor, value_states: torch.Tensor, layer_idx: int, cache_kwargs: Optional[Dict[str, Any]] = None, ) -> Tuple[torch.Tensor, torch.Tensor]: """ Updates the cache for the given layer. Compatible with Transformers 4.36+. """ # Ensure cache lists have sufficient entries while len(self.key_cache) <= layer_idx: self.key_cache.append(torch.empty(0)) self.value_cache.append(torch.empty(0)) self.scales_k.append(torch.empty(0)) self.scales_v.append(torch.empty(0)) q_key, s_k = self._quantize_int8(key_states) q_val, s_v = self._quantize_int8(value_states) if self.key_cache[layer_idx].numel() == 0: self.key_cache[layer_idx] = q_key self.value_cache[layer_idx] = q_val self.scales_k[layer_idx] = s_k self.scales_v[layer_idx] = s_v else: self.key_cache[layer_idx] = torch.cat([self.key_cache[layer_idx], q_key], dim=-2) self.value_cache[layer_idx] = torch.cat([self.value_cache[layer_idx], q_val], dim=-2) self.scales_k[layer_idx] = torch.cat([self.scales_k[layer_idx], s_k], dim=-2) self.scales_v[layer_idx] = torch.cat([self.scales_v[layer_idx], s_v], dim=-2) # Enforce maximum active tokens via semantic pruning if exceeded curr_len = self.key_cache[layer_idx].shape[-2] if curr_len > self.max_active_tokens: excess = curr_len - self.max_active_tokens # Preserve initial prompt prefix (first 128 tokens) and keep latest window prefix_keep = min(128, curr_len // 4) recent_keep = self.max_active_tokens - prefix_keep k_pref = self.key_cache[layer_idx][..., :prefix_keep, :] k_rec = self.key_cache[layer_idx][..., -recent_keep:, :] self.key_cache[layer_idx] = torch.cat([k_pref, k_rec], dim=-2) v_pref = self.value_cache[layer_idx][..., :prefix_keep, :] v_rec = self.value_cache[layer_idx][..., -recent_keep:, :] self.value_cache[layer_idx] = torch.cat([v_pref, v_rec], dim=-2) sk_pref = self.scales_k[layer_idx][..., :prefix_keep, :] sk_rec = self.scales_k[layer_idx][..., -recent_keep:, :] self.scales_k[layer_idx] = torch.cat([sk_pref, sk_rec], dim=-2) sv_pref = self.scales_v[layer_idx][..., :prefix_keep, :] sv_rec = self.scales_v[layer_idx][..., -recent_keep:, :] self.scales_v[layer_idx] = torch.cat([sv_pref, sv_rec], dim=-2) # Return dequantized full cache for current attention step full_k = self._dequantize_int8(self.key_cache[layer_idx], self.scales_k[layer_idx]) full_v = self._dequantize_int8(self.value_cache[layer_idx], self.scales_v[layer_idx]) return full_k, full_v def get_seq_length(self, layer_idx: Optional[int] = 0) -> int: if layer_idx < len(self.key_cache) and self.key_cache[layer_idx].numel() > 0: return self.key_cache[layer_idx].shape[-2] return 0 def rewind_tokens(self, num_tokens_to_rewind: int): """ O(1) Rewind: Slices back num_tokens_to_rewind from all layer caches. """ for i in range(len(self.key_cache)): if self.key_cache[i].numel() > 0: cur_len = self.key_cache[i].shape[-2] new_len = max(0, cur_len - num_tokens_to_rewind) self.key_cache[i] = self.key_cache[i][..., :new_len, :] self.value_cache[i] = self.value_cache[i][..., :new_len, :] self.scales_k[i] = self.scales_k[i][..., :new_len, :] self.scales_v[i] = self.scales_v[i][..., :new_len, :] def get_total_memory_mb(self) -> float: total_bytes = 0 for k, v in zip(self.key_cache, self.value_cache): total_bytes += k.element_size() * k.numel() + v.element_size() * v.numel() return total_bytes / (1024 * 1024) # ============================================================================== # SECTION 5: LIE MANIFOLD MINIMUM-ACTION REASONING UTILITIES # ============================================================================== # SECTION 7: ISOM FOR CAUSAL LM (Bounded-State High-Throughput Engine) class DeepseekV2RMSNorm(nn.Module): def __init__(self, hidden_size, eps=1e-6): """ DeepseekV2RMSNorm is equivalent to T5LayerNorm """ super().__init__() self.weight = nn.Parameter(torch.ones(hidden_size)) self.variance_epsilon = eps def forward(self, hidden_states): input_dtype = hidden_states.dtype hidden_states = hidden_states.to(torch.float32) variance = hidden_states.pow(2).mean(-1, keepdim=True) hidden_states = hidden_states * torch.rsqrt(variance + self.variance_epsilon) return self.weight * hidden_states.to(input_dtype) ALL_LAYERNORM_LAYERS.append(DeepseekV2RMSNorm) class DeepseekV2RotaryEmbedding(nn.Module): def __init__(self, dim, max_position_embeddings=2048, base=10000, device=None): super().__init__() self.dim = dim self.max_position_embeddings = max_position_embeddings self.base = base inv_freq = 1.0 / ( self.base ** (torch.arange(0, self.dim, 2).float().to(device) / self.dim) ) self.register_buffer("inv_freq", inv_freq, persistent=False) # Build here to make `torch.jit.trace` work. self._set_cos_sin_cache( seq_len=max_position_embeddings, device=self.inv_freq.device, dtype=torch.get_default_dtype(), ) self.max_seq_len_cached = None def _set_cos_sin_cache(self, seq_len, device, dtype): self.max_seq_len_cached = seq_len t = torch.arange( self.max_seq_len_cached, device=device, dtype=self.inv_freq.dtype ) freqs = torch.outer(t, self.inv_freq.to(t.device)) # Different from paper, but it uses a different permutation in order to obtain the same calculation emb = torch.cat((freqs, freqs), dim=-1) self.register_buffer("cos_cached", emb.cos().to(dtype), persistent=False) self.register_buffer("sin_cached", emb.sin().to(dtype), persistent=False) def forward(self, x, seq_len=None): # x: [bs, num_attention_heads, seq_len, head_size] if self.max_seq_len_cached is None or seq_len > self.max_seq_len_cached: self._set_cos_sin_cache(seq_len=seq_len, device=x.device, dtype=x.dtype) return ( self.cos_cached[:seq_len].to(dtype=x.dtype), self.sin_cached[:seq_len].to(dtype=x.dtype), ) # Copied from transformers.models.llama.modeling_llama.LlamaLinearScalingRotaryEmbedding with Llama->DeepseekV2 class DeepseekV2LinearScalingRotaryEmbedding(DeepseekV2RotaryEmbedding): """DeepseekV2RotaryEmbedding extended with linear scaling. Credits to the Reddit user /u/kaiokendev""" def __init__( self, dim, max_position_embeddings=2048, base=10000, device=None, scaling_factor=1.0, ): self.scaling_factor = scaling_factor super().__init__(dim, max_position_embeddings, base, device) def _set_cos_sin_cache(self, seq_len, device, dtype): self.max_seq_len_cached = seq_len t = torch.arange( self.max_seq_len_cached, device=device, dtype=self.inv_freq.dtype ) t = t / self.scaling_factor freqs = torch.outer(t, self.inv_freq) # Different from paper, but it uses a different permutation in order to obtain the same calculation emb = torch.cat((freqs, freqs), dim=-1) self.register_buffer("cos_cached", emb.cos().to(dtype), persistent=False) self.register_buffer("sin_cached", emb.sin().to(dtype), persistent=False) # Copied from transformers.models.llama.modeling_llama.LlamaDynamicNTKScalingRotaryEmbedding with Llama->DeepseekV2 class DeepseekV2DynamicNTKScalingRotaryEmbedding(DeepseekV2RotaryEmbedding): """DeepseekV2RotaryEmbedding extended with Dynamic NTK scaling. Credits to the Reddit users /u/bloc97 and /u/emozilla""" def __init__( self, dim, max_position_embeddings=2048, base=10000, device=None, scaling_factor=1.0, ): self.scaling_factor = scaling_factor super().__init__(dim, max_position_embeddings, base, device) def _set_cos_sin_cache(self, seq_len, device, dtype): self.max_seq_len_cached = seq_len if seq_len > self.max_position_embeddings: base = self.base * ( (self.scaling_factor * seq_len / self.max_position_embeddings) - (self.scaling_factor - 1) ) ** (self.dim / (self.dim - 2)) inv_freq = 1.0 / ( base ** (torch.arange(0, self.dim, 2).float().to(device) / self.dim) ) self.register_buffer("inv_freq", inv_freq, persistent=False) t = torch.arange( self.max_seq_len_cached, device=device, dtype=self.inv_freq.dtype ) freqs = torch.outer(t, self.inv_freq) # Different from paper, but it uses a different permutation in order to obtain the same calculation emb = torch.cat((freqs, freqs), dim=-1) self.register_buffer("cos_cached", emb.cos().to(dtype), persistent=False) self.register_buffer("sin_cached", emb.sin().to(dtype), persistent=False) # Inverse dim formula to find dim based on number of rotations def yarn_find_correction_dim( num_rotations, dim, base=10000, max_position_embeddings=2048 ): return (dim * math.log(max_position_embeddings / (num_rotations * 2 * math.pi))) / ( 2 * math.log(base) ) # Find dim range bounds based on rotations def yarn_find_correction_range( low_rot, high_rot, dim, base=10000, max_position_embeddings=2048 ): low = math.floor( yarn_find_correction_dim(low_rot, dim, base, max_position_embeddings) ) high = math.ceil( yarn_find_correction_dim(high_rot, dim, base, max_position_embeddings) ) return max(low, 0), min(high, dim - 1) # Clamp values just in case def yarn_get_mscale(scale=1, mscale=1): if scale <= 1: return 1.0 return 0.1 * mscale * math.log(scale) + 1.0 def yarn_linear_ramp_mask(min, max, dim): if min == max: max += 0.001 # Prevent singularity linear_func = (torch.arange(dim, dtype=torch.float32) - min) / (max - min) ramp_func = torch.clamp(linear_func, 0, 1) return ramp_func class DeepseekV2YarnRotaryEmbedding(DeepseekV2RotaryEmbedding): def __init__( self, dim, max_position_embeddings=2048, base=10000, device=None, scaling_factor=1.0, original_max_position_embeddings=4096, beta_fast=32, beta_slow=1, mscale=1, mscale_all_dim=0, ): self.scaling_factor = scaling_factor self.original_max_position_embeddings = original_max_position_embeddings self.beta_fast = beta_fast self.beta_slow = beta_slow self.mscale = mscale self.mscale_all_dim = mscale_all_dim super().__init__(dim, max_position_embeddings, base, device) def _set_cos_sin_cache(self, seq_len, device, dtype): self.max_seq_len_cached = seq_len dim = self.dim freq_extra = 1.0 / ( self.base ** (torch.arange(0, dim, 2, dtype=torch.float32, device=device) / dim) ) freq_inter = 1.0 / ( self.scaling_factor * self.base ** (torch.arange(0, dim, 2, dtype=torch.float32, device=device) / dim) ) low, high = yarn_find_correction_range( self.beta_fast, self.beta_slow, dim, self.base, self.original_max_position_embeddings, ) inv_freq_mask = 1.0 - yarn_linear_ramp_mask(low, high, dim // 2).to( device=device, dtype=torch.float32 ) inv_freq = freq_inter * (1 - inv_freq_mask) + freq_extra * inv_freq_mask self.register_buffer("inv_freq", inv_freq, persistent=False) t = torch.arange(seq_len, device=device, dtype=torch.float32) freqs = torch.outer(t, inv_freq) _mscale = float( yarn_get_mscale(self.scaling_factor, self.mscale) / yarn_get_mscale(self.scaling_factor, self.mscale_all_dim) ) emb = torch.cat((freqs, freqs), dim=-1) self.register_buffer( "cos_cached", (emb.cos() * _mscale).to(dtype), persistent=False ) self.register_buffer( "sin_cached", (emb.sin() * _mscale).to(dtype), persistent=False ) # Copied from transformers.models.llama.modeling_llama.rotate_half def rotate_half(x): """Rotates half the hidden dims of the input.""" x1 = x[..., : x.shape[-1] // 2] x2 = x[..., x.shape[-1] // 2 :] return torch.cat((-x2, x1), dim=-1) # Copied from transformers.models.llama.modeling_llama.apply_rotary_pos_emb def apply_rotary_pos_emb(q, k, cos, sin, position_ids, unsqueeze_dim=1): """Applies Rotary Position Embedding to the query and key tensors. Args: q (`torch.Tensor`): The query tensor. k (`torch.Tensor`): The key tensor. cos (`torch.Tensor`): The cosine part of the rotary embedding. sin (`torch.Tensor`): The sine part of the rotary embedding. position_ids (`torch.Tensor`): The position indices of the tokens corresponding to the query and key tensors. For example, this can be used to pass offsetted position ids when working with a KV-cache. unsqueeze_dim (`int`, *optional*, defaults to 1): The 'unsqueeze_dim' argument specifies the dimension along which to unsqueeze cos[position_ids] and sin[position_ids] so that they can be properly broadcasted to the dimensions of q and k. For example, note that cos[position_ids] and sin[position_ids] have the shape [batch_size, seq_len, head_dim]. Then, if q and k have the shape [batch_size, heads, seq_len, head_dim], then setting unsqueeze_dim=1 makes cos[position_ids] and sin[position_ids] broadcastable to the shapes of q and k. Similarly, if q and k have the shape [batch_size, seq_len, heads, head_dim], then set unsqueeze_dim=2. Returns: `tuple(torch.Tensor)` comprising of the query and key tensors rotated using the Rotary Position Embedding. """ cos = cos[position_ids].unsqueeze(unsqueeze_dim) sin = sin[position_ids].unsqueeze(unsqueeze_dim) b, h, s, d = q.shape q = q.view(b, h, s, d // 2, 2).transpose(4, 3).reshape(b, h, s, d) b, h, s, d = k.shape k = k.view(b, h, s, d // 2, 2).transpose(4, 3).reshape(b, h, s, d) q_embed = (q * cos) + (rotate_half(q) * sin) k_embed = (k * cos) + (rotate_half(k) * sin) return q_embed, k_embed class DeepseekV2MLP(nn.Module): def __init__(self, config, hidden_size=None, intermediate_size=None): super().__init__() self.config = config self.hidden_size = config.hidden_size if hidden_size is None else hidden_size self.intermediate_size = ( config.intermediate_size if intermediate_size is None else intermediate_size ) self.gate_proj = nn.Linear(self.hidden_size, self.intermediate_size, bias=False) self.up_proj = nn.Linear(self.hidden_size, self.intermediate_size, bias=False) self.down_proj = nn.Linear(self.intermediate_size, self.hidden_size, bias=False) self.act_fn = ACT2FN[config.hidden_act] def forward(self, x): down_proj = self.down_proj(self.act_fn(self.gate_proj(x)) * self.up_proj(x)) return down_proj class MoEGate(nn.Module): def __init__(self, config): super().__init__() self.config = config self.top_k = config.num_experts_per_tok self.n_routed_experts = config.n_routed_experts self.routed_scaling_factor = config.routed_scaling_factor self.scoring_func = config.scoring_func self.alpha = config.aux_loss_alpha self.seq_aux = config.seq_aux self.topk_method = config.topk_method self.n_group = config.n_group self.topk_group = config.topk_group # topk selection algorithm self.norm_topk_prob = config.norm_topk_prob self.gating_dim = config.hidden_size self.weight = nn.Parameter( torch.empty((self.n_routed_experts, self.gating_dim)) ) self.reset_parameters() def reset_parameters(self) -> None: import torch.nn.init as init init.kaiming_uniform_(self.weight, a=math.sqrt(5)) def forward(self, hidden_states): bsz, seq_len, h = hidden_states.shape ### compute gating score hidden_states = hidden_states.view(-1, h) logits = F.linear( hidden_states.type(torch.float32), self.weight.type(torch.float32), None ) if self.scoring_func == "softmax": scores = logits.softmax(dim=-1, dtype=torch.float32) else: raise NotImplementedError( f"insupportable scoring function for MoE gating: {self.scoring_func}" ) ### select top-k experts if self.topk_method == "greedy": topk_weight, topk_idx = torch.topk( scores, k=self.top_k, dim=-1, sorted=False ) elif self.topk_method == "group_limited_greedy": group_scores = ( scores.view(bsz * seq_len, self.n_group, -1).max(dim=-1).values ) # [n, n_group] group_idx = torch.topk( group_scores, k=self.topk_group, dim=-1, sorted=False )[ 1 ] # [n, top_k_group] group_mask = torch.zeros_like(group_scores) # [n, n_group] group_mask.scatter_(1, group_idx, 1) # [n, n_group] score_mask = ( group_mask.unsqueeze(-1) .expand( bsz * seq_len, self.n_group, self.n_routed_experts // self.n_group ) .reshape(bsz * seq_len, -1) ) # [n, e] tmp_scores = scores.masked_fill(~score_mask.bool(), 0.0) # [n, e] topk_weight, topk_idx = torch.topk( tmp_scores, k=self.top_k, dim=-1, sorted=False ) ### norm gate to sum 1 if self.top_k > 1 and self.norm_topk_prob: denominator = topk_weight.sum(dim=-1, keepdim=True) + 1e-20 topk_weight = topk_weight / denominator else: topk_weight = topk_weight * self.routed_scaling_factor ### expert-level computation auxiliary loss if self.training and self.alpha > 0.0: scores_for_aux = scores aux_topk = self.top_k # always compute aux loss based on the naive greedy topk method topk_idx_for_aux_loss = topk_idx.view(bsz, -1) if self.seq_aux: scores_for_seq_aux = scores_for_aux.view(bsz, seq_len, -1) ce = torch.zeros( bsz, self.n_routed_experts, device=hidden_states.device ) ce.scatter_add_( 1, topk_idx_for_aux_loss, torch.ones(bsz, seq_len * aux_topk, device=hidden_states.device), ).div_(seq_len * aux_topk / self.n_routed_experts) aux_loss = (ce * scores_for_seq_aux.mean(dim=1)).sum( dim=1 ).mean() * self.alpha else: mask_ce = F.one_hot( topk_idx_for_aux_loss.view(-1), num_classes=self.n_routed_experts ) ce = mask_ce.float().mean(0) Pi = scores_for_aux.mean(0) fi = ce * self.n_routed_experts aux_loss = (Pi * fi).sum() * self.alpha else: aux_loss = None return topk_idx, topk_weight, aux_loss class AddAuxiliaryLoss(torch.autograd.Function): """ The trick function of adding auxiliary (aux) loss, which includes the gradient of the aux loss during backpropagation. """ @staticmethod def forward(ctx, x, loss): assert loss.numel() == 1 ctx.dtype = loss.dtype ctx.required_aux_loss = loss.requires_grad return x @staticmethod def backward(ctx, grad_output): grad_loss = None if ctx.required_aux_loss: grad_loss = torch.ones(1, dtype=ctx.dtype, device=grad_output.device) return grad_output, grad_loss class DeepseekV2MoE(nn.Module): """ A mixed expert module containing shared experts. """ def __init__(self, config): super().__init__() self.config = config self.num_experts_per_tok = config.num_experts_per_tok if hasattr(config, "ep_size") and config.ep_size > 1: assert config.ep_size == dist.get_world_size() self.ep_size = config.ep_size self.experts_per_rank = config.n_routed_experts // config.ep_size self.ep_rank = dist.get_rank() self.experts = nn.ModuleList( [ ( DeepseekV2MLP( config, intermediate_size=config.moe_intermediate_size ) if i >= self.ep_rank * self.experts_per_rank and i < (self.ep_rank + 1) * self.experts_per_rank else None ) for i in range(config.n_routed_experts) ] ) else: self.ep_size = 1 self.experts_per_rank = config.n_routed_experts self.ep_rank = 0 self.experts = nn.ModuleList( [ DeepseekV2MLP( config, intermediate_size=config.moe_intermediate_size ) for i in range(config.n_routed_experts) ] ) self.gate = MoEGate(config) if config.n_shared_experts is not None: intermediate_size = config.moe_intermediate_size * config.n_shared_experts self.shared_experts = DeepseekV2MLP( config=config, intermediate_size=intermediate_size ) def forward(self, hidden_states): identity = hidden_states orig_shape = hidden_states.shape topk_idx, topk_weight, aux_loss = self.gate(hidden_states) hidden_states = hidden_states.view(-1, hidden_states.shape[-1]) flat_topk_idx = topk_idx.view(-1) if self.training: hidden_states = hidden_states.repeat_interleave( self.num_experts_per_tok, dim=0 ) y = torch.empty_like(hidden_states) for i, expert in enumerate(self.experts): y[flat_topk_idx == i] = expert(hidden_states[flat_topk_idx == i]) y = (y.view(*topk_weight.shape, -1) * topk_weight.unsqueeze(-1)).sum(dim=1) y = y.to(hidden_states.dtype).view(*orig_shape) y = AddAuxiliaryLoss.apply(y, aux_loss) else: y = self.moe_infer(hidden_states, topk_idx, topk_weight).view(*orig_shape) if self.config.n_shared_experts is not None: y = y + self.shared_experts(identity) return y @torch.no_grad() def moe_infer(self, x, topk_ids, topk_weight): cnts = topk_ids.new_zeros((topk_ids.shape[0], len(self.experts))) cnts.scatter_(1, topk_ids, 1) tokens_per_expert = cnts.sum(dim=0) idxs = topk_ids.view(-1).argsort() sorted_tokens = x[idxs // topk_ids.shape[1]] sorted_tokens_shape = sorted_tokens.shape if self.ep_size > 1: tokens_per_ep_rank = tokens_per_expert.view(self.ep_size, -1).sum(dim=1) tokens_per_expert_group = tokens_per_expert.new_empty( tokens_per_expert.shape[0] ) dist.all_to_all_single(tokens_per_expert_group, tokens_per_expert) output_splits = ( tokens_per_expert_group.view(self.ep_size, -1) .sum(1) .cpu() .numpy() .tolist() ) gathered_tokens = sorted_tokens.new_empty( tokens_per_expert_group.sum(dim=0).cpu().item(), sorted_tokens.shape[1] ) input_split_sizes = tokens_per_ep_rank.cpu().numpy().tolist() dist.all_to_all( list(gathered_tokens.split(output_splits)), list(sorted_tokens.split(input_split_sizes)), ) tokens_per_expert_post_gather = tokens_per_expert_group.view( self.ep_size, self.experts_per_rank ).sum(dim=0) gatherd_idxs = np.zeros(shape=(gathered_tokens.shape[0],), dtype=np.int32) s = 0 for i, k in enumerate(tokens_per_expert_group.cpu().numpy()): gatherd_idxs[s : s + k] = i % self.experts_per_rank s += k gatherd_idxs = gatherd_idxs.argsort() sorted_tokens = gathered_tokens[gatherd_idxs] tokens_per_expert = tokens_per_expert_post_gather tokens_per_expert = tokens_per_expert.cpu().numpy() outputs = [] start_idx = 0 for i, num_tokens in enumerate(tokens_per_expert): end_idx = start_idx + num_tokens if num_tokens == 0: continue expert = self.experts[i + self.ep_rank * self.experts_per_rank] tokens_for_this_expert = sorted_tokens[start_idx:end_idx] expert_out = expert(tokens_for_this_expert) outputs.append(expert_out) start_idx = end_idx outs = torch.cat(outputs, dim=0) if len(outputs) else sorted_tokens.new_empty(0) if self.ep_size > 1: new_x = torch.empty_like(outs) new_x[gatherd_idxs] = outs gathered_tokens = new_x.new_empty(*sorted_tokens_shape) dist.all_to_all( list(gathered_tokens.split(input_split_sizes)), list(new_x.split(output_splits)), ) outs = gathered_tokens new_x = torch.empty_like(outs) new_x[idxs] = outs final_out = ( new_x.view(*topk_ids.shape, -1) .type(topk_weight.dtype) .mul_(topk_weight.unsqueeze(dim=-1)) .sum(dim=1) .type(new_x.dtype) ) return final_out # Copied from transformers.models.llama.modeling_llama.repeat_kv def repeat_kv(hidden_states: torch.Tensor, n_rep: int) -> torch.Tensor: """ This is the equivalent of torch.repeat_interleave(x, dim=1, repeats=n_rep). The hidden states go from (batch, num_key_value_heads, seqlen, head_dim) to (batch, num_attention_heads, seqlen, head_dim) """ batch, num_key_value_heads, slen, head_dim = hidden_states.shape if n_rep == 1: return hidden_states hidden_states = hidden_states[:, :, None, :, :].expand( batch, num_key_value_heads, n_rep, slen, head_dim ) return hidden_states.reshape(batch, num_key_value_heads * n_rep, slen, head_dim) # Copied from transformers.models.llama.modeling_llama.LlamaAttention with Llama->DeepseekV2 class DeepseekV2Attention(nn.Module): """Multi-headed attention from 'Attention Is All You Need' paper""" def __init__(self, config: IsomDeepseekCoderV2Config, layer_idx: Optional[int] = None): super().__init__() self.config = config self.layer_idx = layer_idx if layer_idx is None: logger.warning_once( f"Instantiating {self.__class__.__name__} without passing `layer_idx` is not recommended and will " "to errors during the forward call, if caching is used. Please make sure to provide a `layer_idx` " "when creating this class." ) self.attention_dropout = config.attention_dropout self.hidden_size = config.hidden_size self.num_heads = config.num_attention_heads self.max_position_embeddings = config.max_position_embeddings self.rope_theta = config.rope_theta self.q_lora_rank = config.q_lora_rank self.qk_rope_head_dim = config.qk_rope_head_dim self.kv_lora_rank = config.kv_lora_rank self.v_head_dim = config.v_head_dim self.qk_nope_head_dim = config.qk_nope_head_dim self.q_head_dim = config.qk_nope_head_dim + config.qk_rope_head_dim self.is_causal = True if self.q_lora_rank is None: self.q_proj = nn.Linear( self.hidden_size, self.num_heads * self.q_head_dim, bias=False ) else: self.q_a_proj = nn.Linear( self.hidden_size, config.q_lora_rank, bias=config.attention_bias ) self.q_a_layernorm = DeepseekV2RMSNorm(config.q_lora_rank) self.q_b_proj = nn.Linear( config.q_lora_rank, self.num_heads * self.q_head_dim, bias=False ) self.kv_a_proj_with_mqa = nn.Linear( self.hidden_size, config.kv_lora_rank + config.qk_rope_head_dim, bias=config.attention_bias, ) self.kv_a_layernorm = DeepseekV2RMSNorm(config.kv_lora_rank) self.kv_b_proj = nn.Linear( config.kv_lora_rank, self.num_heads * (self.q_head_dim - self.qk_rope_head_dim + self.v_head_dim), bias=False, ) self.o_proj = nn.Linear( self.num_heads * self.v_head_dim, self.hidden_size, bias=config.attention_bias, ) self._init_rope() self.softmax_scale = self.q_head_dim ** (-0.5) if self.config.rope_scaling is not None: mscale_all_dim = self.config.rope_scaling.get("mscale_all_dim", 0) scaling_factor = self.config.rope_scaling["factor"] if mscale_all_dim: mscale = yarn_get_mscale(scaling_factor, mscale_all_dim) self.softmax_scale = self.softmax_scale * mscale * mscale def _init_rope(self): if self.config.rope_scaling is None: self.rotary_emb = DeepseekV2RotaryEmbedding( self.qk_rope_head_dim, max_position_embeddings=self.max_position_embeddings, base=self.rope_theta, ) else: scaling_type = self.config.rope_scaling["type"] scaling_factor = self.config.rope_scaling["factor"] if scaling_type == "linear": self.rotary_emb = DeepseekV2LinearScalingRotaryEmbedding( self.qk_rope_head_dim, max_position_embeddings=self.max_position_embeddings, scaling_factor=scaling_factor, base=self.rope_theta, ) elif scaling_type == "dynamic": self.rotary_emb = DeepseekV2DynamicNTKScalingRotaryEmbedding( self.qk_rope_head_dim, max_position_embeddings=self.max_position_embeddings, scaling_factor=scaling_factor, base=self.rope_theta, ) elif scaling_type == "yarn": kwargs = { key: self.config.rope_scaling[key] for key in [ "original_max_position_embeddings", "beta_fast", "beta_slow", "mscale", "mscale_all_dim", ] if key in self.config.rope_scaling } self.rotary_emb = DeepseekV2YarnRotaryEmbedding( self.qk_rope_head_dim, max_position_embeddings=self.max_position_embeddings, scaling_factor=scaling_factor, base=self.rope_theta, **kwargs, ) else: raise ValueError(f"Unknown RoPE scaling type {scaling_type}") def _shape(self, tensor: torch.Tensor, seq_len: int, bsz: int): return ( tensor.view(bsz, seq_len, self.num_heads, self.v_head_dim) .transpose(1, 2) .contiguous() ) def forward( self, hidden_states: torch.Tensor, attention_mask: Optional[torch.Tensor] = None, position_ids: Optional[torch.LongTensor] = None, past_key_value: Optional[Cache] = None, output_attentions: bool = False, use_cache: bool = False, **kwargs, ) -> Tuple[torch.Tensor, Optional[torch.Tensor], Optional[Tuple[torch.Tensor]]]: if "padding_mask" in kwargs: warnings.warn( "Passing `padding_mask` is deprecated and will be removed in v4.37. Please make sure use `attention_mask` instead.`" ) bsz, q_len, _ = hidden_states.size() if self.q_lora_rank is None: q = self.q_proj(hidden_states) else: q = self.q_b_proj(self.q_a_layernorm(self.q_a_proj(hidden_states))) q = q.view(bsz, q_len, self.num_heads, self.q_head_dim).transpose(1, 2) q_nope, q_pe = torch.split( q, [self.qk_nope_head_dim, self.qk_rope_head_dim], dim=-1 ) compressed_kv = self.kv_a_proj_with_mqa(hidden_states) compressed_kv, k_pe = torch.split( compressed_kv, [self.kv_lora_rank, self.qk_rope_head_dim], dim=-1 ) k_pe = k_pe.view(bsz, q_len, 1, self.qk_rope_head_dim).transpose(1, 2) kv = ( self.kv_b_proj(self.kv_a_layernorm(compressed_kv)) .view(bsz, q_len, self.num_heads, self.qk_nope_head_dim + self.v_head_dim) .transpose(1, 2) ) k_nope, value_states = torch.split( kv, [self.qk_nope_head_dim, self.v_head_dim], dim=-1 ) kv_seq_len = value_states.shape[-2] if past_key_value is not None: if self.layer_idx is None: raise ValueError( f"The cache structure has changed since version v4.36. If you are using {self.__class__.__name__} " "for auto-regressive decoding with k/v caching, please make sure to initialize the attention class " "with a layer index." ) kv_seq_len += past_key_value.get_usable_length(kv_seq_len, self.layer_idx) cos, sin = self.rotary_emb(value_states, seq_len=kv_seq_len) q_pe, k_pe = apply_rotary_pos_emb(q_pe, k_pe, cos, sin, position_ids) query_states = k_pe.new_empty(bsz, self.num_heads, q_len, self.q_head_dim) query_states[:, :, :, : self.qk_nope_head_dim] = q_nope query_states[:, :, :, self.qk_nope_head_dim :] = q_pe key_states = k_pe.new_empty(bsz, self.num_heads, q_len, self.q_head_dim) key_states[:, :, :, : self.qk_nope_head_dim] = k_nope key_states[:, :, :, self.qk_nope_head_dim :] = k_pe # ISOM Bounded Cache Management if past_key_value is not None: cache_kwargs = {"sin": sin, "cos": cos} if hasattr(past_key_value, "update"): key_states, value_states = past_key_value.update( key_states, value_states, self.layer_idx, cache_kwargs ) else: key_states, value_states = past_key_value[0], past_key_value[1] kv_seq_len = key_states.shape[-2] attn_weights = ( torch.matmul(query_states, key_states.transpose(2, 3)) * self.softmax_scale ) if attn_weights.size() != (bsz, self.num_heads, q_len, kv_seq_len): raise ValueError( f"Attention weights should be of size {(bsz, self.num_heads, q_len, kv_seq_len)}, but is" f" {attn_weights.size()}" ) if attention_mask is not None: if attention_mask.size() != (bsz, 1, q_len, kv_seq_len): if attention_mask.shape[-1] >= kv_seq_len: attention_mask = attention_mask[:, :, :, -kv_seq_len:] else: attention_mask = None if attention_mask is not None: attn_weights = attn_weights + attention_mask # upcast attention to fp32 attn_weights = nn.functional.softmax( attn_weights, dim=-1, dtype=torch.float32 ).to(query_states.dtype) attn_weights = nn.functional.dropout( attn_weights, p=self.attention_dropout, training=self.training ) attn_output = torch.matmul(attn_weights, value_states) if attn_output.size() != (bsz, self.num_heads, q_len, self.v_head_dim): raise ValueError( f"`attn_output` should be of size {(bsz, self.num_heads, q_len, self.v_head_dim)}, but is" f" {attn_output.size()}" ) attn_output = attn_output.transpose(1, 2).contiguous() attn_output = attn_output.reshape(bsz, q_len, self.num_heads * self.v_head_dim) attn_output = self.o_proj(attn_output) if not output_attentions: attn_weights = None return attn_output, attn_weights, past_key_value # Copied from transformers.models.llama.modeling_llama.LlamaFlashAttention2 with Llama->DeepseekV2 class DeepseekV2FlashAttention2(DeepseekV2Attention): """ DeepseekV2 flash attention module. This module inherits from `DeepseekV2Attention` as the weights of the module stays untouched. The only required change would be on the forward pass where it needs to correctly call the public API of flash attention and deal with padding tokens in case the input contains any of them. """ def __init__(self, *args, **kwargs): super().__init__(*args, **kwargs) # TODO: Should be removed once Flash Attention for RoCm is bumped to 2.1. # flash_attn<2.1 generates top-left aligned causal mask, while what is needed here is bottom-right alignement, that was made default for flash_attn>=2.1. This attribute is used to handle this difference. Reference: https://github.com/Dao-AILab/flash-attention/releases/tag/v2.1.0. # Beware that with flash_attn<2.1, using q_seqlen != k_seqlen (except for the case q_seqlen == 1) produces a wrong mask (top-left). self._flash_attn_uses_top_left_mask = not is_flash_attn_greater_or_equal_2_10() def forward( self, hidden_states: torch.Tensor, attention_mask: Optional[torch.LongTensor] = None, position_ids: Optional[torch.LongTensor] = None, past_key_value: Optional[Cache] = None, output_attentions: bool = False, use_cache: bool = False, **kwargs, ) -> Tuple[torch.Tensor, Optional[torch.Tensor], Optional[Tuple[torch.Tensor]]]: # DeepseekV2FlashAttention2 attention does not support output_attentions if "padding_mask" in kwargs: warnings.warn( "Passing `padding_mask` is deprecated and will be removed in v4.37. Please make sure use `attention_mask` instead.`" ) # overwrite attention_mask with padding_mask attention_mask = kwargs.pop("padding_mask") output_attentions = False bsz, q_len, _ = hidden_states.size() if self.q_lora_rank is None: q = self.q_proj(hidden_states) else: q = self.q_b_proj(self.q_a_layernorm(self.q_a_proj(hidden_states))) q = q.view(bsz, q_len, self.num_heads, self.q_head_dim).transpose(1, 2) q_nope, q_pe = torch.split( q, [self.qk_nope_head_dim, self.qk_rope_head_dim], dim=-1 ) # Flash attention requires the input to have the shape # batch_size x seq_length x head_dim x hidden_dim # therefore we just need to keep the original shape compressed_kv = self.kv_a_proj_with_mqa(hidden_states) compressed_kv, k_pe = torch.split( compressed_kv, [self.kv_lora_rank, self.qk_rope_head_dim], dim=-1 ) k_pe = k_pe.view(bsz, q_len, 1, self.qk_rope_head_dim).transpose(1, 2) kv = ( self.kv_b_proj(self.kv_a_layernorm(compressed_kv)) .view(bsz, q_len, self.num_heads, self.qk_nope_head_dim + self.v_head_dim) .transpose(1, 2) ) k_nope, value_states = torch.split( kv, [self.qk_nope_head_dim, self.v_head_dim], dim=-1 ) kv_seq_len = value_states.shape[-2] kv_seq_len = value_states.shape[-2] if past_key_value is not None: kv_seq_len += past_key_value.get_usable_length(kv_seq_len, self.layer_idx) cos, sin = self.rotary_emb(value_states, seq_len=kv_seq_len) q_pe, k_pe = apply_rotary_pos_emb(q_pe, k_pe, cos, sin, position_ids) query_states = k_pe.new_empty(bsz, self.num_heads, q_len, self.q_head_dim) query_states[:, :, :, : self.qk_nope_head_dim] = q_nope query_states[:, :, :, self.qk_nope_head_dim :] = q_pe key_states = k_pe.new_empty(bsz, self.num_heads, q_len, self.q_head_dim) key_states[:, :, :, : self.qk_nope_head_dim] = k_nope key_states[:, :, :, self.qk_nope_head_dim :] = k_pe if self.q_head_dim != self.v_head_dim: value_states = F.pad(value_states, [0, self.q_head_dim - self.v_head_dim]) if past_key_value is not None: cache_kwargs = {"sin": sin, "cos": cos} # Specific to RoPE models key_states, value_states = past_key_value.update( key_states, value_states, self.layer_idx, cache_kwargs ) # TODO: These transpose are quite inefficient but Flash Attention requires the layout [batch_size, sequence_length, num_heads, head_dim]. We would need to refactor the KV cache # to be able to avoid many of these transpose/reshape/view. query_states = query_states.transpose(1, 2) key_states = key_states.transpose(1, 2) value_states = value_states.transpose(1, 2) dropout_rate = self.attention_dropout if self.training else 0.0 # In PEFT, usually we cast the layer norms in float32 for training stability reasons # therefore the input hidden states gets silently casted in float32. Hence, we need # cast them back in the correct dtype just to be sure everything works as expected. # This might slowdown training & inference so it is recommended to not cast the LayerNorms # in fp32. (DeepseekV2RMSNorm handles it correctly) input_dtype = query_states.dtype if input_dtype == torch.float32: # Handle the case where the model is quantized if hasattr(self.config, "_pre_quantization_dtype"): target_dtype = self.config._pre_quantization_dtype elif torch.is_autocast_enabled(): target_dtype = torch.get_autocast_gpu_dtype() else: target_dtype = ( self.q_proj.weight.dtype if self.q_lora_rank is None else self.q_a_proj.weight.dtype ) logger.warning_once( f"The input hidden states seems to be silently casted in float32, this might be related to" f" the fact you have upcasted embedding or layer norm layers in float32. We will cast back the input in" f" {target_dtype}." ) query_states = query_states.to(target_dtype) key_states = key_states.to(target_dtype) value_states = value_states.to(target_dtype) attn_output = self._flash_attention_forward( query_states, key_states, value_states, attention_mask, q_len, dropout=dropout_rate, softmax_scale=self.softmax_scale, ) if self.q_head_dim != self.v_head_dim: attn_output = attn_output[:, :, :, : self.v_head_dim] attn_output = attn_output.reshape( bsz, q_len, self.num_heads * self.v_head_dim ).contiguous() attn_output = self.o_proj(attn_output) if not output_attentions: attn_weights = None return attn_output, attn_weights, past_key_value def _flash_attention_forward( self, query_states, key_states, value_states, attention_mask, query_length, dropout=0.0, softmax_scale=None, ): """ Calls the forward method of Flash Attention - if the input hidden states contain at least one padding token first unpad the input, then computes the attention scores and pad the final attention scores. Args: query_states (`torch.Tensor`): Input query states to be passed to Flash Attention API key_states (`torch.Tensor`): Input key states to be passed to Flash Attention API value_states (`torch.Tensor`): Input value states to be passed to Flash Attention API attention_mask (`torch.Tensor`): The padding mask - corresponds to a tensor of size `(batch_size, seq_len)` where 0 stands for the position of padding tokens and 1 for the position of non-padding tokens. dropout (`int`, *optional*): Attention dropout softmax_scale (`float`, *optional*): The scaling of QK^T before applying softmax. Default to 1 / sqrt(head_dim) """ if not self._flash_attn_uses_top_left_mask: causal = self.is_causal else: # TODO: Remove the `query_length != 1` check once Flash Attention for RoCm is bumped to 2.1. For details, please see the comment in DeepseekV2FlashAttention2 __init__. causal = self.is_causal and query_length != 1 # Contains at least one padding token in the sequence if attention_mask is not None: batch_size = query_states.shape[0] ( query_states, key_states, value_states, indices_q, cu_seq_lens, max_seq_lens, ) = self._upad_input( query_states, key_states, value_states, attention_mask, query_length ) cu_seqlens_q, cu_seqlens_k = cu_seq_lens max_seqlen_in_batch_q, max_seqlen_in_batch_k = max_seq_lens attn_output_unpad = flash_attn_varlen_func( query_states, key_states, value_states, cu_seqlens_q=cu_seqlens_q, cu_seqlens_k=cu_seqlens_k, max_seqlen_q=max_seqlen_in_batch_q, max_seqlen_k=max_seqlen_in_batch_k, dropout_p=dropout, softmax_scale=softmax_scale, causal=causal, ) attn_output = pad_input( attn_output_unpad, indices_q, batch_size, query_length ) else: attn_output = flash_attn_func( query_states, key_states, value_states, dropout, softmax_scale=softmax_scale, causal=causal, ) return attn_output def _upad_input( self, query_layer, key_layer, value_layer, attention_mask, query_length ): indices_k, cu_seqlens_k, max_seqlen_in_batch_k = _get_unpad_data(attention_mask) batch_size, kv_seq_len, num_key_value_heads, head_dim = key_layer.shape key_layer = index_first_axis( key_layer.reshape(batch_size * kv_seq_len, num_key_value_heads, head_dim), indices_k, ) value_layer = index_first_axis( value_layer.reshape(batch_size * kv_seq_len, num_key_value_heads, head_dim), indices_k, ) if query_length == kv_seq_len: query_layer = index_first_axis( query_layer.reshape(batch_size * kv_seq_len, self.num_heads, head_dim), indices_k, ) cu_seqlens_q = cu_seqlens_k max_seqlen_in_batch_q = max_seqlen_in_batch_k indices_q = indices_k elif query_length == 1: max_seqlen_in_batch_q = 1 cu_seqlens_q = torch.arange( batch_size + 1, dtype=torch.int32, device=query_layer.device ) # There is a memcpy here, that is very bad. indices_q = cu_seqlens_q[:-1] query_layer = query_layer.squeeze(1) else: # The -q_len: slice assumes left padding. attention_mask = attention_mask[:, -query_length:] query_layer, indices_q, cu_seqlens_q, max_seqlen_in_batch_q = unpad_input( query_layer, attention_mask ) return ( query_layer, key_layer, value_layer, indices_q, (cu_seqlens_q, cu_seqlens_k), (max_seqlen_in_batch_q, max_seqlen_in_batch_k), ) ATTENTION_CLASSES = { "eager": DeepseekV2Attention, "flash_attention_2": DeepseekV2FlashAttention2, } class DeepseekV2DecoderLayer(nn.Module): def __init__(self, config: IsomDeepseekCoderV2Config, layer_idx: int): super().__init__() self.hidden_size = config.hidden_size self.self_attn = ATTENTION_CLASSES[config._attn_implementation]( config=config, layer_idx=layer_idx ) self.mlp = ( DeepseekV2MoE(config) if ( config.n_routed_experts is not None and layer_idx >= config.first_k_dense_replace and layer_idx % config.moe_layer_freq == 0 ) else DeepseekV2MLP(config) ) self.input_layernorm = DeepseekV2RMSNorm( config.hidden_size, eps=config.rms_norm_eps ) self.post_attention_layernorm = DeepseekV2RMSNorm( config.hidden_size, eps=config.rms_norm_eps ) def forward( self, hidden_states: torch.Tensor, attention_mask: Optional[torch.Tensor] = None, position_ids: Optional[torch.LongTensor] = None, past_key_value: Optional[Tuple[torch.Tensor]] = None, output_attentions: Optional[bool] = False, use_cache: Optional[bool] = False, **kwargs, ) -> Tuple[ torch.FloatTensor, Optional[Tuple[torch.FloatTensor, torch.FloatTensor]] ]: """ Args: hidden_states (`torch.FloatTensor`): input to the layer of shape `(batch, seq_len, embed_dim)` attention_mask (`torch.FloatTensor`, *optional*): attention mask of size `(batch_size, sequence_length)` if flash attention is used or `(batch_size, 1, query_sequence_length, key_sequence_length)` if default attention is used. output_attentions (`bool`, *optional*): Whether or not to return the attentions tensors of all attention layers. See `attentions` under returned tensors for more detail. use_cache (`bool`, *optional*): If set to `True`, `past_key_values` key value states are returned and can be used to speed up decoding (see `past_key_values`). past_key_value (`Tuple(torch.FloatTensor)`, *optional*): cached past key and value projection states """ if "padding_mask" in kwargs: warnings.warn( "Passing `padding_mask` is deprecated and will be removed in v4.37. Please make sure use `attention_mask` instead.`" ) residual = hidden_states hidden_states = self.input_layernorm(hidden_states) # Self Attention hidden_states, self_attn_weights, present_key_value = self.self_attn( hidden_states=hidden_states, attention_mask=attention_mask, position_ids=position_ids, past_key_value=past_key_value, output_attentions=output_attentions, use_cache=use_cache, **kwargs, ) hidden_states = residual + hidden_states # Fully Connected residual = hidden_states hidden_states = self.post_attention_layernorm(hidden_states) hidden_states = self.mlp(hidden_states) hidden_states = residual + hidden_states outputs = (hidden_states,) if output_attentions: outputs += (self_attn_weights,) if use_cache: outputs += (present_key_value,) return outputs DeepseekV2_START_DOCSTRING = r""" This model inherits from [`PreTrainedModel`]. Check the superclass documentation for the generic methods the library implements for all its model (such as downloading or saving, resizing the input embeddings, pruning heads etc.) This model is also a PyTorch [torch.nn.Module](https://pytorch.org/docs/stable/nn.html#torch.nn.Module) subclass. Use it as a regular PyTorch Module and refer to the PyTorch documentation for all matter related to general usage and behavior. Parameters: config ([`IsomDeepseekCoderV2Config`]): Model configuration class with all the parameters of the model. Initializing with a config file does not load the weights associated with the model, only the configuration. Check out the [`~PreTrainedModel.from_pretrained`] method to load the model weights. """ @add_start_docstrings( "The bare DeepseekV2 Model outputting raw hidden-states without any specific head on top.", DeepseekV2_START_DOCSTRING, ) class DeepseekV2PreTrainedModel(PreTrainedModel): config_class = IsomDeepseekCoderV2Config base_model_prefix = "model" supports_gradient_checkpointing = True _no_split_modules = ["DeepseekV2DecoderLayer"] _skip_keys_device_placement = "past_key_values" _supports_flash_attn_2 = True _supports_cache_class = True def _init_weights(self, module): std = self.config.initializer_range if isinstance(module, nn.Linear): module.weight.data.normal_(mean=0.0, std=std) if module.bias is not None: module.bias.data.zero_() elif isinstance(module, nn.Embedding): module.weight.data.normal_(mean=0.0, std=std) if module.padding_idx is not None: module.weight.data[module.padding_idx].zero_() DeepseekV2_INPUTS_DOCSTRING = r""" Args: input_ids (`torch.LongTensor` of shape `(batch_size, sequence_length)`): Indices of input sequence tokens in the vocabulary. Padding will be ignored by default should you provide it. Indices can be obtained using [`AutoTokenizer`]. See [`PreTrainedTokenizer.encode`] and [`PreTrainedTokenizer.__call__`] for details. [What are input IDs?](../glossary#input-ids) attention_mask (`torch.Tensor` of shape `(batch_size, sequence_length)`, *optional*): Mask to avoid performing attention on padding token indices. Mask values selected in `[0, 1]`: - 1 for tokens that are **not masked**, - 0 for tokens that are **masked**. [What are attention masks?](../glossary#attention-mask) Indices can be obtained using [`AutoTokenizer`]. See [`PreTrainedTokenizer.encode`] and [`PreTrainedTokenizer.__call__`] for details. If `past_key_values` is used, optionally only the last `input_ids` have to be input (see `past_key_values`). If you want to change padding behavior, you should read [`modeling_opt._prepare_decoder_attention_mask`] and modify to your needs. See diagram 1 in [the paper](https://arxiv.org/abs/1910.13461) for more information on the default strategy. - 1 indicates the head is **not masked**, - 0 indicates the head is **masked**. position_ids (`torch.LongTensor` of shape `(batch_size, sequence_length)`, *optional*): Indices of positions of each input sequence tokens in the position embeddings. Selected in the range `[0, config.n_positions - 1]`. [What are position IDs?](../glossary#position-ids) past_key_values (`Cache` or `tuple(tuple(torch.FloatTensor))`, *optional*): Pre-computed hidden-states (key and values in the self-attention blocks and in the cross-attention blocks) that can be used to speed up sequential decoding. This typically consists in the `past_key_values` returned by the model at a previous stage of decoding, when `use_cache=True` or `config.use_cache=True`. Two formats are allowed: - a [`~cache_utils.Cache`] instance; - Tuple of `tuple(torch.FloatTensor)` of length `config.n_layers`, with each tuple having 2 tensors of shape `(batch_size, num_heads, sequence_length, embed_size_per_head)`). This is also known as the legacy cache format. The model will output the same cache format that is fed as input. If no `past_key_values` are passed, the legacy cache format will be returned. If `past_key_values` are used, the user can optionally input only the last `input_ids` (those that don't have their past key value states given to this model) of shape `(batch_size, 1)` instead of all `input_ids` of shape `(batch_size, sequence_length)`. inputs_embeds (`torch.FloatTensor` of shape `(batch_size, sequence_length, hidden_size)`, *optional*): Optionally, instead of passing `input_ids` you can choose to directly pass an embedded representation. This is useful if you want more control over how to convert `input_ids` indices into associated vectors than the model's internal embedding lookup matrix. use_cache (`bool`, *optional*): If set to `True`, `past_key_values` key value states are returned and can be used to speed up decoding (see `past_key_values`). output_attentions (`bool`, *optional*): Whether or not to return the attentions tensors of all attention layers. See `attentions` under returned tensors for more detail. output_hidden_states (`bool`, *optional*): Whether or not to return the hidden states of all layers. See `hidden_states` under returned tensors for more detail. return_dict (`bool`, *optional*): Whether or not to return a [`~utils.ModelOutput`] instead of a plain tuple. """ @add_start_docstrings( "The bare DeepseekV2 Model outputting raw hidden-states without any specific head on top.", DeepseekV2_START_DOCSTRING, ) class IsomDeepseekCoderV2Model(DeepseekV2PreTrainedModel): """ Transformer decoder consisting of *config.num_hidden_layers* layers. Each layer is a [`DeepseekV2DecoderLayer`] Args: config: IsomDeepseekCoderV2Config """ def __init__(self, config: IsomDeepseekCoderV2Config): super().__init__(config) self.padding_idx = config.pad_token_id self.vocab_size = config.vocab_size self.embed_tokens = nn.Embedding( config.vocab_size, config.hidden_size, self.padding_idx ) self.layers = nn.ModuleList( [ DeepseekV2DecoderLayer(config, layer_idx) for layer_idx in range(config.num_hidden_layers) ] ) self._use_flash_attention_2 = config._attn_implementation == "flash_attention_2" self.norm = DeepseekV2RMSNorm(config.hidden_size, eps=config.rms_norm_eps) self.gradient_checkpointing = False # Initialize weights and apply final processing self.post_init() def get_input_embeddings(self): return self.embed_tokens def set_input_embeddings(self, value): self.embed_tokens = value @add_start_docstrings_to_model_forward(DeepseekV2_INPUTS_DOCSTRING) def forward( self, input_ids: torch.LongTensor = None, attention_mask: Optional[torch.Tensor] = None, position_ids: Optional[torch.LongTensor] = None, past_key_values: Optional[List[torch.FloatTensor]] = None, inputs_embeds: Optional[torch.FloatTensor] = None, use_cache: Optional[bool] = None, output_attentions: Optional[bool] = None, output_hidden_states: Optional[bool] = None, return_dict: Optional[bool] = None, ) -> Union[Tuple, BaseModelOutputWithPast]: output_attentions = ( output_attentions if output_attentions is not None else self.config.output_attentions ) output_hidden_states = ( output_hidden_states if output_hidden_states is not None else self.config.output_hidden_states ) use_cache = use_cache if use_cache is not None else self.config.use_cache return_dict = ( return_dict if return_dict is not None else self.config.use_return_dict ) # retrieve input_ids and inputs_embeds if input_ids is not None and inputs_embeds is not None: raise ValueError( "You cannot specify both input_ids and inputs_embeds at the same time" ) elif input_ids is not None: batch_size, seq_length = input_ids.shape[:2] elif inputs_embeds is not None: batch_size, seq_length = inputs_embeds.shape[:2] else: raise ValueError("You have to specify either input_ids or inputs_embeds") if self.gradient_checkpointing and self.training: if use_cache: logger.warning_once( "`use_cache=True` is incompatible with gradient checkpointing. Setting `use_cache=False`transformers." ) use_cache = False past_key_values_length = 0 if use_cache: use_legacy_cache = not isinstance(past_key_values, Cache) if use_legacy_cache: past_key_values = DynamicCache.from_legacy_cache(past_key_values) past_key_values_length = past_key_values.get_usable_length(seq_length) if position_ids is None: device = input_ids.device if input_ids is not None else inputs_embeds.device position_ids = torch.arange( past_key_values_length, seq_length + past_key_values_length, dtype=torch.long, device=device, ) position_ids = position_ids.unsqueeze(0) if inputs_embeds is None: inputs_embeds = self.embed_tokens(input_ids) if self._use_flash_attention_2: # 2d mask is passed through the layers attention_mask = ( attention_mask if (attention_mask is not None and 0 in attention_mask) else None ) else: # 4d mask is passed through the layers attention_mask = _prepare_4d_causal_attention_mask( attention_mask, (batch_size, seq_length), inputs_embeds, past_key_values_length, ) # embed positions hidden_states = inputs_embeds # decoder layers all_hidden_states = () if output_hidden_states else None all_self_attns = () if output_attentions else None next_decoder_cache = None for decoder_layer in self.layers: if output_hidden_states: all_hidden_states += (hidden_states,) if self.gradient_checkpointing and self.training: layer_outputs = self._gradient_checkpointing_func( decoder_layer.__call__, hidden_states, attention_mask, position_ids, past_key_values, output_attentions, use_cache, ) else: layer_outputs = decoder_layer( hidden_states, attention_mask=attention_mask, position_ids=position_ids, past_key_value=past_key_values, output_attentions=output_attentions, use_cache=use_cache, ) hidden_states = layer_outputs[0] if use_cache: next_decoder_cache = layer_outputs[2 if output_attentions else 1] if output_attentions: all_self_attns += (layer_outputs[1],) hidden_states = self.norm(hidden_states) # add hidden states from the last decoder layer if output_hidden_states: all_hidden_states += (hidden_states,) next_cache = None if use_cache: next_cache = ( next_decoder_cache.to_legacy_cache() if use_legacy_cache else next_decoder_cache ) if not return_dict: return tuple( v for v in [hidden_states, next_cache, all_hidden_states, all_self_attns] if v is not None ) return BaseModelOutputWithPast( last_hidden_state=hidden_states, past_key_values=next_cache, hidden_states=all_hidden_states, attentions=all_self_attns, ) class IsomDeepseekCoderV2ForCausalLM(DeepseekV2PreTrainedModel): _tied_weights_keys = ["lm_head.weight"] def __init__(self, config): super().__init__(config) self.model = IsomDeepseekCoderV2Model(config) self.vocab_size = config.vocab_size self.lm_head = nn.Linear(config.hidden_size, config.vocab_size, bias=False) # Initialize weights and apply final processing self.post_init() def get_input_embeddings(self): return self.model.embed_tokens def set_input_embeddings(self, value): self.model.embed_tokens = value def get_output_embeddings(self): return self.lm_head def set_output_embeddings(self, new_embeddings): self.lm_head = new_embeddings def set_decoder(self, decoder): self.model = decoder def get_decoder(self): return self.model @add_start_docstrings_to_model_forward(DeepseekV2_INPUTS_DOCSTRING) @replace_return_docstrings( output_type=CausalLMOutputWithPast, config_class=_CONFIG_FOR_DOC ) def forward( self, input_ids: torch.LongTensor = None, attention_mask: Optional[torch.Tensor] = None, position_ids: Optional[torch.LongTensor] = None, past_key_values: Optional[List[torch.FloatTensor]] = None, inputs_embeds: Optional[torch.FloatTensor] = None, labels: Optional[torch.LongTensor] = None, use_cache: Optional[bool] = None, output_attentions: Optional[bool] = None, output_hidden_states: Optional[bool] = None, return_dict: Optional[bool] = None, ) -> Union[Tuple, CausalLMOutputWithPast]: r""" Args: labels (`torch.LongTensor` of shape `(batch_size, sequence_length)`, *optional*): Labels for computing the masked language modeling loss. Indices should either be in `[0, transformers., config.vocab_size]` or -100 (see `input_ids` docstring). Tokens with indices set to `-100` are ignored (masked), the loss is only computed for the tokens with labels in `[0, transformers., config.vocab_size]`. Returns: Example: ```python >>> from transformers import AutoTokenizer, DeepseekV2ForCausalLM >>> model = DeepseekV2ForCausalLM.from_pretrained(PATH_TO_CONVERTED_WEIGHTS) >>> tokenizer = AutoTokenizer.from_pretrained(PATH_TO_CONVERTED_TOKENIZER) >>> prompt = "Hey, are you conscious? Can you talk to me?" >>> inputs = tokenizer(prompt, return_tensors="pt") >>> # Generate >>> generate_ids = model.generate(inputs.input_ids, max_length=30) >>> tokenizer.batch_decode(generate_ids, skip_special_tokens=True, clean_up_tokenization_spaces=False)[0] "Hey, are you conscious? Can you talk to me?\nI'm not conscious, but I can talk to you." ```""" output_attentions = ( output_attentions if output_attentions is not None else self.config.output_attentions ) output_hidden_states = ( output_hidden_states if output_hidden_states is not None else self.config.output_hidden_states ) return_dict = ( return_dict if return_dict is not None else self.config.use_return_dict ) # decoder outputs consists of (dec_features, layer_state, dec_hidden, dec_attn) outputs = self.model( input_ids=input_ids, attention_mask=attention_mask, position_ids=position_ids, past_key_values=past_key_values, inputs_embeds=inputs_embeds, use_cache=use_cache, output_attentions=output_attentions, output_hidden_states=output_hidden_states, return_dict=return_dict, ) hidden_states = outputs[0] logits = self.lm_head(hidden_states) logits = logits.float() loss = None if labels is not None: # Shift so that tokens < n predict n shift_logits = logits[..., :-1, :].contiguous() shift_labels = labels[..., 1:].contiguous() # Flatten the tokens loss_fct = CrossEntropyLoss() shift_logits = shift_logits.view(-1, self.config.vocab_size) shift_labels = shift_labels.view(-1) # Enable model parallelism shift_labels = shift_labels.to(shift_logits.device) loss = loss_fct(shift_logits, shift_labels) if not return_dict: output = (logits,) + outputs[1:] return (loss,) + output if loss is not None else output return CausalLMOutputWithPast( loss=loss, logits=logits, past_key_values=outputs.past_key_values, hidden_states=outputs.hidden_states, attentions=outputs.attentions, ) def prepare_inputs_for_generation( self, input_ids, past_key_values=None, attention_mask=None, inputs_embeds=None, **kwargs, ): if past_key_values is not None: if isinstance(past_key_values, Cache): cache_length = past_key_values.get_seq_length() past_length = past_key_values.seen_tokens max_cache_length = past_key_values.get_max_length() else: cache_length = past_length = past_key_values[0][0].shape[2] max_cache_length = None # Keep only the unprocessed tokens: # 1 - If the length of the attention_mask exceeds the length of input_ids, then we are in a setting where # some of the inputs are exclusivelly passed as part of the cache (e.g. when passing input_embeds as # input) if ( attention_mask is not None and attention_mask.shape[1] > input_ids.shape[1] ): input_ids = input_ids[:, -(attention_mask.shape[1] - past_length) :] # 2 - If the past_length is smaller than input_ids', then input_ids holds all input tokens. We can discard # input_ids based on the past_length. elif past_length < input_ids.shape[1]: input_ids = input_ids[:, past_length:] # 3 - Otherwise (past_length >= input_ids.shape[1]), let's assume input_ids only has unprocessed tokens. # If we are about to go beyond the maximum cache length, we need to crop the input attention mask. if ( max_cache_length is not None and attention_mask is not None and cache_length + input_ids.shape[1] > max_cache_length ): attention_mask = attention_mask[:, -max_cache_length:] position_ids = kwargs.get("position_ids", None) if attention_mask is not None and position_ids is None: # create position_ids on the fly for batch generation position_ids = attention_mask.long().cumsum(-1) - 1 position_ids.masked_fill_(attention_mask == 0, 1) if past_key_values: position_ids = position_ids[:, -input_ids.shape[1] :] # if `inputs_embeds` are passed, we only want to use them in the 1st generation step if inputs_embeds is not None and past_key_values is None: model_inputs = {"inputs_embeds": inputs_embeds} else: model_inputs = {"input_ids": input_ids} model_inputs.update( { "position_ids": position_ids, "past_key_values": past_key_values, "use_cache": kwargs.get("use_cache"), "attention_mask": attention_mask, } ) return model_inputs @staticmethod def _reorder_cache(past_key_values, beam_idx): reordered_past = () for layer_past in past_key_values: reordered_past += ( tuple( past_state.index_select(0, beam_idx.to(past_state.device)) for past_state in layer_past ), ) return reordered_past @torch.no_grad() def generate( self, inputs: Optional[torch.Tensor] = None, max_new_tokens: Optional[int] = None, max_length: Optional[int] = None, do_sample: bool = False, temperature: float = 1.0, top_p: float = 1.0, top_k: int = 50, pad_token_id: Optional[int] = None, eos_token_id: Optional[Union[int, List[int]]] = None, past_key_values: Optional[Any] = None, **kwargs, ): """ High-throughput causal generation with Bounded ISOM State Cache for DeepSeek-Coder-V2 MLA. Maintains constant bounded working memory across long reasoning traces. """ input_tensor = inputs if inputs is not None else kwargs.get("input_ids", None) use_isom = getattr(self.config, "use_isom_cache", True) if input_tensor is None or not use_isom: if inputs is not None: return super().generate(inputs=inputs, **kwargs) return super().generate(**kwargs) if max_new_tokens is None: max_new_tokens = kwargs.get("max_new_tokens", None) if max_new_tokens is None: if max_length is not None: max_new_tokens = max(1, max_length - input_tensor.shape[-1]) elif "max_length" in kwargs and kwargs["max_length"] is not None: max_new_tokens = max(1, kwargs["max_length"] - input_tensor.shape[-1]) else: max_new_tokens = 64 if max_new_tokens <= 0: return input_tensor do_sample = kwargs.get("do_sample", do_sample) temperature = kwargs.get("temperature", temperature) top_p = kwargs.get("top_p", top_p) top_k = kwargs.get("top_k", top_k) if pad_token_id is None: pad_token_id = kwargs.get("pad_token_id", getattr(self.config, "pad_token_id", 100000)) if eos_token_id is None: eos_token_id = kwargs.get("eos_token_id", getattr(self.config, "eos_token_id", 100001)) if isinstance(eos_token_id, int): eos_token_ids = [eos_token_id] elif eos_token_id is not None: eos_token_ids = list(eos_token_id) else: eos_token_ids = [100001] batch_size, cur_len = input_tensor.shape device = input_tensor.device # Initialize Bounded ISOM Cache if past_key_values is None or not isinstance(past_key_values, IsomStateCache): budget = getattr(self.config, "isom_budget", 16384) past_key_values = IsomStateCache( max_budget=budget, slack_tokens=getattr(self.config, "isom_slack_tokens", 512), quantize_int8=getattr(self.config, "dynamic_int8", True), ) # Prefill phase outputs = self( input_ids=input_tensor, past_key_values=past_key_values, use_cache=True, return_dict=True, ) next_token_logits = outputs.logits[:, -1, :] if do_sample and temperature > 0: probs = torch.softmax(next_token_logits / temperature, dim=-1) next_tokens = torch.multinomial(probs, num_samples=1) else: next_tokens = torch.argmax(next_token_logits, dim=-1, keepdim=True) generated_ids = [input_tensor, next_tokens] finished = torch.zeros(batch_size, dtype=torch.bool, device=device) for eid in eos_token_ids: finished |= (next_tokens.squeeze(-1) == eid) # Autoregressive decoding phase for step in range(max_new_tokens - 1): if finished.all(): break outputs = self( input_ids=next_tokens, past_key_values=past_key_values, use_cache=True, return_dict=True, ) next_token_logits = outputs.logits[:, -1, :] if do_sample and temperature > 0: probs = torch.softmax(next_token_logits / temperature, dim=-1) next_tokens = torch.multinomial(probs, num_samples=1) else: next_tokens = torch.argmax(next_token_logits, dim=-1, keepdim=True) for eid in eos_token_ids: finished |= (next_tokens.squeeze(-1) == eid) generated_ids.append(next_tokens) return torch.cat(generated_ids, dim=-1) @add_start_docstrings( """ The DeepseekV2 Model transformer with a sequence classification head on top (linear layer). [`DeepseekV2ForSequenceClassification`] uses the last token in order to do the classification, as other causal models (e.g. GPT-2) do. Since it does classification on the last token, it requires to know the position of the last token. If a `pad_token_id` is defined in the configuration, it finds the last token that is not a padding token in each row. If no `pad_token_id` is defined, it simply takes the last value in each row of the batch. Since it cannot guess the padding tokens when `inputs_embeds` are passed instead of `input_ids`, it does the same (take the last value in each row of the batch). """, DeepseekV2_START_DOCSTRING, ) class DeepseekV2ForSequenceClassification(DeepseekV2PreTrainedModel): def __init__(self, config): super().__init__(config) self.num_labels = config.num_labels self.model = IsomDeepseekCoderV2Model(config) self.score = nn.Linear(config.hidden_size, self.num_labels, bias=False) # Initialize weights and apply final processing self.post_init() def get_input_embeddings(self): return self.model.embed_tokens def set_input_embeddings(self, value): self.model.embed_tokens = value @add_start_docstrings_to_model_forward(DeepseekV2_INPUTS_DOCSTRING) def forward( self, input_ids: torch.LongTensor = None, attention_mask: Optional[torch.Tensor] = None, position_ids: Optional[torch.LongTensor] = None, past_key_values: Optional[List[torch.FloatTensor]] = None, inputs_embeds: Optional[torch.FloatTensor] = None, labels: Optional[torch.LongTensor] = None, use_cache: Optional[bool] = None, output_attentions: Optional[bool] = None, output_hidden_states: Optional[bool] = None, return_dict: Optional[bool] = None, ) -> Union[Tuple, SequenceClassifierOutputWithPast]: r""" labels (`torch.LongTensor` of shape `(batch_size,)`, *optional*): Labels for computing the sequence classification/regression loss. Indices should be in `[0, transformers., config.num_labels - 1]`. If `config.num_labels == 1` a regression loss is computed (Mean-Square loss), If `config.num_labels > 1` a classification loss is computed (Cross-Entropy). """ return_dict = ( return_dict if return_dict is not None else self.config.use_return_dict ) transformer_outputs = self.model( input_ids, attention_mask=attention_mask, position_ids=position_ids, past_key_values=past_key_values, inputs_embeds=inputs_embeds, use_cache=use_cache, output_attentions=output_attentions, output_hidden_states=output_hidden_states, return_dict=return_dict, ) hidden_states = transformer_outputs[0] logits = self.score(hidden_states) if input_ids is not None: batch_size = input_ids.shape[0] else: batch_size = inputs_embeds.shape[0] if self.config.pad_token_id is None and batch_size != 1: raise ValueError( "Cannot handle batch sizes > 1 if no padding token is defined." ) if self.config.pad_token_id is None: sequence_lengths = -1 else: if input_ids is not None: sequence_lengths = ( torch.eq(input_ids, self.config.pad_token_id).int().argmax(-1) - 1 ).to(logits.device) else: sequence_lengths = -1 pooled_logits = logits[ torch.arange(batch_size, device=logits.device), sequence_lengths ] loss = None if labels is not None: labels = labels.to(logits.device) if self.config.problem_type is None: if self.num_labels == 1: self.config.problem_type = "regression" elif self.num_labels > 1 and ( labels.dtype == torch.long or labels.dtype == torch.int ): self.config.problem_type = "single_label_classification" else: self.config.problem_type = "multi_label_classification" if self.config.problem_type == "regression": loss_fct = MSELoss() if self.num_labels == 1: loss = loss_fct(pooled_logits.squeeze(), labels.squeeze()) else: loss = loss_fct(pooled_logits, labels) elif self.config.problem_type == "single_label_classification": loss_fct = CrossEntropyLoss() loss = loss_fct( pooled_logits.view(-1, self.num_labels), labels.view(-1) ) elif self.config.problem_type == "multi_label_classification": loss_fct = BCEWithLogitsLoss() loss = loss_fct(pooled_logits, labels) if not return_dict: output = (pooled_logits,) + transformer_outputs[1:] return ((loss,) + output) if loss is not None else output return SequenceClassifierOutputWithPast( loss=loss, logits=pooled_logits, past_key_values=transformer_outputs.past_key_values, hidden_states=transformer_outputs.hidden_states, attentions=transformer_outputs.attentions, )