我们正在选择最佳的选项来为我们的服务（用Java编写）实现领导者选举，该服务由多个实例（例如3个）组成，以实现高可用性。我们的目标是在任何给定时间只有一个活动实例。
很高兴听到您对以下选项的意见：
1）Hazelcast。使用“仲裁”和锁定，我们可以实现领导者选举。但是，我们可能会遇到脑裂问题，在一段时间内可能存在两个领导者。此外，似乎Hazelcast不支持SSL。
2）Zookeeper。我们可以在Zookeeper集合（在我们的服务每个实例上运行ZK节点）的顶部实现领导者选举。 Zookeeper是否提供比Hazelcast更好的一致性保证？ 它也会遭受分裂大脑问题吗？
3）Etcd。 我们可以使用Jetcd库，它似乎是最现代和强大的技术。从一致性方面看，它真的比Zookeeper更好吗？
谢谢。
1) Hazelcast在3.12版本中提供了一个CPSubsystem，这是一个基于Raft一致性算法构建的CP系统，符合CAP标准，并且运行在Hazelcast集群内部。 CPSubsystem还有一个分布式锁实现，称为FencedLock，可用于实现领导者选举。
有关CPSubsystem和FencedLock的更多信息，请参见：
Hazelcast 3.12之前的版本不适合进行领导者选举。正如您已经提到的，它可以在网络分裂期间选择可用性，这可能会导致选出多个领导者。
2) Zookeeper不会出现提到的split-brain问题，当网络分裂发生时你不会观察到多个leader。Zookeeper是建立在ZAB原子广播协议之上。
3) Etcd正在使用Raft共识协议。Raft和ZAB具有类似的一致性保证，这两者都可用于实现领导者选举过程。
免责声明：我在Hazelcast工作。
