uwplse / verdi-raft

An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
BSD 2-Clause "Simplified" License
182 stars 19 forks source link

vard should signal when recovery from file fails #62

Open palmskog opened 7 years ago

palmskog commented 7 years ago

The current implementation of vard and shim tries to read state from snapshot (and command log) on startup, and if that fails, loads the initial state silently. A better behavior is to signal when the snapshot and/or command log files are present, but cannot be used to build the initial state.