Minimind/model/model_memory.py

import math
import struct
import inspect
import time

from .LMConfig import LMConfig
from typing import Any, Optional, Tuple, List, Union
import numpy as np
import torch
import torch.nn.functional as F
from torch import nn
from transformers import PreTrainedModel
from transformers.modeling_outputs import CausalLMOutputWithPast


class RMSNorm(torch.nn.Module):
    def __init__(self, dim: int, eps: float = 1e-6):
        super().__init__()
        self.eps = eps
        self.weight = nn.Parameter(torch.ones(dim))

    def _norm(self, x):
        return x * torch.rsqrt(x.pow(2).mean(-1, keepdim=True) + self.eps)

    def forward(self, x):
        return self.weight * self._norm(x.float()).type_as(x)


def precompute_pos_cis(dim: int, end: int = int(32 * 1024), theta: float = 1e6):
    freqs = 1.0 / (theta ** (torch.arange(0, dim, 2)[: (dim // 2)].float() / dim))
    t = torch.arange(end, device=freqs.device)  # type: ignore
    freqs = torch.outer(t, freqs).float()  # type: ignore
    pos_cis = torch.polar(torch.ones_like(freqs), freqs)  # complex64
    return pos_cis


def apply_rotary_emb(xq, xk, pos_cis):
    def unite_shape(pos_cis, x):
        ndim = x.ndim
        assert 0 <= 1 < ndim
        assert pos_cis.shape == (x.shape[1], x.shape[-1])
        shape = [d if i == 1 or i == ndim - 1 else 1 for i, d in enumerate(x.shape)]
        return pos_cis.view(*shape)

    xq_ = torch.view_as_complex(xq.float().reshape(*xq.shape[:-1], -1, 2))
    xk_ = torch.view_as_complex(xk.float().reshape(*xk.shape[:-1], -1, 2))
    pos_cis = unite_shape(pos_cis, xq_)
    xq_out = torch.view_as_real(xq_ * pos_cis).flatten(3)
    xk_out = torch.view_as_real(xk_ * pos_cis).flatten(3)
    return xq_out.type_as(xq), xk_out.type_as(xk)


def repeat_kv(x: torch.Tensor, n_rep: int) -> torch.Tensor:
    """torch.repeat_interleave(x, dim=2, repeats=n_rep)"""
    bs, slen, n_kv_heads, head_dim = x.shape
    if n_rep == 1:
        return x
    return (
        x[:, :, :, None, :]
        .expand(bs, slen, n_kv_heads, n_rep, head_dim)
        .reshape(bs, slen, n_kv_heads * n_rep, head_dim)
    )


class Attention(nn.Module):
    """Self attention module without KV cache"""
    def __init__(self, args: LMConfig):
        super().__init__()
        self.n_kv_heads = args.n_heads if args.n_kv_heads is None else args.n_kv_heads
        assert args.n_heads % self.n_kv_heads == 0
        self.n_local_heads = args.n_heads
        self.n_local_kv_heads = self.n_kv_heads
        self.n_rep = self.n_local_heads // self.n_local_kv_heads
        self.head_dim = args.dim // args.n_heads
        self.wq = nn.Linear(args.dim, args.n_heads * self.head_dim, bias=False)
        self.wk = nn.Linear(args.dim, self.n_kv_heads * self.head_dim, bias=False)
        self.wv = nn.Linear(args.dim, self.n_kv_heads * self.head_dim, bias=False)
        self.wo = nn.Linear(args.n_heads * self.head_dim, args.dim, bias=False)
        self.attn_dropout = nn.Dropout(args.dropout)
        self.resid_dropout = nn.Dropout(args.dropout)
        self.dropout = args.dropout
        self.flash = hasattr(torch.nn.functional, 'scaled_dot_product_attention') and args.flash_attn
        # print("WARNING: using slow attention. Flash Attention requires PyTorch >= 2.0")
        mask = torch.full((1, 1, args.max_seq_len, args.max_seq_len), float("-inf"))
        mask = torch.triu(mask, diagonal=1)
        self.register_buffer("mask", mask, persistent=False)

    def forward(self, x: torch.Tensor, pos_cis: torch.Tensor):
        """Forward pass without KV cache"""
        bsz, seq_len, _ = x.shape
        xq, xk, xv = self.wq(x), self.wk(x), self.wv(x)
        xq = xq.view(bsz, seq_len, self.n_local_heads, self.head_dim)
        xk = xk.view(bsz, seq_len, self.n_local_kv_heads, self.head_dim)
        xv = xv.view(bsz, seq_len, self.n_local_kv_heads, self.head_dim)

        xq, xk = apply_rotary_emb(xq, xk, pos_cis)
        
        # 注意：完全去除了KV cache相关代码
        
        xq, xk, xv = (
            xq.transpose(1, 2),
            repeat_kv(xk, self.n_rep).transpose(1, 2),
            repeat_kv(xv, self.n_rep).transpose(1, 2)
        )
        if self.flash and seq_len != 1:
            dropout_p = self.dropout if self.training else 0.0
            output = F.scaled_dot_product_attention(
                xq, xk, xv,
                attn_mask=None,
                dropout_p=dropout_p,
                is_causal=True
            )
        else:
            scores = (xq @ xk.transpose(-2, -1)) / math.sqrt(self.head_dim)
            scores += self.mask[:, :, :seq_len, :seq_len]
            scores = F.softmax(scores.float(), dim=-1).type_as(xq)
            scores = self.attn_dropout(scores)
            output = scores @ xv

        output = output.transpose(1, 2).reshape(bsz, seq_len, -1)
        output = self.resid_dropout(self.wo(output))
        return output


class MemoryGate(nn.Module):
    """Product Key Memory-based gate mechanism for memory selection"""
    def __init__(self, config: LMConfig):
        super().__init__()
        self.config = config
        self.dim = config.dim
        self.knowledge_num = config.knowledge_num
        self.knowledge_dim = config.knowledge_dim
        self.num_selected = getattr(config, 'num_selected', 16)
        
        # 确保知识库数量是完全平方数
        assert int(self.knowledge_num ** 0.5) ** 2 == self.knowledge_num, \
            f"knowledge_num ({self.knowledge_num}) must be a perfect square for product key memory"
        
        self.num_keys = int(self.knowledge_num ** 0.5)
        
        # 查询投影：将输入维度映射到knowledge_dim * 2（用于两个product key）
        self.gate_proj = nn.Linear(self.dim, self.knowledge_dim, bias=False)
        
        # Product Key Memory: 两个独立的键集合
        self.keys = nn.Parameter(torch.randn(2, self.num_keys, self.knowledge_dim // 2))
        
        self.dropout = nn.Dropout(config.dropout)
        
    def forward(self, x: torch.Tensor):
        """
        Args:
            x: [batch_size, seq_len, dim]
        Returns:
            memory_indices: [batch_size, seq_len, num_selected]
            memory_scores: [batch_size, seq_len, num_selected]
            balance_loss: 平衡损失（KL散度 + 基尼系数）
            stats: 监控统计信息字典
        """
        bsz, seq_len, _ = x.shape
        
        # 生成查询向量
        queries = self.gate_proj(x)  # [batch, seq_len, knowledge_dim]
        
        # 分割为两部分用于product key
        q1 = queries[:, :, :self.knowledge_dim // 2]  # [batch, seq_len, knowledge_dim // 2]
        q2 = queries[:, :, self.knowledge_dim // 2:]  # [batch, seq_len, knowledge_dim // 2]
        
        # 计算与两个键集合的相似度
        scores_1 = torch.einsum('bsd,kd->bsk', q1, self.keys[0])  # [batch, seq_len, num_keys]
        scores_2 = torch.einsum('bsd,kd->bsk', q2, self.keys[1])  # [batch, seq_len, num_keys]
        
        # 获取top-k
        topk_scores_1, topk_indices_1 = scores_1.topk(self.num_selected, dim=-1)
        topk_scores_2, topk_indices_2 = scores_2.topk(self.num_selected, dim=-1)
        
        # 组合product key的结果
        combined_scores = topk_scores_1.unsqueeze(-1) + topk_scores_2.unsqueeze(-2)  # [batch, seq_len, num_selected, num_selected]
        combined_indices = topk_indices_1.unsqueeze(-1) * self.num_keys + topk_indices_2.unsqueeze(-2)  # [batch, seq_len, num_selected, num_selected]
        
        # 展平并选择最终的top-k
        combined_scores = combined_scores.view(bsz, seq_len, -1)
        combined_indices = combined_indices.view(bsz, seq_len, -1)
        
        final_scores, final_pk_indices = combined_scores.topk(self.num_selected, dim=-1)
        memory_indices = combined_indices.gather(-1, final_pk_indices)
        
        # 归一化分数
        memory_scores = F.softmax(final_scores, dim=-1)
        memory_scores = self.dropout(memory_scores)
        
        # 计算平衡损失和监控统计
        balance_loss, stats = self._compute_balance_loss_and_stats(memory_indices, memory_scores)
        
        return memory_indices, memory_scores, balance_loss, stats
    
    def _compute_balance_loss_and_stats(self, memory_indices, memory_scores):
        """
        计算平衡损失和监控统计信息
        
        Args:
            memory_indices: [batch_size, seq_len, num_selected]
            memory_scores: [batch_size, seq_len, num_selected]
        
        Returns:
            balance_loss: 标量张量
            stats: 统计信息字典
        """
        bsz, seq_len, num_selected = memory_indices.shape
        device = memory_indices.device
        
        # 1. 计算记忆选择分布
        # 将所有选择的记忆索引展平
        flat_indices = memory_indices.view(-1)  # [batch_size * seq_len * num_selected]
        
        # 统计每个记忆条目被选中的次数
        memory_counts = torch.zeros(self.knowledge_num, device=device)
        memory_counts.scatter_add_(0, flat_indices, torch.ones_like(flat_indices, dtype=torch.float))
        
        # 计算选择概率分布
        total_selections = bsz * seq_len * num_selected
        memory_probs = memory_counts / total_selections
        
        # 2. 计算KL散度损失（与均匀分布的KL散度）
        uniform_prob = 1.0 / self.knowledge_num
        # 避免log(0)的问题
        memory_probs_safe = memory_probs + 1e-10
        kl_loss = F.kl_div(
            torch.log(memory_probs_safe),
            torch.full_like(memory_probs, uniform_prob),
            reduction='sum'
        )
        
        # 3. 计算基尼系数损失（衡量分布不平等程度）
        sorted_probs, _ = torch.sort(memory_probs)
        n = self.knowledge_num
        index = torch.arange(1, n + 1, device=device, dtype=torch.float)
        gini_coeff = (2 * torch.sum(index * sorted_probs) / (n * torch.sum(sorted_probs))) - (n + 1) / n
        gini_loss = gini_coeff  # 基尼系数越大，分布越不均匀
        
        # 4. 组合平衡损失
        balance_loss = 0.5 * kl_loss + 0.5 * gini_loss
        
        # 5. 计算监控统计信息
        with torch.no_grad():
            # 记忆覆盖率：被选中的记忆条目占总数的比例
            coverage_rate = (memory_counts > 0).float().mean().item()
            
            # 热点记忆：选择次数前10%的记忆条目
            top10_threshold = torch.quantile(memory_counts, 0.9)
            hot_memories = (memory_counts >= top10_threshold).sum().item()
            
            # 死记忆：从未被选中的记忆条目
            dead_memories = (memory_counts == 0).sum().item()
            
            # 记忆选择方差（衡量不平衡程度）
            selection_variance = memory_counts.var().item()
            
            stats = {
                'gini_coefficient': gini_coeff.item(),
                'kl_divergence': kl_loss.item(),
                'coverage_rate': coverage_rate,
                'hot_memories': hot_memories,
                'dead_memories': dead_memories,
                'selection_variance': selection_variance,
                'max_selections': memory_counts.max().item(),
                'min_selections': memory_counts.min().item(),
            }
        
        return balance_loss, stats


class GatedMemoryFusion(nn.Module):
    """Gated MLP fusion for concatenated h_attn and selected memories"""
    def __init__(self, config: LMConfig):
        super().__init__()
        self.config = config
        self.dim = config.dim
        self.knowledge_dim = config.knowledge_dim
        self.num_selected = getattr(config, 'num_selected', 16)
        
        # 输入维度：dim (h_attn) + num_selected * knowledge_dim (选中的记忆)
        concat_dim = self.dim + self.num_selected * self.knowledge_dim
        
        # 类似SwiGLU的门控MLP结构
        self.gate_proj = nn.Linear(concat_dim, self.dim, bias=False)
        self.up_proj = nn.Linear(concat_dim, self.dim, bias=False)
        self.down_proj = nn.Linear(self.dim, self.dim, bias=False)
        
        self.dropout = nn.Dropout(config.dropout)
        
    def forward(self, h_attn: torch.Tensor, selected_memories: torch.Tensor, memory_scores: torch.Tensor):
        """
        Args:
            h_attn: [batch_size, seq_len, dim] - Self attention output
            selected_memories: [batch_size, seq_len, num_selected, knowledge_dim] - Selected memory data
            memory_scores: [batch_size, seq_len, num_selected] - Memory selection weights (not used in concatenation approach)
        Returns:
            output: [batch_size, seq_len, dim]
        """
        bsz, seq_len, _ = h_attn.shape
        
        # 将选中的记忆展平为一维向量
        # [batch, seq_len, num_selected, knowledge_dim] -> [batch, seq_len, num_selected * knowledge_dim]
        memory_flat = selected_memories.view(bsz, seq_len, -1)
        
        # 拼接h_attn和记忆信息
        concat_input = torch.cat([h_attn, memory_flat], dim=-1)  # [batch, seq_len, dim + num_selected * knowledge_dim]
        
        # 门控MLP处理（类似SwiGLU）
        gate = F.silu(self.gate_proj(concat_input))  # [batch, seq_len, dim]
        up = self.up_proj(concat_input)              # [batch, seq_len, dim]
        fusion_output = gate * up                    # Element-wise multiplication
        
        # 输出投影
        output = self.down_proj(fusion_output)       # [batch, seq_len, dim]
        output = self.dropout(output)
        
        return output


class MiniMindBlock(nn.Module):
    """Transformer block with memory-based cross attention instead of FFN"""
    def __init__(self, layer_id: int, config: LMConfig):
        super().__init__()
        self.n_heads = config.n_heads
        self.dim = config.dim
        self.head_dim = config.dim // config.n_heads
        self.attention = Attention(config)
        
        self.layer_id = layer_id
        self.attention_norm = RMSNorm(config.dim, eps=config.norm_eps)
        self.memory_norm = RMSNorm(config.dim, eps=config.norm_eps)
        
        # 记忆相关模块
        self.memory_gate = MemoryGate(config)
        self.gated_memory_fusion = GatedMemoryFusion(config)

    def forward(self, x, pos_cis, memory_bank):
        """
        Args:
            x: [batch_size, seq_len, dim]
            pos_cis: positional encoding
            memory_bank: [knowledge_num, knowledge_dim] - shared memory bank
        
        Returns:
            out: [batch_size, seq_len, dim]
            balance_loss: 该层的平衡损失
            layer_stats: 该层的监控统计信息
        """
        # Self attention
        h_attn = self.attention(self.attention_norm(x), pos_cis)
        h = x + h_attn
        
        # 使用h_attn作为门控和交叉注意力的输入（核心：self attention的输出）
        h_for_memory = self.memory_norm(h_attn)
        
        # 门控选择记忆
        memory_indices, memory_scores, balance_loss, layer_stats = self.memory_gate(h_for_memory)
        
        # 根据索引获取记忆数据
        bsz, seq_len, num_selected = memory_indices.shape
        memory_indices_flat = memory_indices.view(-1)
        selected_memory = memory_bank[memory_indices_flat]  # [batch * seq_len * num_selected, knowledge_dim]
        selected_memory = selected_memory.view(bsz, seq_len, num_selected, -1)  # [batch, seq_len, num_selected, knowledge_dim]
        
        # 门控MLP融合：串型连接h_attn和选中的记忆
        memory_output = self.gated_memory_fusion(h_for_memory, selected_memory, memory_scores)
        
        # 残差连接
        out = h + memory_output
        
        return out, balance_loss, layer_stats


class MiniMindLM(PreTrainedModel):
    config_class = LMConfig

    def __init__(self, params: LMConfig = None):
        self.params = params or LMConfig()
        super().__init__(self.params)
        self.vocab_size, self.n_layers = params.vocab_size, params.n_layers
        self.tok_embeddings = nn.Embedding(params.vocab_size, params.dim)
        self.dropout = nn.Dropout(params.dropout)
        self.layers = nn.ModuleList([MiniMindBlock(l, params) for l in range(self.n_layers)])
        self.norm = RMSNorm(params.dim, eps=params.norm_eps)
        self.output = nn.Linear(params.dim, params.vocab_size, bias=False)
        self.tok_embeddings.weight = self.output.weight
        self.register_buffer("pos_cis",
                             precompute_pos_cis(dim=params.dim // params.n_heads, theta=params.rope_theta),
                             persistent=False)
        
        # 初始化共享记忆库
        self.memory_bank = nn.Parameter(
            torch.randn(params.knowledge_num, params.knowledge_dim),
            requires_grad=True
        )
        
        # 记录上一步的记忆库状态，用于计算更新统计
        self.register_buffer('prev_memory_bank', torch.zeros_like(self.memory_bank), persistent=False)
        
        self.OUT = CausalLMOutputWithPast()
    
    def get_memory_update_stats(self):
        """
        计算记忆库更新统计信息
        
        Returns:
            update_stats: 包含更新统计的字典
        """
        with torch.no_grad():
            if hasattr(self, 'prev_memory_bank') and self.prev_memory_bank.numel() > 0:
                # 计算L2距离变化
                l2_distance = torch.norm(self.memory_bank - self.prev_memory_bank, p=2, dim=-1)
                avg_l2_distance = l2_distance.mean().item()
                max_l2_distance = l2_distance.max().item()
                
                # 计算余弦相似度
                cos_sim = F.cosine_similarity(
                    self.memory_bank.view(-1), 
                    self.prev_memory_bank.view(-1), 
                    dim=0
                ).item()
                
                # 计算更新率（发生显著变化的记忆条目比例）
                threshold = 0.01  # 更新阈值
                updated_memories = (l2_distance > threshold).sum().item()
                update_rate = updated_memories / self.memory_bank.size(0)
                
                update_stats = {
                    'memory_avg_l2_change': avg_l2_distance,
                    'memory_max_l2_change': max_l2_distance,
                    'memory_cosine_similarity': cos_sim,
                    'memory_update_rate': update_rate,
                    'memory_updated_count': updated_memories
                }
            else:
                # 第一次调用时的默认值
                update_stats = {
                    'memory_avg_l2_change': 0.0,
                    'memory_max_l2_change': 0.0,
                    'memory_cosine_similarity': 1.0,
                    'memory_update_rate': 0.0,
                    'memory_updated_count': 0
                }
            
            # 更新prev_memory_bank
            self.prev_memory_bank.copy_(self.memory_bank)
            
            return update_stats

    def forward(self,
                input_ids: Optional[torch.Tensor] = None,
                **args):
        """Forward pass without KV cache support"""
        start_pos = args.get('start_pos', 0)
        h = self.dropout(self.tok_embeddings(input_ids))
        pos_cis = self.pos_cis[start_pos:start_pos + input_ids.size(1)]
        
        # 收集所有层的平衡损失和统计信息
        total_balance_loss = 0
        all_layer_stats = {}
        
        for layer_idx, layer in enumerate(self.layers):
            h, balance_loss, layer_stats = layer(h, pos_cis, self.memory_bank)
            total_balance_loss += balance_loss
            # 为每层的统计信息添加前缀
            for key, value in layer_stats.items():
                all_layer_stats[f'layer_{layer_idx}_{key}'] = value

        logits = self.output(self.norm(h))
        
        # 使用总的平衡损失作为aux_loss
        aux_loss = total_balance_loss
        
        self.OUT.__setitem__('last_hidden_state', h)
        self.OUT.__setitem__('logits', logits)
        self.OUT.__setitem__('aux_loss', aux_loss)
        self.OUT.__setitem__('layer_stats', all_layer_stats)  # 添加层级统计信息
        self.OUT.__setitem__('past_key_values', None)  # 不支持KV cache
        return self.OUT

    @torch.inference_mode()
    def generate(self, input_ids, eos_token_id=2, max_new_tokens=1024, temperature=0.75, top_p=0.90,
                 stream=False, rp=1., pad_token_id=0, num_return_sequences=1, **args):
        """Generate without KV cache"""
        # 流式生成
        if stream:
            return self._stream(input_ids, eos_token_id, max_new_tokens, temperature, top_p, rp, **args)

        # 直接生成
        generated = []
        for i in range(input_ids.size(0)):
            non_pad = input_ids[i][input_ids[i] != pad_token_id].unsqueeze(0)
            for _ in range(num_return_sequences):
                out = self._stream(non_pad, eos_token_id, max_new_tokens, temperature, top_p, rp, **args)
                tokens_list = [tokens[:, -1:] for tokens in out]
                gen = torch.cat(tokens_list, dim=-1) if tokens_list else non_pad
                full_sequence = torch.cat([non_pad, gen], dim=-1)
                generated.append(full_sequence)

        max_length = max(seq.size(1) for seq in generated)
        generated = [
            torch.cat(
                [seq, torch.full((1, max_length - seq.size(1)), pad_token_id, dtype=seq.dtype, device=seq.device)],
                dim=-1)
            for seq in generated
        ]
        output = torch.cat(generated, dim=0)
        res = output.view(input_ids.size(0) * num_return_sequences, -1)
        return res

    def _stream(self, input_ids, eos_token_id, max_new_tokens, temperature, top_p, rp, **args):
        """Stream generation without KV cache - regenerates full sequence each time"""
        start = input_ids.shape[1]
        while input_ids.shape[1] < start + max_new_tokens:
            # 每次都重新计算整个序列（因为没有KV cache）
            out = self(input_ids, **args)
            logits = out.logits[:, -1, :]
            
            # 重复惩罚
            logits[:, list(set(input_ids.tolist()[0]))] /= rp
            logits /= (temperature + 1e-9)
            
            # Top-p采样
            if top_p is not None and top_p < 1.0:
                sorted_logits, sorted_indices = torch.sort(logits, descending=True, dim=-1)
                sorted_probs = F.softmax(sorted_logits, dim=-1)
                cumulative_probs = torch.cumsum(sorted_probs, dim=-1)
                sorted_indices_to_remove = cumulative_probs > top_p
                sorted_indices_to_remove[:, 1:] = sorted_indices_to_remove[:, :-1].clone()
                sorted_indices_to_remove[:, 0] = False
                indices_to_remove = sorted_indices_to_remove.scatter(1, sorted_indices, sorted_indices_to_remove)
                logits[indices_to_remove] = -float('Inf')
                
            input_ids_next = torch.multinomial(F.softmax(logits, dim=-1), num_samples=1)
            input_ids = torch.cat((input_ids, input_ids_next), dim=1)
            yield input_ids[:, start:]
            if input_ids_next.item() == eos_token_id:
                break