摘要

在非线性流水线的调度中须找出一种合适的时间间隔,避免流水线各功能段的使用冲突并使流水线有较高的吞吐率和效率,为此提出一种基于Petri网的单功能非线性流水线的建模及调度方法。对流水线的工作过程建立直观清楚的Petri网模型,直接利用网结构求出禁止启动距离和初始可调度向量;根据网模型的一步并发和冲突检测缩小Petri网可达图的状态空间,得到流水线的可调度图;由可调度图的闭合回路,得到最优调度方案。结合一个流水线调度实例,验证了该方法的正确性。

全文