基于RabbitMQ的分布式事务最终一致性解决方案

1. 分布式事务

所谓事务,通俗一点讲就是一系列操作要么同时成功,要么同时失败。而分布式事务就是这一系列的操作在不同的节点上,那要如何保证事务的ACID特性呢。

  • 原子性(atomicity)。一个事务是一个不可分割的工作单位,事务中包括的操作要么都成功,要么都失败。

  • 一致性(consistency)。事务必须是使数据库从一个一致性状态变到另一个一致性状态。一致性与原子性是密切相关的。

  • 隔离性(isolation)。一个事务的执行不能被其他事务干扰。即一个事务内部的操作及使用的数据对并发的其他事务是隔离的,并发执行的各个事务之间不能互相干扰。

  • 持久性(durability)。持久性也称永久性(permanence),指一个事务一旦提交或回滚,数据库会对数据持久化的保存。

2. 最终一致性方案

首先,什么叫一致性?一致性指系统中的所有数据备份,在同一时刻具有同样的值,所有节点访问同一份最新的数据副本。那么,什么又叫最终一致性呢。在此之前,先给大家介绍一下BASE理论。

  1. BA(Basically Available):基本可用。在分布式系统出现故障的时候,允许牺牲部分非核心功能的可用性,常用的手段是访问部分功能时进入降级页面,来保障核心业务的可用性。

  2. S(Soft state):软状态。允许系统中的数据存在中间状态,并且认为该状态是不影响系统的整体可用性的,即允许系统在不同节点上的数据备份短暂性的不一致。

  3. E(Eventually consistent):最终一致性。所谓最终一致性,就是数据不可能永久的处于软状态,在一定的时间期限内,所有节点的数据备份应当是一致的,即数据延时一段时间后达到一致性。至于这个时间期限,取决于各种因素,包括业务需求、网络延时、系统负载、存储选型,数据复制方案设计等因素。

3. 可靠消息

所谓的可靠消息,即发布端消息不丢失,可靠抵达队列,消费端可靠接收。以RabbitMQ为例,消息的投递消费过程如下:

1.发布端确认

  1. 如果使用标准的AMQP协议,保证消息不丢失的唯一方法就是使用事务,使通道具有事务性,对每一条消息的发布和提交都是事务性的。在这种情况下,事务是不必要的重量级,并将吞吐量降低了250倍,为了解决这个问题,就引入了确认机制。

    • confirmCallback确认模式

      开启发布者确认

      spring:
      	rabbitmq: 
      		publisher-confirm-type: correlated
      

      自定义RabbitTemplate

      @Autowired
      RabbitTemplate rabbitTemplate;
      
      @PostConstruct
      public void initRabbitTemplate(){
      
          rabbitTemplate.setConfirmCallback(new RabbitTemplate.ConfirmCallback() {
              /**
                   *
                   * @param correlationData 当前消息的唯一关联数据
                   * @param b 消息是否成功收到
                   * @param s 失败的原因
                   */
              @Override
              public void confirm(CorrelationData correlationData, boolean b, String s) {
                  System.out.println("当前消息【"+correlationData+"】==》服务端是否收到:"+b+"==》失败的原因【"+s+"】");
              }
          });
      }
      
    • returnCallback未投递到队列退回模式

      开启消息抵达队列确认

      spring: 
      	rabbitmq: 
      		publisher-returns: true	# 开启发送端消息抵达队列的确认
              template:	#只有抵达队列,以异步发送优先回调returnCallback
                mandatory: true
      

      设置消息抵达队列回调

      @PostConstruct
      public void initRabbitTemplate(){
      
          rabbitTemplate.setReturnCallback(new RabbitTemplate.ReturnCallback() {
              /**
                   * 只要消息没有投递给指定的队列,就触发这个失败回调
                   * @param message 投递失败的消息详细信息
                   * @param i 回复状态码
                   * @param s 回复的文本内容
                   * @param s1 当时这个消息发送给哪个交换机
                   * @param s2 当时这个消息用哪个路由键
                   */
              @Override
              public void returnedMessage(Message message, int i, String s, String s1, String s2) {
                  System.out.println("失败信息【"+message+"】==》状态码【"+i+"】==》文本内容【"+s+"】==》交换机【"+s1+"】==》路由键【"+s2+"】");
              }
          });
      }
      

2. 消费端确认

ack机制

