| 摘要 | 第1-13页 |
| ABSTRACT | 第13-16页 |
| 第一章 绪论 | 第16-30页 |
| ·众核时代的软件挑战 | 第16-19页 |
| ·众核CPU时代的到来 | 第16-18页 |
| ·众核CPU时代面临的软件挑战 | 第18-19页 |
| ·面向多核的并行程序设计模型 | 第19-23页 |
| ·现有并行程序设计模型 | 第19-22页 |
| ·锁机制和事务内存 | 第22页 |
| ·投机并行 | 第22-23页 |
| ·事务内存概述 | 第23-26页 |
| ·事务内存现状 | 第23-24页 |
| ·事务内存研究内容 | 第24-26页 |
| ·投机并行机制 | 第26-27页 |
| ·本文主要创新点 | 第27-28页 |
| ·全文组织 | 第28-30页 |
| 第二章 软件事务内存语义模型和实现算法 | 第30-50页 |
| ·串行一致性和线性一致性 | 第30-32页 |
| ·串行一致性(Sequential Consistency) | 第31页 |
| ·线性一致性(Linearizability) | 第31-32页 |
| ·事务内存语义模型 | 第32-36页 |
| ·事务内存操作 | 第32-34页 |
| ·读操作(TM Read)语义 | 第34页 |
| ·事务提交(TM Commit)和事务冲突 | 第34-35页 |
| ·事务内存的线性一致性 | 第35-36页 |
| ·事务内存设计考虑因素 | 第36-40页 |
| ·硬件事务内存实现 | 第36-37页 |
| ·软件事务内存实现 | 第37-39页 |
| ·软件事务内存实现设计考虑因素 | 第39-40页 |
| ·LDSTM算法 | 第40-49页 |
| ·事务应用程序特征 | 第40-41页 |
| ·伴生数据修改算法 | 第41-42页 |
| ·LDSTM算法 | 第42-44页 |
| ·LDSTM正确性证明 | 第44页 |
| ·LDSTM算法开销分析 | 第44-45页 |
| ·相关工作比较 | 第45页 |
| ·LDSTM测试结果 | 第45-49页 |
| ·小结 | 第49-50页 |
| 第三章 基于因果一致性的软件事务内存研究 | 第50-76页 |
| ·面向高级语言的内存语义模型和因果一致性 | 第51-58页 |
| ·现有线程并行程序开发所面临的问题 | 第51-53页 |
| ·面向线程并行的内存语义模型 | 第53-57页 |
| ·小结 | 第57-58页 |
| ·事务内存机制和高级语言 | 第58-67页 |
| ·现有软件事务内存实现存在的问题 | 第58-61页 |
| ·事务机制中"强隔离"和"弱隔离" | 第61页 |
| ·面向高级语言的事务实现机制 | 第61-64页 |
| ·事务串行序关系 | 第64页 |
| ·事务因果序关系 | 第64-67页 |
| ·基于因果一致性的事务内存实现 | 第67-74页 |
| ·事务串行序关系实现 | 第67页 |
| ·确定具有因果关系的事务 | 第67-72页 |
| ·CCSTM测试 | 第72-74页 |
| ·小结 | 第74-76页 |
| 第四章 面向循环的软件投机并行机制 | 第76-94页 |
| ·线程投机并行研究现状 | 第77-80页 |
| ·软件循环投机并行实现机制 | 第78-80页 |
| ·LLSM循环投机并行算法 | 第80-86页 |
| ·线程投机并行概念和定义 | 第80-82页 |
| ·循环投机并行化算法LLSM | 第82-85页 |
| ·LLSM正确性证明 | 第85页 |
| ·LLSM算法分析 | 第85-86页 |
| ·面向投机并行的点点同步算法 | 第86-89页 |
| ·点点同步正确性条件 | 第87页 |
| ·同步点选择算法IsSignalSynPos | 第87-89页 |
| ·IsSignalSynPos算法正确性证明 | 第89页 |
| ·LLSM算法测试 | 第89-91页 |
| ·桶排序算法 | 第89-90页 |
| ·SPECfp2000并行化分析 | 第90-91页 |
| ·小结 | 第91-94页 |
| 第五章 TRANSPECT并行化机制 | 第94-110页 |
| ·面向异构多核的OpenMP实现 | 第94-99页 |
| ·Cell异构多核处理器及OpenMP简介 | 第94-97页 |
| ·OpenMP并行编程模型在异构多核上存在的问题 | 第97-99页 |
| ·基于OpenMP的TRANSPECT扩展 | 第99-101页 |
| ·循环投机并行工作共享结构 | 第99-101页 |
| ·原子工作共享结构 | 第101页 |
| ·TRANSPECT实现 | 第101-105页 |
| ·基于空间多面体的循环访问数据范围识别 | 第102-103页 |
| ·前端编译器支持 | 第103-104页 |
| ·代码生成机制 | 第104-105页 |
| ·测试 | 第105-108页 |
| ·别名数据缓冲机制性能测试 | 第105-107页 |
| ·投机并行测试 | 第107-108页 |
| ·小结 | 第108-110页 |
| 第六章 结束语 | 第110-114页 |
| ·论文工作的创新点和总结 | 第110-111页 |
| ·课题研究展望 | 第111-114页 |
| 致谢 | 第114-116页 |
| 参考文献 | 第116-126页 |
| 作者在学期间取得的学术成果 | 第126-128页 |
| 攻读博士学位期间参加的主要科研工作 | 第128页 |