CSR: Small: Meta Analysis Directed Execution

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

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.