CSR-AES: Collaborative Research: Library Generators for Advanced Execution Systems

众所周知，大多数应用程序并没有充分利用计算机硬件的性能潜力。库生成器为解决其中一些问题提供了一种很有前途的新方法。尽管所有的库生成器都有很多共同之处，但目前在它们的实现中很少有代码重用。该项目将开发一个名为Proteus的基础设施，为四个重要问题领域生成高度优化的库：密集线性代数、排序、数据挖掘和网络数据包处理。这些环境感兴趣的平台包括具有深度内存层次结构的顺序处理器、提供小规模共享内存并行性的多核系统以及自定义网络处理器。为了使Proteus成为现实，需要在几个方面取得研究进展：提案中提供了用于线性代数的简单领域语言，以及用于数据挖掘和网络数据包处理的适当DSL。一旦完成了特定领域的优化，程序将被翻译成一种称为X语言的低级语言，该语言将在项目下开发，该语言将以紧凑的方式表示搜索空间以及使代码适应硬件的策略。Proteus将包含一些工具，用于收集目标机器的信息，用于静态或动态地指导选择过程，用于实现X代码的领域独立优化，以及用于生成C代码作为最终输出。Proteus基础架构将支持为不同领域快速构建库生成器的原型。将在这四个不同领域产生的库将以它们自己的方式变得有用和有趣。此外，将开发用于收集有关目标机器和计算环境的信息的工具，这些工具可以在其他项目中自行使用。

It is well-known that most applications do not exploit the full performance potential of computer hardware. A promising new approach for addressing some of these problems is provided by library generators. Although all library generators have much in common, there is currently little code reuse in their implementation. This project will develop an infrastructure, called Proteus to generate highly optimized libraries for four important problem domains: dense linear algebra, sorting, data mining, and network packet processing. The platforms of interst for these environments include sequential processors with deep memory hierarchies, multi-core systems that provide small-scale shared-memory parallelism, and custom network processors.Research advances on several fronts are required to make Proteus a reality: a simple domain language for linear algebra in the proposal and appropriate DSL's for data mining and network packet processing. Once domain-specific optimizations are done, the programs will be translated into a lower-level language called the X language, to be developed under the project, that will represent in a compact way the search space as well as the strategy for adapting the code to the hardware. Proteus will contain tools for gathering information about the target machine, for guiding the selection process either statically or dynamically, for implementing domain-independent optimizations of the X code, and for generating C code as the final output.The Proteus infrastructure will enable rapid prototyping of library generators for different domains. The libraries that will beproduced in the four different domains will be useful and interesting in their own right. In addition, tools will be developed for gathering information about the target machines and the computing environment, can be used by themselves in other projects.