- quorum-based replication
- assume we
getandputto allnreplicas - bound for W, R means we don’t have to wait for all replicas — and can intersect w/ one replica wrt writes/reads
- note that W + W > N not necessary
- abstracted away with replication library — client just issues
get - linearisability: replication library returns
getat least after boxed RPCs return, which ensures linearisability. assuming read repair- for CAS operations no luck
- assume we