Skip to main content

Simulation run on this device. Scenario values are not sent anywhere — the engine is fully local.

system design game · free

Jepsen History Inspector

Re-order concurrent operations and judge which interleavings hold.

Is this history linearizable?

Engine 1.0.0 · game
10500
3
8
Anomaly rate
3.75%
Severity
warn
Ops / client
10.0
Anomalies
3

History violates the claimed isolation model.

3/80 anomalous

Method

  • Deterministic local model of the mechanism — knobs recompute outputs instantly with no network.
  • Numbers are teaching approximations, not production capacity guarantees.