Key observation: not all operations require strong consistency, but some operations do.
Introduce ‘RedBlue’ consistency, which
Enables blue operations to be fast (and eventually consistent) while the remaining red operations are strongly consistent (and slow)
Identify the conditions separating red and blue operations
Introduce a method to expand the number of blue operations
- Decompose operations into generator and shadow operations