默认是自动确认的,只要消息收到,客户端会自动确认,服务端就会移除这个问题

  1. 问题:假如收到很多消息,自动回复给服务器ack,如果一个消息处理成功,宕机了。发生消息丢失

  2. 消费者手动确认模式:只要没有明确告诉MQ,消息被接收,没有Ack,消息就一直是unacked状态,即使服务器宕机,消息也不会丢失,会重新变为Ready状态。

    1. 开启手动确认模式

      spring: 
      	raabbitmq: 
              listener:
                simple:
                  acknowledge-mode: manual
      
    2. 手动签收

      long deliveryTag = message.getMessageProperties().getDeliveryTag();
      try {
          // 签收 long deliveryTag, boolean mulitiple(是否批量模式)
          channel.basicAck(deliveryTag,false);
      } catch (IOException e) {
          e.printStackTrace();
      }
      
      // 拒签 long deliveryTag, boolean mulitiple(是否批量模式), boolean requeue(是否重新入队)
      channel.basicNack(deliveryTag,false,false);
      

4. 分布式事务案例

在电商背景下,以订单和库存系统之间的分布式事务为例,来介绍分布式事务基于消息队列的最终一致性方案。下单和扣减库存操作要么同时成功,要么同时失败,是事务的。如果只是本地事务的话,操作同一数据库,依赖数据库本身的事务特性,就可以完成。但是,对于分布式系统而言,订单系统和库存系统是操作不同的数据库的,那要如何实现这样的分布式事务。

1. 业务流程及问题

  1. 一般的业务流程是:下单成功后,远程调用库存服务,扣减库存。伪代码如下

    public void saveOrder(){
        // 创建订单
        Order order = createOrder();
        // 保存订单
        orderService.save(order);
        // 远程调用库存服务
        wareFeignService.sub(order);
    }
    
  2. 订单系统和库存系统本地是满足事务的。即订单服务发生异常,订单回滚;库存服务发生异常,库存是会回滚的。

  3. 由于订单服务是以内嵌的方式远程调用库存服务的,也就是说,库存服务发生异常,订单服务感知到远程调用异常,从而订单会回滚的,对于业务来说,这是没有问题的。

  4. 如果订单服务在远程调用库存服务之前发生异常,订单会回滚,并且也不会调用库存服务来扣减库存,这也是没有问题的。

  5. 如果订单服务在远程调用库存服务之后,并且远程扣减库存操作成功后,发生异常,则订单会回滚,但是远程库存服务是无法回滚的。这就导致了数据的不一致性。

2. 基于消息队列的解决方案分析

我们使用RabbitMQ来实现分布式事务的最终一致性。

1. 业务分析

  1. 由于用户下单和支付并不是同时进行,一般都是下单成功后,30min内可以支付。那我们来思考这样一个问题,如果我们在下单成功就扣减库存的话,会不会有什么问题。

    • 恶意刷单。下单后不支付,导致其他人无法下单。
  2. 那如果支付成功后再扣减库存呢?

    • 在支付订单时,会出现库存不足,支付失败。
  3. 综合这两种情况考虑,我们在下单成功后先锁定库存,支付成功再去扣减库存,如果超时未支付,则解锁库存。

2. 业务流程

  1. 下单成功,锁定库存

  2. 订单支付超时,则需要自动关闭订单。

  3. 订单关闭,库存需要解锁。

3. 定时任务

如何确保下单后,30min内保留订单。最先想到的方法应该时定时任务。

  1. 定时任务使用的是系统时间,我们无法为每一个订单都生成一定时任务。

  2. 我想大家应该都发现了使用定时任务会带来的问题,那就是每一个订单的保留时间并不是一致的30min,订单保留的时间区间为(0min,60min)。即在定时任务即将到来前完成下单,和定时任务刚结束完成下单。

所以使用定时任务来完成这个操作是不可行。

4. RabbitMQ延时队列

利用消息的存活时间和死信来完成延时任务。

1. 消息的存活时间(TTL:Time To Live)
  1. RabbitMQ可以对队列和消息分别设置TTL。

  2. 对队列设置就是队列没有消费者连着的保留时间,也可以对每一个单独的消息做单独的设置。超过了这个时间,我们认为这个消息就死了,称之为死信。

  3. 如果队列和消息都设置了,那么会取小的。所以一个消息如果被路由到不同的队列中,这个消息的死亡时间有可能不一样(不同的队列设置)。

  4. 单个消息的TTL,才是实现延迟任务的关键。可以通过设置消息的expiration字段或者x-message-ttl属性来设置时间,两者是一样的效果。

