权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

CSR: Small: Client-Centric Consistency

CSR：小：以客户为中心的一致性

基本信息

批准号：
1762015
负责人：
Lorenzo Alvisi
金额：
$ 40万
依托单位：
Cornell University
依托单位国家：
美国
项目类别：
Standard Grant
财政年份：
2017
资助国家：
美国
起止时间：
2017-09-01 至 2021-08-31
项目状态：
已结题

来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=1762015&HistoricalAwards=false
关键词：
CSR Small Client Centric Consistency

项目摘要

The isolation guarantees offered by a storage system regulate how multiple transactions executing concurrently read and write data correctly. Similarly, when data is replicated and updated at geographically-distinct locations (as do Facebook and Twitter), consistency guarantees specify which data is visible to clients that access different replicas. This project will develop a new programmer-centric model for expressing rigorously, in a single framework, the isolation and consistency guarantees offered by geo-replicated storage systems. It will then leverage the new model to seek more efficient ways to implement these guarantees.The project will proceed along three thrusts. First, it will seek to express isolation and consistency guarantees as properties of states that applications can observe, instead of relying on invisible histories of low-level read/write operations. Second, it will seek to overcome the current scalability bottlenecks that arise with slow or faulty servers, which have, to date, stifled industry's interest in deploying causally-consistent geo-replicated data stores. Third, it will leverage its unified treatment of consistency and isolation to support, for the first time, generic read/write transactions on top of a scalable consistent data store.The project directly addresses the growing interest in both research and industry towards large-scale, transactional distributed systems. By confronting key obstacles to scalability, it will contribute to bring to industrial fruition over two decades of academic research on causal consistency. Further, by establishing a common language to discuss consistency and isolation, it will enable more fruitful exchanges between the systems and database research communities, who, because of their primary focus on, respectively, consistency and isolation, have often been talking past each other. The project, with its tight integration of both theoretical and experimental research, is ideally suited to introducing graduate and undergraduate students to research, and will offer a new approach to teaching consistency and isolation in graduate and undergraduate courses in distributed computing.The project outcomes (papers published, presentations, and a repository of the software and workloads used to demonstrate the results of the project) will be made available for download at the address http://www.cs.utexas.edu/users/lorenzo/projects/CCC/, where they will be kept for five years.

存储系统提供的隔离保证规范了并发执行的多个事务如何正确地读取和写入数据。同样，当在地理位置不同的位置(如Facebook和Twitter)复制和更新数据时，一致性保证指定哪些数据对访问不同副本的客户端可见。该项目将开发一种新的以程序员为中心的模型，以便在单个框架中严格表达地理复制存储系统提供的隔离和一致性保证。然后，它将利用新的模式，寻求更有效的方式来落实这些保证。该项目将沿着三个方向推进。首先，它将寻求将隔离和一致性保证表示为应用程序可以观察的状态的属性，而不是依赖于低级读/写操作的不可见历史。其次，它将寻求克服当前出现的可扩展性瓶颈，这些瓶颈出现在速度慢或有故障的服务器上，到目前为止，这些瓶颈扼杀了行业部署因果一致的地理复制数据存储的兴趣。第三，它将利用其对一致性和隔离的统一处理，首次在可扩展的一致性数据存储上支持通用读/写事务。该项目直接满足了研究和行业对大规模、事务性分布式系统日益增长的兴趣。通过直面可伸缩性的关键障碍，它将有助于在二十年来对因果一致性的学术研究取得工业成果。此外，通过建立讨论一致性和孤立性的共同语言，这将使系统和数据库研究界之间能够进行更富有成效的交流，因为它们的主要重点分别是一致性和孤立性，它们经常互相谈论。该项目将理论研究和实验研究紧密结合在一起，非常适合向研究生和本科生介绍研究，并将提供一种新的方法，在分布式计算中教授研究生和本科课程的一致性和孤立性。项目成果(发表的论文、演示文稿和用于展示项目结果的软件和工作量的存储库)将在Address http://www.cs.utexas.edu/users/lorenzo/projects/CCC/，上下载，这些成果将保存五年。

项目成果

期刊论文数量（4）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

I Can't Believe It's Not Causal! Scalable Causal Consistency with No Slowdown Cascades

DOI：
发表时间：
2017-03
期刊：
影响因子：
0
作者：
Syed Akbar Mehdi;Cody Littley;Natacha Crooks;L. Alvisi;N. Bronson;Wyatt Lloyd
通讯作者：
Syed Akbar Mehdi;Cody Littley;Natacha Crooks;L. Alvisi;N. Bronson;Wyatt Lloyd

Obladi: Oblivious Serializable Transactions in the Cloud

DOI：
发表时间：
2018-09
期刊：
JOP : Journal of the pancreas
影响因子：
0
作者：
Natacha Crooks;Matthew Burke;Ethan Cecchetti;Sitar Harel;R. Agarwal;L. Alvisi
通讯作者：
Natacha Crooks;Matthew Burke;Ethan Cecchetti;Sitar Harel;R. Agarwal;L. Alvisi

Seeing is Believing: A Client-Centric Specification of Database Isolation

DOI：
10.1145/3087801.3087802
发表时间：
2017-07
期刊：
Proceedings of the ACM Symposium on Principles of Distributed Computing
影响因子：
0
作者：
Natacha Crooks;Youer Pu;L. Alvisi;Allen Clement
通讯作者：
Natacha Crooks;Youer Pu;L. Alvisi;Allen Clement

Scalog: Seamless Reconfiguration and Total Order in a Scalable Shared Log

Scalog：可扩展共享日志中的无缝重新配置和总顺序

DOI：
发表时间：
2020
期刊：
17th USENIX Symposium on Networked Systems Design and Implementation
影响因子：
0
作者：
Ding, Cong;Chu, David;Zhao, Evan;Li, Xiang;Alvisi, Lorenzo;van Renesse, Robbert
通讯作者：
van Renesse, Robbert