2 docs tagged with "linearizability"

These notes compare database transactions with agreement across multiple computers.

Linearizability makes operations across several replicas appear to take effect once in a single real-time order. After a write finishes, any later read must not return the older value.