CSR: Small: Meta Analysis Directed Execution

这个项目旨在通过保留在使用XML符号的各种程序转换期间生成的信息来修改二进制可执行文件的表示。如果可以检索，在转换过程中丢失的信息可能会潜在地改进硬件/运行时系统。虽然高级编程语言支持软件开发，但围绕低级汇编/机器编程语言实现计算机体系结构更有效。高级编程语言和机器级编程语言之间的差距通过编译器执行的翻译来弥合。编译器对高级程序代码程序进行重要的分析和翻译，以生成优化的低级代码。然而，原始程序的结构信息在程序被转换成低级表示时丢失了。因此，现有的处理器体系结构无法从这种结构信息中获益。在处理器中执行的许多动态优化，如分支和值预测，以及许多动态编译器优化，如动态循环展开，都可以用语义丰富的二进制文件格式表示。本项目使用基于XML的二进制文件格式来表示程序结构。程序元数据表示为XML名称空间标记。处理器由元引擎组成，用于解释程序级结构语义元数据，在将二进制程序移交给经典执行引擎之前，对其进行转换，以便影响指定的动态优化。这种方法打开了许多性能增强的机会，由程序本身控制。在这个种子项目中，执行引擎是通过一个基于Open DOS （Open Source Dynamic Optimization）的仿真环境实现的。概念验证编译器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.