第24课：自适应路由NoC

1. 自适应路由NoC架构

在确定性路由NoC基础上增加：①拥塞监控、②自适应路由决策、③虚拟通道支持。目标是实现负载均衡，提高网络在高负载下的吞吐量。

2. 拥塞监控

每个路由器监控4个方向的缓冲区占用率，将拥塞信息传递给邻居。信息编码为4-bit(0=空,15=满)。

3. 自适应路由决策

基于拥塞信息选择输出方向。策略：在所有可行方向中，选择拥塞最低的方向。如果所有方向拥塞相似，使用默认XY路由。

4. Verilog实现

// 自适应路由NoC路由器
module adaptive_noc_router #(
    parameter DATA_WIDTH = 32,
    parameter NUM_VCS    = 2,
    parameter BUF_DEPTH  = 4,
    parameter X_WIDTH    = 2,
    parameter Y_WIDTH    = 2
)(
    input  logic                  clk, rst_n,
    input  logic [X_WIDTH-1:0]    my_x, my_y,
    // 本地接口
    input  logic [DATA_WIDTH-1:0] local_in_data,
    input  logic                  local_in_valid,
    output logic                  local_in_ready,
    output logic [DATA_WIDTH-1:0] local_out_data,
    output logic                  local_out_valid,
    input  logic                  local_out_ready,
    // 邻居拥塞信息
    input  logic [3:0]            nbr_e_cong, nbr_w_cong,
    input  logic [3:0]            nbr_n_cong, nbr_s_cong,
    // 东向端口
    output logic [DATA_WIDTH-1:0] east_out_data,
    output logic                  east_out_valid,
    input  logic                  east_out_ready,
    input  logic [DATA_WIDTH-1:0] east_in_data,
    input  logic                  east_in_valid,
    output logic                  east_in_ready,
    // 西/北/南端口(类似)
    output logic [DATA_WIDTH-1:0] west_out_data,
    output logic                  west_out_valid,
    input  logic                  west_out_ready,
    input  logic [DATA_WIDTH-1:0] west_in_data,
    input  logic                  west_in_valid,
    output logic                  west_in_ready,
    output logic [DATA_WIDTH-1:0] north_out_data,
    output logic                  north_out_valid,
    input  logic                  north_out_ready,
    input  logic [DATA_WIDTH-1:0] north_in_data,
    input  logic                  north_in_valid,
    output logic                  north_in_ready,
    output logic [DATA_WIDTH-1:0] south_out_data,
    output logic                  south_out_valid,
    input  logic                  south_out_ready,
    input  logic [DATA_WIDTH-1:0] south_in_data,
    input  logic                  south_in_valid,
    output logic                  south_in_ready
);
    // 自适应路由逻辑
    logic [2:0] adaptive_route;
    logic [3:0] local_cong_e, local_cong_w, local_cong_n, local_cong_s;

    always_comb begin
        adaptive_route = 3'd0;
        if (local_in_valid) begin
            logic [X_WIDTH-1:0] dst_x;
            logic [Y_WIDTH-1:0] dst_y;
            // 从数据中提取目的地址
            dst_x = local_in_data[15:8];
            dst_y = local_in_data[7:0];

            if (dst_x == my_x && dst_y == my_y)
                adaptive_route = 3'd0; // 本地
            else begin
                // 选择拥塞最低的可行方向
                logic [3:0] min_cong;
                min_cong = 4'hF;
                if (dst_x > my_x && nbr_e_cong < min_cong) begin
                    adaptive_route = 3'd1; min_cong = nbr_e_cong;
                end
                if (dst_x < my_x && nbr_w_cong < min_cong) begin
                    adaptive_route = 3'd2; min_cong = nbr_w_cong;
                end
                if (dst_y < my_y && nbr_n_cong < min_cong) begin
                    adaptive_route = 3'd3; min_cong = nbr_n_cong;
                end
                if (dst_y > my_y && nbr_s_cong < min_cong) begin
                    adaptive_route = 3'd4; min_cong = nbr_s_cong;
                end
            end
        end
    end

    // 输出选择(简化)
    assign east_out_data   = local_in_data;
    assign east_out_valid  = local_in_valid && (adaptive_route == 3'd1);
    assign local_in_ready  = east_out_ready;
    // ... 其他方向类似
endmodule

5. 练习

5. 自适应路由NoC的工程实践

将自适应路由集成到NoC中需要解决多个工程问题：

5.1 拥塞信息的延迟补偿

拥塞信息有1-2个cycle的延迟，决策基于"过去"的状态。补偿方法：

• 趋势预测：根据拥塞变化趋势(增大/减小)预测未来状态
• 保守决策：在拥塞信息上加一个偏移量，保守地选择
• 滞后机制：只有拥塞差异超过阈值才切换路径

5.2 自适应路由的验证挑战

验证自适应路由比确定性路由困难得多，因为路径不确定：

• 路径不确定性：同一对源-目的可能走不同路径
• 死锁验证：需要长时间仿真确认无死锁
• 活锁检测：数据包可能一直绕行，永远不到达
• 公平性验证：某些流量模式可能被饿死

5.3 性能对比：XY vs 自适应

自适应路由在非均匀流量模式下的优势最为显著。

5.4 活锁避免

自适应路由可能产生活锁——数据包一直在网络中绕行。避免方法：

• 年龄计数器：每个包携带年龄计数器，超过阈值强制走确定性路由
• 最小路由优先：优先选择使距目的地更近的方向
• 逃逸VC：使用Duato协议，逃逸VC走确定性路由

6. 自适应路由NoC的完整验证方案

自适应路由的验证比确定性路由复杂得多，需要特殊的验证方法：

6.1 路径覆盖率验证

确保所有可能的路由路径都被测试到：

• 所有源-目的对的XY路径(确定性基准)
• 所有源-目的对的替代路径
• 拥塞触发的路径切换
• 死锁恢复路径(逃逸VC)

6.2 长时间稳定性测试

自适应路由可能在长时间运行后才暴露问题(如渐进式死锁)：

• 72小时全负载测试
• 1M+包传输无死锁
• 所有包最终到达(无活锁)
• 延迟分布稳定(无振荡)

6.3 性能对比矩阵

完整对比XY路由和自适应路由在所有流量模式下的性能：

// 性能对比测试框架
module adaptive_perf_comparison;
    // 测试矩阵: 2路由×5流量×6负载率 = 60个测试点
    string routers[2] = '{"XY", "Adaptive"};
    string traffics[5] = '{"Uniform","Neighbor","Tornado","Hotspot","Burst"};
    real loads[6] = '{0.1, 0.2, 0.3, 0.4, 0.5, 0.6};
    
    initial begin
        for (int r = 0; r < 2; r++)
            for (int t = 0; t < 5; t++)
                for (int l = 0; l < 6; l++)
                    run_test(routers[r], traffics[t], loads[l]);
        print_comparison_matrix();
    end
endmodule

7. 自适应路由NoC的详细测试方案

测试自适应路由NoC需要精心设计的测试方案：

7.1 渐进式测试

第一步：单包路由测试。验证自适应路由在空闲网络下选择最优路径。第二步：双包竞争测试。两个包竞争同一输出端口，验证仲裁器工作。第三步：多包拥塞测试。模拟拥塞，验证路由切换。第四步：长时间压力测试。验证无死锁。

7.2 拥塞注入方法

如何在测试中制造可控的拥塞？方法：

• 速率控制：提高特定节点的注入率
• 流量矩阵：指定每对节点的通信频率
• 阻塞注入：在特定路由器注入"占位包"占用缓冲区

7.3 性能回归测试

每次修改后运行回归测试，确保性能不退化：

// 回归测试脚本
tests = [
    ("uniform_0.3",   0.3, "uniform",  10000),
    ("tornado_0.2",   0.2, "tornado",  10000),
    ("hotspot_0.15",  0.15,"hotspot",  10000),
    ("stress_0.5",    0.5, "uniform",  50000),
]
for name, rate, traffic, cycles in tests:
    result = run_simulation(rate, traffic, cycles)
    assert result.latency < baseline[name] * 1.1
    assert result.throughput > baseline[name] * 0.9

8. 自适应路由NoC的设计文档模板

完整的设计文档应包含以下章节：

1. 设计规格：拓扑、路由算法、流控策略、缓冲配置
2. 架构描述：路由器微架构、VC分配策略、拥塞信息传播
3. 接口定义：端口信号、flit格式、信用接口
4. 时序约束：目标频率、关键路径、流水线深度
5. 验证计划：功能测试、性能测试、死锁测试
6. 面积/功耗预算：各组件面积估算和功耗估算

8.1 关键设计决策记录

记录每个重要设计决策的背景、选项、选择理由：