Proceedings of the 6th Workshop on Principles and Practice of Consistency for Distributed Data最新文献

Data Replication on the Cloud/Edge 云/边缘上的数据复制

Proceedings of the 6th Workshop on Principles and Practice of Consistency for Distributed Data Pub Date : 2019-03-25 DOI: 10.1145/3301419.3323973

David Mealha, Nuno M. Preguiça, M. C. Gomes, J. Leitao

引用次数: 7

Higher-Order Patterns in Replicated Data Types 复制数据类型中的高阶模式

Proceedings of the 6th Workshop on Principles and Practice of Consistency for Distributed Data Pub Date : 2019-03-25 DOI: 10.1145/3301419.3323971

Adriaan Leijnse, Paulo Sérgio Almeida, Carlos Baquero

引用次数: 6

In Search of a Scalable Raft-based Replication Architecture 寻找可扩展的基于筏的复制架构

Proceedings of the 6th Workshop on Principles and Practice of Consistency for Distributed Data Pub Date : 2019-03-25 DOI: 10.1145/3301419.3323968

Christian Deyerl, T. Distler

引用次数: 6

Techniques for safe and highly available cloud applications 用于安全和高可用性云应用程序的技术

Proceedings of the 6th Workshop on Principles and Practice of Consistency for Distributed Data Pub Date : 2019-03-25 DOI: 10.1145/3301419.3323967

Carla Ferreira

{"title":"Techniques for safe and highly available cloud applications","authors":"Carla Ferreira","doi":"10.1145/3301419.3323967","DOIUrl":"https://doi.org/10.1145/3301419.3323967","url":null,"abstract":"Building trustworthy and highly available cloud applications is inherently complex and error-prone. Current industrial solutions are either ad-hoc solutions, relying heavily on the developerâĂŹs expertise, or use protocols that blindly restrict concurrency reducing performance and availability. We discusses sound techniques that leverage recent theoretical advances that either reduce or avoid coordinating the execution of operations, while enforcing the correctness of the application. To minimise coordination based on application-specific invariants, an analysis technique was developed that identifies which operations would be unsafe under concurrent execution. Given the set of problematic operations, the developer can then devise and formally check an optimized coordination protocol that guarantees the application invariants. Alternatively, coordination can be eschew altogether by extending operations with repair actions that ensure application invariants are always maintained. The modified operations preserve the original semantics when no conflicting updates occur. If a concurrent conflict occurs, we leverage conflict resolution policies to ensure a deterministic result that preserves the application invariants.","PeriodicalId":337828,"journal":{"name":"Proceedings of the 6th Workshop on Principles and Practice of Consistency for Distributed Data","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131803902","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

A Generic Replicated Data Type for Strong Eventual Consistency 实现强最终一致性的通用复制数据类型

Proceedings of the 6th Workshop on Principles and Practice of Consistency for Distributed Data Pub Date : 2019-03-25 DOI: 10.1145/3301419.3323974

Kevin De Porre, Florian Myter, C. Troyer, Christophe Scholliers, W. Meuter, E. G. Boix

引用次数: 2

Support of Strong Consistency on Fog Applications 支持雾应用程序的强一致性

Proceedings of the 6th Workshop on Principles and Practice of Consistency for Distributed Data Pub Date : 2019-03-25 DOI: 10.1145/3301419.3323969

Diogo Lima, Hugo M. Miranda, François Taïani

{"title":"Support of Strong Consistency on Fog Applications","authors":"Diogo Lima, Hugo M. Miranda, François Taïani","doi":"10.1145/3301419.3323969","DOIUrl":"https://doi.org/10.1145/3301419.3323969","url":null,"abstract":"Providing scalability for mobile distributed applications often leads the applications to compromise their consistency requirements. However, some of these applications depend on strong consistency to guarantee that one consistent state is observed by all participants over (some of) the shared objects of the application. While deploying the application in the Cloud facilitates state management and trivially solves the strong consistency requirements, this also creates a geographical barrier between mobile devices and the application servers that penalises performance with an unavoidable latency and jitter. Fog Computing architectures can mitigate this impact by deploying surrogate servers at the network edge but its performance depends of a middleware service able to monitor the application and deploy each fragment of the state at the most convenient location. Such alternative leads to the emergence of distributed transactions that require increasing efforts to maintain strong consistency. This paper addresses how virtual synchrony, in particular a technique named Light-Weight Group (LWG), can help supporting strong consistency for mobile applications in the Fog Computing environment.","PeriodicalId":337828,"journal":{"name":"Proceedings of the 6th Workshop on Principles and Practice of Consistency for Distributed Data","volume":"69 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121701637","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Interleaving anomalies in collaborative text editors 协同文本编辑器中的交错异常

Proceedings of the 6th Workshop on Principles and Practice of Consistency for Distributed Data Pub Date : 2019-03-25 DOI: 10.1145/3301419.3323972

Martin Kleppmann, Victor B. F. Gomes, D. Mulligan, A. Beresford

{"title":"Interleaving anomalies in collaborative text editors","authors":"Martin Kleppmann, Victor B. F. Gomes, D. Mulligan, A. Beresford","doi":"10.1145/3301419.3323972","DOIUrl":"https://doi.org/10.1145/3301419.3323972","url":null,"abstract":"Collaborative text editors allow two or more users to concurrently edit a shared document without merge conflicts. Such systems require an algorithm to provide convergence, ensuring all clients that have seen the same set of document edits are in the same state. Unfortunately convergence alone does not guarantee that a collaborative text editor is usable. Several published algorithms for collaborative text editing exhibit an undesirable anomaly in which concurrently inserted portions of text with a well-defined order may be randomly interleaved on a character-by-character basis, resulting in an unreadable jumble of letters. Although this anomaly appears to be known informally by some researchers in the field, we are not aware of any published work that fully explains or addresses it. We show that several algorithms suffer from this problem, explain its cause, and also identify a lesser variant of the anomaly that occurs in another algorithm. Moreover, we propose a specification of collaborative text editing that rules out the anomaly, and show how to prevent the lesser anomaly from occurring in one particular algorithm.","PeriodicalId":337828,"journal":{"name":"Proceedings of the 6th Workshop on Principles and Practice of Consistency for Distributed Data","volume":"62 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130420943","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 12

Invariant Safety for Distributed Applications 分布式应用程序的不变安全性

Proceedings of the 6th Workshop on Principles and Practice of Consistency for Distributed Data Pub Date : 2019-03-07 DOI: 10.1145/3301419.3323970

Sreeja Nair, G. Petri, M. Shapiro

引用次数: 3

Proceedings of the 6th Workshop on Principles and Practice of Consistency for Distributed Data 第六届分布式数据一致性原则与实践研讨会论文集

Proceedings of the 6th Workshop on Principles and Practice of Consistency for Distributed Data Pub Date : 1900-01-01 DOI: 10.1145/3301419

引用次数: 1