CAP, PACELC and the latency floor
The price of linearizability
Healthy network
consistency AND
availability
both are possible
no choice needed
Partition = fault!
CP: stay consistent
or AP: stay available
a fault, not a choice
pick C or A
No partition: PACELC
else pick Latency
or Consistency
fast or fresh:
never both
Attiya-Welch bound
linearizable latency is at least network delay uncertainty
no faster linearizable algorithm exists