DSA Studio

Time & Ordering 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. A Lamport clock is 8 when a message timestamped 13 arrives. What is its value after recording receipt?
2. Compare vector clocks [3,1,2] and [2,2,2]. What relation holds?

Select one answer.

3. A causal receiver has delivered vector [2,1]. A message from process 0 has vector [3,2]. Why must it wait?

Select one answer.

4. Delivered vector is [2,2]. A message from process 0 has [3,2]. After delivery, what is component 0?
Join Discord