A Unified Open-Source Transactional-Memory Infrastructure
A Unified Open-Source Transactional-Memory Infrastructure
批准号:
0811289
负责人:
Maurice Herlihy
金额:
$25.0万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2008
资助国家:
美国
项目状态:
已结题
起止时间:
2008-09-15 至 2012-08-31
中文摘要
随着通用计算进入普遍并行的时代,可编程性成为限制可用计算资源有效使用的关键障碍。事务内存有望简化应用程序编程人员的并行编程。然而,由于缺乏可重复使用的开源基础设施,事务性内存的研究正受到严重阻碍。该项目将开发克服这种情况所需的关键部件:由高度分解的部件构建的事务存储器库将提供适合于研究软件TM实现中的权衡的可重复使用和可替换的部件。标准化接口将允许符合接口的库在各种环境中使用。TM感知的运行时分析工具,特别是分析器和调试器,将为TM实现者和应用程序程序员提供必要的工具支持,以了解和改进使用事务的软件的性能。各种高级语言中的有趣基准将推动我们对TM性能特征的理解。
英文摘要
As general-purpose computing moves into the age of pervasive parallelism, programmability becomes the key hurdle limiting the effective use of available computing resources. Transactional memory promises to simplify parallel programming for application programmers. However, research in Transactional Memory is being seriously hampered by the lack of a reusable open source infrastructure. The project will develop the key pieces necessary to overcome this situation: A transactional memory library built out of highly decomposed pieces will provide reusable and replaceable parts suitable for investigating tradeoffs in software TM implementations. Standardized interfaces will allow libraries conforming to the interfaces to be used in a variety of environments. TM-aware run-time analysis tools, particularly profilers and debuggers, will provide the necessary tool support for TM implementors and application programmers to understand and improve the performance of software using transactions. Interesting benchmarks, in a variety of high-level languages, will move forward our understanding of TM performance characteristics.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
FMitF:Collaborative Research:Track I:Formal Techniques for Monitoring Low-level Cross-chain Functions
-
批准号:1917990
-
项目类别:Standard Grant
-
资助金额:$37.5万
-
财政年份:2019
-
负责人:Maurice Herlihy
-
依托单位:
SHF: Medium: Collaborative Research: Run-Time Support for Scalable Concurrent Programming
-
批准号:1561807
-
项目类别:Standard Grant
-
资助金额:$54.0万
-
财政年份:2016
-
负责人:Maurice Herlihy
-
依托单位:
SHF: Small: Collaborative Research: Concurrent Programming with Composable Transactional Objects
-
批准号:1420673
-
项目类别:Standard Grant
-
资助金额:$25.0万
-
财政年份:2014
-
负责人:Maurice Herlihy
-
依托单位:
SHF: Medium: Collaborative Research: Transactional Software Infrastructures: Making the Most of Hardware Transactions
-
批准号:1301924
-
项目类别:Continuing Grant
-
资助金额:$60.0万
-
财政年份:2013
-
负责人:Maurice Herlihy
-
依托单位:
BSF:2012171:Progress Guarantees for Hardware Transactional Memory
-
批准号:1331141
-
项目类别:Standard Grant
-
资助金额:$4.5万
-
财政年份:2013
-
负责人:Maurice Herlihy
-
依托单位:
Combinatorial Topology and Concurrent Computation
-
批准号:0830491
-
项目类别:Standard Grant
-
资助金额:$30.0万
-
财政年份:2009
-
负责人:Maurice Herlihy
-
依托单位:
Transactional Memory
-
批准号:0410042
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2004
-
负责人:Maurice Herlihy
-
依托单位:
Topological Methods in Distributed and Concurrent Computatioin
-
批准号:9912401
-
项目类别:Standard Grant
-
资助金额:$29.6万
-
财政年份:2000
-
负责人:Maurice Herlihy
-
依托单位:
CONACyT: Topological Methods in Distributed and Concurrent Computation
-
批准号:9613785
-
项目类别:Continuing Grant
-
资助金额:$30.0万
-
财政年份:1996
-
负责人:Maurice Herlihy
-
依托单位:
CONACyT: Applications of Algebraic Topology to Concurrent Computation
-
批准号:9505949
-
项目类别:Standard Grant
-
资助金额:$5.21万
-
财政年份:1995
-
负责人:Maurice Herlihy
-
依托单位:
国内基金
海外基金
登录
查看更多内容
精子发生中mRNA下游开放阅读框(downstream Open Reading Frame,dORF)的功能研究
-
批准号:--
-
项目类别:面上项目
-
资助金额:54万元
-
批准年份:2022
-
负责人:刘明兮
-
依托单位:
基于升阶谱方法和Open CASCADE的高阶网格自动生成技术研究
-
批准号:11972004
-
项目类别:面上项目
-
资助金额:62.0万元
-
批准年份:2019
-
负责人:刘波
-
依托单位:
基于Linked Open Data的Web服务语义互操作关键技术
-
批准号:61373035
-
项目类别:面上项目
-
资助金额:77.0万元
-
批准年份:2013
-
负责人:冯志勇
-
依托单位:
变分与拓扑方法和Schrodinger方程中的Open 问题
-
批准号:10871109
-
项目类别:面上项目
-
资助金额:23.0万元
-
批准年份:2008
-
负责人:邹文明
-
依托单位: