Diego Ongaro of Raft fame describes a tool that he has been working on at Salesforce. The tool http://runway.systems is intended to help the designers of distributed systems. The idea is, folks designing distributed systems can encode their encode their model, specify the states of the system, specify the invariant and run the simulations in the tool.
This tool will help in visualization and analysis of the distributed systems behavior under various conditions. Diego states that such a system would have been really helpful to him when, if it was available, when he was writing Raft.
In this approachable presentation, he illustrates the tool using.
- A fictional, too many bananas problem
- Simulating an Elevator Control System
- Simulation of Leader Election and Master Failures in Raft