Keyboard shortcuts

Press ← or → to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

crash-simultaneous-takeover

planarian @ a924e09 · Spec v4.6 · snapshot main · all versions

The daemon and the watchdog try to take over at the same moment; exactly one wins the flock and the other backs off.

HarnessScoringExpectsLatest verdict
fake, vmmust-passinvariants: I15; journal_agrees: true; lease_epochs_strictly_increasing: true; owners_per_epoch_max: 1fake: PASS; VM: not run in this build

What it exercises

I15