SHF:Small:Data Structures and Transactions for Emerging Nonvolatile Memory
SHF:Small:Data Structures and Transactions for Emerging Nonvolatile Memory
批准号:
1717712
负责人:
Michael Scott
金额:
$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)
会议论文
登录
查看更多内容
Hodor: intra-process isolation for high-throughput data plane libraries
Hodor:高吞吐量数据平面库的进程内隔离
DOI:
--
发表时间:
2019
期刊:
Proceedings of the 2019 Usenix Annual Technical Conference
影响因子:
--
作者:
[Mohammad Hedayati, Spyridoula Gravani]
通讯作者:
Mohammad Hedayati, Spyridoula Gravani
DOI:
10.1109/hipc50609.2020.00042
发表时间:
2020
期刊:
and Analytics (HiPC
影响因子:
--
作者:
[Beadle, H. Alan, Cai, Wentao, Wen, Haosen, Scott, Michael L.]
通讯作者:
Scott, Michael L.
Interval-based memory reclamation
基于间隔的内存回收
DOI:
10.1145/3178487.3178488
发表时间:
2018
期刊:
Proceedings of the 23rd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
影响因子:
--
作者:
[Wen, Haosen, Izraelevitz, Joseph, Cai, Wentao, Beadle, H. Alan, Scott, Michael L.]
通讯作者:
Scott, Michael L.
DOI:
10.1145/3381898.3397212
发表时间:
2020-03
期刊:
Proceedings of the 2020 ACM SIGPLAN International Symposium on Memory Management
影响因子:
--
作者:
[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
Leveraging hardware TM in Haskell
在 Haskell 中利用硬件 TM
DOI:
10.1145/3293883.3295711
发表时间:
2019
期刊:
Proceedings of the 24th Symposium on Principles and Practice of Parallel Programming
影响因子:
--
作者:
[Yates, Ryan, Scott, Michael L.]
通讯作者:
Scott, Michael L.
共 13 条
CNS Core: Medium: Operating System Modularity for Safety and Performance on Existing Commodity Hardware
-
批准号:1955498
-
项目类别:Continuing Grant
-
资助金额:$113.55万
-
财政年份:2020
-
负责人:Michael Scott
-
依托单位:
Development of a Concept Inventory for Functional Reasoning
-
批准号:1504851
-
项目类别:Standard Grant
-
资助金额:$19.99万
-
财政年份:2015
-
负责人:Michael Scott
-
依托单位:
SHF: Small: Mainstream Transactional Memory
-
批准号:1422649
-
项目类别:Standard Grant
-
资助金额:$49.94万
-
财政年份:2014
-
负责人:Michael Scott
-
依托单位:
NEESR Planning/Collaborative Research: Simulation and Design Tools for Tsunami Bridge Engineering
-
批准号:1344695
-
项目类别:Standard Grant
-
资助金额:$13.5万
-
财政年份:2013
-
负责人:Michael Scott
-
依托单位:
CSR: Small: First-Class Operating System Management of Computational Accelerators
-
批准号:1319417
-
项目类别:Standard Grant
-
资助金额:$45.53万
-
财政年份:2013
-
负责人:Michael Scott
-
依托单位:
SHF: Small: Ordering-Based Semantics for Emerging Models of Parallel Computing
-
批准号:1116055
-
项目类别:Standard Grant
-
资助金额:$49.75万
-
财政年份:2011
-
负责人:Michael Scott
-
依托单位:
CSR:Small:Parallelism and Concurrency in Scripting Languages
-
批准号:1116109
-
项目类别:Standard Grant
-
资助金额:$25.0万
-
财政年份:2011
-
负责人:Michael Scott
-
依托单位:
CCF: Medium: Routine Parallelism Enabled by Speculation
-
批准号:0963759
-
项目类别:Continuing Grant
-
资助金额:$104.25万
-
财政年份:2010
-
负责人:Michael Scott
-
依托单位:
CAREER: Particle Finite Element Response Sensitivity Analysis of Fluid-Structure Interaction
-
批准号:0847055
-
项目类别:Standard Grant
-
资助金额:$43.0万
-
财政年份:2009
-
负责人:Michael Scott
-
依托单位:
A Planning Proposal to Establish a Franco-American Doctoral Student Exchange for Energy and Sustainability
-
批准号:0738015
-
项目类别:Standard Grant
-
资助金额:$1.98万
-
财政年份:2007
-
负责人:Michael Scott
-
依托单位:
Religious Language and the Realism Problem
-
批准号:113116/1
-
项目类别:Research Grant
-
资助金额:$1.79万
-
财政年份:2006
-
负责人:Michael Scott
-
依托单位:
CSR--PDOS: Fulfilling the Promise of Transactions in Multithreaded Systems
-
批准号:0615139
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2006
-
负责人:Michael Scott
-
依托单位:
Student Travel Support for 19TH ACM Symposium on Operating System Principles (SOSP); Lake George, NY; October 19-22, 2003
-
批准号:0335406
-
项目类别:Standard Grant
-
资助金额:$2.0万
-
财政年份:2003
-
负责人:Michael Scott
-
依托单位:
Extended Structures Built on the Triphenoxymethane Platform: Modeling Metalloenzyme Active Sites
-
批准号:0316003
-
项目类别:Continuing grant
-
资助金额:$0.0万
-
财政年份:2003
-
负责人:Michael Scott
-
依托单位:
High-Performance Synchronization for User-Level Applications
-
批准号:0204344
-
项目类别:Continuing Grant
-
资助金额:$25.26万
-
财政年份:2002
-
负责人:Michael Scott
-
依托单位:
Organometallic Chemistry of Group 6 Imido Diamide Complexes
-
批准号:0094404
-
项目类别:Continuing Grant
-
资助金额:$37.5万
-
财政年份:2001
-
负责人:Michael Scott
-
依托单位:
CAREER: Tripodal Aryloxide Ligands: From Molecular Receptors to Organometallic Catalysis
-
批准号:9874966
-
项目类别:Continuing grant
-
资助金额:$0.0万
-
财政年份:1999
-
负责人:Michael Scott
-
依托单位:
Experimental Evaluation of Software Coherence for Next-Generation Networks
-
批准号:9705594
-
项目类别:Continuing Grant
-
资助金额:$79.42万
-
财政年份:1997
-
负责人:Michael Scott
-
依托单位:
High-Performance Synchronization for Shared-Memory Parallel Programs
-
批准号:9319445
-
项目类别:Standard Grant
-
资助金额:$18.57万
-
财政年份:1994
-
负责人:Michael Scott
-
依托单位:
Multi-Model Parallel Computing
-
批准号:9005633
-
项目类别:Standard Grant
-
资助金额:$23.39万
-
财政年份:1990
-
负责人:Michael Scott
-
依托单位:
国内基金
海外基金
登录
查看更多内容
昼夜节律性small RNA在血斑形成时间推断中的法医学应用研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2024
-
负责人:
-
依托单位:
tRNA-derived small RNA上调YBX1/CCL5通路参与硼替佐米诱导慢性疼痛的机制研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:10.0万元
-
批准年份:2022
-
负责人:张祥忠
-
依托单位:
Small RNA调控I-F型CRISPR-Cas适应性免疫性的应答及分子机制
-
批准号:32000033
-
项目类别:青年科学基金项目
-
资助金额:24.0万元
-
批准年份:2020
-
负责人:林平
-
依托单位:
Small RNAs调控解淀粉芽胞杆菌FZB42生防功能的机制研究
-
批准号:31972324
-
项目类别:面上项目
-
资助金额:58.0万元
-
批准年份:2019
-
负责人:高学文
-
依托单位:
变异链球菌small RNAs连接LuxS密度感应与生物膜形成的机制研究
-
批准号:81900988
-
项目类别:青年科学基金项目
-
资助金额:21.0万元
-
批准年份:2019
-
负责人:毛梦莹
-
依托单位:
肠道细菌关键small RNAs在克罗恩病发生发展中的功能和作用机制
-
批准号:31870821
-
项目类别:面上项目
-
资助金额:56.0万元
-
批准年份:2018
-
负责人:陈江宁
-
依托单位:
基于small RNA 测序技术解析鸽分泌鸽乳的分子机制
-
批准号:31802058
-
项目类别:青年科学基金项目
-
资助金额:26.0万元
-
批准年份:2018
-
负责人:麻慧
-
依托单位:
Small RNA介导的DNA甲基化调控的水稻草矮病毒致病机制
-
批准号:31772128
-
项目类别:面上项目
-
资助金额:60.0万元
-
批准年份:2017
-
负责人:吴建国
-
依托单位:
基于small RNA-seq的针灸治疗桥本甲状腺炎的免疫调控机制研究
-
批准号:81704176
-
项目类别:青年科学基金项目
-
资助金额:20.0万元
-
批准年份:2017
-
负责人:赵继梦
-
依托单位:
水稻OsSGS3与OsHEN1调控small RNAs合成及其对抗病性的调节
-
批准号:91640114
-
项目类别:重大研究计划
-
资助金额:85.0万元
-
批准年份:2016
-
负责人:何祖华
-
依托单位: