Below is a high level overview of the Raft reconfiguration bug cases laid out in Diego Ongaro’s group post, which described the problematic scenarios in Raft’s single server reconfiguration (i.e. membership change) algorithm. Configurations are annotated with their terms i.e., a config \(X\) in term \(t\) is shown as \(X^t\). One add, one remove Two adds Two removes I view all of these bug cases as instances of a common problem related to config management when logs diverge (i.e., when th...
