SHF: Small: Collaborative Research: PEGASUS: ProgrEss GuAranteeS for Universal tranSactions

SHF：小型：合作研究：PEGASUS：通用交易的进度保证

• 批准号: 1717635
• 负责人: Peter Pirkelbauer
• 金额: $ 23.38万
• 依托单位: University of Alabama at Birmingham
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2017
• 资助国家: 美国
• 起止时间: 2017-08-01 至 2020-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1717635&HistoricalAwards=false
• 关键词: SHF; Small; Collaborative; Research; PEGASUS

Software scalability and reliability on multi-core systems is a crucial and urgent issue that needs to be addressed. Transactional processing is a promising programming model for developing parallel applications across many domains, including scientific and application software, that simplifies the development of correct concurrent software. This project will develop transactional techniques that overcome many current limitations, and it will explore the optimization of these techniques on systems with support for transactions. The intellectual merits are the development of novel techniques for constructing transactional data structures on systems with and without hardware support for transactions. The project will create a first approach for transactional processing with progress guarantees. The project's broader significance and importance are to make accessible to the industry a set of prototype data structures and programming techniques that furthers the reliability and performance of software on current and future multi-core systems. The project will also develop critical human resources in systems programming. The project will lead to a number of fundamental and practical outcomes. Transactions have been recognized as a promising alternative to lock-based systems. However, transactions as currently implemented in software or hardware have different drawbacks, with the absence of a progress guarantee being the most fundamental. To overcome this problem, this work further develops the notion of transactional data structures that are based on lock-free techniques, thereby guaranteeing progress. The project will also extend the applicability of commutable transactions to various data structure types including commonly used linked and contiguous memory data structures. The project harnesses transactional hardware to accelerate the execution of common cases and demonstrates the applicability by prototyping a set of important containers. Finally, this project will evaluate the outcome against

多核系统上的软件可扩展性和可靠性是一个需要解决的关键和紧迫的问题。事务处理是一种很有前途的编程模型，用于开发跨许多领域的并行应用程序，包括科学和应用软件，简化了正确的并发软件的开发。本项目将开发克服当前许多限制的事务技术，并将探索这些技术在支持事务的系统上的优化。智力上的优点是开发新的技术，用于在有和没有硬件支持事务的系统上构建事务数据结构。该项目将创建第一种具有进度保证的事务处理方法。该项目更广泛的意义和重要性在于向业界提供一套原型数据结构和编程技术，以进一步提高当前和未来多核系统上软件的可靠性和性能。该项目还将开发系统编程方面的关键人力资源。 该项目将产生一些基本和实际的成果。事务已被认为是基于锁的系统的有前途的替代方案。然而，目前在软件或硬件中实现的事务具有不同的缺点，其中缺乏进度保证是最基本的。为了克服这个问题，这项工作进一步发展了基于无锁技术的事务数据结构的概念，从而保证了进展。该项目还将可交换事务的适用性扩展到各种数据结构类型，包括常用的链接和连续内存数据结构。该项目利用事务硬件来加速常见案例的执行，并通过对一组重要容器进行原型设计来展示其适用性。最后，该项目将根据