NSF-BSF: SHF: CCF: Small: Collaborative Research: Hardware/Software Design of Durable Data Structures and Algorithms for Non-Volatile Main Memory

NSF-BSF：SHF：CCF：小型：协作研究：非易失性主存储器的持久数据结构和算法的硬件/软件设计

• 批准号: 1909715
• 负责人: Tali Moreshet
• 金额: $ 11.26万
• 依托单位: Trustees of Boston University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2019
• 资助国家: 美国
• 起止时间: 2019-07-01 至 2024-06-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1909715&HistoricalAwards=false
• 关键词: NSF; BSF; SHF; CCF; Small

Memory is said to be non-volatile if it does not lose its contents when it loses power (i.e., crashes). Hardware for non-volatile memory is advancing fast, and soon it is expected to displace volatile DRAM for main memory in many architectures. This project entails developing concurrent data structures and software that can exploit emerging forms of non-volatile memory that provide simple, faster, and more energy-efficient crash recovery. This research has the potential to benefit society by enhancing the robustness and fault-tolerance of systems on which modern society increasingly depends. The results of this research may also significantly improve energy-efficiency, since such systems would require smaller caches and fewer accesses to energy-hungry secondary storage devices. New curriculum development activities are also planned as part of this project. This project investigates how to make common data structures, such as queues, skip-lists, hash maps, and others, durable. Different levels of durability are considered, with special emphasis on high performance and ease of programming. The project also evaluates several memory architectures, including both conventional multilevel memory and emerging near-data processing architectures. A complementary effort investigates hardware primitives needed to flush caches, and to move data between volatile and non-volatile memory regions. Building on these efforts, the project will produce a collection of performance and energy-efficient durable concurrent data structures, packaged as software libraries that allow for easy adaptation by programmers. Evaluation will be done on synthetic benchmarks as well as concurrent applications such as concurrent key-value stores, work-stealing schedulers, and concurrent memory management.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.

如果存储器在断电时不丢失其内容（即，崩溃）。非易失性存储器的硬件正在快速发展，预计很快它将在许多架构中取代易失性DRAM作为主存。该项目需要开发并发数据结构和软件，可以利用新兴形式的非易失性存储器，提供简单，更快，更节能的崩溃恢复。 这项研究有可能通过提高现代社会日益依赖的系统的鲁棒性和容错性来造福社会。这项研究的结果也可能显着提高能源效率，因为这样的系统将需要更小的缓存和更少的访问耗能的二级存储设备。作为该项目的一部分，还计划开展新的课程编制活动。这个项目研究如何使常见的数据结构，如队列，跳过列表，哈希映射，和其他持久的。考虑了不同级别的耐久性，特别强调高性能和易于编程。 该项目还评估了几种存储器架构，包括传统的多级存储器和新兴的近数据处理架构。一个补充的努力调查硬件原语刷新缓存，并在易失性和非易失性存储器区域之间移动数据。在这些努力的基础上，该项目将产生一系列性能和节能的持久并发数据结构，打包为软件库，便于程序员进行调整。 评估将在综合基准以及并发应用程序（如并发键值存储、工作窃取程序和并发内存管理）上进行。该奖项反映了NSF的法定使命，并被认为值得通过使用基金会的智力价值和更广泛的影响审查标准进行评估来支持。

项目成果

Concurrent Data Structures with Near-Data-Processing: an Architecture-Aware Implementation

• DOI: 10.1145/3323165.3323191
• 发表时间: 2019-06
• 期刊: The 31st ACM Symposium on Parallelism in Algorithms and Architectures
• 作者: Jiwon Choe;Amy Huang;T. Moreshet;Maurice Herlihy;R. I. Bahar

HybriDS: Cache-Conscious Concurrent Data Structures for Near-Memory Processing Architectures

• DOI: 10.1145/3490148.3538591
• 发表时间: 2022-07
• 期刊: Proceedings of the 34th ACM Symposium on Parallelism in Algorithms and Architectures
• 作者: Jiwon Choe;Andrew Crotty;T. Moreshet;Maurice Herlihy;R. I. Bahar

Towards Hardware Accelerated Garbage Collection with Near-Memory Processing

• DOI: 10.1109/hpec55821.2022.9926323
• 发表时间: 2022-09
• 期刊: 2022 IEEE High Performance Extreme Computing Conference (HPEC)
• 作者: Samuel Thomas;Jiwon Choe;Ofir Gordon;E. Petrank;T. Moreshet;M. Herlihy;R. I. Bahar

Attacking memory-hard scrypt with near-data-processing

• DOI: 10.1145/3357526.3357570
• 发表时间: 2019-09
• 期刊: Proceedings of the International Symposium on Memory Systems
• 作者: Jiwon Choe;T. Moreshet;R. Iris Bahar;Maurice Herlihy