Transactional Memory

事务内存

基本信息

  • 批准号:
    0410042
  • 负责人:
  • 金额:
    --
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    2004
  • 资助国家:
    美国
  • 起止时间:
    2004-08-01 至 2008-07-31
  • 项目状态:
    已结题

项目摘要

National Science FoundationDistributed Systems Research CISE/CNSABSTRACTProposal Number: 0410042Principal Investigator: Herlihy, MauriceInstitution: Brown UniversityProposal Title: Transactional MemoryThis project focuses on an new approach to multiprocessor synchronization called transactional memory. This approach replaces conventional locking techniques with light-weight transactions: sequences of instructions that ap-pear to execute atomically. Transactional memory relies on a combination of hardware and software support. The project explores the interface between hardware and software support for transactions. Hardware is well-suited for short transactions that access a small memory region, but is less effective for longer transactions, or transactions that access more memory. Transactions that cannot be executed directly in hardware must be executed partially or en-tirely in software, and the project is investigating a range of possible trade-offs.The project also explores the implications of the transactional memory model for the design of highly-concurrent data structures. While transactional mem-ory provides better support for fine-grained concurrency than conventional ock-ing techniques, it also provides opportunities for new kinds of data structure designs and algorithms.This project addresses a fundamental problem in modern computing. Every year, processors get faster and cheaper. Recently, however, fundamental limita-tions such as heat dissipation have made advances in clock speed increasingly difficult. An alternative approach, called multiprocessing, harnesses multiple processors to work together. Unfortunately, current techniques for multiproc-essor synchronization are difficult to use, and scale poorly to large-scale sys-tems. This alternative synchronization model investigated by this project prom-ises to one substantial barrier to more effective multiprocessor computing. The project's results will be disseminated through scholarly publication andopen-source software.Dr. Brett D. FleischProgram Director, CISE/CNSMay 26, 2004..
国家科学基金会分布式系统研究CISE/CNSABSTRACT提案编号:0410042主要研究员:Herlihy,Maurice机构:布朗大学提案标题:事务性内存这个项目关注一种称为事务性内存的多处理器同步新方法。 这种方法用轻量级事务(看起来像是原子执行的指令序列)取代了传统的锁定技术。 transmitted内存依赖于硬件和软件支持的组合。 该项目探讨了支持交易的硬件和软件之间的接口。硬件非常适合访问小内存区域的短事务,但对于较长事务或访问更多内存的事务则不太有效。 不能直接在硬件中执行的事务必须部分或全部在软件中执行,该项目正在研究一系列可能的权衡。该项目还探讨了事务内存模型对高并发数据结构设计的影响。 虽然事务存储器比传统的锁技术提供了更好的细粒度并发支持,但它也为新型数据结构设计和算法提供了机会。 每年,处理器都变得更快,更便宜。然而,最近,诸如散热等基本限制使得时钟速度的进步变得越来越困难。 另一种方法称为多处理,它利用多个处理器一起工作。 不幸的是,目前的多处理器同步技术很难使用,而且在大规模系统中的扩展性很差。这个项目研究的另一种同步模型prom-ises一个实质性的障碍,更有效的多处理器计算。该项目的结果将通过学术出版物和开放源码软件传播。Fleisch项目总监,CISE/CNSMay 26,2004..

项目成果