2. 死信交换机(DLX:Dead Letter Exchanges)
  1. 一个消息如果满足如下条件,就会进入死信路由(不是队列,一个路由可以对应多个队列)

    • 一个消息被消费者拒收,并且reject方法的参数里requeue是false。也就是说不会被再次放在队列里,被其他消费者使用。

    • 消息的TTL到了,消息过期了。

    • 队列长度限制满了,排在前面的消息会被丢弃或者扔到死信路由上。

  2. 在某一个设置Dead Letter Exchange的队列中有消息过期了,会自动触发消息的转发,发送到Dead Letter Exchange中去

  3. 先控制消息在一段时间后变成死信,然后控制变成死信的消息被路由到某个指定的交换机。二者结合就可以实现一个延时队列。

在下单成功后,发送一条消息到死信队列,经过一段时间(TTL),死信路由到订单释放队列,订单服务监听到消息释放放订单。

在这里插入图片描述

5. 分布式解决方案

1. 对以下情况,库存需要解锁。
  1. 首先之前提到的,订单服务在远程调用成功后,发生异常,导致订单回滚,库存也需要解锁。

  2. 订单延时取消,或者主动取消订单,都需要解锁库存。

  3. 订单服务下单成功后,订单服务宕机,超过订单支付时间,仍然无法恢复,导致无法发送消息通知库存服务解锁库存,故需要自动解锁库存。

2. 解决方案

针对以上情形,库存解锁的方案。

  1. 第一种情况,可以利用库存自动解锁来解决。库存锁定时发送消息到延时队列,经过TTL后,成为死信路由到库存解锁队列,库存服务监听到消息后,解锁库存。

    • 不能在订单未支付时就解锁库存,所以库存自动解锁的延迟时间应该大于订单延时取消的时间。
  2. 对于第二种情况,主动取消或者延时取消,都可以通过库存的自动解锁来完成库存的解锁。

  3. 自动解锁时,需要判断订单的状态,只有为取消状态的订单才可以解锁库存。但是这样仍然会存在问题。

    • 订单服务卡顿,导致订单状态消息一直改不了,而库存消息先到期,查询订单状态为新建状态,不解锁库存,并删除消息,导致库永远无法解锁。

    • 解决:订单超时取消的同时,发送订单取消的消息到队列,库存服务监听该消息,则解锁库存。

    • 为了防止重复解锁,需要满足幂等性。

3. 代码实现

使用消息队列实现分布式事务的最终一致性方案的流程图如下:
在这里插入图片描述

1. 订单服务

  1. 创建交换机、队列和绑定关系
@Configuration
public class OrderRabbitMQConfig {

   /**
    * 使用JSON序列化机制,进行消息转换
    * @return
    */
   @Bean
   public MessageConverter messageConverter(){
       return new Jackson2JsonMessageConverter();
   }
   @Bean
   public Exchange orderEventExchange(){
       return new TopicExchange("order-event-exchange",true,false);
   }

   @Bean
   public Queue orderReleaseOrderQueue(){
       return new Queue("order.release.order.queue",true,false,false);
   }

   @Bean
   public Queue orderDelayQueue(){
       HashMap<String, Object> args = new HashMap<>();
       args.put("x-dead-letter-exchange","order-event-exchange");
       args.put("x-dead-letter-routing-key","order.release.order");
       args.put("x-message-ttl",60000);
       return new Queue("order.delay.queue",true,false,false,args);
   }

   @Bean
   public Binding stockReleaseBinding(){
       return new Binding("order.release.order.queue",
               Binding.DestinationType.QUEUE,
               "order-event-exchange",
               "order.release.order",
               null);
   }

   @Bean
   public Binding stockLockedBinding(){
       return new Binding("order.delay.queue",
               Binding.DestinationType.QUEUE,
               "order-event-exchange",
               "order.create.order",
               null);
   }
   /**
    * 订单释放直接和库存释放进行绑定
    */
   @Bean
   public Binding orderReleaseOtherBinding(){
       return new Binding("stock.release.stock.queue",
               Binding.DestinationType.QUEUE,
               "order-event-exchange",
               "order.release.other.#",
               null);
   }

}
  1. 订单创建伪代码
@Transactional
public Order createOrder(){
  // 创建订单
  Order order = createOrder();
  // 远程调用库存服务,锁定库存
  R r = wareFeignService.orderLockStock(wareSkuLockVo);
  if (r.getCode() == 0) {
    // 锁定成功,发送订单创建消息到延时队列
    rabbitTemplate.convertAndSend("order-event-exchange","order.create.order",order);
  } else {
     // 远程调用失败,抛出异常
     throw new Exception();
  }
  reture order;
}
  1. 订单服务监听订单释放信息,关闭订单
