基于随机Petri网的可重构核心单元分析  

Analysis of Reconfigurable Core Cell Based on Stochastic Petri Net

作　　者：王福焕[1] 曾国荪[1,2] 

机构地区：[1]同济大学计算机科学与技术系,上海201804 [2]国家高性能计算机工程技术中心同济分中心,上海201804

出　　处：《计算机工程》2011年第17期1-6,共6页Computer Engineering

基　　金：国家“863”计划基金资助项目(2009AA012201);国家“973”计划基金资助项目(2007CB316502);国家自然科学基金资助项目(90718015);NSFC-微软亚洲研究院联合基金资助项目(60970155);教育部博士点基金资助项目(20090072110035);上海市优秀学科带头人计划基金资助项目(10XD1404400);高效能服务器和存储技术国家重点实验室开放基金资助项目(2009HSSA06)

摘　　要：利用随机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.

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

分 类 号：TP338[自动化与计算机技术—计算机系统结构]