PVM系统统一并行调试对象模型的Petri网描述
外文标题 | Describing a PVM Unified Parallel Debugged Object Model Using Petri Net |
文献类型 | 期刊 |
作者 | 黄宁[1] |
机构 | [1]北京航空航天大学计算机系!北京100083 ↓ |
来源信息 | 年:2000卷:30期:1页码范围:25-29 |
期刊信息 | 航空计算技术ISSN:1671-654X |
关键词 | PVM(并行虚拟机);并行调试;Petri网 |
摘要 | 采用具体定义的PVM活动所描述的统一并行调试对象模型可使用户在调试的各阶段都面对相同的调试对象,但并行程序的文本表示或通常由事件为基础的视图并不适合描述这种概念, 为把活动明确地表达给用户,我们给出了该模型的着色Petri网描述,这将有助于对程序作进一步的静态分析和性能调试研究. |
所属部门 | 计算机学院 |
链接地址 | http://d.g.wanfangdata.com.cn/Periodical_hkjsjs200001008.aspx |
DOI | 10.3969/j.issn.1671-654X.2000.01.008 |
人气指数 | 1 |
浏览次数 | 1 |
全文
影响因子:
dc:title:PVM系统统一并行调试对象模型的Petri网描述
dc:creator:黄宁
dc:date: publishDate:2000-03-10
dc:type:期刊
dc:format: Media:航空计算技术
dc:identifier: LnterrelatedLiterature:航空计算技术.2000,30(1),25-29.
dc:identifier:DOI:10.3969/j.issn.1671-654X.2000.01.008
dc: identifier:ISBN:1671-654X