Mon 5 Nov 2018 11:30 - 12:00 at Cabot - Distributed Systems

The development of distributed systems requires developers to balance the need for consistency, availability, and partition tolerance. Conflict-free replicated data types (CRDTs) are widely used in eventually consistent systems to reduce concurrency control. However, CRDTs lack consistent totally-ordered operations which can make them difficult to use.

In this paper, we propose a new consistency protocol, the observable atomic consistency protocol (OACP). OACP enables a principled relaxation of strong consistency to improve performance in specific scenarios. OACP combines the advantages of mergeable data types, specifically, convergent replicated data types, and reliable total order broadcast to provide on-demand strong consistency. By providing observable atomic consistency, OACP avoids the anomalies of related protocols.

We provide a distributed implementation of OACP based on Akka, a widely-used actor-based middleware. Our experimental evaluation shows that OACP can reduce coordination overhead compared to other protocols providing atomic consistency. Our results also suggest that OACP increases availability through mergeable data types and provides acceptable latency for achieving strong consistency.

Mon 5 Nov

10:30 - 12:00: AGERE - Distributed Systems at Cabot
agere-2018-papers10:30 - 11:00
Link to publication DOI File Attached
agere-2018-papers11:00 - 11:30
Kazuhiro ShibanaiTokyo Institute of Technology, Takuo WatanabeTokyo Institute of Technology
Link to publication DOI
agere-2018-papers11:30 - 12:00
Xin ZhaoKTH Royal Institute of Technology, Philipp HallerKTH, Sweden