Deal better with network partitions in leaders#2749

Merged

manishrjain merged 8 commits intomasterfrom mrjn/zero-partition

Nov 13, 2018

+79-87

Commits on Nov 10, 2018

Added some code to cancel recv from Zero if no update for x seconds. Need to work on ensuring that Zero is sending update every second or so.
manishrjain
committed

Commits on Nov 11, 2018

Alpha leader can reconnect to the new Zero leader after existing Zero leader is partitioned away from the cluster.
manishrjain
committed
Fixed various partition related issues. After partitioning off both Zero and alpha leaders, increments converge quickly to the new ones. And when partition heals, both of them heal quickly.
manishrjain
committed

Commits on Nov 13, 2018