基于共享资源声明的并行程序语言的设计与前端实现
| 摘要 | 第1-5页 |
| ABSTRACT | 第5-7页 |
| 目录 | 第7-10页 |
| 第1章 绪论 | 第10-16页 |
| ·问题描述 | 第10-11页 |
| ·相关工作 | 第11-14页 |
| ·并行体系结构与并行编程模型 | 第11-12页 |
| ·相关并行语言的介绍 | 第12-14页 |
| ·研究内容 | 第14-15页 |
| ·论文组织 | 第15-16页 |
| 第2章 SPC 语言及实现框架 | 第16-30页 |
| ·SPC 语法 | 第16-21页 |
| ·具体语法 | 第16-21页 |
| ·SPC 实现框架 | 第21-22页 |
| ·SUIF 编译框架 | 第22-27页 |
| ·总体结构 | 第23页 |
| ·SUIF 中间表示 | 第23-27页 |
| ·SUIF 的使用 | 第27页 |
| ·本文工作 | 第27-28页 |
| ·本章小结 | 第28-30页 |
| 第3章 SPC 的类型系统 | 第30-36页 |
| ·SPC 语言的类型系统 | 第30页 |
| ·类型系统的定义 | 第30-35页 |
| ·合适类型 | 第31页 |
| ·类型相容 | 第31-32页 |
| ·合适表达式类型 | 第32-33页 |
| ·合适的语句类型 | 第33-35页 |
| ·本章小结 | 第35-36页 |
| 第4章 SPC 的操作语义 | 第36-54页 |
| ·抽象语法 | 第36-37页 |
| ·抽象语法实例 | 第37页 |
| ·流图 | 第37-40页 |
| ·initial 和final labels | 第38-39页 |
| ·atoms | 第39页 |
| ·flow | 第39-40页 |
| ·共享变量及其维持 | 第40-41页 |
| ·维持分析 | 第41-45页 |
| ·Last 维持分析 | 第42页 |
| ·原子命令上要获得维持与释放维持的共享变量集合 | 第42-43页 |
| ·维持分析实例 | 第43-45页 |
| ·操作语义 | 第45-50页 |
| ·SPC 抽象机模型 | 第46页 |
| ·操作语义 | 第46-50页 |
| ·访问控制代码的生成 | 第50-52页 |
| ·生成到锁方式的访问控制代码 | 第50-51页 |
| ·其他控制方式的生成 | 第51页 |
| ·程序实例 | 第51-52页 |
| ·本章小结 | 第52-54页 |
| 第5章 SPC 的前端实现 | 第54-68页 |
| ·概述 | 第54-55页 |
| ·SPC 语言的前端实现 | 第55-64页 |
| ·SPC 语言到SUIF 的中间表示 | 第55-59页 |
| ·新增加的SPC 语法在SUIF 中的表示 | 第59-60页 |
| ·语句的扩展 | 第60页 |
| ·Last 表达式及数据结构形状描述的扩展 | 第60-64页 |
| ·收集维持信息的数据流方程的实现 | 第64-66页 |
| ·本章小结 | 第66-68页 |
| 第6章 结束语 | 第68-70页 |
| 参考文献 | 第70-74页 |
| 致谢 | 第74-76页 |
| 在读期间发表的学术论文与取得的研究成果 | 第76页 |
