应用Petri网模型解决向量处理器流水线冲突

Using Petri Nets on Vector Processor Pipeline to Avoid Conflicts

针对自行设计的32位向量处理器流水线中的3种冲突:结构相关、控制相关和数据相关,建立了时延Petri网模型。该模型给出计算流水线所需停顿周期数的具体算法,根据所建模型中使用权的状态得出数据前递需要具备的条件。应用该算法计算流水线所需停顿周期数来消解冲突,并通过对向量处理器指令仿真时序图的分析验证了结果的正确性。

To solve the problem of conflicts caused by the data dependences,structure dependences and control dependences,the timed Petri net models are established for a small 32 bit vector processor pipeline system designed independently.The specific arithmetic of working out the stall periodicity needed by the pipeline is presented.According to the state of usufruct in the modeling,it educes the condition had by data forward.By this arithmetic,calculating the stall periodicity to resolve conflicts.With the analysis of simulated timing graph of vector processor instruction,the scheme is validated.