SHF: AF: Large: Collaborative Research: Parallelism without Concurrency

SHF:AF:大型:协作研究:无并发的并行性

基本信息

  • 批准号:
    1314590
  • 负责人:
  • 金额:
    $ 99.95万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Continuing Grant
  • 财政年份:
    2013
  • 资助国家:
    美国
  • 起止时间:
    2013-07-01 至 2019-06-30
  • 项目状态:
    已结题

项目摘要

The widespread deployment of parallel machines --- from multicores to supercomputers --- has made it critical to develop simple approaches to programming them. Significant progress has been made in simplifying parallel programming by developing programming models to support parallelism without concurrency, that is, without the nondeterminacies in the logic of programs caused by the relative and nondeterministic timing of communicating processes. Yet most parallel programs in practice are concurrent, and hence, nondeterministic, leading to code that can only be programmed and understood by experts. This research project aims to understand how parallel computers can be made easier to use by the vast majority of programmers by developing software technology that enables deterministic parallel computing.The project takes a holistic view of the problem from the key perspectives of programming linguistics, software systems, algorithmic analysis, and absolute performance. It acknowledges the reality that parallel programming cannot be fully deterministic at every level of abstraction. It is pursuing three key strategies for dealing with concurrency: encapsulating concurrency so that it is hidden by layered abstractions at appropriate abstraction levels, avoiding concurrency by restructuring programs to employ deterministic approaches, and managing concurrency when it is impractical to either encapsulate or avoid concurrency completely. Among the specific techniques being studied are commutative building blocks, deterministic nonassociative reducers, deterministic pipelined parallelism, deterministic interfaces, and generalized race detection for detecting invariant races. The project is developing open-source libraries, tools, and runtime extensions integrated into a multicore-software platform, as well as a problem-based benchmark suite to compare approaches.
从多核到超级计算机,并行机的广泛应用使得开发简单的编程方法变得至关重要。 在简化并行编程方面已经取得了重大进展,通过开发编程模型来支持无并发的并行性,即没有由通信进程的相对和不确定性定时引起的程序逻辑中的不确定性。 然而,实际上大多数并行程序都是并发的,因此是不确定的,导致代码只能由专家编程和理解。 本研究课题的目的是通过开发能够实现确定性并行计算的软件技术,使大多数程序员能够更容易地使用并行计算机。本研究课题从编程语言学、软件系统、算法分析和绝对性能等关键角度对该问题进行了全面的研究。 它承认并行编程不可能在每个抽象层次上都是完全确定的这一现实。 它追求三个关键策略来处理并发:封装并发,以便在适当的抽象级别上通过分层抽象隐藏它;通过重组程序来避免并发,以采用确定性方法;以及在完全封装或避免并发不切实际时管理并发。正在研究的具体技术包括交换构建块、确定性非关联还原器、确定性流水线并行、确定性接口和用于检测不变种族的广义种族检测。 该项目正在开发集成到多核软件平台中的开源库、工具和运行时扩展,以及用于比较方法的基于问题的基准测试套件。

项目成果

期刊论文数量(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 }}

Guy Blelloch其他文献

Guy Blelloch的其他文献

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

{{ truncateString('Guy Blelloch', 18)}}的其他基金

AF: Small: Shared-Memory Parallel Algorithms: Theory and Practice
AF:小型:共享内存并行算法:理论与实践
  • 批准号:
    1910030
  • 财政年份:
    2019
  • 资助金额:
    $ 99.95万
  • 项目类别:
    Standard Grant
SHF: Medium: Algorithmic lambda-Calculus for the Design, Analysis, and Implementation of Parallel Algorithms
SHF:Medium:用于并行算法设计、分析和实现的算法 lambda 演算
  • 批准号:
    1901381
  • 财政年份:
    2019
  • 资助金额:
    $ 99.95万
  • 项目类别:
    Continuing Grant
SPX: Parallel Models and Algorithms for Emerging Memory Systems
SPX:新兴内存系统的并行模型和算法
  • 批准号:
    1919223
  • 财政年份:
    2019
  • 资助金额:
    $ 99.95万
  • 项目类别:
    Standard Grant
XPS: FULL: Bridging Parallel and Queueing-Theoretic Scheduling
XPS:FULL:桥接并行和排队理论调度
  • 批准号:
    1629444
  • 财政年份:
    2016
  • 资助金额:
    $ 99.95万
  • 项目类别:
    Standard Grant
XPS: FULL: FP: Write-Efficient Parallel Algorithms for Emerging Memory Technologies
XPS:FULL:FP:用于新兴内存技术的写高效并行算法
  • 批准号:
    1533858
  • 财政年份:
    2015
  • 资助金额:
    $ 99.95万
  • 项目类别:
    Standard Grant
NSF Workshop on Research Directions in the Principles of Parallel Computing
NSF 并行计算原理研究方向研讨会
  • 批准号:
    1242283
  • 财政年份:
    2012
  • 资助金额:
    $ 99.95万
  • 项目类别:
    Standard Grant
SHF: AF: Small: Locality with Dynamic Parallelism
SHF:AF:小:具有动态并行性的局部性
  • 批准号:
    1018188
  • 财政年份:
    2010
  • 资助金额:
    $ 99.95万
  • 项目类别:
    Continuing Grant
ITR/SY+IM+AP: Center for Applied Algorithms
ITR/SY IM AP:应用算法中心
  • 批准号:
    0122581
  • 财政年份:
    2001
  • 资助金额:
    $ 99.95万
  • 项目类别:
    Continuing Grant
