4. TLB 工作原理：硬件结构、查找过程与替换策略

TLB（Translation Lookaside Buffer，转译后备缓冲器）是 CPU 内部的一个硬件高速缓存，专门用于缓存最近使用的页表项（PTE）。它的核心目标是加速虚拟地址到物理地址的转换过程，避免每次内存访问都去查询主存中的页表。理解 TLB 的硬件结构、查找流程和替换策略，是诊断 TLB 缺失性能瓶颈的基础。

4.1 TLB 的硬件结构

TLB 在硬件上通常实现为全相联或组相联的 CAM（内容可寻址存储器）与 SRAM 的组合。其基本组成单元包括：

• 标签（Tag）：存储虚拟地址的高位部分（VPN），用于匹配查找。
• 物理页框号（PPN）：对应的物理地址高位。
• 标志位（Flags）：包含有效位、可读/可写位、可执行位、访问位、脏位等。
• 地址空间标识符（ASID）：用于区分不同进程的页表项，避免进程切换时完全冲刷 TLB。

4.2 TLB 的查找过程

TLB 查找是硬件自动完成的，对软件透明。典型查找流程如下：

1. 提取 VPN：从虚拟地址中提取虚拟页号（VPN）和页内偏移（Offset）。
2. 索引组：对于组相联 TLB，使用 VPN 的低位部分索引到具体的组（Set）。
3. 并行比较：将该组内所有路（Way）的标签与 VPN 高位同时比较。
4. 检查标志位：若标签匹配且有效位为 1，则 TLB 命中（Hit）；否则缺失（Miss）。
5. 生成物理地址：命中时，从数据阵列读出 PPN，与 Offset 拼接形成完整物理地址。
6. 缺失处理：TLB 缺失时，硬件或软件（如 MIPS）遍历页表，加载 PTE 到 TLB，可能触发替换。

4.3 TLB 的替换策略

当 TLB 缺失且所有路都已满时，必须选择一个现有条目进行替换。不同的替换策略对性能有显著影响：

4.4 替换策略的代码级模拟

以下是一个简化的 TLB 替换策略模拟代码，展示 LRU 和 Random 的实现差异：

// 简化的 TLB 条目结构
typedef struct {
    uint64_t tag;
    uint64_t ppn;
    bool     valid;
    uint64_t last_access;  // 仅 LRU 使用
} tlb_entry_t;

// LRU 替换：查找最久未使用的条目
int lru_replace(tlb_entry_t *tlb, int num_entries) {
    int victim = 0;
    uint64_t oldest = tlb[0].last_access;
    for (int i = 1; i < num_entries; i++) {
        if (tlb[i].last_access < oldest) {
            oldest = tlb[i].last_access;
            victim = i;
        }
    }
    return victim;
}

// Random 替换：随机选择一个条目
int random_replace(int num_entries) {
    return rand() % num_entries;
}

// TLB 查找与替换主逻辑
bool tlb_lookup(uint64_t vpn, uint64_t *ppn, tlb_entry_t *tlb,
                int num_entries, int policy) {
    // 查找命中
    for (int i = 0; i < num_entries; i++) {
        if (tlb[i].valid && tlb[i].tag == vpn) {
            *ppn = tlb[i].ppn;
            tlb[i].last_access = ++global_clock; // LRU 更新时间戳
            return true; // 命中
        }
    }
    // 缺失：执行替换
    int victim;
    if (policy == POLICY_LRU) {
        victim = lru_replace(tlb, num_entries);
    } else {
        victim = random_replace(num_entries);
    }
    // 从页表加载新条目（简化）
    tlb[victim].tag = vpn;
    tlb[victim].ppn = page_table_walk(vpn);
    tlb[victim].valid = true;
    tlb[victim].last_access = ++global_clock;
    *ppn = tlb[victim].ppn;
    return false; // 缺失
}