面向多核/众核平台的猜测并行关键技术研究
| 摘要 | 第1-13页 |
| ABSTRACT | 第13-15页 |
| 第一章 绪论 | 第15-39页 |
| ·研究背景 | 第15-26页 |
| ·多核处理器的发展趋势 | 第15-17页 |
| ·并行编程模型的挑战 | 第17-20页 |
| ·猜测并行模型 | 第20-26页 |
| ·相关工作 | 第26-33页 |
| ·线程级猜测模型 | 第26-30页 |
| ·事务性内存模型 | 第30-32页 |
| ·值预测技术 | 第32-33页 |
| ·研究内容 | 第33-35页 |
| ·主要创新 | 第35-37页 |
| ·论文结构 | 第37-39页 |
| 第二章 高效软件猜测并行模型 | 第39-73页 |
| ·引言 | 第39-41页 |
| ·线程隔离机制 | 第41-43页 |
| ·正确性检验和结果提交机制 | 第43-47页 |
| ·值比较与版本比较 | 第44-47页 |
| ·HEUSPEC开销模型 | 第47-49页 |
| ·模型推导 | 第47-49页 |
| ·HEUSPEC的实现 | 第49-62页 |
| ·线程隔离机制的实现 | 第51-54页 |
| ·冲突检测 / 解决机制的实现 | 第54-56页 |
| ·消息机制的实现 | 第56-57页 |
| ·其他优化技术 | 第57-59页 |
| ·代码结构 | 第59页 |
| ·HEUSPEC代码转换 | 第59-62页 |
| ·实验与评价 | 第62-68页 |
| ·模型验证 | 第63-64页 |
| ·性能评价 | 第64-68页 |
| ·HEUSPEC与传统并行编程模型的对比 | 第68-70页 |
| ·与Open MP的对比 | 第68-69页 |
| ·与Cor D的对比 | 第69-70页 |
| ·与TL2的对比 | 第70页 |
| ·小结 | 第70-73页 |
| 第三章 提升猜测准确率的启发式值预测技术 | 第73-89页 |
| ·引言 | 第73-76页 |
| ·启发式值预测 | 第76-79页 |
| ·冲突变量值变化规律 | 第76-77页 |
| ·启发式值预测基本机制 | 第77-79页 |
| ·启发式值预测的实现 | 第79-83页 |
| ·预测器的实现 | 第80-81页 |
| ·评分 / 选择系统的实现 | 第81-83页 |
| ·实验与评价 | 第83-86页 |
| ·实验设置 | 第83页 |
| ·结果与评价 | 第83-86页 |
| ·小结 | 第86-89页 |
| 第四章 提升猜测准确率的跨线程取技术 | 第89-105页 |
| ·引言 | 第89-91页 |
| ·线程隔离机制的缺陷 | 第91页 |
| ·跨线程取机制 | 第91-97页 |
| ·强制跨线程取和松弛跨线程取 | 第95-97页 |
| ·跨线程取机制的实现 | 第97-98页 |
| ·实验与评价 | 第98-102页 |
| ·实验设置 | 第98-99页 |
| ·结果与评价 | 第99-102页 |
| ·小结 | 第102-105页 |
| 第五章 优化全局开销的动态任务粒度调整技术 | 第105-121页 |
| ·引言 | 第105-108页 |
| ·动态任务粒度调整 | 第108-111页 |
| ·深入分析HEUSPEC开销模型 | 第108-110页 |
| ·调整算法 | 第110-111页 |
| ·动态任务粒度调整的实现 | 第111-115页 |
| ·调整阶段和调整函数 | 第111-112页 |
| ·计时器和计数器 | 第112-115页 |
| ·实验与评价 | 第115-120页 |
| ·实验设置 | 第115页 |
| ·结果与评价 | 第115-120页 |
| ·本章小结 | 第120-121页 |
| 第六章 降低控制开销的乱序确认技术 | 第121-131页 |
| ·引言 | 第121-123页 |
| ·乱序确认机制 | 第123-126页 |
| ·基本思想 | 第123-124页 |
| ·弱相关性检验 | 第124-126页 |
| ·乱序确认机制的实现 | 第126-127页 |
| ·实验和评价 | 第127-128页 |
| ·实验设置 | 第127-128页 |
| ·结果与评价 | 第128页 |
| ·本章小结 | 第128-131页 |
| 第七章 结论与展望 | 第131-135页 |
| ·工作总结 | 第131-132页 |
| ·研究展望 | 第132-135页 |
| 致谢 | 第135-137页 |
| 参考文献 | 第137-147页 |
| 作者在学期间取得的学术成果 | 第147-148页 |
