计算机工程 ›› 2011, Vol. 37 ›› Issue (17): 1-6.doi: 10.3969/j.issn.1000-3428.2011.17.001

• 专栏 •    下一篇

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

王福焕1,曾国荪1,2   

  1. (1. 同济大学计算机科学与技术系,上海 201804;2. 国家高性能计算机工程技术中心同济分中心,上海 201804)
  • 收稿日期:2011-03-07 出版日期:2011-09-05 发布日期:2011-09-05
  • 作者简介:王福焕(1986-),女,硕士研究生,主研方向:异构重构计算;曾国荪,教授、博士、博士生导师
  • 基金项目:

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

Analysis of Reconfigurable Core Cell Based on Stochastic Petri Net

WANG Fu-huan  1, ZENG Guo-sun  1,2   

  1. (1. Department of Computer Science and Technology, Tongji University, Shanghai 201804, China; 2. Tongji Branch, National Engineering & Technology Center of High Performance Computer, Shanghai 201804, China)
  • Received:2011-03-07 Online:2011-09-05 Published:2011-09-05

摘要:

利用随机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

中图分类号: