Tx-lcn 通识（1）

官    网：http://www.txlcn.org/zh-cn/index.html

git 地址：https://github.com/codingapi/tx-lcn

L:   锁定事务单元（lock）
C:   确认事务模块状态(confirm)
N:   通知事务(notify)

一、产生背景

微服务架构将原本独立的系统拆分成多个小型服务，这些小型服务在各自的进程中独立运行，服务之间基于HTTP的RESTful API进行通信。被拆分的每一个小型服务都围绕着系统中某一项或一些耦合度较高的业务功能进行构建，并且每个服务都维护着自身的数据存储、业务并发、自动化测试案例以及独立部署。

由于采用微服务架构，各个模块相互独立，导致原先在Spring容器中的通过@Transactional注解实现的本地事务，无法满足跨服务的分布式事务处理。分布式事务存在两大理论依据：CAP定律 BASE理论。

二、CAP定律

这个定理的内容是指的是在一个分布式系统中Consistency（一致性）、 Availability（可用性）、Partition tolerance（分区容错性），三者不可得兼。

一致性（C）：在分布式系统中的所有数据备份，在同一时刻是否同样的值。（等同于所有节点访问同一份最新的数据副本）

可用性（A）：在集群中一部分节点故障后，集群整体是否还能响应客户端的读写请求。（对数据更新具备高可用性）

分区容错性（P）：分区相当于对通信的时限要求。系统如果不能在时限内达成数据一致性，就意味着发生了分区的情况，必须就当前操作在C和A之间做出选择。又因为是分布式（P）分区的情况 。所以需要在（C）和（A）中根据实际情况抉择出另一个。（因为CAP理论必满足三个中有且只有两个条件成立。）

三、BASE理论

BASE是Basically Available（基本可用）、Soft state（软状态）和 Eventually consistent（最终一致性）三个短语的缩写。BASE理论是对CAP中一致性和可用性权衡的结果， 是基于CAP定理逐步演化而来的。BASE理论的核心思想是：即使无法做到强一致性，但每个应用都可以根据自身业务特点，采用适当的方式来使系统达到最终一致性。

基本可用：基本可用是指分布式系统在出现不可预知故障的时候，允许损失部分可用性----注意，这绝不等价于系统不可用。

比如：

（1）响应时间上的损失。正常情况下，一个在线搜索引擎需要在0.5秒之内返回给用户相应的查询结果，但由于出现故障，查询结果的响应时间增加了1~2秒

（2）系统功能上的损失：正常情况下，在一个电子商务网站上进行购物的时候，消费者几乎能够顺利完成每一笔订单，但是在一些节日大促购物高峰的时候，由于消费者的购物行为激增，为了保护购物系统的稳定性，部分消费者可能会被引导到一个降级页面

软状态：软状态指允许系统中的数据存在中间状态，并认为该中间状态的存在不会影响系统的整体可用性，即允许系统在不同节点的数据副本之间进行数据同步的过程存在延时

最终一致性：

    最终一致性强调的是所有的数据副本，在经过一段时间的同步之后，最终都能够达到一个一致的状态。因此，最终一致性的本质是需要系统保证最终数据能够达到一致，而不需要实时保证系统数据的强一致性。

二、相关的基础知识

1，事务传播行为

   基于注解@Transactional

1.1 REQUIRED 如果当前没有事务，就新建一个事务，如果已经存在一个事务中，加入到这个事务中。这是最常见的选择。

@Transactional(propagation = Propagation.REQUIRED, rollbackFor = Exception.class)

1.2 SUPPORTS 支持当前事务，如果当前没有事务，就以非事务方式执行。

@Transactional(propagation = Propagation.SUPPORTS, rollbackFor = Exception.class)

1.3 MANDATORY 使用当前的事务，如果当前没有事务，就抛出异常。

@Transactional(propagation = Propagation.MANDATORY, rollbackFor = Exception.class)

1.4 REQUIRES_NEW 新建事务，如果当前存在事务，把当前事务挂起。

@Transactional(propagation = Propagation.REQUIRES_NEW, rollbackFor = Exception.class)

1.5 NOT_SUPPORTED 以非事务方式执行操作，如果当前存在事务，就把当前事务挂起。

@Transactional(propagation = Propagation.NOT_SUPPORTED, rollbackFor = Exception.class)

1.6 NEVER 以非事务方式执行，如果当前存在事务，则抛出异常。

@Transactional(propagation = Propagation.NEVER, rollbackFor = Exception.class)

1.7 NESTED 如果当前存在事务，则在嵌套事务内执行。如果当前没有事务，则执行与REQUIRED类似的操作。

@Transactional(propagation = Propagation.NESTED, rollbackFor = Exception.class)