高级语言程序中的数据结构优化.doc

中南大学 本科生毕业论文（设计） 题 目 数据结构可视化实验平台 学生姓名 祝 杰 指导教师 余 腊 生 学 院 信息科学与工程学院 专业班级 计科0902班 完成时间 2013年4月 高级语言程序中的数据结构优化 基于分级的可扩展编译器新方向 Tiark Rompf Arvind K.Sujeeth Nada Amin Kevin J. Browny Vojin Jovanovic HyoukJoong Leey Manohar Jonnalagedda Kunle Olukotuny Martin Odersky 瑞士洛桑理工大学: first.last @epfl.ch Oracle实验室 斯坦福大学: asujeeth, kjbrown, hyouklee, kunle @ 摘要 高层次的数据结构是现代编程的基石，同时也阻碍了编译器优化。为了解释用户或库定义的数据结构，编译器需要具备可扩展性。扩展编译器的通用机制分为两类。前端宏，分级或部分评估系统，可用于在程序进入编译器前以编程的方式删除抽象，进行相应的具象化。此外，有些编译器通过在编译过程中添加新的变型或增加新的中间表示（IR）类型来扩展编译内部的运作。这两者单独都不足以处理高层次的数据结构所带来的挑战。本文展示了一种新颖的方式将两者结合起来，这种方式所产生效益远远大于两者效益之