程斌;童伟勤;王新刚 并行系统的混合性能建模与分析。 (英语) Zbl 1285.68103号 国际期刊数字。分析。模型。 9,第232-246号(2012年). 摘要:性能是并行系统的一个关键特性。然而,峰值性能与实际应用所能达到的性能之间存在很大差距。基于模型的性能评估可用于支持面向性能的并行系统程序开发。本文提出了一种混合TCPN模型来分别描述并行程序和资源。由于运行环境的变化,这种方法对修改程序结构的影响较小。基于该模型的性能工程活动包括开发早期的性能预测、编码阶段的性能分析,以定位性能瓶颈并对其进行修改。在TCPN模型的正确性验证后,可以得到可达图。然后,可以通过对关键路径中相应操作的执行时间求和来进行进一步的性能调整。 MSC公司: 68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 关键词:定时彩色Petri网;并联系统;形式化方法 PDF格式BibTeX公司 XML格式引用 \textit{B.Cheng}等人,国际期刊数字。分析。模型。9,第2号,232--246(2012;Zbl 1285.68103) 全文: 链接