基于共享资源声明的并发访问控制研究与实现
| 摘要 | 第1-8页 |
| 第1章 绪论 | 第8-12页 |
| ·问题描述 | 第8-9页 |
| ·相关工作 | 第9-10页 |
| ·研究内容 | 第10-11页 |
| ·论文组织 | 第11-12页 |
| 第2章 SPC 语言总述 | 第12-18页 |
| ·SPC 语言简介 | 第12-15页 |
| ·共享数据描述 | 第13-14页 |
| ·并行结构 | 第14页 |
| ·维持特性 | 第14-15页 |
| ·SPC 程序实例 | 第15页 |
| ·SPC 实现框架 | 第15-17页 |
| ·整体框架 | 第16-17页 |
| ·本文工作 | 第17页 |
| ·本章小结 | 第17-18页 |
| 第3章 动态数据访问控制分析 | 第18-30页 |
| ·共享资源维持介绍 | 第18-20页 |
| ·形状图介绍 | 第20-24页 |
| ·形状图定义 | 第20-21页 |
| ·形状图变换规则 | 第21-24页 |
| ·共享单元的推导 | 第24页 |
| ·维持分析 | 第24-28页 |
| ·基本定义 | 第24-25页 |
| ·维持推导函数定义 | 第25-27页 |
| ·维持的数据流分析 | 第27-28页 |
| ·实例分析 | 第28-29页 |
| ·本章小结 | 第29-30页 |
| 第4章 整型数据访问控制分析 | 第30-42页 |
| ·基本概念 | 第30-31页 |
| ·维持区间分析 | 第31-35页 |
| ·顺序结构 | 第31页 |
| ·条件结构 | 第31-33页 |
| ·循环结构 | 第33-34页 |
| ·区间修正 | 第34-35页 |
| ·访问控制点推导方法 | 第35-40页 |
| ·符号定义 | 第35-36页 |
| ·访问控制点计算方法 | 第36-39页 |
| ·访问控制点存储和修正 | 第39-40页 |
| ·本章小结 | 第40-42页 |
| 第5章 程序变换与运行库 | 第42-62页 |
| ·总体介绍 | 第42-45页 |
| ·编译框架介绍 | 第45-48页 |
| ·总体框架 | 第45-46页 |
| ·中间表示介绍 | 第46-48页 |
| ·程序变换 | 第48-57页 |
| ·类型变换 | 第48-52页 |
| ·并行变换 | 第52-54页 |
| ·同步变换 | 第54-55页 |
| ·分配释放变换 | 第55-57页 |
| ·运行库 | 第57-61页 |
| ·内存管理 | 第57-60页 |
| ·锁管理 | 第60-61页 |
| ·线程管理 | 第61页 |
| ·本章小结 | 第61-62页 |
| 第6章 结束语 | 第62-64页 |
| 参考文献 | 第64-68页 |
| 致谢 | 第68-70页 |
| 在读期间发表的学术论文与取得的研究成果 | 第70页 |
