摘要
利用随机Petri网对可重构核心单元进行建模,对其可达性、有界性、安全性等结构特性进行逻辑正确性验证,并对其稳态概率、变迁概率、吞吐量等性能特性进行数量化求解。在好、中、差3种速率情况下讨论动态重构对计算任务完成时间的影响,分析结果表明,可重构核心单元的动态重构响应越及时,其任务处理时间就越少。
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.
出处
《计算机工程》
CAS
CSCD
北大核心
2011年第17期1-6,共6页
Computer Engineering
基金
国家“863”计划基金资助项目(2009AA012201)
国家“973”计划基金资助项目(2007CB316502)
国家自然科学基金资助项目(90718015)
NSFC-微软亚洲研究院联合基金资助项目(60970155)
教育部博士点基金资助项目(20090072110035)
上海市优秀学科带头人计划基金资助项目(10XD1404400)
高效能服务器和存储技术国家重点实验室开放基金资助项目(2009HSSA06)
关键词
可重构计算
核心单元
随机PETRI网
结构分析
性能分析
reconfigurable computing
core cell
Stochastic Petri Net（SPN）
structure analysis
performance analysis
