基于Pi演算的静态异构调度算法研究与实现
| 摘要 | 第4-6页 |
| Abstract | 第6-7页 |
| 第1章 引言 | 第10-17页 |
| 1.1 选题背景 | 第10-14页 |
| 1.1.1 静态异构调度算法研究现状 | 第11-13页 |
| 1.1.2 分布式并行模型研究现状 | 第13-14页 |
| 1.2 研究意义及主要工作 | 第14-15页 |
| 1.3 论文组织结构 | 第15-17页 |
| 第2章 相关理论概述 | 第17-25页 |
| 2.1 HEFT算法 | 第17-21页 |
| 2.1.1 DAG图 | 第17-19页 |
| 2.1.2 HEFT算法具体过程 | 第19-21页 |
| 2.2 Pi演算简介 | 第21-24页 |
| 2.2.1 Pi演算的语法定义 | 第21-22页 |
| 2.2.2 Pi演算的操作语义和等价规则 | 第22-24页 |
| 2.3 本章小结 | 第24-25页 |
| 第3章 基于Pi演算的HEFT算法建模 | 第25-44页 |
| 3.1 建模数据结构 | 第25-28页 |
| 3.1.1 表结构和表编程 | 第25-27页 |
| 3.1.2 建模使用的数据结构 | 第27-28页 |
| 3.2 基于Pi演算建模 | 第28-38页 |
| 3.2.1 任务节点优先级计算过程建模 | 第28-33页 |
| 3.2.2 处理器选择过程建模 | 第33-38页 |
| 3.3 模型的形式化仿真证明 | 第38-43页 |
| 3.3.1 Petri网简介 | 第38-39页 |
| 3.3.2 基于Petri网仿真证明 | 第39-43页 |
| 3.4 本章小结 | 第43-44页 |
| 第4章 基于PICT语言的HEFT算法模型的实现 | 第44-57页 |
| 4.1 PICT简介 | 第44-48页 |
| 4.1.1 PICT的语法语义 | 第44-46页 |
| 4.1.2 PICT的操作语义 | 第46-47页 |
| 4.1.3 PICT与Pi演算之间的关联 | 第47-48页 |
| 4.2 基于PICT语言的模型实现 | 第48-56页 |
| 4.2.1 任务节点优先级计算过程实现 | 第49-52页 |
| 4.2.2 处理器选择过程实现 | 第52-56页 |
| 4.3 本章小结 | 第56-57页 |
| 第5章 实验结果分析与对比 | 第57-65页 |
| 5.1 实验准备 | 第57页 |
| 5.2 实验结果分析对比 | 第57-64页 |
| 5.2.1 横向深度优先实验结果对比 | 第58-61页 |
| 5.2.2 纵向深度优先实验结果对比 | 第61-64页 |
| 5.3 本章小结 | 第64-65页 |
| 第6章 结语和展望 | 第65-67页 |
| 6.1 工作总结 | 第65页 |
| 6.2 工作展望 | 第65-67页 |
| 参考文献 | 第67-70页 |
| 作者简介及在学期间所取得的科研成果 | 第70-71页 |
| 致谢 | 第71页 |
