Claret: using data types for highly concurrent distributed transactions

Proceedings of the First Workshop on Principles and Practice of Consistency for Distributed Data Pub Date : 2015-04-21 DOI:10.1145/2745947.2745951

B. Holt, Irene Zhang, Dan R. K. Ports, M. Oskin, L. Ceze

{"title":"Claret: using data types for highly concurrent distributed transactions","authors":"B. Holt, Irene Zhang, Dan R. K. Ports, M. Oskin, L. Ceze","doi":"10.1145/2745947.2745951","DOIUrl":null,"url":null,"abstract":"Out of the many NoSQL databases in use today, some that provide simple data structures for records, such as Redis and MongoDB, are now becoming popular. Building applications out of these complex data types provides a way to communicate intent to the database system without sacrificing flexibility or committing to a fixed schema. Currently this capability is leveraged in limited ways, such as to ensure related values are co-located, or for atomic updates. There are many ways data types can be used to make databases more efficient that are not yet being exploited. We explore several ways of leveraging abstract data type (ADT) semantics in databases, focusing primarily on commutativity. Using a Twitter clone as a case study, we show that using commutativity can reduce transaction abort rates for high-contention, update-heavy workloads that arise in real social networks. We conclude that ADTs are a good abstraction for database records, providing a safe and expressive programming model with ample opportunities for optimization, making databases more safe and scalable.","PeriodicalId":332245,"journal":{"name":"Proceedings of the First Workshop on Principles and Practice of Consistency for Distributed Data","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2015-04-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"8","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the First Workshop on Principles and Practice of Consistency for Distributed Data","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/2745947.2745951","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 8

Abstract

Out of the many NoSQL databases in use today, some that provide simple data structures for records, such as Redis and MongoDB, are now becoming popular. Building applications out of these complex data types provides a way to communicate intent to the database system without sacrificing flexibility or committing to a fixed schema. Currently this capability is leveraged in limited ways, such as to ensure related values are co-located, or for atomic updates. There are many ways data types can be used to make databases more efficient that are not yet being exploited. We explore several ways of leveraging abstract data type (ADT) semantics in databases, focusing primarily on commutativity. Using a Twitter clone as a case study, we show that using commutativity can reduce transaction abort rates for high-contention, update-heavy workloads that arise in real social networks. We conclude that ADTs are a good abstraction for database records, providing a safe and expressive programming model with ample opportunities for optimization, making databases more safe and scalable.

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

Claret:为高度并发的分布式事务使用数据类型

在目前使用的许多NoSQL数据库中，一些为记录提供简单数据结构的数据库，如Redis和MongoDB，现在正变得流行起来。基于这些复杂的数据类型构建应用程序提供了一种向数据库系统传达意图的方法，而不会牺牲灵活性或采用固定的模式。目前，这种功能仅以有限的方式得到利用，例如确保相关值位于同一位置，或用于原子更新。有许多方法可以使用数据类型来提高数据库的效率，但这些方法尚未得到充分利用。我们探讨了在数据库中利用抽象数据类型(ADT)语义的几种方法，主要关注交换性。使用Twitter克隆作为案例研究，我们展示了使用交换性可以减少在真实社交网络中出现的高争用、更新繁重的工作负载的事务中断率。我们得出结论，adt是一个很好的数据库记录抽象，它提供了一个安全和富有表现力的编程模型，并提供了充足的优化机会，使数据库更加安全和可伸缩。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文去求助

来源期刊

Proceedings of the First Workshop on Principles and Practice of Consistency for Distributed Data

自引率

0.00%

发文量

期刊最新文献

Collaborative offline web applications using conflict-free replicated data types Claret: using data types for highly concurrent distributed transactions On the consistency of heterogeneous composite objects Designing a causally consistent protocol for geo-distributed partial replication A study of CRDTs that do computations