当前位置：首页 > news >正文

mlir 编译器学习笔记之四 -- 调度

news 2026/4/16 23:24:39

调度：表调度模调度整数线性规划(NP，适合热点) 全局/路径调度(跨分支投机）

a) 调度的时候资源并行度是关键考虑，需要先分析读、写、定义的依赖，分析指令readylist
b) 传统的readlist发射可以考虑关键逻辑优先，但实际还要考虑寄存器、内存，所以Priority(insn) = f(关键逻辑优先级，-寄存器压力增量)
c) 对应单个BB, 正向或者反向分析是一样的结果。当跨BB时才存在差异（正向并行，反向投机）
d) 可以通过任务依赖图查看依赖分析准确性和调度甘特图查看调度结果

1、指令的活跃区间 LiveRange [startTime, endTime]

startTime: 节点开始执行的时间（指令被发射到功能单元）
endTime: 节点结果就绪的时间（指令执行完成，结果可用）
前驱指令P: R1 = R2 + R3 // LiveRange: [10, 12]
当前指令C: R4 = R1 * 2 // 什么时候可以开始？==> R1 就绪，即endTime

2、普通调度 (严格顺序)& 硬件循环（允许重叠）的原因

T1 = max(preStart + hardware_switch_overhead,preEnd + loop_iteration_period - latency)
普通调度OOO：可以提前发射，但会在流水线中等待
硬件循环：可以更早开始执行，因为有数据转发 (专有硬件，不竞争通用资源)

3、资源占用：级联模式时需要多个功能单元

4、“operand #0 does not dominate this use”。这个错误通常发生在SSA（静态单赋值）形式中，当某个值在定义之前被使用，或者控制流导致某个值在某个使用点可能没有被定义

5、mlir中调度控制流scf算子(isa<RegionBranchOpInterface>(op))并不是BB的边界

该函数在遍历基本块的操作时，遇到scf::ForOp（或scf::IfOp）时，会：
将之前积累的连续普通操作区间保存；
递归地进入ForOp的内部区域，收集区域内部的操作范围；
然后继续从ForOp的下一个操作开始积累新的区间。
因此，ForOp本身作为分隔点，它既不被包含在前一个区间，也不被包含在后一个区间，它自身也不被当作一个区间。这样划分后，每个区间都是不含任何区域分支操作的一段连续操作