SPX: Collaborative Research: Scalable Heterogeneous Migrating Threads for Post-Moore Computing

该项目将推进计算机体系结构和极端和异构并行编程系统的最新技术。很明显，后摩尔定律时代将需要计算机系统的重大突破。该项目将解决这个新时代的计算机架构和编程系统挑战，重点关注通过保留冯诺依曼计算模型的一些原则（不像生物或量子计算等更具探索性的方法），预计在规模，成本效益和可用性方面可扩展的方法。通过强调数据分析，这项工作也将有利于快速增长的现代生活（商业，网络，国家安全，社交网络）。更深入地了解如何使这些应用程序更具可扩展性，并具有足够的响应能力来处理日益增长的实时需求，应该会对日常生活产生更广泛的影响，并具有重大的技术转型潜力。还有一个直接连接到教学和劳动力的发展，因为这一建议的硬件和软件方面可以使广大学生更好地了解在未来的技术路线图预计计算平台的更广泛的多样性。该奖项开发的SHMT（可扩展异构迁移线程）模型将包括对迁移线程和异步任务模型的扩展以支持异构性，以及对事务和参与者模型的扩展以支持数据一致性。此外，研究人员建议使用数据分析图问题来评估他们的研究，因为这些应用程序在实践中很重要，并且在当前系统上解决具有挑战性。考虑到这种计算的规模、复杂性和动态性质的预期持续增加，理解如何以一种可以在包括更新和查询的高速率流的环境中扩展到非常高的并发级别的方式来实现它们具有越来越大的价值。这些技术还可以应用于其他应用程序类，例如数据稀疏或不规则的科学应用程序。这个为期3年的研究项目的总体目标是推进计算机体系结构和编程系统的基础，以解决可扩展并行性和极端异构性的新挑战，重点是数据分析和解决数据一致性，系统管理，资源分配和任务调度问题。研究人员将利用他们在架构和编程系统领域独特但协同的专业知识，通过构建和整合他们过去在迁移线程和近内存处理方面的工作，对异构计算异步任务并行性的软件支持以及数据分析。格鲁吉亚理工学院的新型计算层次研究中心（CRNCH）将提供第一种替代系统，用于评估新概念。行业合作伙伴包括Length-Nexis Risk Solutions和Kyndi，对他们来说，图形数据分析是其业务模式的核心。该奖项反映了NSF的法定使命，并通过使用基金会的知识价值和更广泛的影响审查标准进行评估，被认为值得支持。

The project will advance the state of the art in computer architecture and programming systems for extreme and heterogeneous parallelism. It is clear that the post-Moore' law era will require major disruptions in computing systems. This project will address computer architecture and programming system challenges for this new era, with a focus on approaches that are expected to be scalable in size, cost effectiveness, and usability by retaining some tenets of the von Neumann computing model (unlike more exploratory approaches like biological or quantum computing). By emphasizing data analytics, the work will also benefit a rapidly growing swatch of modern life (commercial, cyber, national security, social networks). A deeper understanding of how such applications can be made more scalable, and responsive enough to handle increasing real-time requirements, should lead to wider impacts across every-day life with significant potential for technology transition. There is also a direct connection to pedagogy and workforce development, since both hardware and software aspects of this proposal can enable a broad range of students to better understand the wider diversity of computing platforms projected in future technology roadmaps. The SHMT (Scalable Heterogeneous Migrating Thread) model developed in this award will include extensions to the migrating threads and asynchronous task models to support heterogeneity, and extensions to the transaction and actor models to support data coherence. Further, the investigators propose to use data analytic graph problems to evaluate their research, since these applications are both important in practice and are challenging to solve on current systems. Given the expected continued increase in the size, complexity, and dynamic nature of such computations, it is of growing value to understand how to implement them in a manner that can scale to very high levels of concurrency in environments that include high rate streams of both updates and queries. These techniques can also apply to other application classes, such as scientific applications where data is sparse or irregular. The overall objective of this 3-year research project is to advance the foundations of computer architecture and programming systems to address the emerging challenges of scalable parallelism and extreme heterogeneity, with an emphasis on data analytics and solving data coherence, system management, resource allocation, and task scheduling issues. The investigators will leverage their distinct but synergistic expertise in the architecture and programming systems areas by building on, and integrating, their past work on migrating threads and near-memory processing, software support for asynchronous task parallelism for heterogeneous computing, and data analytics. The Center for Research into Novel Computing Hierarchies (CRNCH) at Georgia Tech will provide access to first-of-a-kind alternative systems for use in evaluating the new concepts. Industrial collaborators include Lexis-Nexis Risk Solutions and Kyndi, for whom graph data analytics are central to their business model.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.