I've been reading up on replication algorithms. If you are interested in playing with model checking or understanding Paxos or Raft (really, it is not that difficult), I put a short getting started guide, along with a Paxos promela/Spin model that you can check in 2 seconds, here:
https://github.com/glycerine/spin_paxos Personally I've tried TLA+ but I've never actually had it complete after hours of running. It was nice to discover that Spin can check models (okay, they are single round not multiple round models, but still) much more quickly. Enjoy, Jason -- You received this message because you are subscribed to the Google Groups "golang-nuts" group. To unsubscribe from this group and stop receiving emails from it, send an email to golang-nuts+unsubscr...@googlegroups.com. To view this discussion visit https://groups.google.com/d/msgid/golang-nuts/70bb18ea-0297-40f8-a1f5-04f7d6aca2e4n%40googlegroups.com.
