| 摘要 | 第1-5页 |
| Abstract | 第5-7页 |
| 目录 | 第7-11页 |
| 第1章 绪论 | 第11-24页 |
| 本章目标 | 第11页 |
| ·研究背景 | 第11-19页 |
| ·多核处理器体系结构的出现 | 第11-14页 |
| ·并发与并行 | 第14-15页 |
| ·多核时代软件开发面临的机遇与挑战 | 第15-17页 |
| ·形式化开发并发软件 | 第17-19页 |
| ·本文主要工作 | 第19-22页 |
| ·研究目标及意义 | 第19页 |
| ·研究思路及研究内容 | 第19-21页 |
| ·主要贡献 | 第21-22页 |
| ·论文结构 | 第22-24页 |
| 第2章 相关研究综述 | 第24-31页 |
| 本章目标 | 第24页 |
| ·引言 | 第24-25页 |
| ·PETRI网建模和分析并发程序 | 第25-26页 |
| ·并行程序性能分析与评价 | 第26-29页 |
| ·串行程序并行化 | 第29-30页 |
| ·小结 | 第30-31页 |
| 第3章 研究相关理论基础 | 第31-43页 |
| 本章目标 | 第31页 |
| ·引言 | 第31页 |
| ·基于多核架构的软件开发 | 第31-34页 |
| ·多核并行编程模型 | 第31-32页 |
| ·多核并行设计方法 | 第32-34页 |
| ·PETRI网基本理论 | 第34-37页 |
| ·基本术语 | 第34-36页 |
| ·基本性质 | 第36-37页 |
| ·随机PETRI网 | 第37-42页 |
| ·随机Petri网定义 | 第37-39页 |
| ·广义随机Petri网 | 第39-42页 |
| ·小结 | 第42-43页 |
| 第4章 多核软件的MTP-PN建模和验证 | 第43-85页 |
| 本章目标 | 第43页 |
| ·引言 | 第43-44页 |
| ·多线程程序抽象 | 第44-47页 |
| ·MTP-PN建模 | 第47-55页 |
| ·MTP-PN定义 | 第47-48页 |
| ·建模程序基本控制结构 | 第48-51页 |
| ·建模线程交互 | 第51-55页 |
| ·MTP-PN建模规则及步骤 | 第55-64页 |
| ·建模规则 | 第55-62页 |
| ·建模步骤 | 第62-64页 |
| ·MTP-PN基本性质及其验证 | 第64-79页 |
| ·结构性质及相关验证算法 | 第65-71页 |
| ·动态性质及相关验证算法 | 第71-78页 |
| ·合理性定义及其验证算法 | 第78-79页 |
| ·建模实例 | 第79-83页 |
| ·模型建立 | 第79-82页 |
| ·模型分析 | 第82-83页 |
| ·小结 | 第83-85页 |
| 第5章 基于广义随机MTP-PN模型的软件性能评价 | 第85-102页 |
| 本章目标 | 第85页 |
| ·引言 | 第85-86页 |
| ·广义随机MTP-PN模型的建立 | 第86-93页 |
| ·广义随机MTP-PN定义 | 第86页 |
| ·瞬时变迁与时间变迁的确定 | 第86-91页 |
| ·随机开关的确定 | 第91-93页 |
| ·基于广义随机MTP-PN的软件性能评价 | 第93-101页 |
| ·广义随机MTP-PN的性能评价 | 第93-94页 |
| ·多核架构下广义随机MTP-PN的性能评价 | 第94-101页 |
| ·小结 | 第101-102页 |
| 第6章 多核加速串行程序 | 第102-128页 |
| 本章目标 | 第102页 |
| ·引言 | 第102-103页 |
| ·程序分析 | 第103-106页 |
| ·控制依赖 | 第103-105页 |
| ·数据依赖 | 第105-106页 |
| ·程序依赖图构建 | 第106-121页 |
| ·控制依赖图 | 第106-113页 |
| ·数据依赖图 | 第113-119页 |
| ·程序依赖图 | 第119-121页 |
| ·程序依赖图转换成P/T网 | 第121-127页 |
| ·转换规则 | 第121-122页 |
| ·转换算法 | 第122-127页 |
| ·小结 | 第127-128页 |
| 第7章 基于P不变量结构分解的并行识别方法 | 第128-143页 |
| 本章目标 | 第128页 |
| ·引言 | 第128页 |
| ·基于PETRI网的并行化方法研究 | 第128-129页 |
| ·基于P不变量结构分解方法 | 第129-136页 |
| ·P不变量 | 第129-130页 |
| ·求解P不变量 | 第130-136页 |
| ·并行识别 | 第136-140页 |
| ·基于库所不变量的并行识别条件 | 第136-139页 |
| ·程序分析 | 第139-140页 |
| ·反例展示 | 第140-142页 |
| ·小结 | 第142-143页 |
| 第8章 案例研究 | 第143-167页 |
| 本章目标 | 第143页 |
| ·案例一 (个人防火墙关键技术在多核平台上的建模、验证与实现) | 第143-158页 |
| ·系统MTP-PN建模 | 第144-148页 |
| ·基于广义随机MTP-PN的性能分析 | 第148-153页 |
| ·系统实现 | 第153-156页 |
| ·小结 | 第156-158页 |
| ·案例二 (矩阵相乘算法在多核平台上的建模、验证与实现) | 第158-167页 |
| ·模型建立 | 第158-160页 |
| ·性能评价 | 第160-162页 |
| ·多核架构下的性能评价 | 第162-164页 |
| ·实验结果对比及分析 | 第164-166页 |
| ·小结 | 第166-167页 |
| 第9章 总结与展望 | 第167-170页 |
| ·主要贡献 | 第167-168页 |
| ·进一步的研究工作 | 第168-170页 |
| 参考文献 | 第170-177页 |
| 攻读博士学位期间主持和参与的课题 | 第177-178页 |
| 攻读博士学位期间发表和录用的论文 | 第178-179页 |
| 致谢 | 第179页 |
