IPA: Invariant-preserving Applications for Weakly-consistent Replicated Databases

Valter Balegas, Nuno Preguiça, Sérgio Duarte +2

Storage systems based on Weak Consistency provide better availability and lower latency than systems that use Strong Consistency, especially in geo-replicated settings. However, un…