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

SHF：媒介：协作研究：事务性软件基础设施：充分利用硬件事务

• 批准号: 1301924
• 负责人: Maurice Herlihy
• 金额: $ 60万
• 依托单位: Brown University
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2013
• 资助国家: 美国
• 起止时间: 2013-06-01 至 2017-05-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1301924&HistoricalAwards=false
• 关键词: SHF; Medium; Collaborative; Research; Transactional

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.

现代计算机系统正在经历一场普遍的变革。它们正变得越来越并行，这意味着多个处理单元或核心一起工作来执行任务。 为了促进利用这些新架构所需的各种同步和协调，领先的硬件供应商已经开发了提供硬件事务存储器的新一代处理器架构，这种同步结构有望避免传统同步方法的许多众所周知的陷阱和限制。 向硬件事务的转移将给多核机器的编程方式带来根本性的积极变化。该项目将重新设计基本的同步结构，如锁、内存管理和一系列并发数据结构，如堆、哈希表和跳表。 这些新结构将包含在一个开源C++库中。 该项目的目标是创建性能更好，更可靠，更便宜的并行软件，可扩展到更大的系统，同时使代码更简单，更可靠。 此外，该项目将提高对如何有效使用硬件事务存储器的理解，这对未来处理器的用户和制造商都有好处。