微服务架构：利用事件驱动实现最终一致性

 事务一致性

首先，我们来回顾一下ACID原则：

• Atomicity：原子性，改变数据状态要么是一起完成，要么一起失败
• Consistency：一致性，数据的状态是完整一致的
• Isolation：隔离线，即使有并发事务，互相之间也不影响
• Durability：持久性， 一旦事务提交，不可撤销

在单体应用中，我们可以利用关系型数据库的特性去完成事务一致性，但是一旦应用往微服务发展，根据业务拆分成不用的模块，而且每个模块的数据库已经分离开了，这时候，我们要面对的就是分布式事务了，需要自己在代码里头完成ACID了。比较流行的解决方案有：两阶段提交、补偿机制、本地消息表(利用本地事务和MQ)、MQ的事务消息(RocketMQ)。

CAP定理

1998年，加州大学的计算机科学家 Eric Brewer 提出，分布式系统有三个指标。

• Consistency：一致性
• Availability：可用性
• Partition tolerance：分区容错

Eric Brewer 说，这三个指标不可能同时做到。这个结论就叫做 CAP 定理。

微服务中，不同模块之间使用的数据库是不同的，不同模块之间部署的服务去也有可能是不用的，那么分区容错是无法避免的，因为服务之间的调用不能保证百分百的没问题，所以系统设计必须考虑这种情况。因此，我们可以认为CAP的P总是成立的，剩下的C和A无法同时做到。

实际上根据分布式系统中CAP原则，当P(分区容忍)发生的时候，强行追求C(一致性)，会导致(A)可用性、吞吐量下降，此时我们一般用最终一致性来保证我们系统的AP能力。当然不是放弃C，而是放弃强一致性，而且在一般情况下CAP都能保证，只是在发生分区容错的情况下，我们可以通过最终一致性来保证数据一致。

事件驱动实现最终一致性

事件驱动架构在领域对象之间通过异步的消息来同步状态，有些消息也可以同时发布给多个服务，在消息引起了一个服务的同步后可能会引起另外消息，事件会扩散开。严格意义上的事件驱动是没有同步调用的。

例子：

在电商里面，用户下单必须根据库存来确定订单是否成交。

项目架构：SpringBoot2+Mybatis+tk-Mybatis+ActiveMQ【因为小例子，不做成Spring Cloud架构】

首先，我们来看看正常的服务之间调用：

代码：

1. @Override 
2. @Transactional(rollbackFor = Exception.class) 
3. public Result placeOrder(OrderQuery query) { 
4.  Result result = new Result(); 
5.  // 先远程调用Stock-Service去减少库存 
6.  RestTemplate restTemplate = new RestTemplate(); 
7.  //请求头 
8.  HttpHeaders headers = new HttpHeaders(); 
9.  headers.setContentType(MediaType.APPLICATION_JSON); 
10.  //封装成一个请求对象 
11.  HttpEntity entity = new HttpEntity(query, headers); 
12.  // 同步调用库存服务的接口 
13.  Result stockResult = restTemplate.postForObject("http://127.0.0.1:8081/stock/reduceStock",entity,Result.class); 
14.  if (stockResult.getCode() == Result.ResultConstants.SUCCESS){ 
15.  Order order = new Order(); 
16.  BeanUtils.copyProperties(query,order); 
17.  order.setOrderStatus(1); 
18.  Integer insertCount = orderMapper.insertSelective(order); 
19.  if (insertCount == 1){ 
20.  result.setMsg("下单成功"); 
21.  }else { 
22.  result.setMsg("下单失败"); 
23.  } 
24.  }else { 
25.  result.setCode(Result.ResultConstants.FAIL); 
26.  result.setMsg("下单失败："+stockResult.getMsg()); 
27.  } 
28.  return result; 
29. } 

我们可以看到，这样的服务调用的弊端多多：

1、订单服务需同步等待库存服务的返回结果，接口结果返回延误。2、订单服务直接依赖于库存服务，只要库存服务崩了，订单服务不能再正常运行。3、订单服务需考虑并发问题，库存最后可能为负。

下面开始利用事件驱动实现最终一致性

1、在订单服务新增订单后，订单的状态是“已开启”，然后发布一个Order Created事件到消息队列上

代码：

1. @Transactional(rollbackFor = Exception.class) 
2. public Result placeOrderByMQ(OrderQuery query) { 
3.  Result result = new Result(); 
4.  // 先创建订单，状态为下单0 
5.  Order order = new Order(); 
6.  BeanUtils.copyProperties(query,order); 
7.  order.setOrderStatus(0); 
8.  Integer insertCount = orderMapper.insertSelective(order); 
9.  if (insertCount == 1){ 
10.  // 发送 订单消息 
11.  MqOrderMsg mqOrderMsg = new MqOrderMsg(); 
12.  mqOrderMsg.setId(order.getId()); 
13.  mqOrderMsg.setGoodCount(query.getGoodCount()); 
14.  mqOrderMsg.setGoodName(query.getGoodName()); 
15.  mqOrderMsg.setStockId(query.getStockId()); 
16.  jmsProducer.sendOrderCreatedMsg(mqOrderMsg); 
17.  // 此时的订单只是开启状态 
18.  result.setMsg("下单成功"); 
19.  } 
20.  return result; 
21. } 

