课题基金 / 基金详情

SHF: Medium: Collaborative Research: Transactional Software Infrastructures: Making the Most of Hardware Transactions

SHF: Medium: Collaborative Research: Transactional Software Infrastructures: Making the Most of Hardware Transactions
SHF:媒介:协作研究:事务性软件基础设施:充分利用硬件事务
批准号:
1301924
负责人:
Maurice Herlihy
金额:
$60.0万
依托单位:
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
2013
资助国家:
美国
项目状态:
已结题
起止时间:
2013-06-01 至 2017-05-31

项目摘要

项目成果

Maurice Herlihy的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Modern computer systems are undergoing a pervasive change. They are becoming increasingly parallel, meaning that multiple processing units, or cores, work together to carry out tasks. To facilitate the kinds of synchronization and coordination needed to exploit these new architectures, leading hardware vendors have developed a new generation of processor architectures that provide hardware transactional memory, a synchronization structure that promises to avoid many of the well-known pitfalls and limitations of conventional approaches to synchronization. The move to hardware transactions will bring about a fundamental positive change in the way multicore machines are programmed.This project will redesign basic synchronization structures such as locks, memory management, and a range of concurrent data structures such as heaps, hash tables, and skip lists. These new structures will be embodied in an open-source C++ library. The project's goal is to create better performing, more reliable, and less expensive parallel software, scalable to larger systems, while at the same time making code simpler and more reliable. Moreover, this project will enhance understanding of how hardware transactional memory can be used effectively, a benefit to both users and manufacturers of future processors.
期刊论文(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
  • 依托单位:
BSF:2012171:Progress Guarantees for Hardware Transactional Memory
  • 批准号:
    1331141
  • 项目类别:
    Standard Grant
  • 资助金额:
    $4.5万
  • 财政年份:
    2013
  • 负责人:
    Maurice Herlihy
  • 依托单位:
海外基金