DSA Studio

Replication & Consistency Checkpoint

Work fresh traces, diagnose invalid implementations, and identify model boundaries.

Get every question correct to pass this checkpoint. You can review feedback, revise your answers, and submit again.

1. With fixed N=7 and W=4, what is the minimum R that guarantees read/write set intersection?
2. Two partitions each redefine N using only locally healthy replicas. What safety mistake can result?

Select one answer.

3. A read sees versions 5,7,7 and selects 7. Which replicas need ordinary version-based read repair?

Select one answer.

4. R+W>N holds. Why does this alone not prove linearizability for arbitrary concurrent writes?

Select one answer.

Join Discord