Robust Synchronization Primitives for Non-Volatile Main Memory

非易失性主存储器的鲁棒同步原语

• 批准号: 537305-2018
• 负责人: Golab, Wojciech
• 金额: $ 1.48万
• 依托单位: University of Waterloo
• 依托单位国家: 加拿大
• 项目类别: Collaborative Research and Development Grants
• 财政年份: 2020
• 资助国家: 加拿大
• 起止时间: 2020-01-01 至 2021-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=699067
• 关键词: Robust; Synchronization; Primitives; Non; Volatile

Unplanned downtime and data loss cost Canadian enterprises $17B annually due to lost productivity and revenues. While hardware malfunction (e.g., loss of electrical power or component failure) is the root cause of many downtime events, the economic losses due to consequent software recovery are extensive. This is because modern data-driven software systems use main memory heavily to cache critical data sets, and must restore these data sets from slower secondary storage. Emerging non-volatile main memory (NVRAM) media offer relief from this problem by combining the persistence of secondary storage with the performance of main memory. Software systems must be redesigned to seize this unique opportunity. The proposed research aims to speed up application recovery by developing low-level building blocks of NVRAM-based recoverable data structures. To that end, the project will address the following technical objectives: (O1) design efficient and fault-tolerant implementations for a variety of synchronization primitives without relying on simplifying assumptions regarding the environment; (O2) establish theoretical correctness properties and performance limits of the novel implementations; and (O3) use implemented primitives to improve the design of recoverable data structures that can be used directly by applications. Upon successful completion of these objectives, the research program will generate software prototypes of both synchronization primitives and recoverable data structures that will allow software developers to unleash the performance benefits of NVRAM in critical software applications and services. Analytical and empirical results arising from this work will advance computer science by defining novel algorithms and theoretical foundations, as well as by elucidating subtle performance trade-offs and fundamental limitations of recoverable data structures.

由于生产力和收入损失，计划外的停机时间和数据损失成本每年17B加元。尽管硬件故障（例如，电力或组件故障的损失）是许多停机事件的根本原因，但由于软件恢复​​而导致的经济损失是广泛的。这是因为现代数据驱动的软件系统大量使用主内存来缓存关键数据集，并且必须从较慢的辅助存储中还原这些数据集。 新兴的非易失性主内存（NVRAM）媒体通过将次级存储的持续存在与主内存的性能相结合，从而减轻了此问题。 必须重新设计软件系统以抓住这个独特的机会。 拟议的研究旨在通过开发基于NVRAM的可回收数据结构的低级构建块来加快应用程序恢复的速度。为此，该项目将解决以下技术目标：（O1）设计有效且容忍的实现各种同步基原始人，而无需简化有关环境的假设； （O2）建立新实施的理论正确性和绩效限制； （O3）使用实施的原始图来改善应用程序可以直接使用的可回收数据结构的设计。成功完成这些目标后，研究计划将生成同步原始词和可收回的数据结构的软件原型，这些原型将使软件开发人员能够在关键软件应用程序和服务中释放NVRAM的性能优势。这项工作带来的分析和经验结果将通过定义新颖的算法和理论基础，以及阐明可回收数据结构的细微绩效折衷和基本限制来推动计算机科学。