3. 流水线优化（Pipeline）：函数级流水与循环级流水，II（Initiation Interval）的概念与优化

流水线优化，说白了就是让硬件像工厂流水线一样干活。你想想看，一条生产线如果等前一个产品完全做完才做下一个，那效率得多低？HLS里的流水线也是这个道理。

我个人习惯把流水线分成两个层次来看：一个是函数级别的，一个是循环级别的。这两个层次搞明白了，性能调优就成功了一半。

3.1 函数级流水（Function-Level Pipeline）

函数级流水，就是把一个函数内部的多个操作重叠执行。我刚开始用Vitis HLS时，总觉得加个pipeline指令就完事了，结果发现性能根本没提升。后来才明白，函数级流水需要函数内部有足够的并行度。

来看个例子：

// 没有流水线
void func(int a, int b, int *out) {
    #pragma HLS pipeline
    *out = a + b;
}

// 调用3次，串行执行
func(1, 2, &out1);
func(3, 4, &out2);
func(5, 6, &out3);

加了流水线后，这三个调用会重叠执行。但要注意——函数内部必须有足够的操作可以并行，否则流水线会 stalls。

3.2 循环级流水（Loop-Level Pipeline）

循环级流水才是我们日常调优的主战场。我做过一个图像滤波的项目，优化前循环要跑1000个周期，优化后只用了不到200个周期。关键就在于循环流水。

循环级流水的核心思想是：让循环的不同迭代重叠执行。比如：

// 原始循环
for (int i = 0; i < N; i++) {
    #pragma HLS pipeline
    a[i] = b[i] + c[i];
    d[i] = a[i] * e[i];
}

这个循环加了pipeline后，第i次迭代的加法操作，可以和第i+1次迭代的乘法操作同时进行。前提是——没有数据依赖。

for (int i = 1; i < N; i++) {
    #pragma HLS pipeline
    a[i] = a[i-1] + b[i];  // 依赖前一次结果
}

3.3 II（Initiation Interval）的概念

II，全称是Initiation Interval，中文叫「启动间隔」。说白了就是：流水线每多少个时钟周期能启动一次新的操作。

理想情况下，II=1，意味着每个时钟周期都能启动一次新的操作。但实际上，由于资源冲突、数据依赖等原因，II往往大于1。

我记得有一次调一个FFT的加速器，II一直卡在3上不去。查了半天，发现是一个数组的读写端口冲突了。改成双端口RAM后，II降到了1，性能直接翻了三倍。

3.4 如何优化II

优化II，我总结了几个实战技巧：

1. 消除循环携带依赖：能用局部变量就别用数组，能用寄存器就别用BRAM。我曾经把一个依赖链从3级降到1级，II从4降到了1。
2. 减少资源冲突：多个操作同时访问同一个BRAM端口，就会导致II增大。解决方案是：用双端口RAM，或者把数据分散到多个BRAM中。
3. 使用dataflow指令：对于函数级流水，Vitis HLS的dataflow指令能自动处理数据流，减少II。
4. 手动展开循环：有时候循环体太小，流水线无法填满。手动展开2-4次，能让流水线更饱满。

3.5 实战：一个简单的FIR滤波器

来看一个实际的例子。这是一个4阶FIR滤波器：

void fir(int input, int *output) {
    static int shift_reg[4];
    int acc = 0;
    
    // 移位寄存器更新
    for (int i = 3; i > 0; i--) {
        #pragma HLS unroll
        shift_reg[i] = shift_reg[i-1];
    }
    shift_reg[0] = input;
    
    // 乘累加
    for (int i = 0; i < 4; i++) {
        #pragma HLS pipeline II=1
        acc += shift_reg[i] * coeff[i];
    }
    
    *output = acc;
}

这个代码中，第二个循环加了pipeline II=1。但实际综合后，II可能是2或3。为什么？因为shift_reg是静态数组，多个乘法器同时读取它，会导致BRAM端口冲突。

解决方案：把shift_reg改成寄存器数组（用#pragma HLS array_partition variable=shift_reg complete），这样每个元素都有独立的寄存器，没有端口冲突了。

3.6 知识体系总结

下面这张图展示了本章的核心知识结构：

这张图把流水线优化的三个核心维度串起来了。函数级流水和循环级流水是两种不同的优化对象，而II是衡量它们效率的标尺。优化II，就是优化流水线的吞吐量。