XPS: FULL: Collaborative Research: Parallel and Distributed Circuit Programming for Structured Prediction

XPS：完整：协作研究：用于结构化预测的并行和分布式电路编程

• 批准号: 1818643
• 负责人: Vivek Sarkar
• 金额: $ 8.83万
• 依托单位: Georgia Tech Research Corporation
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2017
• 资助国家: 美国
• 起止时间: 2017-10-01 至 2019-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1818643&HistoricalAwards=false
• 关键词: XPS; FULL; Collaborative; Research; Parallel

This project develops a system for "circuit programming," which allows a programmer to focus on the high-level solution to a problem rather than on the details of how the computation is organized. Circuit programming consists of writing rules that describe how data items depend on one another. The intellectual merits lie in the design of a new programming language for specifying these rules, along with the algorithms whereby the computer automatically finds efficient strategies for managing the necessary computations on available parallel hardware. The project's broader significance and importance lie in its potential to streamline work in areas such as artificial intelligence and machine learning. With the growing complexity of systems in these areas and their need to process big data in depth, research and teaching typically get bogged down in programming details, especially for parallel platforms; this project aims to delegate those details to automatic methods.The research develops a programming system for Dyna, a circuit programming language that enables concise specification of large function graphs that may be cyclic and/or infinite. Dyna employs (1) a pattern-matching notation that augments pure Prolog with evaluation and aggregation and (2) an object-like mechanism for dynamically defining new sub-circuits as modifications of old ones. This project is building an adaptive system that can mix forward and backward chaining to seek a fixpoint of the circuit and to update this fixpoint as the inputs change. The system will perform compile-time and runtime analysis of the Dyna program and will map it to Habanero, a system for scheduling parallel computations on multicore processors, with extensions for task priorities, task cancellation, GPU execution, and distributed execution.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.

该项目开发了一个“电路编程”系统，它允许程序员专注于问题的高级解决方案，而不是如何组织计算的细节。电路编程包括编写描述数据项如何相互依赖的规则。其智力优势在于设计一种用于指定这些规则的新编程语言，以及计算机自动找到有效策略来管理可用并行硬件上的必要计算的算法。 该项目更广泛的意义和重要性在于其简化人工智能和机器学习等领域工作的潜力。 随着这些领域系统的复杂性不断增加以及深入处理大数据的需求，研究和教学通常会陷入编程细节的困境，尤其是对于并行平台；该项目旨在将这些细节委托给自动方法。该研究为 Dyna 开发了一个编程系统，这是一种电路编程语言，可以对可能是循环和/或无限的大型函数图进行简明说明。 Dyna 采用 (1) 一种模式匹配符号，通过评估和聚合来增强纯 Prolog，以及 (2) 一种类似对象的机制，用于动态定义新子电路作为旧子电路的修改。 该项目正在构建一个自适应系统，该系统可以混合前向和后向链接以寻找电路的固定点并随着输入的变化更新该固定点。 该系统将对 Dyna 程序进行编译时和运行时分析，并将其映射到 Habanero，这是一个在多核处理器上调度并行计算的系统，具有任务优先级、任务取消、GPU 执行和分布式执行的扩展功能。该奖项反映了通过使用基金会的智力价值和更广泛的影响审查标准进行评估，NSF 的法定使命被认为值得支持。