今天我们来讨论一下数据最终一致性的相关问题。这个问题在分布式环境下非常典型,我们可以通过一个具体的业务场景来进行说明,下面是这个业务场景的示例图:
设想以下业务场景:系统中同时运行着两个关键服务——订单服务和积分服务。用户完成一笔订单后,订单信息需被记录到订单数据库中,同时,系统会根据订单金额给用户增加对应的积分。这一系列操作横跨了订单数据库和积分数据库,因此确保这两个服务间数据的一致性变得尤为重要。
因为这里的订单服务和积分服务是两个独立的微服务,所以保存订单信息和积分信息的实现过程伴随着一个典型的问题,也就是如何确保订单数据与用户积分数据的一致性。
虽然通过分布式事务,我们可以在一定程度上实现这一目标,但分布式事务提供的是一种强一致性方案,缺乏系统弹性和扩展性。为了更好地处理这一场景,我们将探讨数据最终一致性的三种实现模式,也就是可靠事件模式、补偿模式和 TCC 模式。
一、可靠事件模式
我们先来看可靠事件模式。就像这个模式的名称所表明的,这个模式依赖于事件,可以认为是一种事件驱动架构的具体应用方式。但为了更好地保证数据在不同服务之间的一致性,我们还需要引入一些特定的实现技巧。
针对事件驱动架构,我们首先想到的实现方案是引入消息中间件。在可靠事件模式中,当订单服务和积分服务之间的数据需要进行统一管理时,我们引入消息中间件来完成数据的传递。接下来