CSR: Medium: Salt: combining ACID and BASE in a distributed database

大多数大型Web应用程序都是使用分布式数据库构建的。 这个项目解决了一个基本问题：这些应用程序 增长，导致更多的查询和更新处理，我们可以扩展吗 无需大量重新编程即可提高应用程序性能 努力 这个项目的前提是，今天的两个领先的数据库 ACID和BASE这两种范式是非常不令人满意的。ACID实现 提供强大的属性，使开发应用程序变得容易 并对其正确性进行推理，但他们很难跟上， 性能和可用性作为对数据库的访问量 增长;虽然BASE编程范式可以满足这些需求， 代价是放弃所有ACID保证， 开发时间和引入bug的可能性。 这 该项目旨在开发必要的新理论框架， 克服这一僵局，同时支持一致性、可用性 和可伸缩性;并构建一个实现 支持这一新框架的必要机制。 该项目引入了一个新的编程框架， ACID事务与BASE实现的性能 通过引入一个新的抽象，基本事务。的 BASE事务的语法和语义由两个驱动 目标.首先，BASE事务应该实现高性能， 通过放松原子性之间的过紧耦合， 与ACID范式的隔离，同时保留其 表达和执行原子性需求的能力， 给定的应用程序语义。第二，应该能够 将性能关键ACID事务转换为BASE 不影响交易的正确性或 未修改的ACID事务的性能。 为了展示这种新的编程框架，该项目将开发 Salt，一个结合了ACID和BASE的理想特性的数据库 范例 该项目将通过合作伙伴关系将这项工作应用于医疗保健IT 与德克萨斯州中部负责提供健康信息的501（c）（3）实体合作 为当地的医疗基础设施提供技术解决方案。

Most large web applications are built using distributed databases. This project tackles a fundamental question: as these applications grow, leading to more query and update processing, can we scale application performance without requiring a massive reprogramming effort. The premise of this project is that today's two leading database paradigms -- ACID and BASE -- are profoundly unsatisfying. ACID implementations provide strong properties that make it easy to develop an application and reason about its correctness, but they struggle to keep up in performance and availability as the volume of accesses to the database grows; and while the BASE programming paradigm can meet these needs, the price is to give up all ACID guarantees, drastically increasing both development time and the possibility of introducing bugs. This project aims to develop the new theoretical framework necessary to overcome this impasse and simultaneously support consistency, availability, and scalability; and to build a database prototype that implements the mechanisms necessary to support this new framework. The project introduces a new programming framework that combines the ease of ACID transactions with the performance of a BASE implementation by introducing a new abstraction, BASE transactions. The syntax and semantics of BASE transactions are driven by two goals. First, BASE transactions should achieve high performance and availability by loosening the overly-tight coupling between atomicity and isolation of the ACID paradigm, while nonetheless retaining its ability to express and enforce the atomicity requirements motivated by a given applications semantics. Second, it should be possible to surgically transform performance-critical ACID transactions into BASE transactions without affecting either the correctness or the performance of the unmodified ACID transactions. To demonstrate this new programing framework, this project will develop Salt, a database that combines the desirable qualities of both ACID and BASE paradigms. The project will apply this work to Health Care IT through a partnership with a 501(c)(3) entity in central Texas charged with providing health information technology solutions to local health care infrastructure.