| 摘要 | 第1-14页 |
| ABSTRACT | 第14-17页 |
| 第一章 绪论 | 第17-37页 |
| ·本文的研究背景 | 第17-18页 |
| ·事务内存的概念 | 第18-20页 |
| ·事务内存系统 | 第20-24页 |
| ·事务内存系统分类 | 第20-23页 |
| ·事务内存系统设计目标 | 第23-24页 |
| ·相关研究和进展 | 第24-31页 |
| ·相关研究 | 第25-29页 |
| ·研究进展 | 第29-31页 |
| ·本文的工作 | 第31-37页 |
| ·研究内容 | 第32-34页 |
| ·主要贡献 | 第34-35页 |
| ·论文结构 | 第35-37页 |
| 第二章 基于分离的硬件事务内存系统设计方法 | 第37-47页 |
| ·两类硬件事务内存系统设计目标 | 第37-39页 |
| ·支持任意大小事务的必要性 | 第37-38页 |
| ·支持操作系统的必要性 | 第38-39页 |
| ·当前系统存在的问题 | 第39-45页 |
| ·延迟更新版本管理策略存在的问题 | 第41-42页 |
| ·基于cache一致性协议的事务冲突检测策略的问题 | 第42-44页 |
| ·存在的其它问题 | 第44-45页 |
| ·本文的主张 | 第45-46页 |
| ·小结 | 第46-47页 |
| 第三章 DTM:基于分离设计方法的硬件事务内存系统 | 第47-75页 |
| ·系统概述 | 第47-50页 |
| ·事务一致性的概念 | 第48-49页 |
| ·DTM访存处理流程 | 第49-50页 |
| ·系统体系结构 | 第50-54页 |
| ·事务一致性协议目录 | 第50-52页 |
| ·事务控制器 | 第52-53页 |
| ·事务cache | 第53页 |
| ·事务标识号管理器 | 第53-54页 |
| ·事务一致性协议 | 第54-68页 |
| ·基本数据结构 | 第54-57页 |
| ·无冲突时的事务一致性协议流程 | 第57-60页 |
| ·事务提交和作废 | 第60页 |
| ·冲突检测和仲裁 | 第60-64页 |
| ·事务一致性协议状态转换表 | 第64-68页 |
| ·操作系统支持 | 第68-70页 |
| ·现场切换 | 第68页 |
| ·线程迁移 | 第68-69页 |
| ·内存页置换 | 第69-70页 |
| ·硬件支持的日志操作 | 第70-73页 |
| ·小结 | 第73-75页 |
| 第四章 DTM系统深度优化和性能评测 | 第75-97页 |
| ·深度优化措施 | 第75-80页 |
| ·事务检查过滤 | 第75-76页 |
| ·事务目录状态清洗 | 第76-77页 |
| ·分布式事务标识号管理器 | 第77页 |
| ·动态分配的事务目录 | 第77-79页 |
| ·优化的协议流程 | 第79-80页 |
| ·DTM原型系统的实现和性能评测 | 第80-93页 |
| ·原型系统实现方式 | 第80-81页 |
| ·性能评测 | 第81-93页 |
| ·与相关研究的比较 | 第93-95页 |
| ·小结 | 第95-97页 |
| 第五章 基于DTM的高级事务内存语义支持 | 第97-119页 |
| ·支持事务嵌套 | 第97-110页 |
| ·嵌套事务执行模型的形式化描述 | 第98-103页 |
| ·DTM系统支持事务嵌套的实现 | 第103-110页 |
| ·支持不可回退事务 | 第110-115页 |
| ·DTM支持不可回退事务的方式 | 第111-113页 |
| ·两种优化策略 | 第113-115页 |
| ·基于事务嵌套的部分作废优化策略 | 第115-118页 |
| ·基于嵌套子事务的部分作废机制 | 第115-116页 |
| ·死锁和活锁问题 | 第116-117页 |
| ·性能评测 | 第117-118页 |
| ·小结 | 第118-119页 |
| 第六章 轻量级的硬件事务内存系统解决方案 | 第119-141页 |
| ·HybridTCache系统概述 | 第120-122页 |
| ·HybridTCache硬件体系结构 | 第122-125页 |
| ·专用事务Cache体系结构 | 第122-123页 |
| ·寄存器设计 | 第123页 |
| ·处理器指令集设计 | 第123-124页 |
| ·TCache中断/异常定义 | 第124-125页 |
| ·操作系统设计 | 第125-129页 |
| ·异常中断处理流程 | 第126-127页 |
| ·CPU访问TCache溢出"脏"块流程 | 第127页 |
| ·事务冲突处理流程 | 第127-128页 |
| ·讨论 | 第128-129页 |
| ·Cache一致性协议设计 | 第129-138页 |
| ·系统实现和评测 | 第130-131页 |
| ·性能评测 | 第131-132页 |
| ·可扩展性分析 | 第132-133页 |
| ·TCache溢出分析 | 第133-134页 |
| ·签名算法分析 | 第134-136页 |
| ·事务执行过程分析 | 第136页 |
| ·系统实现复杂性分析 | 第136-138页 |
| ·与相关研究的比较 | 第138-139页 |
| ·小结 | 第139-141页 |
| 第七章 基于数据重用的通用事务内存系统优化方法 | 第141-155页 |
| ·问题的提出 | 第141-143页 |
| ·基本思想 | 第143-144页 |
| ·基于软件事务内存系统的TItDR实现 | 第144-148页 |
| ·基于软件系统上的测试结果和分析 | 第148-152页 |
| ·性能分析 | 第148-151页 |
| ·可重用数据的比例 | 第151-152页 |
| ·小结 | 第152-155页 |
| 第八章 结束语 | 第155-159页 |
| ·本文的总结 | 第155-158页 |
| ·下一步的工作 | 第158-159页 |
| 致谢 | 第159-161页 |
| 参考文献 | 第161-181页 |
| 作者在学期间取得的学术成果 | 第181-183页 |
| 作者在学期间参与的科研项目及获得的奖励 | 第183页 |