CAPA: Collaborative Research: Lightweight Abstract Memory Features

CAPA:协作研究:轻量级抽象内存功能

基本信息

  • 批准号:
    1723476
  • 负责人:
  • 金额:
    $ 25万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    2017
  • 资助国家:
    美国
  • 起止时间:
    2017-09-01 至 2021-08-31
  • 项目状态:
    已结题

项目摘要

The memory subsystem of modern computing systems has seen tremendous innovations, incorporating new features to aid programmers in creating fast, secure, correct, and power-efficient software. Unfortunately, harnessing these features is a challenge, as programming languages do not expose advanced abilities of the memory subsystem to programmers. This project focuses on the interface between programming languages and memory hardware. The intellectual merits include the creation of a rigorous semantics for memory features, so that programmers can reason about individual features and their composition; and the creation of compilation tools and run-time systems that allow programmers to use new memory features, in isolation or combination, for maximum gain. The project's broader significance and importance are its impact on the software and hardware industry, by facilitating rapid adoption of new memory features; the education and training of graduate students; and the creation of a tutorial to aid in dissemination and adoption of the developed tools and techniques.Hardware implementations of memory features are typically fast but limited by physical capacity, and the precise semantics of features are often vendor-specific. The theoretical portion of the work will create rigorous semantics for memory features, which transcend individual implementation and allow programmers and static analysis tools to reason about a program's interaction with memory. The research will construct virtualized run-time systems to overcome hardware constraints, and to emulate features when they are not present. Its implementations will employ run-time adaptivity to fine-tune themselves to a given system's feature availability, support for composition of features, and hardware/workload characteristics. A custom compiler infrastructure, built atop the LLVM system, will provide a lightweight syntax through which programmers can easily add support for memory features to their existing codes.
现代计算系统的存储器子系统已经经历了巨大的创新,结合了新的功能来帮助程序员创建快速,安全,正确和节能的软件。 不幸的是,利用这些功能是一个挑战,因为编程语言不向程序员展示内存子系统的高级功能。 这个项目的重点是编程语言和存储器硬件之间的接口。其智力优势包括为内存特性创建了严格的语义,这样程序员就可以对各个特性及其组成进行推理;以及创建编译工具和运行时系统,允许程序员单独或组合使用新的内存特性,以获得最大收益。 该项目的更广泛的意义和重要性是它对软件和硬件行业的影响,通过促进新的内存功能的快速采用;研究生的教育和培训;以及创建一个教程,以帮助传播和采用所开发的工具和技术。存储器功能的硬件实现通常很快,但受到物理容量的限制,并且特征的精确语义通常是厂商特定的。 理论部分的工作将创建严格的语义内存功能,超越个人的实现,并允许程序员和静态分析工具的原因程序与内存的相互作用。 该研究将构建虚拟化的运行时系统,以克服硬件的限制,并模拟功能时,他们不存在。 它的实现将采用运行时自适应性来微调自己以适应给定系统的功能可用性、对功能组合的支持以及硬件/工作负载特性。 构建在LLVM系统之上的自定义编译器基础设施将提供轻量级语法,通过该语法,程序员可以轻松地将对内存特性的支持添加到现有代码中。

项目成果

期刊论文数量(12)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
PathSeeker: A Fast Mapping Algorithm for CGRAs
LASER: A hardware/software approach to accelerate complicated loops on CGRAs
CRIMSON: Compute-Intensive Loop Acceleration by Randomized Iterative Modulo Scheduling and Optimized Mapping on CGRAs
dMazeRunner: Optimizing Convolutions on Dataflow Accelerators
dMazeRunner:优化数据流加速器上的卷积
  • DOI:
    10.1109/icassp40776.2020.9054275
  • 发表时间:
    2020
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Dave, Shail;Shrivastava, Aviral;Kim, Youngbin;Avancha, Sasikanth;Lee, Kyoungwoo
  • 通讯作者:
    Lee, Kyoungwoo
Efficient Heap Data Management on Software Managed Manycore Architectures
{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

Aviral Shrivastava其他文献

Compiler-in-the-loop exploration of programmable embedded systems
可编程嵌入式系统的编译器在环探索
  • DOI:
  • 发表时间:
    2006
  • 期刊:
  • 影响因子:
    0
  • 作者:
    N. Dutt;Aviral Shrivastava
  • 通讯作者:
    Aviral Shrivastava
Compiler Aided Design of Embedded Computers
嵌入式计算机的编译辅助设计
  • DOI:
    10.1201/9781420043839.ch3
  • 发表时间:
    2007
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Aviral Shrivastava;N. Dutt
  • 通讯作者:
    N. Dutt
Smart compilers for reliable and power-efficient embedded computing
用于可靠且节能的嵌入式计算的智能编译器
  • DOI:
  • 发表时间:
    2012
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Aviral Shrivastava;Reiley Jeyapaul
  • 通讯作者:
    Reiley Jeyapaul
Center for Embedded Computer Systems University of California , Irvine Partially Protected Caches to Reduce Failures due to Soft Errors in Mission-Critical Multimedia Systems
加州大学欧文分校嵌入式计算机系统中心对缓存进行部分保护,以减少关键任务多媒体系统中因软错误而导致的故障
  • DOI:
  • 发表时间:
    2008
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Kyoungwoo Lee;Aviral Shrivastava;I. Issenin;N. Dutt;N. Venkatasubramanian
  • 通讯作者:
    N. Venkatasubramanian
A Dependable Detection Mechanism for Intersection Management of Connected Autonomous Vehicles (Interactive Presentation)
用于联网自动驾驶车辆交叉口管理的可靠检测机制(交互式演示)
  • DOI:
  • 发表时间:
    2019
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Rachel Dedinsky;M. Khayatian;Mohammadreza Mehrabian;Aviral Shrivastava
  • 通讯作者:
    Aviral Shrivastava

Aviral Shrivastava的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Aviral Shrivastava', 18)}}的其他基金

CPS: Synergy: Collaborative Research: TickTalk: Timing API for Federated Cyberphysical Systems
CPS:协同:协作研究:TickTalk:联合网络物理系统的计时 API
  • 批准号:
    1645578
  • 财政年份:
    2018
  • 资助金额:
    $ 25万
  • 项目类别:
    Standard Grant
CSR: Small: Scaling the Real-time Capabilities of Powertrain Controller in Automotive Systems
CSR:小:扩展汽车系统中动力总成控制器的实时功能
  • 批准号:
    1525855
  • 财政年份:
    2015
  • 资助金额:
    $ 25万
  • 项目类别:
    Standard Grant
I-Corps: Compiler Technology for Modern Many-core Architectures
I-Corps:现代多核架构的编译器技术
  • 批准号:
    1342156
  • 财政年份:
    2013
  • 资助金额:
    $ 25万
  • 项目类别:
    Standard Grant
Air Option 1: Technology Translation - Compiler Technology for Modern Manycore Architectures
Air 选项 1:技术翻译 - 现代众核架构的编译器技术
  • 批准号:
    1343436
  • 财政年份:
    2013
  • 资助金额:
    $ 25万
  • 项目类别:
    Standard Grant
CAREER: Compiler Techniques for Power-Efficient Protection Against Soft Errors
职业:针对软错误的高效节能保护的编译器技术
  • 批准号:
    1055094
  • 财政年份:
    2011
  • 资助金额:
    $ 25万
  • 项目类别:
    Continuing Grant
CCF-SHF: CSR: Small: Compilation for Multi-core Processors with Limited Local Memories
CCF-SHF:CSR:小型:本地内存有限的多核处理器的编译
  • 批准号:
    0916652
  • 财政年份:
    2009
  • 资助金额:
    $ 25万
  • 项目类别:
    Standard Grant

相似海外基金

CAPA: Collaborative Research: ARION: Taming Heterogeneity with DSLs, Approximation, and Synthesis
CAPA:合作研究:ARION:通过 DSL、近似和综合来驯服异质性
  • 批准号:
    2217878
  • 财政年份:
    2021
  • 资助金额:
    $ 25万
  • 项目类别:
    Continuing Grant
CAPA: Collaborative Research: ARION: Taming Heterogeneity with DSLs, Approximation, and Synthesis
CAPA:合作研究:ARION:通过 DSL、近似和综合来驯服异质性
  • 批准号:
    1723352
  • 财政年份:
    2017
  • 资助金额:
    $ 25万
  • 项目类别:
    Standard Grant
CAPA: Collaborative Research: Lightweight Abstract Memory Features
CAPA:协作研究:轻量级抽象内存功能
  • 批准号:
    1723571
  • 财政年份:
    2017
  • 资助金额:
    $ 25万
  • 项目类别:
    Continuing Grant
CAPA: Collaborative Research: ARION: Taming Heterogeneity with DSLs, Approximation, and Synthesis
CAPA:合作研究:ARION:通过 DSL、近似和综合来驯服异质性
  • 批准号:
    1723445
  • 财政年份:
    2017
  • 资助金额:
    $ 25万
  • 项目类别:
    Continuing Grant
CAPA: Collaborative Research: A Multi-Paradigm Programming Infrastructure for Heterogeneous Architectures
CAPA:协作研究:异构架构的多范式编程基础设施
  • 批准号:
    1723715
  • 财政年份:
    2017
  • 资助金额:
    $ 25万
  • 项目类别:
    Standard Grant
CAPA: Collaborative Research: A Multi-Paradigm Programming Infrastructure for Heterogeneous Architectures
CAPA:协作研究:异构架构的多范式编程基础设施
  • 批准号:
    1723773
  • 财政年份:
    2017
  • 资助金额:
    $ 25万
  • 项目类别:
    Continuing Grant
CAPA: Collaborative Research: Lightweight Abstract Memory Features
CAPA:协作研究:轻量级抽象内存功能
  • 批准号:
    1723624
  • 财政年份:
    2017
  • 资助金额:
    $ 25万
  • 项目类别:
    Continuing Grant
Collaborative Research: Adapting and Evaluating Online Materials for Undergraduate Statistics Using LON-CAPA Technology
合作研究:使用 LON-CAPA 技术调整和评估本科统计在线材料
  • 批准号:
    0547768
  • 财政年份:
    2005
  • 资助金额:
    $ 25万
  • 项目类别:
    Standard Grant
Collaborative Research: Adapting and Evaluating Online Materials for Undergraduate Statistics using LON-CAPA Technology
合作研究:使用 LON-CAPA 技术调整和评估本科统计在线材料
  • 批准号:
    0311579
  • 财政年份:
    2003
  • 资助金额:
    $ 25万
  • 项目类别:
    Standard Grant
Collaborative Research: Adapting and Evaluating Online Materials for Undergraduate Statistics Using LON-CAPA Technology
合作研究:使用 LON-CAPA 技术调整和评估本科统计在线材料
  • 批准号:
    0311695
  • 财政年份:
    2003
  • 资助金额:
    $ 25万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了