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
- 负责人:
- 金额:$ 11.26万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2019
- 资助国家:美国
- 起止时间:2019-07-01 至 2024-06-30
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
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的法定任务,并被认为是值得通过基金会的知识分子优点和更广泛影响的评估来通过评估来获得支持的。
项目成果
期刊论文数量(4)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Concurrent Data Structures with Near-Data-Processing: an Architecture-Aware Implementation
- DOI:10.1145/3323165.3323191
- 发表时间:2019-06
- 期刊:
- 影响因子:0
- 作者:Jiwon Choe;Amy Huang;T. Moreshet;Maurice Herlihy;R. I. Bahar
- 通讯作者: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
- 期刊:
- 影响因子:0
- 作者:Jiwon Choe;Andrew Crotty;T. Moreshet;Maurice Herlihy;R. I. Bahar
- 通讯作者: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
- 期刊:
- 影响因子:0
- 作者:Samuel Thomas;Jiwon Choe;Ofir Gordon;E. Petrank;T. Moreshet;M. Herlihy;R. I. Bahar
- 通讯作者: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
- 期刊:
- 影响因子:0
- 作者:Jiwon Choe;T. Moreshet;R. Iris Bahar;Maurice Herlihy
- 通讯作者:Jiwon Choe;T. Moreshet;R. Iris Bahar;Maurice Herlihy
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Tali Moreshet其他文献
Tali Moreshet的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Tali Moreshet', 18)}}的其他基金
Travel Grants for The International Conference on Architecture Support for Programming Languages and Operating Systems
编程语言和操作系统架构支持国际会议的旅费补助
- 批准号:
1855447 - 财政年份:2019
- 资助金额:
$ 11.26万 - 项目类别:
Standard Grant
CSR: Small: Collaborative Research: Transparent and Energy-Efficient Speculation on NUMA Architectures for Embedded Multiprocessor Systems
CSR:小型:协作研究:嵌入式多处理器系统 NUMA 架构的透明且节能的推测
- 批准号:
1519576 - 财政年份:2014
- 资助金额:
$ 11.26万 - 项目类别:
Standard Grant
CSR: Small: Collaborative Research: Transparent and Energy-Efficient Speculation on NUMA Architectures for Embedded Multiprocessor Systems
CSR:小型:协作研究:嵌入式多处理器系统 NUMA 架构的透明且节能的推测
- 批准号:
1319495 - 财政年份:2013
- 资助金额:
$ 11.26万 - 项目类别:
Standard Grant
BRIGE: Power-efficient easy-to-program 1000-core desktop supercomputer
BRIGE:高能效、易于编程的 1000 核台式超级计算机
- 批准号:
0926237 - 财政年份:2009
- 资助金额:
$ 11.26万 - 项目类别:
Standard Grant
Collaborative Research: Energy-Aware Memory Synchronization for Embedded Multicore Systems
合作研究:嵌入式多核系统的能量感知内存同步
- 批准号:
0903295 - 财政年份:2009
- 资助金额:
$ 11.26万 - 项目类别:
Standard Grant
相似国自然基金
枯草芽孢杆菌BSF01降解高效氯氰菊酯的种内群体感应机制研究
- 批准号:31871988
- 批准年份:2018
- 资助金额:59.0 万元
- 项目类别:面上项目
基于掺硼直拉单晶硅片的Al-BSF和PERC太阳电池光衰及其抑制的基础研究
- 批准号:61774171
- 批准年份:2017
- 资助金额:63.0 万元
- 项目类别:面上项目
B细胞刺激因子-2(BSF-2)与自身免疫病的关系
- 批准号:38870708
- 批准年份:1988
- 资助金额:3.0 万元
- 项目类别:面上项目
相似海外基金
NSF-BSF: SHF: Small: Neural Network Verification: Abstraction, Compositional Verification and Standardization
NSF-BSF:SHF:小型:神经网络验证:抽象、组合验证和标准化
- 批准号:
2211505 - 财政年份:2022
- 资助金额:
$ 11.26万 - 项目类别:
Standard Grant
NSF-BSF: SHF: Small: Efficient, Automatic, and Trustworthy Smart Contract Verification
NSF-BSF:SHF:小型:高效、自动且值得信赖的智能合约验证
- 批准号:
2110397 - 财政年份:2021
- 资助金额:
$ 11.26万 - 项目类别:
Standard Grant
SHF: Small: NSF-BSF: Synthesis of Safe Pointer-Manipulating Programs
SHF:小:NSF-BSF:安全指针操作程序的综合
- 批准号:
1911149 - 财政年份:2019
- 资助金额:
$ 11.26万 - 项目类别:
Standard Grant
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:小型:协作研究:非易失性主存储器的持久数据结构和算法的硬件/软件设计
- 批准号:
1908806 - 财政年份:2019
- 资助金额:
$ 11.26万 - 项目类别:
Standard Grant
NSF-BSF: SHF: Small: Certifiable Verification of Large Neural Networks
NSF-BSF:SHF:小型:大型神经网络的可认证验证
- 批准号:
1814369 - 财政年份:2018
- 资助金额:
$ 11.26万 - 项目类别:
Standard Grant