CRI: A Computational Infrastructure for Experimentation on Relaxed Concurrency Abstractions and their Applications
CRI:用于宽松并发抽象及其应用实验的计算基础设施
基本信息
- 批准号:0551658
- 负责人:
- 金额:$ 10万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2006
- 资助国家:美国
- 起止时间:2006-03-01 至 2008-02-29
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
This project, procuring a small cluster of shared-memory parallel machines built with multicore processor engines, aims at exploring approaches to increase concurrency and reduce overheads by relaxing constraints while preserving program semantics. The work -Explores novel approaches to concurrent and parallel programming,-Motivates new classes of loosely synchronous parallel algorithms, and-Spurs future developments in programming paradigms with real applications.The project brings together researchers in compiler design and programming languages, runtime environments, and parallel algorithms and applications. The infrastructure creates new synergies by exploring state-of-the-art programming principles and concepts in the context of real applications and motivating novel algorithmic classes capable of tolerating large discrepancies in data access latencies.The problems of writing concurrent programs effectively and safely in languages like Java or C#, which provide integral support for multithreading, even on existing single processor platforms, become exacerbated when the execution platform supports true parallelism (e.g., on parallel system based on recently developed multi-core processor designs). This work looks at techniques that permit overspecified safety invariants in concurrent programs to be relaxed automatically and dynamically whenever the invariants are not compromised. This investigation leverages work on transaction-based concurrency control and safe speculative execution that permit logically concurrent access to shared regions of code, but which ensure that such accesses do not violate intended serialization invariants. The project studies different transactional and speculative models in a programming language context, explores tradeoffs among these models with respect to safety and performance, and investigates the scalability characteristics of the abstractions developed on the proposed multicluster platform.Broader Impact: The work leads to a better understanding of concurrent program construction, and consequently, improved implementations. The project supports a variety of educational related activities, including classroom instruction and workshops. Addressing foundational technologies for many emerging application needs, the project also interacts with industry and contributes to train graduate students. Minority students will be attracted using seminars.
这个项目,采购一个小集群的共享内存并行机内置多核处理器引擎,旨在探索方法,以增加并发性和减少开销,放松约束,同时保留程序语义。这项工作-探索新的方法来并发和并行编程,-激发新的类松散同步并行算法,和-刺激未来的发展,在编程范式与真实的applications.The项目汇集了研究人员在编译器设计和编程语言,运行时环境,并行算法和应用。该基础设施通过在真实的应用程序的上下文中探索最先进的编程原理和概念,并激发能够容忍数据访问延迟中的大差异的新颖算法类,创造了新的协同效应。当执行平台支持真正的并行性时变得恶化(例如,基于最近开发的多核处理器设计的并行系统)。这项工作着眼于技术,允许overspecified安全不变式并发程序自动和动态地放松时不变量不妥协。这项调查利用基于事务的并发控制和安全的推测性执行,允许逻辑上并发访问共享区域的代码,但确保这种访问不违反预期的序列化不变。该项目研究了不同的事务和投机模型在编程语言的上下文中,探讨这些模型之间的权衡安全性和性能,并探讨了可扩展性的特点,开发的抽象建议multicluster platform.Broader的影响:这项工作导致更好地理解并发程序的建设,因此,改进的实现。该项目支持各种与教育有关的活动,包括课堂教学和讲习班。解决许多新兴应用需求的基础技术,该项目还与行业互动,并有助于培养研究生。将利用研讨会吸引少数民族学生。
项目成果
期刊论文数量(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 }}
Suresh Jagannathan其他文献
A HAT Trick: Automatically Verifying Representation Invariants using Symbolic Finite Automata
HAT 技巧:使用符号有限自动机自动验证表示不变量
- DOI:
- 发表时间:
2024 - 期刊:
- 影响因子:0
- 作者:
Zhe Zhou;Qianchuan Ye;Benjamin Delaware;Suresh Jagannathan - 通讯作者:
Suresh Jagannathan
Alone Together : Compositional Reasoning and Inference for Weak Isolation • 1 : 3
单独在一起:弱隔离的组合推理和推理 • 1 : 3
- DOI:
- 发表时间:
2017 - 期刊:
- 影响因子:0
- 作者:
Suresh Jagannathan - 通讯作者:
Suresh Jagannathan
Theory of Matroids: ENCYCLOPEDIA OF MATHEMATICS AND ITS APPLICATIONS
拟阵理论:数学及其应用百科全书
- DOI:
- 发表时间:
1986 - 期刊:
- 影响因子:0
- 作者:
Zikang Xiong;Daniel Lawson;Joe Eappen;A. H. Qureshi;Suresh Jagannathan - 通讯作者:
Suresh Jagannathan
Suresh Jagannathan的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Suresh Jagannathan', 18)}}的其他基金
FMitF: Track I: Vayu: Verifying Infrastructure for Safe and Performant Tunable Consistency
FMITF:第一轨:Vayu:验证基础设施以实现安全、高性能的可调一致性
- 批准号:
2019263 - 财政年份:2020
- 资助金额:
$ 10万 - 项目类别:
Standard Grant
CCF-SHF: Small: CRONUS: High-Level Reasoning of Low-Level Isolation
CCF-SHF:小:CRONUS:低级隔离的高级推理
- 批准号:
1717741 - 财政年份:2017
- 资助金额:
$ 10万 - 项目类别:
Standard Grant
SHF: Small: Havoc: Verified Compilation of Concurrent Managed Languages
SHF:小型:Havoc:经过验证的并发托管语言编译
- 批准号:
1318227 - 财政年份:2013
- 资助金额:
$ 10万 - 项目类别:
Standard Grant
SHF: Small: Programming with Non-Coherent Memory
SHF:小型:使用非相干内存编程
- 批准号:
1216613 - 财政年份:2012
- 资助金额:
$ 10万 - 项目类别:
Standard Grant
Eager Maps and Lazy Folds for Graph-Structured Applications
图结构应用程序的 Eager Maps 和 Lazy Folds
- 批准号:
0844500 - 财政年份:2009
- 资助金额:
$ 10万 - 项目类别:
Standard Grant
Kala: An Efficient and Scalable Time Travel Infrastructure for Concurrent Systems
Kala:适用于并发系统的高效且可扩展的时间旅行基础设施
- 批准号:
0701832 - 财政年份:2007
- 资助金额:
$ 10万 - 项目类别:
Standard Grant
CSR---AES: Fault Determination and Recovery in Cycle-Sharing Infrastructures
CSR---AES:自行车共享基础设施中的故障确定和恢复
- 批准号:
0509387 - 财政年份:2005
- 资助金额:
$ 10万 - 项目类别:
Continuing Grant
STI: Plethora: A Wide-Area Read-Write Object Repository for the Internet
STI:Plethora:互联网的广域读写对象存储库
- 批准号:
0334141 - 财政年份:2003
- 资助金额:
$ 10万 - 项目类别:
Standard Grant
相似国自然基金
Computational Methods for Analyzing Toponome Data
- 批准号:60601030
- 批准年份:2006
- 资助金额:17.0 万元
- 项目类别:青年科学基金项目
相似海外基金
CAREER: Open-source GPU-accelerated computational infrastructure for coastal fluid-structure interaction in extreme hydrodynamic conditions
职业:极端水动力条件下沿海流固耦合的开源 GPU 加速计算基础设施
- 批准号:
2338313 - 财政年份:2024
- 资助金额:
$ 10万 - 项目类别:
Standard Grant
Building a computational infrastructure for disclosing performance information of molecular dynamics software
构建用于公开分子动力学软件性能信息的计算基础设施
- 批准号:
23K11328 - 财政年份:2023
- 资助金额:
$ 10万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Computational Infrastructure for Automated Force Field Development and Optimization
用于自动力场开发和优化的计算基础设施
- 批准号:
10699200 - 财政年份:2023
- 资助金额:
$ 10万 - 项目类别:
Collaborative Research: phyloregion, computational infrastructure for biogeographic regionalization and macroecology in the R computing environment
合作研究:R计算环境中的系统发育区、生物地理区域化和宏观生态学的计算基础设施
- 批准号:
2416314 - 财政年份:2023
- 资助金额:
$ 10万 - 项目类别:
Standard Grant
Facility: Computational Infrastructure for Geodynamics
设施:地球动力学计算基础设施
- 批准号:
2149126 - 财政年份:2023
- 资助金额:
$ 10万 - 项目类别:
Cooperative Agreement
Collaborative Research: PPoSS: LARGE: Principles and Infrastructure of Extreme Scale Edge Learning for Computational Screening and Surveillance for Health Care
合作研究:PPoSS:大型:用于医疗保健计算筛查和监视的超大规模边缘学习的原理和基础设施
- 批准号:
2406572 - 财政年份:2023
- 资助金额:
$ 10万 - 项目类别:
Continuing Grant
MRI:Acquisition of a Multi-Purpose High-Performance Computing Infrastructure for Machine Learning and Computational Research at Temple University
MRI:天普大学购买用于机器学习和计算研究的多用途高性能计算基础设施
- 批准号:
2216289 - 财政年份:2022
- 资助金额:
$ 10万 - 项目类别:
Standard Grant
Advanced computational platform for permafrost geomechanical modeling and climate impact assessment of northern infrastructure
用于北方基础设施永久冻土地质力学建模和气候影响评估的先进计算平台
- 批准号:
572130-2022 - 财政年份:2022
- 资助金额:
$ 10万 - 项目类别:
Alliance Grants
Collaborative Research: PPoSS: LARGE: Principles and Infrastructure of Extreme Scale Edge Learning for Computational Screening and Surveillance for Health Care
合作研究:PPoSS:大型:用于医疗保健计算筛查和监视的超大规模边缘学习的原理和基础设施
- 批准号:
2118953 - 财政年份:2021
- 资助金额:
$ 10万 - 项目类别:
Continuing Grant
Collaborative Research: Elements: Shared Data-Delivery Infrastructure to Enable Discovery with Next Generation Dark Matter and Computational Astrophysics Experiments
协作研究:要素:共享数据传输基础设施,以实现下一代暗物质和计算天体物理实验的发现
- 批准号:
2104003 - 财政年份:2021
- 资助金额:
$ 10万 - 项目类别:
Standard Grant