事务存储系统：事务冲突与事务并行
| 摘要 | 第1-13页 |
| ABSTRACT | 第13-15页 |
| 第一章 绪论 | 第15-31页 |
| ·研究背景 | 第15-19页 |
| ·单芯片处理器的并行度不断提高 | 第15-17页 |
| ·并行度的提高需要新型并行编程模型 | 第17页 |
| ·并行度的提高需要新型并发控制模型 | 第17-19页 |
| ·相关研究工作 | 第19-26页 |
| ·事务存储技术的提出 | 第19-20页 |
| ·事务的语义 | 第20-22页 |
| ·事务存储系统的实现 | 第22-25页 |
| ·事务存储系统的性能评估 | 第25-26页 |
| ·事务存储系统性能分析模型 | 第26页 |
| ·研究内容 | 第26-27页 |
| ·事务并行与冲突处理 | 第26页 |
| ·基于冲突图的事务存储系统设计 | 第26-27页 |
| ·基于事务存储技术的程序并行化研究 | 第27页 |
| ·基于马尔科夫链的硬件事务存储系统分析模型研究 | 第27页 |
| ·本文的创新点 | 第27-28页 |
| ·论文结构 | 第28-31页 |
| 第二章 事务并行与冲突处理 | 第31-49页 |
| ·事务的并行级别 | 第31-32页 |
| ·线程间事务并行 | 第32-40页 |
| ·基础定义 | 第32-34页 |
| ·顺序可序列化 | 第34-37页 |
| ·强原子性 | 第37-40页 |
| ·线程内事务并行 | 第40-43页 |
| ·顺序可序列化 | 第40-42页 |
| ·强原子性 | 第42-43页 |
| ·嵌套事务并行 | 第43-47页 |
| ·顺序可序列化 | 第43-46页 |
| ·强原子性 | 第46-47页 |
| ·小结 | 第47-49页 |
| 第三章 基于冲突图的事务存储系统设计 | 第49-73页 |
| ·CGTM 系统概述 | 第49-51页 |
| ·基于冲突图的并发控制协议 | 第51-57页 |
| ·线程元数据 | 第51-53页 |
| ·虚拟事务Cache | 第53-54页 |
| ·线程的初始化 | 第54页 |
| ·冲突检测 | 第54-55页 |
| ·提交确认（Validation） | 第55-56页 |
| ·事务的提交与中止 | 第56-57页 |
| ·实现强原子性 | 第57页 |
| ·CGTM 的硬件支持 | 第57-60页 |
| ·寄存器组 | 第58-59页 |
| ·指令集扩展 | 第59页 |
| ·Cache 和目录 | 第59-60页 |
| ·硬件支持的并发控制协议 | 第60-65页 |
| ·硬件支持的含序冲突图维护 | 第60-61页 |
| ·事务的提交/ 中止的详细过程 | 第61-63页 |
| ·状态转换表 | 第63-65页 |
| ·CGTM 的操作系统支持 | 第65-67页 |
| ·线程的调度 | 第65-66页 |
| ·事务相关的中断/ 异常处理 | 第66页 |
| ·虚存管理 | 第66-67页 |
| ·实验评测 | 第67-69页 |
| ·模拟环境 | 第67-68页 |
| ·性能对比分析 | 第68页 |
| ·执行时间的构成分析 | 第68-69页 |
| ·对网络延迟的敏感性分析 | 第69页 |
| ·小结 | 第69-73页 |
| 第四章 基于事务存储技术的并行应用研究 | 第73-97页 |
| ·实验配置 | 第73-75页 |
| ·软硬件环境 | 第73页 |
| ·应用程序选择 | 第73-74页 |
| ·基本并行化策略 | 第74-75页 |
| ·并行化实时视频人脸识别 | 第75-81页 |
| ·算法简介 | 第75-76页 |
| ·并行化 | 第76-79页 |
| ·性能评测 | 第79-81页 |
| ·并行化最大网络流算法 | 第81-88页 |
| ·算法简介 | 第81-83页 |
| ·并行化 | 第83-85页 |
| ·性能评测 | 第85-88页 |
| ·并行化Adaboost 机器学习 | 第88-95页 |
| ·算法简介 | 第88-89页 |
| ·并行化Adaboost 算法 | 第89-93页 |
| ·性能测评 | 第93页 |
| ·改变并发度 | 第93-95页 |
| ·改变数据规模 | 第95页 |
| ·小结 | 第95-97页 |
| 第五章 基于马尔科夫链的硬件事务存储系统性能分析 | 第97-113页 |
| ·模型建立 | 第97-100页 |
| ·假设与基础 | 第97-98页 |
| ·硬件事务存储系统的描述 | 第98-100页 |
| ·模型求解 | 第100-106页 |
| ·若干统计量的表达式 | 第100-101页 |
| ·pi 与qi 的求解 | 第101-102页 |
| ·EE 型硬件事务存储系统 | 第102-103页 |
| ·EL、LL 型硬件事务存储系统 | 第103-105页 |
| ·主要性能评价指标的求解 | 第105-106页 |
| ·模型验证与分析 | 第106-111页 |
| ·写操作概率对性能的影响 | 第106-108页 |
| ·冲突检测粒度对性能的影响 | 第108-109页 |
| ·系统的可扩展性分析 | 第109-111页 |
| ·小结 | 第111-113页 |
| 第六章 结束语 | 第113-115页 |
| ·工作总结 | 第113-114页 |
| ·研究展望 | 第114-115页 |
| 致谢 | 第115-116页 |
| 参考文献 | 第116-131页 |
| 作者在学期间取得的学术成果 | 第131-132页 |
