冗余数组边界检查与对象内联优化
| 目录 | 第1-4页 |
| 摘要 | 第4-5页 |
| Abstract | 第5-6页 |
| 第一章 绪论 | 第6-12页 |
| ·研究背景 | 第6-7页 |
| ·性能瓶颈 | 第7-8页 |
| ·优化方向 | 第8-9页 |
| ·问题与方法 | 第9-10页 |
| ·论文结构 | 第10-12页 |
| 第二章 背景知识 | 第12-29页 |
| ·冗余数组边界检查消除背景 | 第12-19页 |
| ·相关知识 | 第12页 |
| ·ABCD算法 | 第12-16页 |
| ·Wrthinger算法 | 第16-19页 |
| ·约束图算法 | 第19页 |
| ·对象内联背景 | 第19-24页 |
| ·内联情况归类 | 第20-21页 |
| ·wimmer的实现 | 第21-23页 |
| ·域分析技术 | 第23-24页 |
| ·Java静态编译器opencj | 第24-28页 |
| ·Java静态编译器 | 第25-26页 |
| ·opencj | 第26-28页 |
| ·本章小结 | 第28-29页 |
| 第三章 冗余数组边界检查消除 | 第29-42页 |
| ·简介 | 第29-31页 |
| ·构建不等式图 | 第31-38页 |
| ·遍历索引相关变量集 | 第31-32页 |
| ·构建不等式图 | 第32-34页 |
| ·产生索引取值信息 | 第34-38页 |
| ·识别冗余类型 | 第38-40页 |
| ·识别完全冗余边界检查 | 第39页 |
| ·识别部分冗余边界检查 | 第39-40页 |
| ·消除冗余数组边界检查 | 第40页 |
| ·消除完全冗余边界检查 | 第40页 |
| ·消除部分冗余边界检查 | 第40页 |
| ·冗余数据边界检查消除算法的比较 | 第40-41页 |
| ·本章小结 | 第41-42页 |
| 第四章 对象内联 | 第42-51页 |
| ·简介 | 第42-43页 |
| ·算法设计 | 第43-44页 |
| ·算法实现 | 第44-50页 |
| ·系统框架 | 第44-45页 |
| ·域处理 | 第45-50页 |
| ·方法跟踪 | 第45-47页 |
| ·能否对象内联 | 第47-48页 |
| ·域载入优化 | 第48-50页 |
| ·本章小结 | 第50-51页 |
| 第五章 性能测试 | 第51-55页 |
| ·冗余数组边界检查消除 | 第51-53页 |
| ·边界检查的消除 | 第52页 |
| ·性能评估 | 第52-53页 |
| ·对象内联优化 | 第53-55页 |
| ·性能评估 | 第53-55页 |
| 第六章 总结与展望 | 第55-56页 |
| 参考文献 | 第56-59页 |
| 致谢 | 第59-60页 |
