CAREER: Programming Heterogeneous Memory Hierarchies

这个项目解决了计算中一个新兴的和不可避免的问题：如何显式地管理使用不同类型内存技术的计算机。该项目的新颖之处是管理这些机器的新编程语言机制，以及相关的性能改进。 该项目的影响是从程序员的角度更简单，更有效地管理这些机器。 这些混合存储器机器的必然性，沿着它们作为数据中心中的公共计算平台的部署，意味着它们的有效使用是国家进口的问题，在学术界，工业和国防中有各种应用（例如基因测序，天气预报，经济模型模拟和反恐监测）。通过创新这些机器的编程和教育工具，该项目服务于提高架构的效用和性能在众多的经济和国家安全的applications.The项目的目标是从特定的角度，即，语言级接口和相关的编译器和运行时技术解决编程异构内存机器的问题。该项目将继续进行（1）开发一个灵活的类型系统，可以表达存储在异构内存机器上的数据，（2）开发编译器优化定制异构内存及其相关语义的问题，以及（3）集成运行时技术，用于缓解异构内存机器的性能问题。该奖项反映了NSF的法定使命，并被认为值得通过使用基金会的知识价值和更广泛的影响审查标准进行评估。

This project tackles an emerging and inevitable problem within computing: how to explicitly manage computers that use different types of memory technologies. The project's novelties are new programming language mechanisms for managing these machines, with associated improvements in performance. The project's impacts are the simpler and more efficient management of these machines from the programmer's perspective. The inevitability of these mixed memory machines, along with their deployment as a common computing platform in the data center, means that their efficient use is matter of national import, with varied applications in academia, industry, and defense (e.g. genetic sequencing, weather prediction, economic model simulation, and counterterrorism monitoring). By innovating programmatic and educational tools for these machines, this project serves to enhance the architecture's utility and performance across numerous economic and national security applications.The project's aims tackle the problem of programming heterogeneous memory machines from specific angles, namely, the language level interface and associated compiler and runtime techniques. The project will proceed by (1) developing a flexible type system that can express data stored across the heterogeneous memory machine, (2) develop compiler optimizations customized to the problems of heterogeneous memories and their associated semantics, and (3) integrate runtime techniques for mitigating performance problems of heterogeneous memory machines.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.