redis集群实现(五) sentinel的架构与raft协议

redis在3.0.0版本开始支持集群功能，但是实现集群就要求redis能够承受单点故障，保证redis的高可用性，在各种软件和硬件的故障情况下仍然能够提供服务。一般来说有两种解决思路，一种是每一个节点互相之间都会进行数据交互以及监控，出现故障的时候，各个节点都可以做协调任务，比如kv分布式存储cassendra。另一种就是增加一个协调组件来对集群进行实时监控以及故障处理，比如zookeeper，chubby等。现在使用比较广泛的是第二种方案，各个模块之间低耦合，工程师能够专注于自己本身的代码逻辑而不需要考虑太多方面，工程实现也比较简单(相对第一种而言)。

     说到分布式协调组件，就不能不说下分布式一致性协议。从集中式变到分布式，虽然解决了单个主机宕机带来的服务不可用的问题，但是随之带来的就是分布式的各个节点一致性的问题。在分布式系统的一致性协议方面，paxos一直是标准级别的存在，但是由于paxos在工程实现上的困难，很少有人直接使用paxos协议来实现分布式中的协调组件。所以就有人提出了raft协议。和大名鼎鼎的paxos算法不一样，raft比较通俗易懂，在很多关键的地方甚至给出了伪代码。sentinel使用的就是raft协议，raft在redis内并没有用来实现一些分布式锁以及分布式事务，仅仅是用来做master宕机时的选主，可能后续的版本会逐渐支持。在redis<