@RabbitListener(queues = "order.release.order.queue")
@Service
public class OrderCloseListener {

   @Autowired
   OmsOrderService orderService;

   @RabbitHandler
   public void listener(OmsOrderEntity orderEntity, Channel channel, Message message) throws IOException {
       System.out.println("收到过期订单,准备关单:"+orderEntity.getBizOrderId());
       try{
           orderService.closeOrder(orderEntity.getBizOrderId());
           channel.basicAck(message.getMessageProperties().getDeliveryTag(), false);
       }catch (Exception e){
           channel.basicReject(message.getMessageProperties().getDeliveryTag(), true);
       }
   }
}
  1. 关闭订单,发送解锁库存消息。伪代码如下
public void closeOrder(String bizOrderId) {
  // 查询当前订单是否付款
  OmsOrderEntity order = getOne(new QueryWrapper<OmsOrderEntity>().eq("biz_order_id", bizOrderId));
  if (order != null) {
    // 判断订单状态,为新建状态才取消
    if (order.getOrderStatus() == OrderStatusConstant.CREATE.getCode()){
      //过期未支付,取消订单,设置订单状态为取消状态
      updateOrder.setOrderStatus(OrderStatusConstant.CANCEL.getCode());
      // 发送MQ
      rabbitTemplate.convertAndSend("order-event-exchange","order.release.other",orderTo);
      }
    }
}

2. 库存服务

  1. 创建交换机、队列和绑定关系
@Configuration
public class MyRabbitConfig {

    /**
     * 使用JSON序列化机制,进行消息转换
     * @return
     */
    @Bean
    public MessageConverter messageConverter(){
        return new Jackson2JsonMessageConverter();
    }
    @Bean
    public Exchange stockEventExchange(){
        return new TopicExchange("stock-event-exchange",true,true);
    }

    @Bean
    public Queue stockReleaseStockQueue(){
        return new Queue("stock.release.stock.queue",true,false,false);
    }

    @Bean
    public Queue stockDelayQueue(){
        HashMap<String, Object> args = new HashMap<>();
        args.put("x-dead-letter-exchange","stock-event-exchange");
        args.put("x-dead-letter-routing-key","stock.release");
        args.put("x-message-ttl",120000);
        return new Queue("stock.delay.queue",true,false,false,args);
    }

    @Bean
    public Binding stockReleaseBinding(){
        return new Binding("stock.release.stock.queue",
                Binding.DestinationType.QUEUE,
                "stock-event-exchange",
                "stock.release.#",
                null);
    }

    @Bean
    public Binding stockLockedBinding(){
        return new Binding("stock.delay.queue",
                Binding.DestinationType.QUEUE,
                "stock-event-exchange",
                "stock.locked",
                null);
    }
}

  1. 库存锁定,伪代码如下
@Transactional
public void orderLockStock() {
  // 保存工作单
  taskService.save(task);
  // 为每件商品锁定库存
  for (OrderItemVo orderItem : orderItems) {
    //判断库存是否足够
    Long count = skuWareDao.lockStock(orderItem);
    if (count == 1){
        // 锁定成功
        // 保存工作单详情
        taskDetailService.save(taskDetail);
        // 自动解锁,发送工作单详情,防止回滚后找不到数据
        // 锁定库存,发送消息到延时队列
        rabbitTemplate.convertAndSend("stock-event-exchange", "stock.locked", taskTo);
    } else {
        // 锁定失败,抛出异常
        throw new Exception();
    }
  }
}
  1. 监听库存解锁信息
@Service
@RabbitListener(queues = "stock.release.stock.queue")
public class StockReleaseListener {

  @Autowired
  WmsSkuWareService wareSkuService;

  /**
   * 库存自动解锁
   *只要解锁库存的消息的失败,需要告诉MQ解锁失败,消息不要删除,重新放回队列
   * @param taskTo
   * @param message
   *
   */
  @RabbitHandler
  public void handleStockLockedRelease(StockLockedTaskTo taskTo, Message message, Channel channel) throws IOException {
    System.out.println("收到解锁库存的消息");
    try{
      wareSkuService.unlockStock(taskTo);
      channel.basicAck(message.getMessageProperties().getDeliveryTag(), false);
    }catch (Exception e){
      channel.basicReject(message.getMessageProperties().getDeliveryTag(), true);
    }
  }

