MQ系列1：消息中间件执行原理
MQ系列2：消息中间件的技术选型
MQ系列3：RocketMQ 架构分析
MQ系列4：NameServer 原理解析
MQ系列5：RocketMQ消息的发送模式
MQ系列6：消息的消费
MQ系列7：消息通信，追求极致性能
MQ系列8：数据存储，消息队列的高可用保障
消息中间件是指在分布式系统中完成消息的发送和接收的基础软件。
消息中间件也可以称消息队列（Message Queue / MQ），互联网场景中经常使用消息中间件进行消息路由、订阅发布、异步处理等操作，来缓解系统的压力。
引入消息队列主要是为了解决如下问题的：
1、解耦 ：如订单系统，可以通过消息队列把削减库存的工作交给库存系统去处理，而不用等实时响应。
2、执行有序性：先进先出原理，按照进入消息队列的顺序处理业务事件。
3、消息路由 ：按照不同的规则，将队列中消息发送到不同的业务服务中。
4、异步处理 ：将一些无需实时响应结果的计算放到异步中，提升系统的吞吐率。
5、削峰 ：将峰值期间的操作削减，比如整个操作流程包含12个步骤，后11个步骤非强关注结果的数据，可以放在消息队列中。
既然本身就是为了解决大流量场面而设计的，那他自身的稳定性、健壮性就显的无比重要，下面我们来看看消息队列怎么去保证可用性的。
分析高可用特性前先复习下消息队列的基本组件，无论是哪一种类型的消息队列，基本都包含以下构成：
上图中以kafka为例子，这是典型的集群模式，Kafka通过Zookeeper管理集群配置，选举leader，以及在Consumer Group发生变化时进行rebalance。Producer使用push模式将消息发布到broker，Consumer使用pull模式从broker订阅并消费消息。
了解了一个消息队列的构成之后，我们来看看这种结构是怎么保障高可用性的。
首先，高可用是指系统的出错概率和无故障运行时长，从消息队列角度出发，至少要保证一下几点：
低消息丢失率：消息可靠性也是衡量消息中间件好坏的一个关键因素，尤其是在金融支付领域，消息可靠性尤为重要。
低故障率：消息中间件的可用性是指无故障运行的时间百分比，通常用几个 9 来衡量，如 99.99% 就是一个不错的指标。
多副本容错能力：一般会要求多副本及强一致性，多副本可以保证在 master 节点宕机异常之后可以提升 slave 作为新的 master 而继续提供服务来保障可用性。
以为RocketMQ为例，集群模式如下：
Producer 与 NameServer集群中的其中一个节点（随机或者RR选择）建立长连接，定期从 NameServer 获取 Topic 路由信息，既可以从 Broker Master 订阅消息，也可以从 Broker Slave 订阅消息。
Kafka集群中包含如下组成部分：
上面介绍了简历高可用消息队列架构的条件，以及RocketMQ和Kafka实现方案。具体高可用性特性方面（如 消息顺序性保障、消息幂等性保障、消息安全性保障、消息事务性保障），我们会在后面的章节中详细的介绍。