基于TCPN模型的并行系统性能分析方法研究
| 摘要 | 第1-10页 |
| ABSTRACT | 第10-15页 |
| 第一章 绪论 | 第15-28页 |
| ·引言 | 第15页 |
| ·研究背景及意义 | 第15-19页 |
| ·并行计算面临的性能问题 | 第15-17页 |
| ·并行系统性能评价的研究意义 | 第17-19页 |
| ·国内外研究现状 | 第19-24页 |
| ·并行系统性能评价的解决方案 | 第19-21页 |
| ·并行系统性能模型技术的研究成果 | 第21-22页 |
| ·Petri 网和并行系统性能分析 | 第22-24页 |
| ·本文主要工作 | 第24-26页 |
| ·研究内容 | 第24-26页 |
| ·创新点 | 第26页 |
| ·论文结构 | 第26-28页 |
| 第二章 并行系统性能影响因素的研究 | 第28-47页 |
| ·引言 | 第28-30页 |
| ·并行机性能度量参数HPP | 第30-40页 |
| ·计算节点关键性能影响因素 | 第30-38页 |
| ·通信网络关键性能影响因素 | 第38-40页 |
| ·并行应用性能度量参数PAP | 第40-41页 |
| ·并行系统相似度及匹配度的计算 | 第41-46页 |
| ·并行应用及并行机之间的相似度 | 第41-43页 |
| ·并行应用与并行机的匹配度 | 第43-46页 |
| ·本章小结 | 第46-47页 |
| 第三章 并行系统性能模型 S-TCPN | 第47-72页 |
| ·引言 | 第47页 |
| ·Petri 网和P/T 系统 | 第47-50页 |
| ·赋时着色Petri 网系统 | 第50-54页 |
| ·TCPN 系统的静态结构 | 第50-51页 |
| ·TCPN 系统的动态行为 | 第51-53页 |
| ·TCPN 系统的基本性质 | 第53-54页 |
| ·并行应用性能模型P-TCPN | 第54-65页 |
| ·程序控制流的TCPN 模型 | 第54-55页 |
| ·通信方式的TCPN 模型 | 第55-62页 |
| ·并行应用的性能建模方法 | 第62-65页 |
| ·并行系统性能建模方法 | 第65-71页 |
| ·本章小结 | 第71-72页 |
| 第四章 并行应用及其性能模型的正确性验证 | 第72-95页 |
| ·引言 | 第72页 |
| ·P-TCPN 状态空间的压缩 | 第72-79页 |
| ·P-TCPN 模型的化简技术 | 第72-75页 |
| ·P-TCPN 模型的合成技术 | 第75-79页 |
| ·并行应用及其性能模型的正确性定义 | 第79-85页 |
| ·MPI 算法的活性和安全性 | 第80-82页 |
| ·过程正确P-TCPN 的基本性质 | 第82-85页 |
| ·正确性验证算法 | 第85-91页 |
| ·实例验证 | 第91-94页 |
| ·本章小结 | 第94-95页 |
| 第五章 基于S-TCPN 模型的并行系统性能分析 | 第95-116页 |
| ·引言 | 第95页 |
| ·面向性能的并行应用开发方法 | 第95-98页 |
| ·并行系统性能评价指标计算 | 第98-105页 |
| ·宏观评价指标及其计算 | 第99-100页 |
| ·微观评价指标及其计算 | 第100-105页 |
| ·实例分析 | 第105-115页 |
| ·MLFMA 分布树构造算法及其性能模型 | 第106-110页 |
| ·并行算法正确性验证及并行系统性能分析 | 第110-113页 |
| ·算法优化方案 | 第113-115页 |
| ·本章小结 | 第115-116页 |
| 第六章 总结与展望 | 第116-119页 |
| ·论文的主要贡献 | 第116-117页 |
| ·进一步的研究工作 | 第117-119页 |
| 参考文献 | 第119-124页 |
| 作者在攻读博士学位期间公开发表的论文 | 第124-126页 |
| 作者在攻读博士学位期间参与及主持的科研项目 | 第126-127页 |
| 致谢 | 第127-128页 |
