Consistency-Aware Scheduling for Weakly Consistent Programs

Modern geo-replicated data stores provide high availability by relaxing the underlying consistency requirements. Programs layered over such data stores are called weakly consistent programs. Due to...