ST-CRTS: Collaborative: Delivering on Atomic Actions: Unlocking Concurrency for Ordinary Programmers
ST-CRTS:协作:实现原子操作:为普通程序员解锁并发性
基本信息
- 批准号:0540862
- 负责人:
- 金额:--
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2006
- 资助国家:美国
- 起止时间:2006-02-01 至 2010-01-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
BackgroundWidely recognized problems of programming with threads and locks include race conditions,priority inversion, and deadlock, problems notoriously difficult both to avoid and to diagnose.We need better abstractions for ordinary programmers to use to exploit concurrency. A promisingdirection that solves the problems with locks is the various forms of atomic action (AA).An AA is a collection of computational actions that are guaranteed to appear to occur: eitherentirely or not at all, and in a definite order with respect to other AAs. Atom-like notionshave enjoyed great success in database applications.Intellectual Merit-A precise programming model for AAs, with a focus on closed and open nesting.- Overheads of alternative AA implementations on existing hardware.- Performance benefits of AAs resulting from increased parallelism, despite their overheads.- Hardware-assist for AAs: hardware interfaces (APIs) and virtualization to mask hardware limits.- AAs vis-a-vis non-transactional activities such as I/O, networking, etc.- AAs vis-a-vis run-time services such as garbage collection (GC), exceptions, and traps.- Tools for profiling and tuning performance of AAs, and their refinement re: bottlenecks.Broader ImpactDelivering on AAs will lead to significant economic and security benefitsthrough improved robustness and performance of applications for new commodity hardware. AAswill make it possible to increase concurrency, and thus performance, of software while also increasingreliability and simplifying tuning and maintenance. Ordinary programmers will more readily exploitthread-level parallelism on the desktop, writing programs they could not write, and get to work, before.The project will benefit the hardware industry by exploiting their new offerings, and the softwareindustry by increasing the robustness of concurrent software, while also contributing to economic andnational security. All project results and tools will be available to the public, and the project will traingraduates in important high-demand skills, and thus contribute to the technical work-force.
背景使用线程和锁编程的广泛公认的问题包括竞态条件、优先级反转和死锁,这些问题都是众所周知的难以避免和诊断的问题。解决锁问题的一个有希望的方向是各种形式的原子操作(AA)。AA是保证出现的计算操作的集合:无论是完全发生还是根本不发生,并且相对于其他AA有明确的顺序。类原子的概念在数据库应用中获得了巨大的成功。智力上的优点-一个精确的编程模型,为AA,重点是封闭和开放嵌套。在现有硬件上实现替代AA的开销。尽管会产生开销,但由于并行性的增加,AA的性能优势。AA的硬件辅助:硬件接口(API)和虚拟化以掩盖硬件限制。AAs与非事务性活动(如I/O、网络等)的对比- AA与运行时服务,如垃圾收集(GC),异常和陷阱。用于分析和调整AA性能的工具及其改进重新解决了瓶颈。更广泛的影响通过提高新商品硬件应用程序的健壮性和性能,交付AA将带来显著的经济和安全效益。AAs将使提高并发性成为可能,从而提高软件的性能,同时也提高了可靠性,简化了调优和维护。普通程序员将更容易利用桌面上的线程级并行性,编写他们以前无法编写的程序,并开始工作。该项目将通过利用他们的新产品而使硬件行业受益,通过增加并发软件的健壮性而使软件行业受益,同时也有助于经济和国家安全。所有项目成果和工具都将向公众开放,该项目将培训毕业生掌握重要的高需求技能,从而为技术劳动力做出贡献。
项目成果
期刊论文数量(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 }}
J. Eliot Moss其他文献
J. Eliot Moss的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('J. Eliot Moss', 18)}}的其他基金
FMitF:Track I: Verified Safe and Fair Machine Learning
FMITF:第一轨:经过验证的安全和公平的机器学习
- 批准号:
2018372 - 财政年份:2020
- 资助金额:
-- - 项目类别:
Standard Grant
CNS Core: Small: Managed Languages: From Non-volatile Memory to Persistence
CNS 核心:小型:托管语言:从非易失性内存到持久性
- 批准号:
1909731 - 财政年份:2019
- 资助金额:
-- - 项目类别:
Standard Grant
SHF: Medium: Collaborative Research: Micro-Virtual Machines for Managed Languages: Abstraction, contained
SHF:媒介:协作研究:托管语言的微型虚拟机:抽象,包含
- 批准号:
1832624 - 财政年份:2017
- 资助金额:
-- - 项目类别:
Standard Grant
CSR: Medium: Collaborative Research: Portable Performance for Parallel Managed Languages Across the Many-Core Spectrum
CSR:媒介:协作研究:跨多核频谱的并行托管语言的可移植性能
- 批准号:
1833291 - 财政年份:2017
- 资助金额:
-- - 项目类别:
Continuing Grant
SHF: Medium: Collaborative Research: Micro Virtual Machines for Managed Languages: Abstraction, defined and contained
SHF:媒介:协作研究:托管语言的微型虚拟机:抽象、定义和包含
- 批准号:
1409284 - 财政年份:2014
- 资助金额:
-- - 项目类别:
Standard Grant
SHF:Small: Accurate and Computationally Efficient Predictors of Java Memory Resource Consumption
SHF:Small:Java 内存资源消耗的准确且计算高效的预测器
- 批准号:
1320498 - 财政年份:2013
- 资助金额:
-- - 项目类别:
Standard Grant
CSR: Medium: Collaborative Research: Portable Performance for Parallel Managed Languages Across the Many-Core Spectrum
CSR:媒介:协作研究:跨多核频谱的并行托管语言的可移植性能
- 批准号:
1162246 - 财政年份:2012
- 资助金额:
-- - 项目类别:
Continuing Grant
EAGER: Automating Correctness Proofs of Transactionalized Data Structures
EAGER:自动化事务化数据结构的正确性证明
- 批准号:
0953761 - 财政年份:2009
- 资助金额:
-- - 项目类别:
Standard Grant
Describing the Operating System for Accurate User-mode Simulation
描述用于精确用户模式模拟的操作系统
- 批准号:
0950410 - 财政年份:2009
- 资助金额:
-- - 项目类别:
Standard Grant
SGER: The Chaotic Behavior of Automatic Memory Management
SGER:自动内存管理的混乱行为
- 批准号:
0836542 - 财政年份:2008
- 资助金额:
-- - 项目类别:
Standard Grant
相似国自然基金
热-力耦合作用下CRTS II型板式无砟轨道层间损伤机理与稳定性研究
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
地震作用下CRTSⅡ型无砟轨道-桥梁结构体系服役可靠性评估
- 批准号:2023JJ40718
- 批准年份:2023
- 资助金额:0.0 万元
- 项目类别:省市级项目
列车荷载和环境耦合作用下高速铁路 CRTSⅢ型板式无砟轨道结构体系耐久性研究
- 批准号:2022JJ10075
- 批准年份:2022
- 资助金额:0.0 万元
- 项目类别:省市级项目
高速列车荷载与环境因素耦合作用下桥上CRTSⅢ型板式无砟轨道结构耐久性劣化行为研究
- 批准号:52078492
- 批准年份:2020
- 资助金额:58 万元
- 项目类别:面上项目
桥上CRTSⅡ型板式无砟轨道结构的宏观-介观跨尺度建模及其界面开裂失效机理
- 批准号:2020JJ5583
- 批准年份:2020
- 资助金额:0.0 万元
- 项目类别:省市级项目
高铁大跨度桥上CRTSⅢ型板式无砟轨道橡胶隔离层力学特性及计算方法研究
- 批准号:
- 批准年份:2020
- 资助金额:58 万元
- 项目类别:面上项目
服役期间路基上CRTS Ⅲ型板式无砟轨道复合板多尺度损伤演变理论研究
- 批准号:51978673
- 批准年份:2019
- 资助金额:60.0 万元
- 项目类别:面上项目
高速铁路CRTS II 型板式无砟轨道结构随机疲劳损伤机理与规律研究
- 批准号:2019JJ50800
- 批准年份:2019
- 资助金额:0.0 万元
- 项目类别:省市级项目
温度与列车荷载耦合作用下高速铁路CRTSⅡ型板式无砟轨道-桥梁结构动力特性与工作性能研究
- 批准号:2018JJ3672
- 批准年份:2018
- 资助金额:0.0 万元
- 项目类别:省市级项目
高速铁路CRTS II型板式无砟轨道结构随机疲劳损伤行为研究
- 批准号:51808558
- 批准年份:2018
- 资助金额:24.0 万元
- 项目类别:青年科学基金项目
相似海外基金
Development of A Recycling Technology for Useful Metals from Wasted FPDs, CRTs, PWBs, and Others
开发从废弃 FPD、CRT、PWB 等中回收有用金属的技术
- 批准号:
23510105 - 财政年份:2011
- 资助金额:
-- - 项目类别:
Grant-in-Aid for Scientific Research (C)
The Catalina Real-Time Transient Survey (CRTS)
卡塔利娜实时瞬态调查 (CRTS)
- 批准号:
0909182 - 财政年份:2009
- 资助金额:
-- - 项目类别:
Standard Grant
ST-CRTS: Dynamic Unmasking of Compiler Optimizations and Obfuscations
ST-CRTS:编译器优化和混淆的动态揭秘
- 批准号:
0753470 - 财政年份:2007
- 资助金额:
-- - 项目类别:
Standard Grant
ST-CRTS: Collaborative: Delivering on Atomic Actions: Unlocking Concurrency for Ordinary Programmers
ST-CRTS:协作:实现原子操作:为普通程序员解锁并发性
- 批准号:
0540866 - 财政年份:2006
- 资助金额:
-- - 项目类别:
Standard Grant
ST-CRTS: Collaborative Research: Algorithmic Optimizations in Dynamic Programming Environments
ST-CRTS:协作研究:动态编程环境中的算法优化
- 批准号:
0540600 - 财政年份:2006
- 资助金额:
-- - 项目类别:
Standard Grant
ST-CRTS: Foundations of Programming Linear Algebra Algorithms on SMP and Multicore Systems
ST-CRTS:SMP 和多核系统上的线性代数算法编程基础
- 批准号:
0540926 - 财政年份:2006
- 资助金额:
-- - 项目类别:
Standard Grant
ST-CRTS: Compiler and Run-Time Support for Memory Management Using Explicit Memory Reclamation
ST-CRTS:使用显式内存回收进行内存管理的编译器和运行时支持
- 批准号:
0541217 - 财政年份:2006
- 资助金额:
-- - 项目类别:
Standard Grant
ST-CRTS: Dynamic Unmasking of Compiler Optimizations and Obfuscations
ST-CRTS:编译器优化和混淆的动态揭秘
- 批准号:
0541382 - 财政年份:2006
- 资助金额:
-- - 项目类别:
Standard Grant
ST-CRTS: Search-Based Model-Driven Framework for Compiler Optimizations
ST-CRTS:基于搜索的模型驱动编译器优化框架
- 批准号:
0541409 - 财政年份:2006
- 资助金额:
-- - 项目类别:
Standard Grant
ST-CRTS: Collaborative Research: Algorithmic Optimizations in Dynamic Programming Environments
ST-CRTS:协作研究:动态编程环境中的算法优化
- 批准号:
0540997 - 财政年份:2006
- 资助金额:
-- - 项目类别:
Standard Grant