Transactional Memory
Transactional Memory
批准号:
0410042
负责人:
Maurice Herlihy
金额:
$0.0万
依托单位:
依托单位国家:
美国
项目类别:
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..
期刊论文(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
-
依托单位:
A Unified Open-Source Transactional-Memory Infrastructure
-
批准号:0811289
-
项目类别:Standard Grant
-
资助金额:$25.0万
-
财政年份:2008
-
负责人: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
-
依托单位:
国内基金
海外基金
CREB在杏仁核神经环路memory allocation中的作用和机制研究
-
批准号:31171079
-
项目类别:面上项目
-
资助金额:55.0万元
-
批准年份:2011
-
负责人:周宇
-
依托单位:
面向多核处理器的硬软件协作Transactional Memory系统结构
-
批准号:60873053
-
项目类别:面上项目
-
资助金额:30.0万元
-
批准年份:2008
-
负责人:刘轶
-
依托单位: