| 摘要 | 第1-5页 |
| ABSTRACT | 第5-6页 |
| 第一章 绪论 | 第6-13页 |
| ·多核时代与并行计算 | 第6-8页 |
| ·并行计算的设计模型 | 第6-8页 |
| ·事务内存与锁机制 | 第8页 |
| ·事务内存 | 第8-10页 |
| ·基于硬件的事务内存 | 第9页 |
| ·基于软件的事务内存 | 第9页 |
| ·混合性事务内存 | 第9-10页 |
| ·国内外相关研究 | 第10页 |
| ·本文的主要工作和成果 | 第10-11页 |
| ·全文组织结构 | 第11-13页 |
| 第二章 软件事务内存 | 第13-27页 |
| ·软件事务内存的语义描述 | 第13-14页 |
| ·共享内存的修改过程 | 第14-15页 |
| ·基于对象的软件事务内存 | 第15-19页 |
| ·基于字的软件事务内存 | 第19-21页 |
| ·影响STM设计的因素 | 第21-24页 |
| ·同步类型(SYNCHRONIZATION TYPES) | 第21-22页 |
| ·内存写保护锁的获取时机 | 第22页 |
| ·内存更新策略(UPDATING POLICIES) | 第22-23页 |
| ·内存粒度(MEMORY GRANULARITY)的考虑 | 第23页 |
| ·事务验证 | 第23-24页 |
| ·现有STM的性能优化分析 | 第24-27页 |
| 第三章 STM的综合优化策略 | 第27-45页 |
| ·事务验证过程的优化 | 第27-34页 |
| ·有效性验证和无效性验证 | 第28-30页 |
| ·冲突检测和正确性保证 | 第30-33页 |
| ·正确性分析和冲突检测的效率 | 第33页 |
| ·事务的通过率 | 第33-34页 |
| ·小结 | 第34页 |
| ·动态调整竞争管理器算法 | 第34-41页 |
| ·基本概念 | 第35-36页 |
| ·常见的竞争管理策略 | 第36-38页 |
| ·优先级策略 | 第38页 |
| ·动态优先级策略 | 第38-39页 |
| ·动态调整算法 | 第39-40页 |
| ·小结 | 第40-41页 |
| ·动态优化BLOOM FILTER | 第41-44页 |
| ·标准BLOOM FILTER算法 | 第41-42页 |
| ·使用BLOOM FILTER管理事务内存对象 | 第42-43页 |
| ·动态优化BLOOM FILTER | 第43-44页 |
| ·小结 | 第44页 |
| ·优化汇总 | 第44-45页 |
| 第四章 系统设计与实现 | 第45-54页 |
| ·总体设计 | 第45-46页 |
| ·系统中锁的设计 | 第46-47页 |
| ·事务的实现 | 第47-50页 |
| ·读写数据集的结构 | 第50-51页 |
| ·竞争管理器 | 第51-52页 |
| ·统计模块与优化器 | 第52-53页 |
| ·设计实现汇总 | 第53-54页 |
| 第五章 测试和结果分析 | 第54-60页 |
| ·测试环境 | 第54页 |
| ·测试程序说明 | 第54-55页 |
| ·测试用例说明 | 第55页 |
| ·测试结果与分析 | 第55-60页 |
| 第六章 结论 | 第60-62页 |
| ·研究总结 | 第60页 |
| ·需要进一步的工作 | 第60-62页 |
| 参考文献 | 第62-66页 |
| 致谢 | 第66-67页 |
