MLIR的Stream（流）编程模型与FIFO通信
一个让我熬夜三天的bug
去年做AI加速器编译器的时候，遇到一个诡异的死锁问题。硬件仿真跑得好好的，一到FPGA上板就卡死，波形抓出来一看，两个加速器核之间的FIFO读指针永远停在0x3F，写指针却已经跳到0x80——溢出了。查了三天，最后发现是MLIR生成的Stream操作中，一个scf.for循环的边界条件被优化掉了，导致生产者多写了两个数据，消费者却少读了两个。这个教训让我意识到，Stream编程模型不是简单的“把数据塞进FIFO”，它背后有一套严格的契约。
Stream不是管道，是带背压的契约
很多人把MLIR的Stream和C++的std::async或者硬件描述语言里的FIFO混为一谈。实际上，MLIR的Stream模型更接近硬件设计中的“valid-ready”握手协议——每个数据传输都伴随着一个隐式的握手信号。你在IR里看到的stream.push和stream.pop，编译器会悄悄插入背压逻辑。
看这个例子，一个简单的生产者-消费者：
func.func @producer(%arg0: memref<1024xf32>, %stream: !stream.stream<f32>) { %c0 = arith.constant 0 : index %c10
