CSR: Small: Efficient Techniques for Modular Past State Systems

CSR：小型：模块化过去状态系统的高效技术

• 批准号: 1318798
• 负责人: Liuba Shrira
• 金额: $ 40万
• 依托单位: Brandeis University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2013
• 资助国家: 美国
• 起止时间: 2013-10-01 至 2018-09-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1318798&HistoricalAwards=false
• 关键词: CSR; Small; Efficient; Techniques; Modular

Retrospection is the ability of a data store to run ad-hoc programs over consistent past states of a data store as if they were the current state. Retrospection makes it easier to analyze past states providing a valuable tool for auditors, historians, economists, social scientists and others with a need to investigate historical data. Retrospection is also valuable to those who want to analyze past states to predict the future, an increasingly in-demand feature in modern data management applications.Most light-weight data stores today do not support retrospection. The key reason is that existing retrospection techniques, for performance, require invasive hard-to-adopt modifications to data store internals. Without support for retrospection, it may be hard for application developers to reconstruct the consistent states corresponding to past events of interest.This project will develop an easy-to-adopt modular method and a set of associated techniques for supporting retrospection in light-weight transactional data stores using anembedded persistent consistent past-state system. The technical challenges are:1) How to provide consistent past states without harming data store performance? The past state system needs to be tightly integrated for efficiency but extensive modifications to the internal data store components are infeasible, requiring new modular techniques that operate at a low-level in the data store software stack.2) How to run programs efficiently over past state that spans large time intervals? past state needs to be created incrementally to avoid disrupting the data store but running a program over incremental state can be slow, requiring new clustering and caching techniques optimized for incremental data.3) Can one avoid slowing down programs that do not use retrospection? To evaluate any additional overhead, the project will develop an experimental prototype in an industrial strength data store, and conduct studies to answer this question experimentally and analytically.

回顾是数据存储在数据存储的过去状态下运行临时程序的能力，就好像它们是当前状态一样。回顾使得分析过去的国家为审计师，历史学家，经济学家，社会科学家以及其他需要研究历史数据提供有价值的工具。回顾对于那些想分析过去的州预测未来的人也很有价值。关键原因是，现有的回顾技术（用于性能，都需要对数据存储内部的侵入性难以修改。没有支持回顾，应用程序开发人员可能很难重建与过去感兴趣的事件相对应的一致状态。本项目将开发一种易于使用的模块化方法，以及一组相关技术，用于支持轻型交易数据存储中的回顾，使用隔音式持久持续的持续一致的一致性一致的一致性。技术挑战是：1）如何在不损害数据存储绩效的情况下提供一致的过去状态？过去的状态系统需要紧密整合以提高效率，但是对内部数据存储组件进行了广泛的修改是不可行的，需要在数据存储软件堆栈中以低水平运行的新模块化技术。2）如何在过去的状态上有效地运行程序，以跨越大量时间间隔？过去需要逐步创建过去的状态，以避免破坏数据存储，但是通过增量状态运行程序可能会很慢，需要针对增量数据优化的新群集和缓存技术。3）3）是否可以避免减慢不使用反重击的程序？为了评估任何其他开销，该项目将在工业强度数据存储中开发实验原型，并进行研究以实验和分析地回答这个问题。