数据图处理系统中非确定性并行执行模型的研究
| 摘要 | 第4-5页 |
| ABSTRACT | 第5页 |
| 1 绪论 | 第8-16页 |
| 1.1 研究背景 | 第8-9页 |
| 1.2 问题提出 | 第9-12页 |
| 1.3 国内外研究现状 | 第12-14页 |
| 1.4 课题研究内容 | 第14页 |
| 1.5 文章框架结构 | 第14-16页 |
| 2 数据图处理系统建模 | 第16-22页 |
| 2.1 图算法和数据图处理系统 | 第16-18页 |
| 2.2 数据图处理系统的系统模型 | 第18-21页 |
| 2.3 研究问题的形式化表示 | 第21页 |
| 2.4 本章小结 | 第21-22页 |
| 3 图算法的非确定性执行 | 第22-30页 |
| 3.1 图算法的正确性 | 第22-26页 |
| 3.2 图算法的迭代次数 | 第26-29页 |
| 3.3 本章小结 | 第29-30页 |
| 4 图算法中的原子性保证 | 第30-33页 |
| 4.1 显式的锁操作 | 第30-31页 |
| 4.2 体系结构的原子性支持 | 第31页 |
| 4.3 编程语言的原子访问原语 | 第31-32页 |
| 4.4 本章小结 | 第32-33页 |
| 5 实验方案和结果 | 第33-44页 |
| 5.1 实验环境和方案 | 第33-38页 |
| 5.2 实验结果和分析 | 第38-43页 |
| 5.3 本章小结 | 第43-44页 |
| 6 总结与展望 | 第44-46页 |
| 致谢 | 第46-48页 |
| 参考文献 | 第48-52页 |
| 附录 1 攻读硕士期间申请的国家发明专利 | 第52-53页 |
| 附录 2 攻读学位期间录用的论文 | 第53-54页 |
| 附录 3 攻读硕士期间参与的项目 | 第54页 |
