摘要：

利用随机Petri网对可重构核心单元进行建模，对其可达性、有界性、安全性等结构特性进行逻辑正确性验证，并对其稳态概率、变迁概率、吞吐量等性能特性进行数量化求解。在好、中、差3种速率情况下讨论动态重构对计算任务完成时间的影响，分析结果表明，可重构核心单元的动态重构响应越及时，其任务处理时间就越少。

关键词: 可重构计算, 核心单元, 随机Petri网, 结构分析, 性能分析

Abstract:

This paper proposes a method of modeling the reconfigurable core cell based on stochastic Petri net. For its structural properties, such as reachability, boundedness and safety, it presents the logical correctness verification. As to its performance properties, such as stable probability, transition probability and throughput rate, it presents the quantification analysis. This paper discusses the effects between dynamic reconfiguration time and the finished time of computing task under three different conditions. Analysis result shows that the shorter dynamic reconfigurable time is, the shorter task complete time is.

Key words: reconfigurable computing, core cell, Stochastic Petri Net(SPN), structure analysis, performance analysis

中图分类号: 

• TP338