High Performance Software Components for Scientific Computing

该项目将通过软件构件技术的改进和应用，推动高性能计算的发展。该项目将使用这些技术建立一个高性能的通用组件库，具有复杂科学应用所需的性能和灵活性。三个技术推力将支持这一方法。研究人员将开发和扩展通用编程分析和设计方法，以创建用于科学计算的组件分类，特别是表示更高级别的领域抽象和正式指定其接口。生成式优化将利用这些抽象来自动化性能调整和优化，从而避免传统的高级抽象造成的计算效率损失。最后，库开发将创建高度参数化的组件，这些组件为数值线性代数、多维数组、张量操作和模板操作等领域提供最大的功能和可定制性。通过使用生成性技术，库将高度优化，并将以合理的开发成本提供高性能。通过使用通用编程技术，该库将包含并行处理能力。

This project will advance the state of the art of high performance computing by the refinement and application of software component technologies. The project will use these technologies to build a high-performance library of generic components with the performance and flexibility required for complex scientific applications. Three technical thrusts will support this approach. The researchers will develop and extend generic programming analysis and design methodologies to create component taxonomies for scientific computing, particularly for denoting higher-level domain abstractions and formally specifying their interfaces. Generative optimization will exploit these abstractions to automate performance tuning and optimization, thus avoiding the traditional loss of computational efficiency from high-level abstractions. Finally, library development will create highly parameterized components that offer maximum functionality and customizability for areas such as numerical linear algebra, multi-dimensional arrays, tensor operations, and stencil operations. Through the use of generative techniques, the library will be highly optimizable and will offer high performance at a reasonable development cost. Through the use of generic programming techniques, the library will incorporate parallel processing capabilities.