Why don't we just always use linearizable systems?

Performance
Using the ABD algorithm and quorums causes a lot of messages
Clients spend a lot of time waitng for acknowledgements from quorum members

Scalability
In algorithms where all updates need to be sequences through a leader the leader can become a bottleneck

Availability
If members of a quorum are unavailable, the whole system is blocked
choice between linearizability and availability

Diskussion