Max-Planck-Institut für Informatik
max planck institut
mpii logo Minerva of the Max Planck Society

MPI-INF or MPI-SWS or Local Campus Event Calendar

<< Previous Entry Next Entry >> New Event Entry Edit this Entry Login to DB (to update, delete)
What and Who
Title:Building fast and consistent replicated systems: from principles to practice
Speaker:Cheng Li
coming from:Max Planck Institute for Software Systems
Speakers Bio:
Event Type:SWS Student Defense Talks - Thesis Proposal
We use this to send out email in the morning.
Level:Public Audience
Date, Time and Location
Date:Monday, 23 February 2015
Duration:60 Minutes
Building:E1 5
Distributing data across replicas within a data center or across
multiple data centers plays an important role in building Internet-Scale
services that provide good user experience, namely low latency access
and high throughput. This approach often compromises on strong
consistency semantics, which help maintain application-specific desired
properties. To relieve such inherent tension, in the past few years,
many proposals have been designed to allow programmers to selectively
weaken consistency levels of certain operations to avoid costly
immediate coordination for concurrent user requests. However, these
proposals fail to provide principles to guide programmers to make a
correct decision of assigning consistency levels to various operations
so that good performance is extracted while system behaviors
still comply with specifications.

The primary goal of my work is to provide programmers with principles
and tools for building fast and consistent systems by allowing
programmers to think about various consistency levels in the same
framework. In order to meet this goal, we plan to develop the following
three components. The first component of my thesis is a novel
consistency model called RedBlue Consistency [24], which presents
sufficient conditions that allow programmers to safely separate weakly
consistent operations from strongly consistent ones in a coarse-grained
manner. The second component is SIEVE [23] - a tool that explores both
Commutative Replicated Data Types and program analysis techniques to
assign proper consistency levels (either weak or strong consistency) to
different operations and to maximize the weakly consistent operation
space. The third component is Partial Order-Restrictions Consistency
(PoR Consistency) - a generic consistency definition that generalizes
the trade-off between consistency and performance by capturing various
consistency levels in terms of visibility restrictions among operations.
The power of PoR Consistency is allowing programmers to tune the
restrictions to obtain a fine-grained control of their targeted
consistency semantics.
Video Broadcast
Video Broadcast:YesTo Location:Kaiserslautern
To Building:G26To Room:112
Meeting ID:
Tags, Category, Keywords and additional notes
Attachments, File(s):
  • Maria-Louise Albrecht, 11/19/2015 11:16 AM
  • Maria-Louise Albrecht, 02/11/2015 04:05 PM -- Created document.