A Unified Open-Source Transactional-Memory Infrastructure
统一的开源事务内存基础设施
基本信息
- 批准号:0811289
- 负责人:
- 金额:$ 25万
- 依托单位:
- 依托单位国家:美国
- 项目类别: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.
随着通用计算进入普遍并行的时代,可编程性成为限制有效使用可用计算资源的关键障碍。事务性内存有望简化应用程序程序员的并行编程。然而,由于缺乏可重用的开源基础设施,事务性内存的研究受到了严重的阻碍。该项目将开发克服这种情况所需的关键部分:由高度分解的部分构建的事务性内存库将提供可重用和可替换的部分,适合研究软件TM实现中的权衡。标准化接口将允许符合接口的库在各种环境中使用。TM感知的运行时分析工具,特别是分析器和调试器,将为TM实现者和应用程序程序员提供必要的工具支持,以理解和改进使用事务的软件的性能。用各种高级语言编写的有趣的基准测试将推进我们对TM性能特征的理解。
项目成果
期刊论文数量(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 }}
Maurice Herlihy其他文献
The topology of distributed adversaries
分布式对手的拓扑
- DOI:
10.1007/s00446-013-0189-9 - 发表时间:
2013 - 期刊:
- 影响因子:1.3
- 作者:
Maurice Herlihy;S. Rajsbaum - 通讯作者:
S. Rajsbaum
Tight Bounds for Connectivity and Set Agreement in Byzantine Synchronous Systems
拜占庭同步系统中连接性和设定协议的严格界限
- DOI:
10.4230/lipics.disc.2017.35 - 发表时间:
2015 - 期刊:
- 影响因子:0
- 作者:
H. Mendes;Maurice Herlihy - 通讯作者:
Maurice Herlihy
Invited Paper: Fault-tolerant and Expressive Cross-Chain Swaps
特邀论文:容错且富有表现力的跨链交换
- DOI:
- 发表时间:
2022 - 期刊:
- 影响因子:0
- 作者:
Yingjie Xue;Di Jin;Maurice Herlihy - 通讯作者:
Maurice Herlihy
Impossibility Results for Distributed Transactional Memory
分布式事务内存的不可能性结果
- DOI:
10.1145/2767386.2767433 - 发表时间:
2015 - 期刊:
- 影响因子:0
- 作者:
C. Busch;Maurice Herlihy;M. Popovic;Gokarna Sharma - 通讯作者:
Gokarna Sharma
Algebraic spans
代数跨度
- DOI:
10.1145/224964.224975 - 发表时间:
1995 - 期刊:
- 影响因子:0
- 作者:
Maurice Herlihy;S. Rajsbaum - 通讯作者:
S. Rajsbaum
Maurice Herlihy的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Maurice Herlihy', 18)}}的其他基金
FMitF:Collaborative Research:Track I:Formal Techniques for Monitoring Low-level Cross-chain Functions
FMITF:合作研究:第一轨:监控低级跨链功能的形式化技术
- 批准号:
1917990 - 财政年份:2019
- 资助金额:
$ 25万 - 项目类别:
Standard Grant
SHF: Medium: Collaborative Research: Run-Time Support for Scalable Concurrent Programming
SHF:中:协作研究:可扩展并发编程的运行时支持
- 批准号:
1561807 - 财政年份:2016
- 资助金额:
$ 25万 - 项目类别:
Standard Grant
SHF: Small: Collaborative Research: Concurrent Programming with Composable Transactional Objects
SHF:小型:协作研究:使用可组合事务对象进行并发编程
- 批准号:
1420673 - 财政年份:2014
- 资助金额:
$ 25万 - 项目类别:
Standard Grant
SHF: Medium: Collaborative Research: Transactional Software Infrastructures: Making the Most of Hardware Transactions
SHF:媒介:协作研究:事务性软件基础设施:充分利用硬件事务
- 批准号:
1301924 - 财政年份:2013
- 资助金额:
$ 25万 - 项目类别:
Continuing Grant
BSF:2012171:Progress Guarantees for Hardware Transactional Memory
BSF:2012171:硬件事务内存的进度保证
- 批准号:
1331141 - 财政年份:2013
- 资助金额:
$ 25万 - 项目类别:
Standard Grant
Combinatorial Topology and Concurrent Computation
组合拓扑和并发计算
- 批准号:
0830491 - 财政年份:2009
- 资助金额:
$ 25万 - 项目类别:
Standard Grant
Topological Methods in Distributed and Concurrent Computatioin
分布式并发计算中的拓扑方法
- 批准号:
9912401 - 财政年份:2000
- 资助金额:
$ 25万 - 项目类别:
Standard Grant
CONACyT: Topological Methods in Distributed and Concurrent Computation
CONACyT:分布式并发计算中的拓扑方法
- 批准号:
9613785 - 财政年份:1996
- 资助金额:
$ 25万 - 项目类别:
Continuing Grant
CONACyT: Applications of Algebraic Topology to Concurrent Computation
CONACyT:代数拓扑在并发计算中的应用
- 批准号:
9505949 - 财政年份:1995
- 资助金额:
$ 25万 - 项目类别:
Standard Grant
相似国自然基金
精子发生中mRNA下游开放阅读框(downstream Open Reading Frame,dORF)的功能研究
- 批准号:
- 批准年份:2022
- 资助金额:54 万元
- 项目类别:面上项目
基于升阶谱方法和Open CASCADE的高阶网格自动生成技术研究
- 批准号:11972004
- 批准年份:2019
- 资助金额:62.0 万元
- 项目类别:面上项目
基于Linked Open Data的Web服务语义互操作关键技术
- 批准号:61373035
- 批准年份:2013
- 资助金额:77.0 万元
- 项目类别:面上项目
变分与拓扑方法和Schrodinger方程中的Open 问题
- 批准号:10871109
- 批准年份:2008
- 资助金额:23.0 万元
- 项目类别:面上项目
相似海外基金
Collaborative Research: Research Infrastructure: MorphoCloud: A Cloud Powered, Open-Source Platform For Research, Teaching And Collaboration In 3d Digital Morphology And Beyond
协作研究:研究基础设施:MorphoCloud:云驱动的开源平台,用于 3D 数字形态学及其他领域的研究、教学和协作
- 批准号:
2301410 - 财政年份:2024
- 资助金额:
$ 25万 - 项目类别:
Standard Grant
Collaborative Research: Research Infrastructure: MorphoCloud: A Cloud Powered, Open-Source Platform For Research, Teaching And Collaboration In 3d Digital Morphology And Beyond
协作研究:研究基础设施:MorphoCloud:云驱动的开源平台,用于 3D 数字形态学及其他领域的研究、教学和协作
- 批准号:
2301405 - 财政年份:2024
- 资助金额:
$ 25万 - 项目类别:
Continuing Grant
CAREER: Open-source GPU-accelerated computational infrastructure for coastal fluid-structure interaction in extreme hydrodynamic conditions
职业:极端水动力条件下沿海流固耦合的开源 GPU 加速计算基础设施
- 批准号:
2338313 - 财政年份:2024
- 资助金额:
$ 25万 - 项目类别:
Standard Grant
Collaborative Research: Research Infrastructure: MorphoCloud: A Cloud Powered, Open-Source Platform For Research, Teaching And Collaboration In 3d Digital Morphology And Beyond
协作研究:研究基础设施:MorphoCloud:云驱动的开源平台,用于 3D 数字形态学及其他领域的研究、教学和协作
- 批准号:
2301408 - 财政年份:2024
- 资助金额:
$ 25万 - 项目类别:
Continuing Grant
Collaborative Research: Research Infrastructure: MorphoCloud: A Cloud Powered, Open-Source Platform For Research, Teaching And Collaboration In 3d Digital Morphology And Beyond
协作研究:研究基础设施:MorphoCloud:云驱动的开源平台,用于 3D 数字形态学及其他领域的研究、教学和协作
- 批准号:
2301409 - 财政年份:2024
- 资助金额:
$ 25万 - 项目类别:
Continuing Grant
Collaborative Research: Research Infrastructure: MorphoCloud: A Cloud Powered, Open-Source Platform For Research, Teaching And Collaboration In 3d Digital Morphology And Beyond
协作研究:研究基础设施:MorphoCloud:云驱动的开源平台,用于 3D 数字形态学及其他领域的研究、教学和协作
- 批准号:
2301407 - 财政年份:2024
- 资助金额:
$ 25万 - 项目类别:
Standard Grant
Open Access Block Award 2024 - Diamond Light Source
2024 年开放访问块奖 - 钻石光源
- 批准号:
EP/Z531479/1 - 财政年份:2024
- 资助金额:
$ 25万 - 项目类别:
Research Grant
An innovative open-source private cloud platform enabling developers to create applications faster, easier, and 80% cheaper than public cloud
%20创新%20开源%20私有%20云%20平台%20启用%20开发人员%20到%20创建%20应用程序%20更快、%20更容易、%20和%2080%%20比%20公共%20云更便宜%20
- 批准号:
10096376 - 财政年份:2024
- 资助金额:
$ 25万 - 项目类别:
Collaborative R&D
Collaborative Research: Research Infrastructure: MorphoCloud: A Cloud Powered, Open-Source Platform For Research, Teaching And Collaboration In 3d Digital Morphology And Beyond
协作研究:研究基础设施:MorphoCloud:云驱动的开源平台,用于 3D 数字形态学及其他领域的研究、教学和协作
- 批准号:
2301406 - 财政年份:2024
- 资助金额:
$ 25万 - 项目类别:
Continuing Grant
Elements: MVP: Open-Source AI-Powered MicroVessel Processor for Next-Generation Vascular Imaging Data
要素:MVP:用于下一代血管成像数据的开源人工智能微血管处理器
- 批准号:
2311245 - 财政年份:2023
- 资助金额:
$ 25万 - 项目类别:
Standard Grant