SHF: Small: Automated Analysis and User Feedback on Data Movement Bottlenecks in Programs

SHF:小型:程序中数据移动瓶颈的自动分析和用户反馈

基本信息

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

项目摘要

The cost of data movement through the memory hierarchy is very high in current computer systems, relative to the cost of performing arithmetic operations, both in terms of time and energy. It is expected to become even more dominant in future computer systems. Therefore optimizing data access costs will become increasingly critical in the coming years. This has great impact on algorithm design and implementation on such systems. A characterization of data access complexity is only known today for a few classes of algorithms, such as dense linear algebra, and has required the use of problem-specific analysis techniques. This proposal presents novel ideas for developing automated tools and techniques to characterize the inherent data access complexity of arbitrary algorithms. An automatable general approach for data access complexity of programs will have significant impact on deriving highly effective algorithms and their implementations, understanding the impact of future architectures on algorithm design, and on advances in compilers aimed at improving data access costs of programs.The proposal develops novel ideas to address a fundamental problem of increasing importance -- developing tools and techniques for characterization of the inherent data access complexity of algorithms. The work develops the following: (i) the first unifying approach for developing both upper and lower bounds for the inherent data access complexity of a CDAG under a common underlying theoretical model; (ii) an approach to remove a fundamental current limitation in the use of the popular reuse distance analysis metric; (iii) a scalable and versatile dynamic analysis infrastructure of use to application developers, compiler writers and architecture designers.
在当前计算机系统中,通过记忆层次结构的数据移动成本相对于执行算术操作的成本在时间和能源方面都非常高。 预计它将在未来的计算机系统中变得更加占主导地位。因此,在未来几年中,优化数据访问成本将变得越来越重要。这对此类系统上的算法设计和实现具有很大的影响。 数据访问复杂性的表征仅在今天的几类算法(例如密集的线性代数)中才知道,并且需要使用特定于问题的分析技术。 该提案提出了开发自动化工具和技术的新思想,以表征任意算法的固有数据访问复杂性。可自动的数据访问程序复杂性的自动通用方法将对得出高效的算法及其实现,了解未来体系结构对算法设计的影响以及旨在提高程序数据访问成本的编译器的进步。提案提高了新颖的想法,可以开发出增加重要性的基本问题 - 对工具和技术的表征访问的依次进行了复杂的数据,该问题是对数据访问的重要性。该作品开发了以下内容:(i)在共同基础理论模型下,CDAG固有的数据访问复杂性的上限和下限的第一种统一方法; (ii)一种消除流行重用距离分析度量的基本电流限制的方法; (iii)对应用程序开发人员,编译器作者和建筑设计师的使用的可扩展性动态分析基础架构。

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

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

{{ 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 }}

Jagannathan Ramanujam其他文献

Decoupling interaction hardware design using libraries of reusable electronics
使用可重用电子器件库解耦交互硬件设计

Jagannathan Ramanujam的其他文献

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

{{ truncateString('Jagannathan Ramanujam', 18)}}的其他基金

Collaborative Research: An Environment for Portable High Productivity High Performance Computing on GPUs/Accelerators
协作研究:GPU/加速器上的便携式高生产率高性能计算环境
  • 批准号:
    0926687
  • 财政年份:
    2009
  • 资助金额:
    $ 40万
  • 项目类别:
    Standard Grant
Collaborative Research: CPA-CPL-T: An Effective Automatic Parallelization Framework for Multi-Core Architectures
合作研究:CPA-CPL-T:一种有效的多核架构自动并行化框架
  • 批准号:
    0811457
  • 财政年份:
    2008
  • 资助金额:
    $ 40万
  • 项目类别:
    Standard Grant
Collaborative Research: CAS-AES: An Integrated Framework for Compile-time/run-time Support for Multi-scale Applications on High-end Systems
合作研究:CAS-AES:高端系统上多规模应用程序编译时/运行时支持的集成框架
  • 批准号:
    0509442
  • 财政年份:
    2005
  • 资助金额:
    $ 40万
  • 项目类别:
    Standard Grant
