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
- 负责人:
- 金额:$ 38.74万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2019
- 资助国家:美国
- 起止时间:2019-07-01 至 2023-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 的法定使命,并通过使用基金会的智力优势进行评估,被认为值得支持以及更广泛的影响审查标准。
项目成果
期刊论文数量(5)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Eliminating Micro-Architectural Side-Channel Attacks using Near Memory Processing
使用近内存处理消除微架构侧通道攻击
- DOI:10.1109/seed55351.2022.00023
- 发表时间:2022-09
- 期刊:
- 影响因子:0
- 作者:Nelson, Casey;Izraelevitz, Joseph;Bahar, R. Iris;Lehman, Tamara Silbergleit
- 通讯作者:Lehman, Tamara Silbergleit
HybriDS: Cache-Conscious Concurrent Data Structures for Near-Memory Processing Architectures
HybriDS:用于近内存处理架构的缓存意识并发数据结构
- DOI:10.1145/3490148.3538591
- 发表时间:2022-07-11
- 期刊:
- 影响因子:0
- 作者:Jiwon Choe;Andrew Crotty;T. Moreshet;Maurice Herlihy;R. I. Bahar
- 通讯作者:R. I. Bahar
Concurrent Data Structures with Near-Data-Processing: an Architecture-Aware Implementation
具有近数据处理的并发数据结构:架构感知的实现
- DOI:10.1145/3323165.3323191
- 发表时间:2019-06-17
- 期刊:
- 影响因子:0
- 作者:Jiwon Choe;Amy Huang;T. Moreshet;Maurice Herlihy;R. I. Bahar
- 通讯作者:R. I. Bahar
Towards Hardware Accelerated Garbage Collection with Near-Memory Processing
通过近内存处理实现硬件加速垃圾收集
- DOI:10.1109/hpec55821.2022.9926323
- 发表时间:2022-09-19
- 期刊:
- 影响因子:0
- 作者:Samuel Thomas;Jiwon Choe;Ofir Gordon;E. Petrank;T. Moreshet;M. Herlihy;R. I. Bahar
- 通讯作者:R. I. Bahar
Attacking memory-hard scrypt with near-data-processing
使用近数据处理攻击内存困难的 scrypt
- DOI:10.1145/3357526.3357570
- 发表时间:2019-09-30
- 期刊:
- 影响因子:0
- 作者:Jiwon Choe;T. Moreshet;R. Iris Bahar;Maurice Herlihy
- 通讯作者: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 }}
Ruth Bahar其他文献
Ruth Bahar的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Ruth Bahar', 18)}}的其他基金
SHF: Core: Small: Real-time and Energy-Efficient Machine Learning for Robotics Applications
SHF:核心:小型:用于机器人应用的实时且节能的机器学习
- 批准号:
2341183 - 财政年份:2023
- 资助金额:
$ 38.74万 - 项目类别:
Standard Grant
SHF: Core: Small: Real-time and Energy-Efficient Machine Learning for Robotics Applications
SHF:核心:小型:用于机器人应用的实时且节能的机器学习
- 批准号:
2128036 - 财政年份:2021
- 资助金额:
$ 38.74万 - 项目类别:
Standard Grant
SHF: Core: Small: Real-time and Energy-Efficient Machine Learning for Robotics Applications
SHF:核心:小型:用于机器人应用的实时且节能的机器学习
- 批准号:
2128036 - 财政年份:2021
- 资助金额:
$ 38.74万 - 项目类别:
Standard Grant
SHF: Small: Effects of Noise in Ultimate CMOS: Modeling and Simulation Frameworks, Noise-Immune Circuit Designs, and Experimental Validation
SHF:小:终极 CMOS 中的噪声影响:建模和仿真框架、抗噪声电路设计和实验验证
- 批准号:
1525486 - 财政年份:2015
- 资助金额:
$ 38.74万 - 项目类别:
Standard Grant
CSR: Small: Collaborative Research: Transparent and Energy-Efficient Speculation on NUMA Architectures for Embedded Multiprocessor Systems
CSR:小型:协作研究:嵌入式多处理器系统 NUMA 架构的透明且节能的推测
- 批准号:
1319095 - 财政年份:2013
- 资助金额:
$ 38.74万 - 项目类别:
Standard Grant
Collaborative Research: Energy-Aware Memory Synchronization for Embedded Multicore Systems
合作研究:嵌入式多核系统的能量感知内存同步
- 批准号:
0903384 - 财政年份:2009
- 资助金额:
$ 38.74万 - 项目类别:
Standard Grant
NIRT: (Nanoscale Devices and System Architecture): Fault-tolerant, Probalisitic Computing with Markov Random Field Architectures and CMOS Nanodevices
NIRT:(纳米级设备和系统架构):使用马尔可夫随机场架构和 CMOS 纳米设备进行容错、概率计算
- 批准号:
0506732 - 财政年份:2005
- 资助金额:
$ 38.74万 - 项目类别:
Standard Grant
NER: Y-Junction Nanotube-based Computer Devices and Architectures
NER:基于 Y 形结纳米管的计算机设备和架构
- 批准号:
0304284 - 财政年份:2003
- 资助金额:
$ 38.74万 - 项目类别:
Standard Grant
Combining Hardware and Software Monitoring for Improved Power and Performance Tuning
结合硬件和软件监控以改进功耗和性能调整
- 批准号:
0311180 - 财政年份:2003
- 资助金额:
$ 38.74万 - 项目类别:
Standard Grant
Symbolic Techniques for Evaluating Complex Custom Circuits
评估复杂定制电路的符号技术
- 批准号:
0204151 - 财政年份:2002
- 资助金额:
$ 38.74万 - 项目类别:
Continuing 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
- 资助金额:
$ 38.74万 - 项目类别:
Standard Grant
NSF-BSF: SHF: Small: Efficient, Automatic, and Trustworthy Smart Contract Verification
NSF-BSF:SHF:小型:高效、自动且值得信赖的智能合约验证
- 批准号:
2110397 - 财政年份:2021
- 资助金额:
$ 38.74万 - 项目类别:
Standard Grant
SHF: Small: NSF-BSF: Synthesis of Safe Pointer-Manipulating Programs
SHF:小:NSF-BSF:安全指针操作程序的综合
- 批准号:
1911149 - 财政年份:2019
- 资助金额:
$ 38.74万 - 项目类别:
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:小型:协作研究:非易失性主存储器的持久数据结构和算法的硬件/软件设计
- 批准号:
1909715 - 财政年份:2019
- 资助金额:
$ 38.74万 - 项目类别:
Standard Grant
NSF-BSF: SHF: Small: Certifiable Verification of Large Neural Networks
NSF-BSF:SHF:小型:大型神经网络的可认证验证
- 批准号:
1814369 - 财政年份:2018
- 资助金额:
$ 38.74万 - 项目类别:
Standard Grant