什么是消息队列
消息队列(Message Queue),是分布式系统中重要的组件,其通用的使用场景可以简单地描述为:
当不需要立即获得结果,但是并发量又需要进行控制的时候,差不多就是需要使用消息队列的时候
消息队列作用
- 提高响应速度
异步处理,串行化的功能变成并行化,从而提升系统性能,缩短响应时间
常用于秒杀、发送短信通知等,需要立即返回结果的场景
- 流量控制
在高并发的情况,为了避免大量的请求冲击后端服务,可以使用消息队列暂存请求,后端服务按照自己的重能力,从队列中消费,例如秒杀、埋点场景。
这样可以随时增加服务的实例数量水平扩容,而不用对系统的其他部分做修改
3.系统解耦
例如一个下单的信息需要同步多个子系统,每个子系统都需要保存订单的数据的一部分,如果光靠订单服务的团队去维护所有的子系统数据同步,代价太大
解决方法是,通过发布订阅模型,订单服务在订单变化时发送一条消息到一个主题中,所有的下游子系统都订单主题,这样可以每个子系统都可以获得一份完整的订单数据
即使是增加、减少子系统,也不会对订单服务造成影响
消息队列有什么缺点?
同步消息改成了异步,增加了系统的调用链,增加了系统的复杂度
降低了数据一致性,如果要保持一致性,需要高代价的补偿(如分布式事务、对账)
引入了消息队列带来的延迟问题
消息队列的两种模型
点对点
每个消息只有一个接收者(Consumer),一旦被消息,就不再在消息队列中
发送者和接收者间没有依赖性,发送者发送消息后,不管有没有接收者在运行,不会影响下一次发送
订阅
每个消息可以有多个订阅者
每个订阅者都可以接收到主题的所有消息
两种模型区别
两个模型的区别:一份消息是否能被多次消费
如果只有一个订阅者,两个模型基本一样,所以发布订阅模型在功能层面是兼容队列模型的
消息队列如何实现分布式事务
一个严格意义的事务实现是ACID4个属性:原子性、一致性、隔离性、持久性
原子性:一个事务操作不可分割,要么全部成功,要么全部失败,不能一半成功一半失败
一致性:事务执行完成之前的时间点,读到的一定是更新前的数据,之后读到的一定是更新后的数据
隔离性:一个事务的执行不能被其他事务干扰(一个事务内部的操作及使用的数据对正在进行的其他事务是隔离的,并发执行的各个事务之间不能互相干扰)
持久性:事务一旦提交,后续的其他操作和故障都不会对事务的结果有任何影响
在分布式系统中,光是要实现数据一致性就已经非常困难了,所以一般只保证达到最终一致性。比较常见的分布式事务实现有
2PC(Two-phase Commit)二阶段提交
TCC(Try-Confirm-Cancel)
事务消息
如果数据库事务提交失败怎么办
业务代码中反复重试提交,直到提交成功
删除之前创建的订单进行补偿
提供一个反查本地事务状态接口给MQ,告知成功或失败(RocketMQ支持)