Existential consistency: measuring and understanding consistency at Facebook
The serializability of concurrent database updates