Process Simulations

Interactive simulations demonstrating distributed algorithms and process synchronization. Choose a simulation to open it in a new tab.

Chandy-Lambert Simulation

Logical clocks & distributed snapshots
Event-driven
This simulation visualizes the Chandy-Lamport global snapshot algorithm for distributed systems. It shows processes, message channels, and how a consistent global snapshot is recorded without stopping the system. Useful for understanding snapshot initiation, marker messages, and how local states and in-transit messages are captured.
  • Start/stop processes and send messages manually.
  • Initiate snapshot from any process and observe marker propagation.
  • Visual trace of in-transit messages recorded by the algorithm.
Open Simulation

Raft Protocol Simulation

Consensus & leader election
Consensus
An interactive visualization of the Raft consensus algorithm. Watch leader election, log replication, term changes, and how the cluster handles failures and recoveries. The simulation highlights message flows and state transitions between follower, candidate, and leader roles.
  • Trigger leader failures and observe re-election.
  • Append commands to the replicated log and see replication progress.
  • Inspect per-node state, current term, and commit index.
Open Simulation