CAP, PACELC and Consistency Models

A story about real trade-offs in distributed systems