| 目录 | 第1-6页 |
| 表目录 | 第6-7页 |
| 图目录 | 第7-9页 |
| 摘要 | 第9-10页 |
| ABSTRACT | 第10-11页 |
| 第一章 绪论 | 第11-16页 |
| ·背景 | 第11-12页 |
| ·相关工作 | 第12-14页 |
| ·本文工作 | 第14-15页 |
| ·文章组织 | 第15-16页 |
| 第二章 确定性执行模型 | 第16-23页 |
| ·多线程程序不确定因素分析 | 第16-17页 |
| ·基于运行时的确定性执行技术 | 第17-19页 |
| ·Syn-Free 确定性执行模型 | 第19-23页 |
| 第三章 高效的线程运行空间隔离技术 | 第23-33页 |
| ·线程运行空间隔离的三种设计 | 第23-29页 |
| ·插桩重定向访存 | 第23-26页 |
| ·线程独立页表 | 第26-27页 |
| ·线程的物理空间分离 | 第27-29页 |
| ·高效运行时内存分配技术 | 第29-31页 |
| ·物理空间分离下的线程间同步 | 第31-33页 |
| 第四章 基于先后关系的线程通信技术 | 第33-43页 |
| ·线程通信协议 | 第33-37页 |
| ·多线程程序语义分析 | 第33-35页 |
| ·基于 happen-before 关系的线程局部通信协议 | 第35-37页 |
| ·基于页面保护的访存追踪技术 | 第37-39页 |
| ·happen-before 关系确认技术 | 第39-43页 |
| 第五章 非典型同步的自动识别技术 | 第43-53页 |
| ·Ad-hoc 同步简介与分析 | 第43-47页 |
| ·Ad-hoc 同步简介 | 第43-44页 |
| ·Ad-hoc 同步特征分析 | 第44-47页 |
| ·Ad-hoc 同步的检测 | 第47-51页 |
| ·全局变量相关集合的收集 | 第48-49页 |
| ·Ad-hoc 同步后端（循环）的检测 | 第49-50页 |
| ·Ad-hoc 同步前端（写操作）的检测 | 第50-51页 |
| ·随机延时优化技术 | 第51-53页 |
| 第六章 实验 | 第53-63页 |
| ·内存分配机制测试 | 第53-56页 |
| ·Ad-hoc 检测技术测试 | 第56-60页 |
| ·Syn-Free 执行原型测试 | 第60-63页 |
| ·正确性和确定性测试 | 第61-62页 |
| ·性能测试 | 第62-63页 |
| 结束语 | 第63-64页 |
| 致谢 | 第64-65页 |
| 参考文献 | 第65-69页 |
| 作者在学期间取得的学术成果 | 第69页 |