CAREER: Generative Programming and DSLs for Safe Performance Critical Systems

大多数性能关键型软件都是使用非常低级的技术开发的，接近底层硬件。但是，不安全语言中的低级代码会吸引安全漏洞，如果没有高级语言的软件工程优势，开发人员的生产力就会受到影响，而且在异构硬件和大数据工作负载的时代，单个手工优化的代码库可能不再能够在不同的目标平台上提供良好的性能。生成式编程是对高级语言和低级语言角色的彻底反思。与其在高级托管语言运行库中运行整个系统，其思想是将高级语言的抽象能力集中在组合低级代码上，使运行库代码生成和特定于领域的优化成为程序逻辑的基本部分。该项目将进行生成设计模式的基础研究，这些模式将从现有的和新兴的程序生成器和领域特定语言中提取出来。智力上的优点是对如何以生成式风格开发软件有了更深入的理解。该项目更广泛的意义和重要性是将生成编程建立为每个注重性能的程序员的一部分。S工具箱，使高级编程能够在比目前更多的情况下使用。生成式编程以及随之而来的观点转变，已被证明在数据库（查询编译）、协议和数据格式解析器、硬件电路生成、信号处理内核、机器学习和异构计算设备上的大数据处理等领域非常有效。低级语言的传统据点。但是，虽然程序生成的一般思想被很好地理解了，但该技术仍然是深奥的？这是一种黑色的艺术，只有最熟练和最大胆的程序员才能接触到。缺少的是一门实用的生成式编程学科，包括设计模式、最佳实践等等。为了实现这些更广泛的目标，项目包括一个教育计划，由项目驱动？S的研究，将教授生成编程的广泛受众的学生和开发人员的行业。这项教育工作也将作为一项大规模的可用性研究，将反馈回路闭合到生成式编程技术的研究中。

Most performance critical software is developed using very low-level techniques, close to the underlying hardware. But low-level code in unsafe languages attracts security vulnerabilities, developer productivity suffers without the software engineering benefits of higher-level languages, and in the age of heterogeneous hardware and big data workloads, a single hand-optimized codebase may no longer provide good performance across different target platforms. Generative programming is a radical rethinking of the role of high-level languages and low-level languages. Instead of running whole systems in a high-level managed language runtime, the idea is to focus the abstraction power of high-level languages on composing pieces of low-level code, making runtime code generation and domain-specific optimization a fundamental part of the program logic. This project will conduct a fundamental study of generative design patterns, which will be extracted from existing and emerging program generators and domain-specific languages. The intellectual merits are a deeper understanding of how to develop software in a generative style. The project's broader significance and importance are to establish generative programming as a part of every performance-minded programmer?s toolbox, enabling the use of high-level programming in more situations than currently possible.Generative programming, and the shift in perspective that goes along with it, has been shown to be extremely effective in areas like databases (query compilation), protocol and data format parsers, hardware circuit generation, signal processing kernels, machine learning, and big data processing on heterogeneous computing devices?traditional strongholds of low-level languages. But while the general idea of program generation is well understood, the technique has remained esoteric?a black art, accessible only to the most skilled and daring of programmers. What is missing is a discipline of practical generative programming, including design patterns, best practices and so on. To achieve these broader goals, the project includes an education program, which, driven by the project?s research, will teach generative programming to a wide audience of students and developers in industry. This education effort will also serve as a large-scale usability study, closing the feedback loop into the research on generative programming techniques.