CAREER: Power and Performance Optimal Distributed Transactions

该项目致力于推动Facebook、Uber和b谷歌等大型网站存储系统设计的最新技术，这些网站是我们生活中不可或缺的一部分。该项目旨在通过使此类网站更快、更容易编程、更便宜的建设成本来造福社会。它将产生指导工业努力和未来研究人员的研究论文。它还将生产和发布新的存储设计的工作原型，工业从业者和其他研究人员可以在此基础上进行构建或比较。该项目将通过让南加州大学的本科生和为弱势群体提供研究经验的机构参与进来，培训研究生，开发教学和研究相结合的课程，并通过向弱势群体提供服务的学校的K-12学生进行推广，促进发现和扩大参与。这个项目的目标是了解功率和性能之间的基本权衡。功率属性的范围包括一致性模型和事务。性能属性的范围包括延迟、吞吐量及其组合。为了理解什么是不可能的，我们将构想、推测并试图证明不可能的结果。为了证明什么是可能的，我们将设计新的系统，触及我们不可能结果的边界。我们将实现我们的设计并公开发布实现。我们将大规模评估我们的实现，以验证它们是否提供了所声称的属性，并量化它们的好处和开销。

This project is working to advance the state of the art in the design of storage systems for large-scale websites like Facebook, Uber, and Google that are an integral part of our lives. The project aims to benefit society by making such websites faster, easier to program, and less expensive to build. It will produce research papers that guide industrial efforts and future researchers. It will also produce and release working prototypes of new storage designs that industrial practitioners and other researchers can build off of or compare against. The project will advance discovery and broaden participation by involving undergraduates from the University of Southern California and institutions that serve under-represented groups in research experiences, training graduate students, developing curriculum that integrates teaching and research, and by conducting outreach to K-12 students at schools that serve under-represented groups.The goal of this project is to understand the fundamental tradeoffs between power and performance. The scope of power properties includes consistency models and transactions. The scope of performance properties includes latency, throughput, and their combination. To understand what is not possible we will formulate, conjecture, and attempt to prove impossibility results. To demonstrate what is possible we will design new systems that touch the boundary of our impossibility results. We will implement our designs and publish the implementations publicly. We will evaluate our implementation at large scale to validate they provide the claimed properties and to quantify their benefits and overheads.