SHF:Small:Data Structures and Transactions for Emerging Nonvolatile Memory
SHF:Small:新兴非易失性存储器的数据结构和事务
基本信息
- 批准号:1717712
- 负责人:
- 金额:$ 44.99万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2017
- 资助国家:美国
- 起止时间:2017-09-01 至 2021-08-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Data that need to be persistent, either for the sake of long-term access or for recovery from system crashes, have traditionally been kept on disk and flash drives, which are very slow. Within the next few years, much faster persistent memory is expected to be widely available at reasonable cost, raising the possibility that file systems might be replaced, at least in part, by memory that is simply "always available." The intellectual merits of the project lie in addressing two key challenges to such "always available memory": first, ensuring that the values in memory in the wake of a system crash are always mutually consistent, despite the possibility that traditional caches often pass data to the memory out of order; second, safeguarding the structural integrity of persistent data despite the possibility that buggy programs may erroneously modify arbitrary memory locations. The project's broader significance and importance lie in the promise of significant improvements in programmability, reliability, and system performance, and in the ability to survive power outages and hardware failures at much lower cost than has previously been possible. This latter benefit may be of particular importance for ubiquitous sensors in the Internet of Things.The project builds on prior work by the principal investigator and colleagues, which has developed formal correctness criteria for persistent data, together with automatic methods to guarantee this correctness. The current project is pursuing three major research thrusts. First, it is developing a library of reusable, high-performance persistent data structures, with particular emphasis on exploiting high-level semantics to minimize instrumentation overhead, maintaining sufficient information to complete or undo partial operations in the wake of a program or system crash, and formalizing and proving correctness. Second, the project is developing techniques to compose persistent operations into larger atomic transactions. This work builds on past experience with hardware and software transactional memory, and encompasses both nonblocking and lock-based approaches. Particular emphasis is being placed on "boosting" the operations of persistent data structures so that they can serve as reversible high-level operations of a transactional system. Third, the project is developing mechanisms (including user-level daemons, compiler-based sandboxing, fine-grain memory protection, and the use of virtualization hardware) to ensure that persistent data is modified only by trusted library code, thereby safeguarding its structural integrity in the presence of buggy applications.
无论是为了长期访问,还是为了从系统崩溃中恢复,需要持久保存的数据传统上都保存在磁盘和闪存驱动器上,这两种驱动器速度都很慢。在接下来的几年里,预计将以合理的价格广泛使用速度更快的持久性内存,这增加了文件系统可能被简单地“始终可用”的内存取代的可能性,至少在一定程度上如此。该项目在智力上的优点在于解决了这种“始终可用内存”的两个关键挑战:第一,确保系统崩溃后内存中的值始终相互一致,尽管传统高速缓存经常无序地将数据传递到内存;第二,保护持久数据的结构完整性,尽管有错误的程序可能会错误地修改任意内存位置。该项目更广泛的意义和重要性在于承诺显著改善可编程性、可靠性和系统性能,并能够以比以前低得多的成本经受住停电和硬件故障的考验。后一种好处可能对物联网中无处不在的传感器特别重要。该项目建立在主要研究人员和同事先前工作的基础上,他们已经为持久数据制定了正式的正确性标准,以及确保这种正确性的自动方法。目前的项目正在进行三个主要的研究推动力。首先,它正在开发一个可重复使用的高性能持久数据结构库,特别强调利用高级语义来最大限度地减少检测开销,维护足够的信息以在程序或系统崩溃后完成或撤消部分操作,以及形式化和证明正确性。其次,该项目正在开发将持久操作组合成更大的原子事务的技术。这项工作建立在过去硬件和软件事务内存经验的基础上,包括非阻塞和基于锁的方法。特别强调的是“增强”持久性数据结构的操作,以便它们可以充当事务系统的可逆高级操作。第三,该项目正在开发机制(包括用户级守护程序、基于编译器的沙箱、细粒度内存保护和使用虚拟化硬件),以确保持久性数据仅由受信任的库代码修改,从而在存在缺陷的应用程序中保护其结构完整性。
项目成果
期刊论文数量(17)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Hodor: intra-process isolation for high-throughput data plane libraries
Hodor:高吞吐量数据平面库的进程内隔离
- DOI:
- 发表时间:2019
- 期刊:
- 影响因子:0
- 作者:Mohammad Hedayati, Spyridoula Gravani
- 通讯作者:Mohammad Hedayati, Spyridoula Gravani
Nonblocking Persistent Software Transactional Memory
非阻塞持久软件事务内存
- DOI:10.1109/hipc50609.2020.00042
- 发表时间:2020
- 期刊:
- 影响因子:0
- 作者:Beadle, H. Alan;Cai, Wentao;Wen, Haosen;Scott, Michael L.
- 通讯作者:Scott, Michael L.
Interval-based memory reclamation
基于间隔的内存回收
- DOI:10.1145/3178487.3178488
- 发表时间:2018
- 期刊:
- 影响因子:0
- 作者:Wen, Haosen;Izraelevitz, Joseph;Cai, Wentao;Beadle, H. Alan;Scott, Michael L.
- 通讯作者:Scott, Michael L.
Understanding and optimizing persistent memory allocation
- DOI:10.1145/3381898.3397212
- 发表时间:2020-03
- 期刊:
- 影响因子:0
- 作者:Wentao Cai;Haosen Wen;H. A. Beadle;Chris Kjellqvist;Mohammad Hedayati;M. Scott
- 通讯作者:Wentao Cai;Haosen Wen;H. A. Beadle;Chris Kjellqvist;Mohammad Hedayati;M. Scott
Multi-queue fair queueing
多队列公平排队
- DOI:
- 发表时间:2019
- 期刊:
- 影响因子:0
- 作者:Mohammad Hedayati, Kai Shen
- 通讯作者:Mohammad Hedayati, Kai Shen
{{
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 }}
Michael Scott其他文献
Initial results from a field campaign of wake steering applied at a commercial wind farm – Part 1
在商业风电场应用尾流转向的现场活动的初步结果 - 第 1 部分
- DOI:
- 发表时间:
2019 - 期刊:
- 影响因子:4
- 作者:
P. Fleming;J. King;K. Dykes;E. Simley;J. Roadman;A. Scholbrock;P. Murphy;J. Lundquist;P. Moriarty;K. Fleming;Jeroen van Dam;C. Bay;Rafael Mudafort;Hector Lopez;J. Skopek;Michael Scott;B. Ryan;C. Guernsey;D. Brake - 通讯作者:
D. Brake
La Fantasía de las Terapias Conversacionales del NHS en Reino Unido
西班牙国家医疗服务体系 (NHS) 的特拉皮亚斯对话幻想曲
- DOI:
- 发表时间:
2024 - 期刊:
- 影响因子:0
- 作者:
Michael Scott - 通讯作者:
Michael Scott
Rilzabrutinib for Persistent ITP: New Kid on the Block?
Rilzabrutinib 治疗持续性 ITP:新来者?
- DOI:
10.1182/hem.v20.5.202352 - 发表时间:
2023 - 期刊:
- 影响因子:0
- 作者:
Michael Scott - 通讯作者:
Michael Scott
International Pediatric Multidisciplinary Management Using Telemedicine to Promote Equitable Care.
国际儿科多学科管理利用远程医疗促进公平护理。
- DOI:
10.1089/tmj.2022.0165 - 发表时间:
2022 - 期刊:
- 影响因子:0
- 作者:
Rafael Mena;Esperanza Mendoza;F. Mangano;M. Henrickson;Michael Scott;William R. DeFoor;K. Little;Jennifer G Ruschman;C. Prada - 通讯作者:
C. Prada
Who Moves? A Demographic Profile of Post-Injury Residential Movers in a Sample of People with Spinal Cord Injury
- DOI:
10.1016/j.apmr.2021.07.546 - 发表时间:
2021-10-01 - 期刊:
- 影响因子:
- 作者:
Lauren Murphy;Amanda Botticello;Thomas Bryce;Jennifer Coker;Mary Joan Roach;Michael Scott;Lynn Worobey - 通讯作者:
Lynn Worobey
Michael Scott的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Michael Scott', 18)}}的其他基金
CNS Core: Medium: Operating System Modularity for Safety and Performance on Existing Commodity Hardware
CNS 核心:中:操作系统模块化以确保现有商品硬件的安全性和性能
- 批准号:
1955498 - 财政年份:2020
- 资助金额:
$ 44.99万 - 项目类别:
Continuing Grant
Development of a Concept Inventory for Functional Reasoning
功能推理概念量表的开发
- 批准号:
1504851 - 财政年份:2015
- 资助金额:
$ 44.99万 - 项目类别:
Standard Grant
SHF: Small: Mainstream Transactional Memory
SHF:小型:主流事务内存
- 批准号:
1422649 - 财政年份:2014
- 资助金额:
$ 44.99万 - 项目类别:
Standard Grant
NEESR Planning/Collaborative Research: Simulation and Design Tools for Tsunami Bridge Engineering
NEESR 规划/协作研究:海啸桥梁工程的模拟和设计工具
- 批准号:
1344695 - 财政年份:2013
- 资助金额:
$ 44.99万 - 项目类别:
Standard Grant
CSR: Small: First-Class Operating System Management of Computational Accelerators
CSR:小型:计算加速器的一流操作系统管理
- 批准号:
1319417 - 财政年份:2013
- 资助金额:
$ 44.99万 - 项目类别:
Standard Grant
SHF: Small: Ordering-Based Semantics for Emerging Models of Parallel Computing
SHF:小型:并行计算新兴模型的基于排序的语义
- 批准号:
1116055 - 财政年份:2011
- 资助金额:
$ 44.99万 - 项目类别:
Standard Grant
CSR:Small:Parallelism and Concurrency in Scripting Languages
CSR:小:脚本语言中的并行性和并发性
- 批准号:
1116109 - 财政年份:2011
- 资助金额:
$ 44.99万 - 项目类别:
Standard Grant
CCF: Medium: Routine Parallelism Enabled by Speculation
CCF:中:通过推测实现常规并行性
- 批准号:
0963759 - 财政年份:2010
- 资助金额:
$ 44.99万 - 项目类别:
Continuing Grant
CAREER: Particle Finite Element Response Sensitivity Analysis of Fluid-Structure Interaction
职业:流固耦合的粒子有限元响应灵敏度分析
- 批准号:
0847055 - 财政年份:2009
- 资助金额:
$ 44.99万 - 项目类别:
Standard Grant
A Planning Proposal to Establish a Franco-American Doctoral Student Exchange for Energy and Sustainability
建立法美能源与可持续发展博士生交流中心的规划建议
- 批准号:
0738015 - 财政年份:2007
- 资助金额:
$ 44.99万 - 项目类别:
Standard Grant
相似国自然基金
昼夜节律性small RNA在血斑形成时间推断中的法医学应用研究
- 批准号:
- 批准年份:2024
- 资助金额:0.0 万元
- 项目类别:省市级项目
tRNA-derived small RNA上调YBX1/CCL5通路参与硼替佐米诱导慢性疼痛的机制研究
- 批准号:n/a
- 批准年份:2022
- 资助金额:10.0 万元
- 项目类别:省市级项目
Small RNA调控I-F型CRISPR-Cas适应性免疫性的应答及分子机制
- 批准号:32000033
- 批准年份:2020
- 资助金额:24.0 万元
- 项目类别:青年科学基金项目
Small RNAs调控解淀粉芽胞杆菌FZB42生防功能的机制研究
- 批准号:31972324
- 批准年份:2019
- 资助金额:58.0 万元
- 项目类别:面上项目
变异链球菌small RNAs连接LuxS密度感应与生物膜形成的机制研究
- 批准号:81900988
- 批准年份:2019
- 资助金额:21.0 万元
- 项目类别:青年科学基金项目
基于small RNA 测序技术解析鸽分泌鸽乳的分子机制
- 批准号:31802058
- 批准年份:2018
- 资助金额:26.0 万元
- 项目类别:青年科学基金项目
肠道细菌关键small RNAs在克罗恩病发生发展中的功能和作用机制
- 批准号:31870821
- 批准年份:2018
- 资助金额:56.0 万元
- 项目类别:面上项目
Small RNA介导的DNA甲基化调控的水稻草矮病毒致病机制
- 批准号:31772128
- 批准年份:2017
- 资助金额:60.0 万元
- 项目类别:面上项目
基于small RNA-seq的针灸治疗桥本甲状腺炎的免疫调控机制研究
- 批准号:81704176
- 批准年份:2017
- 资助金额:20.0 万元
- 项目类别:青年科学基金项目
水稻OsSGS3与OsHEN1调控small RNAs合成及其对抗病性的调节
- 批准号:91640114
- 批准年份:2016
- 资助金额:85.0 万元
- 项目类别:重大研究计划
相似海外基金
SHF: Small: Modular Automated Verification of Concurrent Data Structures
SHF:小型:并发数据结构的模块化自动验证
- 批准号:
2304758 - 财政年份:2023
- 资助金额:
$ 44.99万 - 项目类别:
Standard Grant
Collaborative Research: SHF: Small: Scalable and Extensible I/O Runtime and Tools for Next Generation Adaptive Data Layouts
协作研究:SHF:小型:可扩展和可扩展的 I/O 运行时以及下一代自适应数据布局的工具
- 批准号:
2401274 - 财政年份:2023
- 资助金额:
$ 44.99万 - 项目类别:
Standard Grant
SHF: Small: Data Movement Complexity: Theory and Optimization
SHF:小型:数据移动复杂性:理论与优化
- 批准号:
2217395 - 财政年份:2022
- 资助金额:
$ 44.99万 - 项目类别:
Standard Grant
SHF: Small: CT-DDS -- Scalable Concolic Testing of Parallel Applications With Shared Dynamic Data Structures
SHF:小型:CT-DDS——具有共享动态数据结构的并行应用程序的可扩展 Concolic 测试
- 批准号:
2226448 - 财政年份:2022
- 资助金额:
$ 44.99万 - 项目类别:
Standard Grant
SHF: Small: Methods, Workflows, and Data Commons for Reducing Training Costs in Neural Architecture Search on High-Performance Computing Platforms
SHF:小型:降低高性能计算平台上神经架构搜索训练成本的方法、工作流程和数据共享
- 批准号:
2223704 - 财政年份:2022
- 资助金额:
$ 44.99万 - 项目类别:
Standard Grant
Collaborative Research: SHF: Small: Scalable and Extensible I/O Runtime and Tools for Next Generation Adaptive Data Layouts
协作研究:SHF:小型:可扩展和可扩展的 I/O 运行时以及下一代自适应数据布局的工具
- 批准号:
2221811 - 财政年份:2022
- 资助金额:
$ 44.99万 - 项目类别:
Standard Grant
SHF: Small: Ubiquitous and Transparent Near-data Computing for General Purpose Processors
SHF:小型:通用处理器的无处不在且透明的近数据计算
- 批准号:
2200831 - 财政年份:2022
- 资助金额:
$ 44.99万 - 项目类别:
Standard Grant
SHF: Small: Towards High Performance Serverless Edge Computing for Data-intensive Applications
SHF:小型:面向数据密集型应用程序的高性能无服务器边缘计算
- 批准号:
2230620 - 财政年份:2022
- 资助金额:
$ 44.99万 - 项目类别:
Standard Grant
Collaborative Research: SHF: Small: Data-Driven Lemma Synthesis for Interactive Proofs
协作研究:SHF:小型:交互式证明的数据驱动引理合成
- 批准号:
2220891 - 财政年份:2022
- 资助金额:
$ 44.99万 - 项目类别:
Standard Grant
Collaborative Research: SHF: Small: Scalable and Extensible I/O Runtime and Tools for Next Generation Adaptive Data Layouts
协作研究:SHF:小型:可扩展和可扩展的 I/O 运行时以及下一代自适应数据布局的工具
- 批准号:
2221812 - 财政年份:2022
- 资助金额:
$ 44.99万 - 项目类别:
Standard Grant