ITR/AP: Collaborative Research - Synthesis of High Performance Algorithms for Electronic Structure Calculations
ITR/AP:合作研究 - 电子结构计算高性能算法的综合
  • 批准号:
    0121706
  • 财政年份:
    2001
  • 资助金额:
    $ 40万
  • 项目类别:
    Standard Grant
CISE Postdoctoral Research and Training in Advanced Compiler Optimizations (Operating Systems and Compilers Program/CCR/CISE)
CISE 高级编译器优化博士后研究和培训(操作系统和编译器项目/CCR/CISE)
  • 批准号:
    0103933
  • 财政年份:
    2001
  • 资助金额:
    $ 40万
  • 项目类别:
    Standard Grant
Program and storage transformations for improving memory performance
用于提高内存性能的程序和存储转换
  • 批准号:
    0073800
  • 财政年份:
    2000
  • 资助金额:
    $ 40万
  • 项目类别:
    Standard Grant
NYI: Languages, Compilers, and Runtime Systems for Parallel Architectures
NYI:并行架构的语言、编译器和运行时系统
  • 批准号:
    9457768
  • 财政年份:
    1994
  • 资助金额:
    $ 40万
  • 项目类别:
    Continuing Grant
Loop Transformations and Scheduling Techniques for Distributed Memory Multiprocessors
分布式内存多处理器的循环变换和调度技术
  • 批准号:
    9210422
  • 财政年份:
    1992
  • 资助金额:
    $ 40万
  • 项目类别:
    Standard Grant

相似国自然基金

靶向Treg-FOXP3小分子抑制剂的筛选及其在肺癌免疫治疗中的作用和机制研究
  • 批准号:
    32370966
  • 批准年份:
    2023
  • 资助金额:
    50 万元
  • 项目类别:
    面上项目
化学小分子激活YAP诱导染色质可塑性促进心脏祖细胞重编程的表观遗传机制研究
  • 批准号:
    82304478
  • 批准年份:
    2023
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目
靶向小胶质细胞的仿生甘草酸纳米颗粒构建及作用机制研究:脓毒症相关性脑病的治疗新策略
  • 批准号:
    82302422
  • 批准年份:
    2023
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目
HMGB1/TLR4/Cathepsin B途径介导的小胶质细胞焦亡在新生大鼠缺氧缺血脑病中的作用与机制
  • 批准号:
    82371712
  • 批准年份:
    2023
  • 资助金额:
    49 万元
  • 项目类别:
    面上项目
小分子无半胱氨酸蛋白调控生防真菌杀虫活性的作用与机理
  • 批准号:
    32372613
  • 批准年份:
    2023
  • 资助金额:
    50 万元
  • 项目类别:
    面上项目

相似海外基金

SHF: Small: Modular Automated Verification of Concurrent Data Structures
SHF:小型:并发数据结构的模块化自动验证
  • 批准号:
    2304758
  • 财政年份:
    2023
  • 资助金额:
    $ 40万
  • 项目类别:
    Standard Grant
SHF: Small: Automated Verification and Synthesis of Input Generators in Property-Based Testing Frameworks
SHF:小型:基于属性的测试框架中输入生成器的自动验证和合成
  • 批准号:
    2321680
  • 财政年份:
    2023
  • 资助金额:
    $ 40万
  • 项目类别:
    Standard Grant
SHF: Small: Automated Unit Test Generation using Large Language Models
SHF:小型:使用大型语言模型自动生成单元测试
  • 批准号:
    2307742
  • 财政年份:
    2023
  • 资助金额:
    $ 40万
  • 项目类别:
    Standard Grant
SHF: Small: Toward Fully Automated Formal Software Verification
SHF:小型:迈向全自动形式软件验证
  • 批准号:
    2210243
  • 财政年份:
    2022
  • 资助金额:
    $ 40万
  • 项目类别:
    Standard Grant
SHF: Small: Synergy between Automated Reasoning and Interactive Theorem Proving
SHF:小:自动推理和交互式定理证明之间的协同作用
  • 批准号:
    2229099
  • 财政年份:
    2022
  • 资助金额:
    $ 40万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了