  @RabbitHandler
  public void handleOrderCloseRelease(OrderTo orderTo, Message message, Channel channel) throws IOException {
    System.out.println("订单关闭,准备解锁库存");
    try{
      wareSkuService.unlockStock(orderTo);
      channel.basicAck(message.getMessageProperties().getDeliveryTag(), false);
    }catch (Exception e){
      channel.basicReject(message.getMessageProperties().getDeliveryTag(), true);
    }
  }
}
  1. 自动解锁库存,伪代码如下
@Transactional
public void unlockStock(StockLockedTaskTo taskTo) {
  // 判断是否存在该任务
  Detail detail = detailService.getById(taskTo.detailId)
  if (detail != null){
    // 查询订单状态,订单状态为【取消】,则解锁库存
    // 远程调用订单服务,获取订单状态
    R r = orderFeignService.getOrderStatus(bizOrderId);
    if (r.getCode() == 0) {
      // 远程查询成功
      OrderVo orderVo = r.getData(new TypeReference<OrderVo>() {
      });
      if (orderVo == null || orderVo.getOrderStatus() == OrderStatusConstant.CANCEL.getCode()) {
        // 订单不存在,或者订单已取消,都需要解锁库存
        if (detail.getLockStatus() == WareTaskStatusConstant.LOCKED.getCode()){
          //锁定状态下才需要解锁,已解锁的不用在解锁
          unlockStock(detail.getId(),detail.getSkuId(),detail.getSkuNum());
          // 更新taskDetail状态为已解锁
          taskDetailService.updateById(taskDetailEntity);
        }
      }
    } else {
      throw new RuntimeException("远程调用订单服务失败");
    }
  }
}
  1. 订单取消,解锁库存,伪代码如下
@Transactional
public void unlockStock(OrderTo orderTo) {
  // 无需查询订单最新状态,能来到这,肯定更新了订单状态的
  // 判断任务是否存在
  WmsOrderTaskEntity task = taskService.getOne(new QueryWrapper<WmsOrderTaskEntity>().eq("biz_order_id", bizOrderId));
  if (task != null){
    // 任务存在,获取任务项状态为锁定状态的所有任务项
    List<WmsOrderTaskDetailEntity> taskDetails = taskDetailService.list(new QueryWrapper<WmsOrderTaskDetailEntity>()
            .eq("task_id", task.getId())
            .eq("lock_status", WareTaskStatusConstant.LOCKED.getCode()));
    if (taskDetails != null && taskDetails.size() > 0){
      for (WmsOrderTaskDetailEntity taskDetail : taskDetails) {
        // 解锁库存
        unlockStock(taskDetail.getId(),taskDetail.getSkuId(),taskDetail.getSkuNum());
        // 更新taskDetail状态为已解锁
        taskDetailService.updateById(taskDetailEntity);
      }
    }
  }
}

使用RabbitMQ实现分布式事务的最终一致性方案的大致流程解析完毕。如果对源码感兴趣的,欢迎到github仓库clone。

  • 1
    点赞
  • 25
    收藏
    觉得还不错? 一键收藏
  • 打赏
    打赏
  • 2
    评论
RabbitMQ本身并不直接支持分布式事务,但是可以通过一些机制来实现分布式事务。 一种常用的方式是使用两阶段提交(Two-Phase Commit,简称2PC)协议来实现分布式事务。在这种方案中,事务的协调者(coordinator)会与多个参与者(participants)进行通信,以确保所有参与者在提交或者回滚事务时的一致性。 在RabbitMQ中,可以将消息生产者作为事务的协调者,将消息消费者作为参与者。下面是一个简单的示例: 1. 生产者发送消息到RabbitMQ,并开启一个事务。 2. 生产者将消息发送给消费者,并等待消费者返回确认消息。 3. 如果所有的消费者都成功处理了消息,则协调者发送“prepare”消息给所有的参与者。 4. 参与者收到“prepare”消息后,将消息持久化到本地存储,并发送“ready”消息给协调者。 5. 协调者收到所有参与者的“ready”消息后,发送“commit”消息给所有的参与者。 6. 参与者收到“commit”消息后,正式提交事务,并发送确认消息给协调者。 7. 协调者收到所有参与者的确认消息后,完成事务。 需要注意的是,如果任何一个参与者在处理消息时出现异常,协调者将发送“rollback”消息,参与者接收到“rollback”消息后会回滚事务。 这只是一个简单的示例,实际的实现可能需要考虑更多的细节和异常处理。另外,还有其他的分布式事务解决方案,如Saga模式、TCC(Try-Confirm-Cancel)模式等,也可以根据具体需求选择合适的方案

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论 2
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

一大岐

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值