期刊论文数量(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其他文献

Invited Paper: Fault-tolerant and Expressive Cross-Chain Swaps
特邀论文:容错且富有表现力的跨链交换
Impossibility Results for Distributed Transactional Memory
分布式事务内存的不可能性结果
Tight bounds for k-set agreement with limited-scope failure detectors
与有限范围故障检测器的 k 集一致性的严格界限
  • DOI:
    10.1007/s00446-005-0141-8
  • 发表时间:
    2003
  • 期刊:
  • 影响因子:
    1.3
  • 作者:
    Maurice Herlihy;L. Penso
  • 通讯作者:
    L. Penso
Algebraic spans
代数跨度
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

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
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
SHF: Medium: Collaborative Research: Run-Time Support for Scalable Concurrent Programming
SHF:中:协作研究:可扩展并发编程的运行时支持
  • 批准号:
    1561807
  • 财政年份:
    2016
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
SHF: Small: Collaborative Research: Concurrent Programming with Composable Transactional Objects
SHF:小型:协作研究:使用可组合事务对象进行并发编程
  • 批准号:
    1420673
  • 财政年份:
    2014
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
SHF: Medium: Collaborative Research: Transactional Software Infrastructures: Making the Most of Hardware Transactions
SHF:媒介:协作研究:事务性软件基础设施:充分利用硬件事务
  • 批准号:
    1301924
  • 财政年份:
    2013
  • 资助金额:
    --
  • 项目类别:
    Continuing Grant
BSF:2012171:Progress Guarantees for Hardware Transactional Memory
BSF:2012171:硬件事务内存的进度保证
  • 批准号:
    1331141
  • 财政年份:
    2013
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
Combinatorial Topology and Concurrent Computation
组合拓扑和并发计算
  • 批准号:
    0830491
  • 财政年份:
    2009
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
A Unified Open-Source Transactional-Memory Infrastructure
统一的开源事务内存基础设施
  • 批准号:
    0811289
  • 财政年份:
    2008
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
Topological Methods in Distributed and Concurrent Computatioin
分布式并发计算中的拓扑方法
  • 批准号:
    9912401
  • 财政年份:
    2000
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
CONACyT: Topological Methods in Distributed and Concurrent Computation
CONACyT:分布式并发计算中的拓扑方法
  • 批准号:
    9613785
  • 财政年份:
    1996
  • 资助金额:
    --
  • 项目类别:
    Continuing Grant
CONACyT: Applications of Algebraic Topology to Concurrent Computation
CONACyT:代数拓扑在并发计算中的应用
  • 批准号:
    9505949
  • 财政年份:
    1995
  • 资助金额:
    --
  • 项目类别:
    Standard Grant

相似国自然基金

CREB在杏仁核神经环路memory allocation中的作用和机制研究
  • 批准号:
    31171079
  • 批准年份:
    2011
  • 资助金额:
    55.0 万元
  • 项目类别:
    面上项目
面向多核处理器的硬软件协作Transactional Memory系统结构
  • 批准号:
    60873053
  • 批准年份:
    2008
  • 资助金额:
    30.0 万元
  • 项目类别:
    面上项目

相似海外基金

CAREER: Transactional Memory for Distributed Systems
职业:分布式系统的事务内存
  • 批准号:
    2045597
  • 财政年份:
    2021
  • 资助金额:
    --
  • 项目类别:
    Continuing Grant
EAGER: Transactional Memory Foundations for Distributed Multiprocessor Systems
EAGER:分布式多处理器系统的事务内存基础
  • 批准号:
    1936450
  • 财政年份:
    2019
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
Verifiably Correct Transactional Memory.
可验证正确的事务内存。
  • 批准号:
    EP/R032351/1
  • 财政年份:
    2018
  • 资助金额:
    --
  • 项目类别:
    Research Grant
Verifiably Correct Transactional Memory
可验证正确的事务内存
  • 批准号:
    EP/R032556/1
  • 财政年份:
    2018
  • 资助金额:
    --
  • 项目类别:
    Research Grant
SPX: Collaborative Research: Distributed Database Management with Logical Leases and Hardware Transactional Memory
SPX:协作研究:具有逻辑租赁和硬件事务内存的分布式数据库管理
  • 批准号:
    1822933
  • 财政年份:
    2018
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
Verifiably Correct Transactional Memory
可验证正确的事务内存
  • 批准号:
    EP/R032971/1
  • 财政年份:
    2018
  • 资助金额:
    --
  • 项目类别:
    Research Grant
SPX: Collaborative Research: Distributed Database Management with Logical Leases and Hardware Transactional Memory
SPX:协作研究:具有逻辑租赁和硬件事务内存的分布式数据库管理
  • 批准号:
    1822920
  • 财政年份:
    2018
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
CSR: Small: Software Transactional Memory for Real-Time Systems
CSR:小型:实时系统的软件事务内存
  • 批准号:
    1717589
  • 财政年份:
    2017
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
Atomicity and consistency issues in service composition and transactional memory
服务组合和事务内存中的原子性和一致性问题
  • 批准号:
    3182-2011
  • 财政年份:
    2017
  • 资助金额:
    --
  • 项目类别:
    Discovery Grants Program - Individual
VaST - Validation of Software Transactional Memory
VaST - 软件事务内存的验证
  • 批准号:
    362038437
  • 财政年份:
    2017
  • 资助金额:
    --
  • 项目类别:
    Research Grants
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了