2、库存服务在监听到消息队列OrderCreated中的消息，将库存表中商品的库存减去下单数量，然后再发送一个Stock Locked事件给消息队列。

代码：

1. /** 
2.  * 接收下单消息 
3.  * @param message 接收到的消息 
4.  * @param session 上下文 
5.  */ 
6. @JmsListener(destination = ORDER_CREATE,containerFactory = "myListenerContainerFactory") 
7. @Transactional(rollbackFor = Exception.class) 
8. public void receiveOrderCreatedMsg(Message message, Session session){ 
9.  try { 
10.  if (message instanceof ActiveMQObjectMessage){ 
11.  MqStockMsg result = new MqStockMsg(); 
12.  ActiveMQObjectMessage objectMessage=(ActiveMQObjectMessage)message; 
13.  MqOrderMsg msg = (MqOrderMsg)objectMessage.getObject(); 
14.  Integer updateCount = stockMapper.updateNumByStockId(msg.getStockId(),msg.getGoodCount()); 
15.  if (updateCount >= 1){ 
16.  result.setSuccess(true); 
17.  result.setOrderId(msg.getId()); 
18.  }else { 
19.  result.setSuccess(false); 
20.  } 
21.  // 手动ack，使消息出队列，不然会不断消费 
22.  message.acknowledge(); 
23.  // 发送库存锁定消息到MQ 
24.  jmsProducer.sendStockLockedMsg(result); 
25.  } 
26.  } catch (JMSException e) { 
27.  log.error("接收订单创建消息报错："+e.getMessage()); 
28.  } 
29. } 

仔细的朋友可能会看到：message.acknowledge()，即手动确认消息。因为在保证库存服务的逻辑能正常执行后再确认消息已消费，可以保证消息的投递可靠性，万一在库存服务执行时报出异常，我们可以做到重新消费该下单消息。

3、订单服务接收到Stock Locked事件，将订单的状态改为“已确认”

代码：

1. /** 
2.  * 判断是否还有库存，有库存更新订单状态为1，无库存更新订单状态为2，并且通知用户（WebSocket） 
3.  * @param message 
4.  */ 
5. @JmsListener(destination = STOCK_LOCKED,containerFactory = "myListenerContainerFactory") 
6. @Transactional(rollbackFor = Exception.class) 
7. public void receiveStockLockedMsg(Message message, Session session){ 
8.  try { 
9.  if (message instanceof ActiveMQObjectMessage){ 
10.  ActiveMQObjectMessage objectMessage=(ActiveMQObjectMessage)message; 
11.  MqStockMsg msg = (MqStockMsg)objectMessage.getObject(); 
12.  if (msg.isSuccess()){ 
13.  Order updateOrder = new Order(); 
14.  updateOrder.setId(msg.getOrderId()); 
15.  updateOrder.setOrderStatus(1); 
16.  orderMapper.updateByPrimaryKeySelective(updateOrder); 
17.  log.info("订单【"+msg.getOrderId()+"】下单成功"); 
18.  }else { 
19.  Order updateOrder = new Order(); 
20.  updateOrder.setId(msg.getOrderId()); 
21.  updateOrder.setOrderStatus(2); 
22.  orderMapper.updateByPrimaryKeySelective(updateOrder); 
23.  // 通知用户库存不足，订单被取消 
24.  log.error("订单【"+msg.getOrderId()+"】因库存不足被取消"); 
25.  } 
26.  // 手动ack，使消息出队列，不然会不断消费 
27.  message.acknowledge(); 
28.  } 
29.  } catch (JMSException e) { 
30.  log.error("接收库存锁定消息报错："+e.getMessage()); 
31.  } 
32. } 

同样，这里我们也是会利用手动确认消息来保证消息的投递可靠性。

至此，已经全部搞定了。我们看一下和正常的服务调用对比如何：

1、订单服务不再直接依赖于库存服务，而是将下单事件发送到MQ中，让库存监听。

2、订单服务能真正的作为一个模块独立运行。

3、解决了并发问题，而且MQ的队列处理效率非常的高。

但是也存在下面的问题：

1、用户体验改变了：因为使用事件机制，订单是立即生成的，可是很有可能过一会，系统会提醒你没货了。。这就像是排队抢购一样，排着排着就被通知没货了，不用再排队了。

2、数据库可能会存在很对没有完成下单的订单。

最后，如果真的要考虑用户体验，并且不想数据库存在很多不必要的数据，该怎么办?