Managed Transactional Persistence

托管事务持久性

• 批准号: RGPIN-2018-04011
• 负责人: Salem, Kenneth
• 金额: $ 3.5万
• 依托单位: University of Waterloo
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2020
• 资助国家: 加拿大
• 起止时间: 2020-01-01 至 2021-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=712190
• 关键词: Managed; Transactional; Persistence

Transactions are fundamental and ubiquitous, a critical foundation for data intensive applications of all kinds: from tiny embedded systems to global, always-on, consumer and enterprise applications. Transactions can be thought of as a contract between applications and the underlying data system that supports them. Applications then rely on this contract to ensure correct operation. Persistence is an important part of the transactional contract. Informally, persistence is a guarantee that failures will not erase database changes that have been committed by an application's transactions. The persistence contract has changed little since transactions were first formalized more than 40 years ago. Unfortunately, it has grown increasingly out of step with the realities of modern data systems and applications. This mismatch causes real problems for applications, which must fall back to ad hoc techniques that destroy many of the advantages that the transactional contract ought to provide. I propose to develop a new breed of transactional data systems that can solve the persistence problem. Since the root of the problem is the persistence contract itself, an important contribution of this work will be a new, flexible persistence contract. The new contract will allow applications to directly manage a tradeoff between performance and the risk of data loss, without resorting to current ad hoc techniques. I will demonstrate that this new persistence contract can be used as a foundation for building better applications and data systems in a wide variety of settings.

事务是基本的和无处不在的，是所有类型的数据密集型应用程序的关键基础：从微型嵌入式系统到全球的、永远在线的、消费者和企业应用程序。事务可以被看作是应用程序和支持它们的底层数据系统之间的契约。然后，应用程序依赖该契约来确保正确的操作。