termine:ws15:151103

03.11.2015 - Umamaheswari Gnanasambandam

Time 10:00
Room 34-420

Title

Conflict Free Replicated Graph Data Type

Abstract

Cloud applications are often deployed in a geo-replicated distributed systems for better response time, availability and fault tolerance. Expensive synchronisation to achieve strong consistency in turn affects availability and performance in geo- replicated distributed systems. Hence many practical systems chose eventual consistency. Conflict free replicated data types (CRDTs) are specially designed datatypes to achieve convergence of replicated data even in case of no synchronisation. A graph is a useful data structure in many applications such as social networking sites. In this thesis, we design a graph CRDT and prove that the given specification is correct. We also implement the graph CRDT on Swiftcloud and evaluate its correctness by showing convergence in case of concurrent updates

termine/ws15/151103.txt · Last modified: 10.11.2015 17:42 by peter