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
中文摘要
点击翻译按钮获取中文摘要
英文摘要
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
-
负责人:邹文明
-
依托单位: