Consistency Models
I. Introduction
1. Operations
An operation is a transition from one state to another state.
2. Invocation & Completion Times
In distributed systems, an operation might mean sending a request to a server, and receiving a response.
To model this, we say that each operation has an invocation time and, should it complete, a strictly greater completion time, both given by an imaginary, perfectly synchronised, globally accessible clock. We refer to these clocks as providing a real-time order
Read more...