BLOG ILLUSTRATION / EXECUTION STORY

Two reports before one patch

Two read-only sessions inspect a stable snapshot in parallel. One writer waits for both reports to be checked, writes the patch and regression, then checks the final workspace.

Two reports before one patch Two read-only research sessions inspect snapshot r0 concurrently. Both reports must return and be checked before one writer makes the cache fix and regression. A verifier checks the final r1 workspace. Missing research blocks writing. This is a teaching example. Two reports before one patch Teaching example Snapshot r0stable source Trace keyread only Inspect testsread only Join reportsboth required Write patchone writer Verify r1final files Independent research Wait for both reports
Figure 1. Two read-only research sessions may inspect a snapshot in parallel. One writer waits for both checked reports, writes the patch and regression, then tests the final workspace. Missing research blocks writing. Author-created example. Illustrative playback; animation time is not measured runtime. Open full-size SVG