ITR: Algorithms: From Theory to Application
ITR:算法:从理论到应用
  • 批准号:
    0085982
  • 财政年份:
    2000
  • 资助金额:
    $ 99.95万
  • 项目类别:
    Standard Grant
Advanced Languages for Scientific Computation Environments
科学计算环境的高级语言
  • 批准号:
    9706572
  • 财政年份:
    1997
  • 资助金额:
    $ 99.95万
  • 项目类别:
    Continuing Grant

相似国自然基金

基于前瞻性队列的双酚AF联合果糖加重代谢损伤的靶向代谢组学研究
  • 批准号:
    2025JJ30049
  • 批准年份:
    2025
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
U2AF2-circMMP1信号轴促进结直肠癌进展的分子机制研究
  • 批准号:
    2025JJ80723
  • 批准年份:
    2025
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
U2AF2精氯酸甲基化调控RNA转录合成在MTAP缺失骨肉瘤T细胞耗竭中的机制研究
  • 批准号:
  • 批准年份:
    2024
  • 资助金额:
    0 万元
  • 项目类别:
    青年科学基金项目
BDA-366通过MYD88/NF-κB/PGC1β通路杀伤 KMT2A/AF9 AML细胞的机制研究
  • 批准号:
  • 批准年份:
    2024
  • 资助金额:
    15.0 万元
  • 项目类别:
    省市级项目
Lu AF21934减少缺血性脑卒中导致的神经损伤的机制研究
  • 批准号:
  • 批准年份:
    2024
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
H2S介导剪接因子BraU2AF65a的S-巯基化修饰促进大白菜开花的分子机制
  • 批准号:
    32372727
  • 批准年份:
    2023
  • 资助金额:
    50 万元
  • 项目类别:
    面上项目
AF9通过ARRB2-MRGPRB2介导肠固有肥大细胞活化促进重症急性胰腺炎发生MOF的研究
  • 批准号:
    82300739
  • 批准年份:
    2023
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目
剪接因子U2AF1突变在急性髓系白血病原发耐药中的机制研究
  • 批准号:
    82370157
  • 批准年份:
    2023
  • 资助金额:
    49 万元
  • 项目类别:
    面上项目
线粒体活性氧介导的胎盘早衰在孕期双酚AF暴露致婴幼儿神经发育迟缓中的作用
  • 批准号:
    82304160
  • 批准年份:
    2023
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目
U2AF2-circMMP1调控能量代谢促进结直肠癌肝转移的分子机制
  • 批准号:
    82303789
  • 批准年份:
    2023
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目

相似海外基金

Collaborative Research: AF: Medium: Foundations of Anonymous Communication in Large-Scale Networks
合作研究:AF:媒介:大规模网络中匿名通信的基础
  • 批准号:
    2312241
  • 财政年份:
    2023
  • 资助金额:
    $ 99.95万
  • 项目类别:
    Continuing Grant
Collaborative Research: AF: Medium: Foundations of Anonymous Communication in Large-Scale Networks
合作研究:AF:媒介:大规模网络中匿名通信的基础
  • 批准号:
    2312242
  • 财政年份:
    2023
  • 资助金额:
    $ 99.95万
  • 项目类别:
    Continuing Grant
AF: Small: RUI: Toward High-Performance Block Krylov Subspace Algorithms for Solving Large-Scale Linear Systems
AF:小:RUI:用于求解大规模线性系统的高性能块 Krylov 子空间算法
  • 批准号:
    2327619
  • 财政年份:
    2023
  • 资助金额:
    $ 99.95万
  • 项目类别:
    Standard Grant
Collaborative Research: AF: Medium: Foundations of Anonymous Communication in Large-Scale Networks
合作研究:AF:媒介:大规模网络中匿名通信的基础
  • 批准号:
    2312243
  • 财政年份:
    2023
  • 资助金额:
    $ 99.95万
  • 项目类别:
    Continuing Grant
AF: Small: Efficient Representation of Large Networks
AF:小型:大型网络的高效表示
  • 批准号:
    2153680
  • 财政年份:
    2022
  • 资助金额:
    $ 99.95万
  • 项目类别:
    Standard Grant
AF: Small: Understanding the Behavior of Large Markets
AF:小:了解大市场的行为
  • 批准号:
    1909538
  • 财政年份:
    2019
  • 资助金额:
    $ 99.95万
  • 项目类别:
    Standard Grant
AF: Small: Data-Driven Model Reduction for Optimal Control of Large-Scale Systems
AF:小型:用于大型系统优化控制的数据驱动模型简化
  • 批准号:
    1816219
  • 财政年份:
    2018
  • 资助金额:
    $ 99.95万
  • 项目类别:
    Standard Grant
CRII: AF: Towards Faster Algorithms for Large-scale Constrained Optimization
CRII:AF:面向大规模约束优化的更快算法
  • 批准号:
    1755847
  • 财政年份:
    2018
  • 资助金额:
    $ 99.95万
  • 项目类别:
    Standard Grant
AF: Large: Collaborative Research: Nonconvex Methods and Models for Learning: Towards Algorithms with Provable and Interpretable Guarantees
AF:大型:协作研究:非凸学习方法和模型:走向具有可证明和可解释保证的算法
  • 批准号:
    1704656
  • 财政年份:
    2017
  • 资助金额:
    $ 99.95万
  • 项目类别:
    Continuing Grant
AF: Large: Collaborative Research: Nonconvex Methods and Models for Learning: Toward Algorithms with Provable and Interpretable Guarantees
AF:大型:协作研究:非凸学习方法和模型:具有可证明和可解释保证的算法
  • 批准号:
    1704860
  • 财政年份:
    2017
  • 资助金额:
    $ 99.95万
  • 项目类别:
    Continuing Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了