03.11.2015 - Umamaheswari Gnanasambandam

Time 10:00
Room 34-420


Conflict Free Replicated Graph Data Type


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