CSR: Small: Meta Analysis Directed Execution

CSR：小型：元分析定向执行

• 批准号: 0915992
• 负责人: Akhilesh Tyagi
• 金额: $ 10万
• 依托单位: Iowa State University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2009
• 资助国家: 美国
• 起止时间: 2009-09-01 至 2015-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0915992&HistoricalAwards=false
• 关键词: CSR; Small; Meta; Analysis; Directed

This project aims to modify the representation of binary executable files by retaining information generated during various program transformations using an XML notation. If retrievable, the information lost during transformation processes could potentially improve the hardware/runtime system. While high level programming languages support software development, computer architecture is implemented more efficiently around low level assembly/machine programming language. This gap between high level and machine level programming languages is bridged by translations performed by a compiler. A compiler performs significant analysis and translation on the high level program code program in order to generate optimized low level code. However, the original program's structural information is lost by the time the program has been translated into a low level representation. Consequently, an existing processor's architectures cannot benefit from such structural information.Many dynamic optimizations performed in a processor, such as branch and value prediction, and many dynamic compiler optimizations, such as dynamic loop unrolling, can be expressed in a semantically rich binary file format. This project uses an XML based binary file format to express program structure. The program metadata is expressed as XML namespace tags. A processor, consisting of a meta-engine to interpret the program level structure semantic metadata, transforms the binary program in order to affect the specified dynamic optimizations before handing it over to a classical execution engine. This approach opens up many performance enhancement opportunities, controlled by the program itself. In this seed project, the execution engine is realized through a simulation environment based on Open DOS (Open Source Dynamic Optimization). A proof-of-concept compiler, XMLgcc, generates the metadata tagged binary files. This project will result in a transformative view of processor and compiler design. This may spur processor development activity due to "soft"ization of many of the current hard features of an architecture - a corresponding compiler development has significantly lower overhead. The empirical nature of computer architecture and compilers requires a platform on which architecture and compiler variations can be implemented with low cost. Such a platform is an ideal pedagogical tool for exposing such "what if" iterative design process to computer architecture and compiler students. The team will also develop instructional modules based on the SeeMe platform for various computer architecture and compiler (dynamic optimization) topics for graduate classes.

这个项目的目的是修改表示的二进制可执行文件，通过保留信息期间产生的各种程序转换使用XML符号。如果可以检索，则在转换过程中丢失的信息可能会改进硬件/运行时系统。虽然高级编程语言支持软件开发，但计算机体系结构围绕低级汇编/机器编程语言更有效地实现。高级编程语言和机器级编程语言之间的这种差距是通过编译器执行的翻译来弥合的。编译器对高级程序代码程序执行重要的分析和翻译，以便生成优化的低级代码。然而，原始程序的结构信息丢失的时候，程序已被翻译成一个低级别的表示。 在处理器中执行的许多动态优化（例如分支和值预测）和许多动态编译器优化（例如动态循环展开）可以用语义丰富的二进制文件格式来表达。该项目使用基于XML的二进制文件格式来表达程序结构。程序元数据表示为XML名称空间标记。由解释程序级结构语义元数据的元引擎组成的处理器在将其移交给经典执行引擎之前转换二进制程序以影响指定的动态优化。这种方法打开了许多性能增强的机会，由程序本身控制。在这个种子项目中，执行引擎是通过一个基于开放DOS（开源动态优化）的仿真环境来实现的。一个概念验证编译器， XMLgcc生成元数据标记的二进制文件。这个项目将导致处理器和编译器设计的变革性观点。这可能会刺激处理器开发活动，因为架构的许多当前硬功能的“软”化-相应的编译器开发具有显著更低的开销。计算机体系结构和编译器的经验性质需要一个平台，在该平台上可以以低成本实现体系结构和编译器变体。这样的平台是一个理想的教学工具，暴露这样的“如果”迭代设计过程的计算机体系结构和编译器的学生。该团队还将开发基于SeeMe平台的教学模块，用于研究生课程的各种计算机体系结构和编译器（动态优化）主题。