本文主要介绍TCC的原理,以及从代码的角度上分析如何实现的;不涉及具体使用示例。本文通过分析tcc-transaction源码带大家了解TCC分布式事务的实现原理。
需要注意的是,本文所有代码都基于master-1.7.x 分支,不同版本的源码会存在一定的差异。完整代码注释请参考:bigcoder84/tcc-transaction
一. 概述
1.1 项目模块
本文对 tcc-transaction 源码分析。主要涉及如下四个模块:
tcc-transaction-core :tcc-transaction 底层实现。tcc-transaction-api :tcc-transaction 使用 API。tcc-transaction-spring :tcc-transaction 对 Spring 的支持。tcc-transaction-dubbo :tcc-transaction 对 Dubbo 的支持。
本文基于tcc-transaction 1.7.x 版本源码进行分析。
1.2 tcc-transaction中的概念
在详细分析框架源码之前,我们先熟悉 tcc-transaction 中所涉及到的名词概念:
-
事务树:多级分布式事务类似于树状结构
-
根事务:事务树的根节点 -
分支事务:所有非根节点事务节点。在上图中,A就是整个分布式事务体系中的根事务节点,在A中会调用B、C两个下游服务,而B、C远程服务代码就是分布式事务的两个分支事务。 -
当前事务:当前正在执行代码所在的事务节点。 -
事务参与者:每一个事务参与者存在一个confirm 和一个cancel 方法。每一个事务节点都是一个事务参与者,每一个事务节点会维持自身以及孩子节点事务的事务参与者信息。例如我们在调用A方法时,会创建一个事务,我们称为TransactionA,并将A节点本身作为事务参与者放入TransactionA中,当A调用B、C两个服务时,会生成两个事务参与者放入TransactionA中,这样当A的try操作执行完毕后,TransactionA中就存在A、B、C三个事务参与者了,当TransactionA进行confirm/cancel操作时,会同时对三个事务参与者执行confirm/cancel操作。 -
事务存储器:存储事务上下文信息,可以有多种实现(Redis、DB、Memory)
二. tcc-transaction 原理
在 TCC 里,一个业务活动可以有多个事务,每个业务操作归属于不同的事务,即一个事务可以包含多个业务操作。TCC-Transaction 将每个业务操作抽象成事务参与者,每个事务可以包含多个参与者。
参与者需要声明 try / confirm / cancel 三个类型的方法,和 TCC 的操作一一对应。在程序里,通过 @Compensable 注解标记在 try 方法上,并填写对应的 confirm / cancel 方法,示例代码如下:
@Compensable(confirmMethod = "confirmRecord", cancelMethod = "cancelRecord", transactionContextEditor = MethodTransactionContextEditor.class)
public String record(CapitalTradeOrderDto tradeOrderDto) {}
public void confirmRecord(CapitalTradeOrderDto tradeOrderDto) {}
public void cancelRecord(CapitalTradeOrderDto tradeOrderDto) {}
TCC-Transaction 有两个拦截器,通过对 @Compensable AOP 切面( 参与者 try 方法 )进行拦截,,透明化对参与者 confirm / cancel 方法调用,从而实现 TCC 。
以及拥有一个业务活动管理器(JOB),业务活动管理器控制业务活动的一致性,它登记业务活动中的操作,并在业务活动提交时确认所有的TCC型操作的confirm操作,在业务活动取消时调用所以TCC操作的cancel操作。
简化流程如下图:
第一个拦截器,可补偿事务拦截器,实现如下功能:
- 在 Try 阶段,创建事务。
- 在 Confirm / Cancel 阶段,对事务提交或回滚。
第二个拦截器,资源协调者拦截器,实现如下功能:
- 在 Try 阶段,添加参与者到事务中。当事务上下文不存在时,进行创建。
- 对事务进行传播,在远程调用服务的参与者时,会通过
TransactionContextEditor 传递事务给远程参与者。TransactionContextEditor有很多不同的实现。
实际拦截器对事务的处理会比上图复杂一些,在后文详细解析。
在 tcc-transaction 代码实现上,组件分层如下图:
本文按照如下顺序分享:
- 「4. 事务拦截器」
- 「5. 事务管理器」
- 「6. 事务管理器」
内容是自下而上的方式分享,每个组件可以更加整体的被认识。当然这可能对你理解时产生一脸闷逼,所以推荐两种阅读方式:
三. 事务与参与者
在 TCC 里,一个事务(org.mengyun.tcctransaction.Transaction ) 可以有多个参与者(org.mengyun.tcctransaction.Participant )参与业务活动。
3.1 事务
package org.mengyun.tcctransaction;
public class Transaction implements Serializable {
private static final long serialVersionUID = 7291423944314337931L;
private final Date createTime = new Date();
private final List<Participant> participants = new ArrayList<Participant>();
private final Map<String, Object> attachments = new ConcurrentHashMap<String, Object>();
private TransactionXid xid;
private TransactionStatus status;
private TransactionType transactionType;
private volatile int retriedCount = 0;
private Date lastUpdateTime = new Date();
private long version = 0;
private TransactionXid rootXid;
public void enlistParticipant(Participant participant) {
participants.add(participant);
}
public void commit() {
for (Participant participant : participants) {
if (!participant.getStatus().equals(ParticipantStatus.CONFIRM_SUCCESS)) {
participant.commit();
participant.setStatus(ParticipantStatus.CONFIRM_SUCCESS);
}
}
}
public void rollback() {
for (Participant participant : participants) {
if (!participant.getStatus().equals(ParticipantStatus.CANCEL_SUCCESS)) {
participant.rollback();
participant.setStatus(ParticipantStatus.CANCEL_SUCCESS);
}
}
}
}
- xid,事务编号( TransactionXid ),用于唯一标识一个事务。使用 UUID 算法生成,保证唯一性。
org.mengyun.tcctransaction.api.TransactionXid 实现 javax.transaction.xa.Xid 接口,实现代码如下:
public class TransactionXid implements Xid, Serializable {
private static final long serialVersionUID = -6817267250789142043L;
private static byte[] CUSTOMIZED_TRANSACTION_ID = "UniqueIdentity".getBytes();
private int formatId = 1;
private byte[] globalTransactionId;
private byte[] branchQualifier;
}
- status,事务状态( TransactionStatus )。
org.mengyun.tcctransaction.api.TransactionStatus 实现代码如下:
public enum TransactionStatus {
TRYING(1),
CONFIRMING(2),
CANCELLING(3),
TRY_SUCCESS(11),
TRY_FAILED(12);
}
- transactionType,事务类型( TransactionType )。
org.mengyun.tcctransaction.common.TransactionType 实现代码如下:
public enum TransactionType {
ROOT(1),
BRANCH(2);
}
-
retriedCount,重试次数。在 TCC 过程中,可能参与者异常崩溃,这个时候会进行重试直到成功或超过最大次数。 -
version,版本号,用于乐观锁更新事务。在《事务存储器》详细解析。 -
attachments,附带属性映射。 在《Dubbo 支持》详细解析。 -
提供 #enlistParticipant() 方法,添加事务参与者。 -
提供 #commit() 方法,调用参与者们提交事务。 -
提供 #rollback() 方法,调用参与者回滚事务。
3.2 参与者
public class Participant implements Serializable {
private static final long serialVersionUID = 4127729421281425247L;
Class<? extends TransactionContextEditor> transactionContextEditorClass;
private TransactionXid rootXid;
private TransactionXid xid;
private InvocationContext confirmInvocationContext;
private InvocationContext cancelInvocationContext;
private int status = ParticipantStatus.TRYING.getId();
- xid,参与者事务编号。通过
TransactionXid.globalTransactionId 属性,关联上其所属的事务。当参与者进行远程调用时,远程的分支事务的事务编号等于该参与者的事务编号。通过事务编号的关联,TCC Confirm / Cancel 阶段,使用参与者的事务编号和远程的分支事务进行关联,从而实现事务的提交和回滚,在「4.2 传播发起分支事务」 + 「5.2 可补偿事务拦截器」可以看到具体实现。 - confirmInvocationContext,确认执行业务方法调用上下文( InvocationContext )。
org.mengyun.tcctransaction.InvocationContext 实现代码如下:
public class InvocationContext implements Serializable {
private static final long serialVersionUID = -7969140711432461165L;
private Class targetClass;
private String methodName;
private Class[] parameterTypes;
private Object[] args;
}
-
InvocationContext,执行方法调用上下文,记录类、方法名、参数类型数组、参数数组。通过这些属性,可以执行提交 / 回滚事务。在 org.mengyun.tcctransaction.Terminator 会看到具体的代码实现。本质上,TCC 通过多个参与者的 try / confirm / cancel 方法,实现事务的最终一致性。 -
cancelInvocationContext,取消执行业务方法调用上下文(InvocationContext)。 -
transactionContextEditorClass,事务上下文编辑,在「5.1 Compensable」详细解析。 -
提交 #commit() 方法,提交参与者自己的事务。 -
提交 #rollback() 方法,回滚参与者自己的事务。
四. 事务管理器
org.mengyun.tcctransaction.TransactionManager ,事务管理器,提供事务的获取、发起、提交、回滚,参与者的新增等等方法。
4.1 发起根事务
提供 begin() 方法,发起根事务。该方法在调用方法类型为 MethodType.ROOT 并且 事务处于 Try 阶段被调用。MethodType 在「5.2 可补偿事务拦截器」详细解析。
实现代码如下:
public Transaction begin() {
Transaction transaction = new Transaction(TransactionType.ROOT);
registerTransaction(transaction);
return transaction;
}
-
调用 Transaction 构造方法,创建根事务。实现代码如下:
public Transaction(TransactionType transactionType) {
this(null, transactionType);
}
public Transaction(Object uniqueIdentity, TransactionType transactionType) {
this.xid = new TransactionXid(uniqueIdentity);
this.status = TransactionStatus.TRYING;
this.transactionType = transactionType;
if (transactionType.equals(TransactionType.ROOT)) {
this.rootXid = xid;
}
}
-
调用 #registerTransaction(...) 方法,注册事务到当前线程事务队列。实现代码如下: private static final ThreadLocal<Deque<Transaction>> CURRENT = new ThreadLocal<Deque<Transaction>>();
private void registerTransaction(Transaction transaction) {
if (CURRENT.get() == null) {
CURRENT.set(new LinkedList<Transaction>());
}
CURRENT.get().push(transaction);
}
- 可能有同学会比较好奇,为什么使用队列存储当前线程事务?TCC-Transaction 支持多个的事务独立存在,后创建的事务先提交,类似 Spring 的
org.springframework.transaction.annotation.Propagation.REQUIRES_NEW 。在下文,很快我们就会看到 TCC-Transaction 自己的 org.mengyun.tcctransaction.api.Propagation 。
4.2 创建分支事务
调用 #propagationNewBegin(...) 方法,创建分支事务。该方法在调用方法类型为 MethodType.PROVIDER 并且 事务处于 Try 阶段被调用。MethodType 在「5.2 可补偿事务拦截器」详细解析。
实现代码如下:
public Transaction propagationNewBegin(TransactionContext transactionContext) {
Transaction transaction = new Transaction(transactionContext);
registerTransaction(transaction);
return transaction;
}
-
调用 Transaction 构造方法,创建分支事务。实现代码如下:
public Transaction(TransactionContext transactionContext) {
this.xid = transactionContext.getXid();
this.rootXid = transactionContext.getRootXid();
this.status = TransactionStatus.TRYING;
this.transactionType = TransactionType.BRANCH;
}
-
调用 TransactionRepository#crete() 方法,存储事务。为什么要存储分支事务,在「5.3 资源协调者拦截器」详细解析。 -
调用 #registerTransaction(...) 方法,注册事务到当前线程事务队列。
4.3 获取分支事务
调用 #propagationExistBegin(...) 方法,根据Xid获取分支事务。该方法在调用方法类型为 MethodType.PROVIDER 并且 事务处于 Confirm / Cancel 阶段被调用。MethodType 在「5.2 可补偿事务拦截器」详细解析。
public Transaction propagationExistBegin(TransactionContext transactionContext) throws NoExistedTransactionException {
Transaction transaction = transactionRepository.findByXid(transactionContext.getXid());
if (transaction != null) {
registerTransaction(transaction);
return transaction;
} else {
throw new NoExistedTransactionException();
}
}
- 调用
TransactionRepository#findByXid() 方法,查询事务。 - 调用
#registerTransaction(...) 方法,注册事务到当前线程事务队列。 - 为什么此处是分支事务呢?结合
#propagationNewBegin(...) 思考下。
4.4 提交事务
调用 #commit(...) 方法,提交事务。该方法在事务处于 Confirm / Cancel 阶段被调用。
public void commit(boolean asyncCommit) {
final Transaction transaction = getCurrentTransaction();
transaction.changeStatus(TransactionStatus.CONFIRMING);
transactionRepository.update(transaction);
if (asyncCommit) {
try {
Long statTime = System.currentTimeMillis();
asyncTerminatorExecutorService.submit(new Runnable() {
@Override
public void run() {
commitTransaction(transaction);
}
});
logger.debug("async submit cost time:" + (System.currentTimeMillis() - statTime));
} catch (Throwable commitException) {
logger.warn("compensable transaction async submit confirm failed, recovery job will try to confirm later.", commitException.getCause());
}
} else {
commitTransaction(transaction);
}
}
-
asyncCommit:表示是否异步confirm,由业务开发者在@Compensable 注解中指定。 -
调用 #getCurrentTransaction() 方法, 获取事务。实现代码如下:
public Transaction getCurrentTransaction() {
if (isTransactionActive()) {
return CURRENT.get().peek();
}
return null;
}
- 为什么获得队列头部元素呢?该元素即是上文调用
#registerTransaction(...) 注册到队列头部。 -
调用 Transaction#changeStatus(...) 方法, 设置事务状态为 CONFIRMING。 -
调用 TransactionRepository#update(...) 方法, 更新事务。 -
调用 Transaction#commit(...) 方法, 提交事务。 -
调用 TransactionRepository#delete(...) 方法,删除事务。
4.5 回滚事务
调用 #rollback(...) 方法,取消事务,和 #commit() 方法基本类似。该方法在事务处于 Confirm / Cancel 阶段被调用。
public void rollback(boolean asyncRollback) {
final Transaction transaction = getCurrentTransaction();
transaction.changeStatus(TransactionStatus.CANCELLING);
transactionRepository.update(transaction);
if (asyncRollback) {
try {
asyncTerminatorExecutorService.submit(new Runnable() {
@Override
public void run() {
rollbackTransaction(transaction);
}
});
} catch (Throwable rollbackException) {
logger.warn("compensable transaction async rollback failed, recovery job will try to rollback later.", rollbackException);
throw new CancellingException(rollbackException);
}
} else {
rollbackTransaction(transaction);
}
}
4.6 添加事务到事务管理器
调用 #enlistParticipant(...) 方法,添加参与者到事务。该方法在事务处于 Try 阶段被调用,在「5.3 资源协调者拦截器」有详细解析。
public void enlistParticipant(Participant participant) {
Transaction transaction = this.getCurrentTransaction();
transaction.enlistParticipant(participant);
if (transaction.getVersion() == 0l) {
transactionRepository.create(transaction);
} else {
transactionRepository.update(transaction);
}
}
五. 事务拦截器
tcc-transaction 基于 org.mengyun.tcctransaction.api.@Compensable + org.aspectj.lang.annotation.@Aspect 注解 AOP 切面实现业务方法的 TCC 事务声明拦截,同 Spring 的 org.springframework.transaction.annotation.@Transactional 的实现。
TCC-Transaction 有两个拦截器:
org.mengyun.tcctransaction.interceptor.CompensableTransactionInterceptor ,可补偿事务拦截器。org.mengyun.tcctransaction.interceptor.ResourceCoordinatorInterceptor ,资源协调者拦截器。
在分享拦截器的实现之前,我们先一起看看 @Compensable 注解。
5.1 Compensable
@Retention(RetentionPolicy.RUNTIME)
@Target({ElementType.METHOD})
public @interface Compensable {
public Propagation propagation() default Propagation.REQUIRED;
public String confirmMethod() default "";
public String cancelMethod() default "";
public boolean asyncConfirm() default false;
public boolean asyncCancel() default false;
public Class<? extends TransactionContextEditor> transactionContextEditor() default NullableTransactionContextEditor.class;
}
-
propagation,传播级别( Propagation ),默认 Propagation.REQUIRED。和 Spring 的 Propagation 除了缺少几个属性,基本一致。实现代码如下: public enum Propagation {
REQUIRED(0),
SUPPORTS(1),
MANDATORY(2),
REQUIRES_NEW(3);
private final int value;
private Propagation(int value) {
this.value = value;
}
public int value() {
return this.value;
}
}
-
confirmMethod,确认执行业务方法名。 -
cancelMethod,取消执行业务方法名。 -
TransactionContextEditor,事务上下文编辑器(TransactionContextEditor),用于设置和获得事务上下文( TransactionContext),在「5.3 资源协调者拦截器」可以看到被调用,此处只看它的代码实现。org.mengyun.tcctransaction.api.TransactionContextEditor 接口代码如下: public interface TransactionContextEditor {
public TransactionContext get(Object target, Method method, Object[] args);
public void set(TransactionContext transactionContext, Object target, Method method, Object[] args);
}
-
NullableTransactionContextEditor:默认事务上下文编辑器,即无事务上下文编辑器实现。(1.2.x版本的tcc-transaction默认的事务上下文编辑器是DefaultTransactionContextEditor ,也就是1.7.x版本的ParameterTransactionContextEditor ),当无需进行事务传播时,可以使用该事务上下文编辑器。 public class NullableTransactionContextEditor implements TransactionContextEditor {
@Override
public TransactionContext get(Object target, Method method, Object[] args) {
return null;
}
@Override
public void set(TransactionContext transactionContext, Object target, Method method, Object[] args) {
}
}
-
ParameterTransactionContextEditor:
public class ParameterTransactionContextEditor implements TransactionContextEditor {
public static int getTransactionContextParamPosition(Class<?>[] parameterTypes) {
int position = -1;
for (int i = 0; i < parameterTypes.length; i++) {
if (parameterTypes[i].equals(org.mengyun.tcctransaction.api.TransactionContext.class)) {
position = i;
break;
}
}
return position;
}
public static boolean hasTransactionContextParameter(Class<?>[] parameterTypes) {
return getTransactionContextParamPosition(parameterTypes) >= 0;
}
public static TransactionContext getTransactionContextFromArgs(Object[] args) {
TransactionContext transactionContext = null;
for (Object arg : args) {
if (arg != null && org.mengyun.tcctransaction.api.TransactionContext.class.isAssignableFrom(arg.getClass())) {
transactionContext = (org.mengyun.tcctransaction.api.TransactionContext) arg;
}
}
return transactionContext;
}
@Override
public TransactionContext get(Object target, Method method, Object[] args) {
int position = getTransactionContextParamPosition(method.getParameterTypes());
if (position >= 0) {
return (TransactionContext) args[position];
} else {
throw new RuntimeException("No TransactionContext parameter exist while get TransactionContext with ParameterTransactionContextEditor!");
}
}
@Override
public void set(TransactionContext transactionContext, Object target, Method method, Object[] args) {
int position = getTransactionContextParamPosition(method.getParameterTypes());
if (position >= 0) {
args[position] = transactionContext;
} else {
throw new RuntimeException("No TransactionContext parameter exist while set TransactionContext with ParameterTransactionContextEditor!");
}
}
}
-
DubboTransactionContextEditor,Dubbo 事务上下文编辑器实现,通过 Dubbo 隐式传参方式获得事务上下文,在《Dubbo 支持》详细解析。
5.2 事务拦截器
先一起来看下事务拦截器对应的切面 org.mengyun.tcctransaction.interceptor.CompensableTransactionAspect ,实现代码如下:
@Aspect
public abstract class CompensableTransactionAspect {
private CompensableTransactionInterceptor compensableTransactionInterceptor;
public void setCompensableTransactionInterceptor(CompensableTransactionInterceptor compensableTransactionInterceptor) {
this.compensableTransactionInterceptor = compensableTransactionInterceptor;
}
@Pointcut("@annotation(org.mengyun.tcctransaction.api.Compensable)")
public void compensableTransactionPointcut() {
}
@Around("compensableTransactionPointcut()")
public Object interceptCompensableMethod(ProceedingJoinPoint pjp) throws Throwable {
Method method = ((MethodSignature) pjp.getSignature()).getMethod();
Compensable compensable = method.getAnnotation(Compensable.class);
Class<? extends TransactionContextEditor> transactionContextEditor = NullableTransactionContextEditor.class;
if (compensable != null) {
transactionContextEditor = compensable.transactionContextEditor();
}
if (transactionContextEditor.equals(NullableTransactionContextEditor.class)
&& ParameterTransactionContextEditor.hasTransactionContextParameter(method.getParameterTypes())) {
transactionContextEditor = ParameterTransactionContextEditor.class;
}
return compensableTransactionInterceptor.interceptCompensableMethod(new AspectJTransactionMethodJoinPoint(pjp, compensable, transactionContextEditor));
}
public abstract int getOrder();
}
在tcc-transaction-spring 模块中ConfigurableTransactionAspect 继承了CompensableTransactionAspect ,在原先的基础上提供了可配置化的功能,需要注意的是该类 实现了org.springframework.core.Ordered#getOrder 接口,这样就可以保证在整个AOP切面链中,“事务拦截器”位于“资源协调者拦截器”外层。
@Aspect
public class ConfigurableTransactionAspect extends CompensableTransactionAspect implements Ordered {
@Autowired
private TransactionConfigurator transactionConfigurator;
@PostConstruct
public void init() {
TransactionManager transactionManager = transactionConfigurator.getTransactionManager();
CompensableTransactionInterceptor compensableTransactionInterceptor = new CompensableTransactionInterceptor();
compensableTransactionInterceptor.setTransactionManager(transactionManager);
this.setCompensableTransactionInterceptor(compensableTransactionInterceptor);
}
@Override
public int getOrder() {
return Ordered.HIGHEST_PRECEDENCE;
}
public void setTransactionConfigurator(TransactionConfigurator transactionConfigurator) {
this.transactionConfigurator = transactionConfigurator;
}
}
-
通过 org.aspectj.lang.annotation.@Pointcut + org.aspectj.lang.annotation.@Around 注解,配置对 @Compensable 注解的方法进行拦截,调用 CompensableTransactionInterceptor#interceptCompensableMethod(...) 方法进行处理。 public Object interceptCompensableMethod(TransactionMethodJoinPoint pjp) throws Throwable {
Transaction transaction = transactionManager.getCurrentTransaction();
CompensableMethodContext compensableMethodContext = new CompensableMethodContext(pjp, transaction);
switch (compensableMethodContext.getParticipantRole()) {
case ROOT:
return rootMethodProceed(compensableMethodContext);
case PROVIDER:
return providerMethodProceed(compensableMethodContext);
default:
return compensableMethodContext.proceed();
}
}
-
调用CompensableMethodContext构造器,创建可补偿方法上下文,代码如下: public class CompensableMethodContext {
TransactionMethodJoinPoint pjp = null;
private Transaction transaction = null;
TransactionContext transactionContext = null;
Compensable compensable = null;
public CompensableMethodContext(TransactionMethodJoinPoint pjp, Transaction transaction) {
this.pjp = pjp;
this.transaction = transaction;
this.compensable = pjp.getCompensable();
this.transactionContext = FactoryBuilder.factoryOf(pjp.getTransactionContextEditorClass()).getInstance().get(pjp.getTarget(), pjp.getMethod(), pjp.getArgs());
}
}
-
调用CompensableMethodContext#getParticipantRole 方法获取事务参与者的角色:
public ParticipantRole getParticipantRole() {
if (compensable != null && transaction == null && transactionContext == null) {
return ParticipantRole.ROOT;
}
if (compensable != null && transaction == null && transactionContext != null) {
return ParticipantRole.PROVIDER;
}
if (compensable != null && transaction != null && transactionContext == null) {
return ParticipantRole.CONSUMER;
}
if (compensable != null && transaction != null && transactionContext != null) {
return ParticipantRole.CONSUMER;
}
if (compensable == null && transaction != null && transactionContext == null) {
return ParticipantRole.CONSUMER;
}
return ParticipantRole.NORMAL;
}
-
方法类型为 ParticipantRole.ROOT 时,创建根事务
private Object rootMethodProceed(CompensableMethodContext compensableMethodContext) throws Throwable {
Object returnValue = null;
Transaction transaction = null;
boolean asyncConfirm = compensableMethodContext.getAnnotation().asyncConfirm();
boolean asyncCancel = compensableMethodContext.getAnnotation().asyncCancel();
try {
transaction = transactionManager.begin(compensableMethodContext.getUniqueIdentity());
try {
returnValue = compensableMethodContext.proceed();
} catch (Throwable tryingException) {
transactionManager.rollback(asyncCancel);
throw tryingException;
}
transactionManager.commit(asyncConfirm);
} finally {
transactionManager.cleanAfterCompletion(transaction);
}
return returnValue;
}
-
调用 TransactionManager#begin() 方法,创建根事务,TCC Try 阶段开始。 -
调用 ProceedingJoinPoint#proceed() 方法,执行方法原逻辑(即Try逻辑)。 -
当原逻辑执行异常时,TCC Try 阶段失败,调用 TransactionManager#rollback(...) 方法,TCC Cancel 阶段,回滚事务。 -
当原逻辑执行成功时,TCC Try 阶段成功,调用 TransactionManager#commit(...) 方法,TCC Confirm 阶段,提交事务。 -
调用 TransactionManager#cleanAfterCompletion(...) 方法,将事务从当前线程事务队列移除,避免线程冲突。实现代码如下:
public void cleanAfterCompletion(Transaction transaction) {
if (isTransactionActive() && transaction != null) {
Transaction currentTransaction = getCurrentTransaction();
if (currentTransaction == transaction) {
CURRENT.get().pop();
if (CURRENT.get().size() == 0) {
CURRENT.remove();
}
} else {
throw new SystemException("Illegal transaction when clean after completion");
}
}
}
-
方法类型为 ParticipantRole.PROVIDER 时,发起分支事务 private Object providerMethodProceed(CompensableMethodContext compensableMethodContext) throws Throwable {
Transaction transaction = null;
boolean asyncConfirm = compensableMethodContext.getAnnotation().asyncConfirm();
boolean asyncCancel = compensableMethodContext.getAnnotation().asyncCancel();
try {
switch (TransactionStatus.valueOf(compensableMethodContext.getTransactionContext().getStatus())) {
case TRYING:
transaction = transactionManager.propagationNewBegin(compensableMethodContext.getTransactionContext());
Object result = null;
try {
result = compensableMethodContext.proceed();
transactionManager.changeStatus(TransactionStatus.TRY_SUCCESS, true);
} catch (Throwable e) {
transactionManager.changeStatus(TransactionStatus.TRY_FAILED);
throw e;
}
return result;
case CONFIRMING:
try {
transaction = transactionManager.propagationExistBegin(compensableMethodContext.getTransactionContext());
transactionManager.commit(asyncConfirm);
} catch (NoExistedTransactionException excepton) {
logger.info("no existed transaction found at CONFIRMING stage, will ignore and confirm automatically. transaction:" + JSON.toJSONString(transaction));
}
break;
case CANCELLING:
try {
int transactionStatusFromConsumer = compensableMethodContext.getTransactionContext().getParticipantStatus();
transaction = transactionManager.propagationExistBegin(compensableMethodContext.getTransactionContext());
if (transaction.getStatus().equals(TransactionStatus.TRY_SUCCESS)
|| transaction.getStatus().equals(TransactionStatus.TRY_FAILED)
|| transaction.getStatus().equals(TransactionStatus.CANCELLING)
|| transactionStatusFromConsumer == ParticipantStatus.TRY_SUCCESS.getId()) {
transactionManager.rollback(asyncCancel);
} else {
throw new IllegalTransactionStatusException("Branch transaction status is TRYING, cannot rollback directly, waiting for recovery job to rollback.");
}
} catch (NoExistedTransactionException exception) {
logger.info("no existed transaction found at CANCELLING stage, will ignore and cancel automatically. transaction:" + JSON.toJSONString(transaction));
}
break;
}
} finally {
transactionManager.cleanAfterCompletion(transaction);
}
Method method = compensableMethodContext.getMethod();
return ReflectionUtils.getNullValue(method.getReturnType());
}
-
Trying阶段为什么要创建分支事务?在根事务进行 Confirm / Cancel 时,调用根事务上的参与者们提交或回滚事务时,进行RPC调用远程参与者,远程事务参与者根据传播的事务ID,查询到当前事务上下文,然后进行事务的提交或回滚。 -
当事务处于 TransactionStatus.TRYING 时,调用 TransactionManager#propagationExistBegin(...) 方法,创建分支事务。分支事务创建完成后,调用 ProceedingJoinPoint#proceed() 方法,执行方法原逻辑( 即 Try 逻辑 )。 -
当事务处于 TransactionStatus.CONFIRMING 时,调用 TransactionManager#commit() 方法,提交事务。 -
当事务处于 TransactionStatus.CANCELLING 时,调用 TransactionManager#rollback() 方法,提交事务。 -
调用 TransactionManager#cleanAfterCompletion(...) 方法,将事务从当前线程事务队列移除,避免线程冲突。 -
当事务处于 TransactionStatus.CONFIRMING / TransactionStatus.CANCELLING 时,调用 ReflectionUtils#getNullValue(...) 方法,返回空值。为什么返回空值?Confirm / Cancel 相关方法,是通过 AOP 切面调用,只调用,不处理返回值,但是又不能没有返回值,因此直接返回空。实现代码如下: public static Object getNullValue(Class type) {
if (boolean.class.equals(type)) {
return false;
} else if (byte.class.equals(type)) {
return 0;
} else if (short.class.equals(type)) {
return 0;
} else if (int.class.equals(type)) {
return 0;
} else if (long.class.equals(type)) {
return 0;
} else if (float.class.equals(type)) {
return 0;
} else if (double.class.equals(type)) {
return 0;
} else if (char.class.equals(type)) {
return ' ';
}
return null;
}
-
方法类型为 ParticipantRole.CONSUMER时,不发起新的事务,直接执行业务方法。 -
方法类型为 ParticipantRole.Normal 时,不进行事务处理。
5.3 资源协调者拦截器
先一起来看下资源协调者拦截器 对应的切面 org.mengyun.tcctransaction.interceptor.ResourceCoordinatorAspect ,实现代码如下:
@Aspect
public abstract class ResourceCoordinatorAspect {
private ResourceCoordinatorInterceptor resourceCoordinatorInterceptor;
@Pointcut("@annotation(org.mengyun.tcctransaction.api.Compensable) || execution(* *(org.mengyun.tcctransaction.api.TransactionContext,..))")
public void transactionResourcePointcut() {
}
@Around("transactionResourcePointcut()")
public Object interceptTransactionResourceMethodWithCompensableAnnotation(ProceedingJoinPoint pjp) throws Throwable {
Method method = ((MethodSignature) pjp.getSignature()).getMethod();
Compensable compensable = method.getAnnotation(Compensable.class);
Class<? extends TransactionContextEditor> transactionContextEditor = NullableTransactionContextEditor.class;
if (compensable != null) {
transactionContextEditor = compensable.transactionContextEditor();
}
if (transactionContextEditor.equals(NullableTransactionContextEditor.class)
&& ParameterTransactionContextEditor.hasTransactionContextParameter(method.getParameterTypes())) {
transactionContextEditor = ParameterTransactionContextEditor.class;
}
return interceptTransactionContextMethod(new AspectJTransactionMethodJoinPoint(pjp, compensable, transactionContextEditor));
}
public Object interceptTransactionContextMethod(TransactionMethodJoinPoint pjp) throws Throwable {
return resourceCoordinatorInterceptor.interceptTransactionContextMethod(pjp);
}
public void setResourceCoordinatorInterceptor(ResourceCoordinatorInterceptor resourceCoordinatorInterceptor) {
this.resourceCoordinatorInterceptor = resourceCoordinatorInterceptor;
}
public abstract int getOrder();
}
-
通过 org.aspectj.lang.annotation.@Pointcut + org.aspectj.lang.annotation.@Around 注解,配置对 @Compensable 注解的方法进行拦截,调用 ResourceCoordinatorInterceptor#interceptTransactionContextMethod(...) 方法进行处理。 -
ResourceCoordinatorInterceptor 实现代码如下: public Object interceptTransactionContextMethod(TransactionMethodJoinPoint pjp) throws Throwable {
Transaction transaction = transactionManager.getCurrentTransaction();
if (transaction != null && transaction.getStatus().equals(TransactionStatus.TRYING)) {
Participant participant = enlistParticipant(pjp);
if (participant != null) {
Object result = null;
try {
result = pjp.proceed(pjp.getArgs());
participant.setStatus(ParticipantStatus.TRY_SUCCESS);
} catch (Throwable e) {
participant.setStatus(ParticipantStatus.TRY_FAILED);
throw e;
}
return result;
}
}
return pjp.proceed(pjp.getArgs());
}
-
当事务处于 TransactionStatus.TRYING 时,调用 #enlistParticipant(...) 方法,添加事务参与者。 private Participant enlistParticipant(TransactionMethodJoinPoint pjp) {
Transaction transaction = transactionManager.getCurrentTransaction();
CompensableMethodContext compensableMethodContext = new CompensableMethodContext(pjp, transaction);
if (compensableMethodContext.getParticipantRole().equals(ParticipantRole.NORMAL)) {
return null;
}
String confirmMethodName = compensableMethodContext.getConfirmMethodName();
String cancelMethodName = compensableMethodContext.getCancelMethodName();
Class<? extends TransactionContextEditor> transactionContextEditorClass = compensableMethodContext.getTransactionContextEditorClass();
TransactionXid xid = new TransactionXid(transaction.getXid().getGlobalTransactionId());
if (compensableMethodContext.getTransactionContext() == null) {
FactoryBuilder.factoryOf(transactionContextEditorClass).getInstance().set(new TransactionContext(transaction.getRootXid(), xid, TransactionStatus.TRYING.getId(), ParticipantStatus.TRYING.getId()), pjp.getTarget(), pjp.getMethod(), pjp.getArgs());
}
Class targetClass = ReflectionUtils.getDeclaringType(pjp.getTarget().getClass(), compensableMethodContext.getMethod().getName(), compensableMethodContext.getMethod().getParameterTypes());
InvocationContext confirmInvocation = new InvocationContext(targetClass,
confirmMethodName,
compensableMethodContext.getMethod().getParameterTypes(), pjp.getArgs());
InvocationContext cancelInvocation = new InvocationContext(targetClass,
cancelMethodName,
compensableMethodContext.getMethod().getParameterTypes(), pjp.getArgs());
Participant participant =
new Participant(
transaction.getRootXid(),
xid,
confirmInvocation,
cancelInvocation,
transactionContextEditorClass);
transactionManager.enlistParticipant(participant);
return participant;
}
- 调用
#getCurrentTransaction() 方法, 获取事务。 - 调用 TransactionXid 构造方法,创建分支事务编号。
- 调用 InvocationContext 构造方法,分别创建确认执行方法调用上下文和取消执行方法调用上下文。
- 调用
TransactionManager#enlistParticipant(...) 方法,添加事务参与者到事务。 -
调用 ProceedingJoinPoint#proceed(...) 方法,执行方法原逻辑。
六. 事务存储器
在 TCC 的过程中,根据应用内存中的事务信息完成整个事务流程。但是实际业务场景中,将事务信息只放在应用内存中是远远不够可靠的。例如:
- 应用进程异常崩溃,未完成的事务信息将丢失。
- 应用进程集群,当提供远程服务调用时,事务信息需要集群内共享。
- 发起事务的应用需要重启部署新版本,因为各种原因,有未完成的事务。
因此,TCC-Transaction 将事务信息添加到内存中的同时,会使用外部存储进行持久化。目前提供四种外部存储:
- JdbcTransactionRepository,JDBC 事务存储器
- RedisTransactionRepository,Redis 事务存储器
- ZooKeeperTransactionRepository,Zookeeper 事务存储器
- FileSystemTransactionRepository,File 事务存储器
6.1 序列化
在「3. 事务与参与者」,可以看到 Transaction 是一个比较复杂的对象,内嵌 Participant 数组,而 Participant 本身也是复杂的对象,内嵌了更多的其他对象,因此,存储器在持久化 Transaction 时,需要序列化后才能存储。
org.mengyun.tcctransaction.serializer.ObjectSerializer ,对象序列化接口。实现代码如下:
public interface ObjectSerializer<T> {
byte[] serialize(T t);
T deserialize(byte[] bytes);
}
目前提供 JdkSerializationSerializer、KryoTransactionSerializer、JacksonTransactionSerializer 等实现方式。开发者可以在配置TransactionRepository时指定序列化器:
@Bean("transactionRepository")
public TransactionRepository memoryStoreTransactionRepository2(JedisPool jedisPool) {
RedisTransactionRepository repository = new RedisTransactionRepository();
repository.setDomain("TCC:DUBBO:INVENTORY:");
repository.setRootDomain("TCC:DUBBO:ORDER");
repository.setSerializer(new JacksonTransactionSerializer());
repository.setJedisPool(jedisPool);
return repository;
}
6.2 存储器
org.mengyun.tcctransaction.TransactionRepository ,事务存储器接口。实现代码如下:
public interface TransactionRepository {
int create(Transaction transaction);
int update(Transaction transaction);
int delete(Transaction transaction);
Transaction findByXid(TransactionXid xid);
List<Transaction> findAllUnmodifiedSince(Date date);
}
不同的存储器通过实现该接口,提供事务的增删改查功能。
七. 事务恢复
TCC 恢复。主要涉及如下二个 package 路径下的类:
org.mengyun.tcctransaction.recover -
- RecoverConfig,事务恢复配置接口
- TransactionRecovery,事务恢复逻辑
org.mengyun.tcctransaction.spring.recover :-
- DefaultRecoverConfig,默认事务恢复配置实现
- RecoverScheduledJob,事务恢复定时任务
事务信息被持久化到外部的存储器中。事务存储是事务恢复的基础。通过读取外部存储器中的异常事务,定时任务会按照一定频率对事务进行重试,直到事务完成或超过最大重试次数。
7.1 事务重试配置
public interface RecoverFrequency {
int getMaxRetryCount();
int getFetchPageSize();
int getRecoverDuration();
String getCronExpression();
int getConcurrentRecoveryThreadCount();
}
#getMaxRetryCount() ,单个事务恢复最大重试次数。超过最大重试次数后,目前仅打出错误日志,下文会看到实现。#getRecoverDuration() ,单个事务恢复重试的间隔时间,单位:秒。#getCronExpression() ,定时任务 cron 表达式。#getDelayCancelExceptions() ,延迟取消异常集合。
org.mengyun.tcctransaction.recovery.DefaultRecoverFrequency 默认事务恢复配置实现,实现代码如下:
public class DefaultRecoverFrequency implements RecoverFrequency {
public static final RecoverFrequency INSTANCE = new DefaultRecoverFrequency();
private int maxRetryCount = 30;
private int recoverDuration = 30;
private String cronExpression = "0/15 * * * * ? ";
private int fetchPageSize = 500;
private int concurrentRecoveryThreadCount = Runtime.getRuntime().availableProcessors() * 2;
}
maxRetryCount ,单个事务恢复最大重试次数 为 30。recoverDuration ,单个事务恢复重试的间隔时间为 30 秒。cronExpression ,定时任务 cron 表达式为 "0/15 * * * * ?" ,每15s执行一次。
7.2 事务重试JOB
org.mengyun.tcctransaction.spring.recover.RecoverScheduledJob ,事务恢复定时任务,基于 Quartz 实现调度,不断不断不断执行事务恢复。实现代码如下:
public class RecoverScheduledJob {
private TransactionRecovery transactionRecovery;
private Scheduler scheduler;
private String jobName;
private String triggerName;
private String cronExpression;
private int delayStartSeconds;
public void init() {
try {
JobDetail jobDetail = JobBuilder.newJob(QuartzRecoveryTask.class).withIdentity(jobName).build();
jobDetail.getJobDataMap().put(QuartzRecoveryTask.RECOVERY_INSTANCE_KEY, transactionRecovery);
CronTrigger cronTrigger = TriggerBuilder.newTrigger().withIdentity(triggerName)
.withSchedule(CronScheduleBuilder.cronSchedule(cronExpression)
.withMisfireHandlingInstructionDoNothing()).build();
scheduler.scheduleJob(jobDetail, cronTrigger);
scheduler.startDelayed(delayStartSeconds);
} catch (Exception e) {
throw new SystemException(e);
}
}
}
创建的定时任务最终执行的是org.mengyun.tcctransaction.recovery.QuartzRecoveryTask方法:
public class QuartzRecoveryTask implements Job {
public final static String RECOVERY_INSTANCE_KEY = "transactionRecovery";
@Override
public void execute(JobExecutionContext context) throws JobExecutionException {
TransactionRecovery transactionRecovery = (TransactionRecovery) context.getMergedJobDataMap().get(RECOVERY_INSTANCE_KEY);
transactionRecovery.startRecover();
}
}
如果应用集群部署,会不会相同事务被多个定时任务同时重试?
答案是不会,事务在重试时会乐观锁更新,同时只有一个应用节点能更新成功。
官方解释:多机部署下,所有机器都宕机,从异常中恢复时,所有的机器岂不是都可以查询到所有的需要恢复的服务?
当然极端情况下,Socket 调用超时时间大于事务重试间隔,第一个节点在重试某个事务,一直未执行完成,第二个节点已经可以重试。
ps:建议,Socket 调用超时时间小于事务重试间隔。
是否定时任务和应用服务器解耦?
蚂蚁金服的分布式事务服务 DTS 采用 client-server 模式:
- xts-client :负责事务的创建、提交、回滚、记录。
- xts-server :负责异常事务的恢复。
FROM 《蚂蚁金融云 DTS 文档》 分布式事务服务 (Distributed Transaction Service, DTS) 是一个分布式事务框架,用来保障在大规模分布式环境下事务的最终一致性。DTS 从架构上分为 xts-client 和 xts-server 两部分,前者是一个嵌入客户端应用的 JAR 包,主要负责事务数据的写入和处理;后者是一个独立的系统,主要负责异常事务的恢复。
7.3 异常事务恢复
上述JOB最终执行的是org.mengyun.tcctransaction.recovery.TransactionRecovery#startRecover() 方法:
public void startRecover() {
ensureRecoveryInitialized();
TransactionRepository transactionRepository = transactionConfigurator.getTransactionRepository();
if (transactionRepository instanceof SentinelTransactionRepository) {
SentinelTransactionRepository sentinelTransactionRepository = (SentinelTransactionRepository) transactionRepository;
if (!sentinelTransactionRepository.getSentinelController().degrade()) {
startRecover(sentinelTransactionRepository.getWorkTransactionRepository());
}
startRecover(sentinelTransactionRepository.getDegradedTransactionRepository());
} else {
startRecover(transactionRepository);
}
}
startRecover的重载方法,通过创建恢复任务,然后将任务列表扔到线程池中并发执行:
public void startRecover(TransactionRepository transactionRepository) {
Lock recoveryLock = transactionRepository instanceof LocalStorable ? RecoveryLock.DEFAULT_LOCK : transactionConfigurator.getRecoveryLock();
if (recoveryLock.tryLock()) {
try {
String offset = null;
int totalCount = 0;
do {
Page<Transaction> page = loadErrorTransactionsByPage(transactionRepository, offset);
if (page.getData().size() > 0) {
concurrentRecoveryErrorTransactions(transactionRepository, page.getData());
offset = page.getNextOffset();
totalCount += page.getData().size();
} else {
break;
}
} while (true);
logger.debug(String.format("total recovery count %d from repository:%s", totalCount, transactionRepository.getClass().getName()));
} catch (Throwable e) {
logger.error(String.format("recovery failed from repository:%s.", transactionRepository.getClass().getName()), e);
} finally {
recoveryLock.unlock();
}
}
}
private void concurrentRecoveryErrorTransactions(TransactionRepository transactionRepository, List<Transaction> transactions) throws InterruptedException, ExecutionException {
initLogStatistics();
List<RecoverTask> tasks = new ArrayList<>();
for (Transaction transaction : transactions) {
tasks.add(new RecoverTask(transactionRepository, transaction));
}
List<Future<Void>> futures = recoveryExecutorService.invokeAll(tasks, CONCURRENT_RECOVERY_TIMEOUT, TimeUnit.SECONDS);
for (Future future : futures) {
future.get();
}
}
恢复任务最终执行的是org.mengyun.tcctransaction.recovery.TransactionRecovery#recoverErrorTransaction :
private void recoverErrorTransaction(TransactionRepository transactionRepository, Transaction transaction) {
if (transaction.getRetriedCount() > transactionConfigurator.getRecoverFrequency().getMaxRetryCount()) {
logSync.lock();
try {
if (triggerMaxRetryPrintCount.get() < logMaxPrintCount) {
logger.error(String.format(
"recover failed with max retry count,will not try again. txid:%s, status:%s,retried count:%d,transaction content:%s",
transaction.getXid(),
transaction.getStatus().getId(),
transaction.getRetriedCount(),
JSON.toJSONString(transaction)));
triggerMaxRetryPrintCount.incrementAndGet();
} else if (triggerMaxRetryPrintCount.get() == logMaxPrintCount) {
logger.error("Too many transaction's retried count max then MaxRetryCount during one page transactions recover process , will not print errors again!");
}
} finally {
logSync.unlock();
}
return;
}
try {
if (transaction.getTransactionType().equals(TransactionType.ROOT)) {
switch (transaction.getStatus()) {
case CONFIRMING:
commitTransaction(transactionRepository, transaction);
break;
case CANCELLING:
rollbackTransaction(transactionRepository, transaction);
break;
default:
break;
}
} else {
switch (transaction.getStatus()) {
case CONFIRMING:
commitTransaction(transactionRepository, transaction);
break;
case CANCELLING:
case TRY_FAILED:
rollbackTransaction(transactionRepository, transaction);
break;
case TRY_SUCCESS:
if(transactionRepository.getRootDomain() == null) {
break;
}
Transaction rootTransaction = transactionRepository.findByRootXid(transaction.getRootXid());
if (rootTransaction == null) {
rollbackTransaction(transactionRepository, transaction);
} else {
switch (rootTransaction.getStatus()) {
case CONFIRMING:
commitTransaction(transactionRepository, transaction);
break;
case CANCELLING:
rollbackTransaction(transactionRepository, transaction);
break;
default:
break;
}
}
break;
default:
break;
}
}
} catch (Throwable throwable) {
if (throwable instanceof TransactionOptimisticLockException
|| ExceptionUtils.getRootCause(throwable) instanceof TransactionOptimisticLockException) {
logger.warn(String.format(
"optimisticLockException happened while recover. txid:%s, status:%d,retried count:%d",
transaction.getXid(),
transaction.getStatus().getId(),
transaction.getRetriedCount()));
} else {
logSync.lock();
try {
if (recoveryFailedPrintCount.get() < logMaxPrintCount) {
logger.error(String.format("recover failed, txid:%s, status:%s,retried count:%d,transaction content:%s",
transaction.getXid(),
transaction.getStatus().getId(),
transaction.getRetriedCount(),
JSON.toJSONString(transaction)), throwable);
recoveryFailedPrintCount.incrementAndGet();
} else if (recoveryFailedPrintCount.get() == logMaxPrintCount) {
logger.error("Too many transaction's recover error during one page transactions recover process , will not print errors again!");
}
} finally {
logSync.unlock();
}
}
}
}
- 当单个事务超过最大重试次数时,不再重试,只打印异常,此时需要人工介入解决。可以接入 ELK 收集日志监控报警。
- 当分支事务超过最大可重试时间时,不再重试。可能有同学和我一开始理解的是相同的,实际分支事务对应的应用服务器也可以重试分支事务,不是必须根事务发起重试,从而一起重试分支事务。这点要注意下。
- 当事务处于 TransactionStatus.CONFIRMING 状态时,提交事务,逻辑和
TransactionManager#commit() 类似。 - 当事务处于 TransactionStatus.CONFIRMING 状态,或者事务类型为根事务,回滚事务,逻辑和
TransactionManager#rollback() 类似。这里加判断的事务类型为根事务,用于处理延迟回滚异常的事务的回滚。
八. Dubbo实现
8.1 DubboTransactionContextEditor
[5.3 资源协调者拦截器] 在切面方法调用之前会尝试创建事务参与者,此时DubboTransactionContextEditor会通过Dubbo隐式传参的方式,将事务信息传递给下游服务:
public class DubboTransactionContextEditor implements TransactionContextEditor {
@Override
public TransactionContext get(Object target, Method method, Object[] args) {
String context = RpcContext.getContext().getAttachment(TransactionContextConstants.TRANSACTION_CONTEXT);
if (StringUtils.isNotEmpty(context)) {
return JSON.parseObject(context, TransactionContext.class);
}
return null;
}
@Override
public void set(TransactionContext transactionContext, Object target, Method method, Object[] args) {
RpcContext.getContext().setAttachment(TransactionContextConstants.TRANSACTION_CONTEXT, JSON.toJSONString(transactionContext));
}
}
8.2 CompensableTransactionFilter
在tcc-transaction与Dubbo整合后,当前事务代码在调用远程RPC服务之前,会创建一个事务参与者(内部包含confirm、cancel上下文信息)并放入当前事务中保存,这样就可以在当前事务回滚时通知下游分支事务进行回滚操作。而创建Dubbo事务参与者的逻辑就是通过Dubbo Filter机制去实现(Dubbo Filter具体参见:调用拦截扩展 | Apache Dubbo)。
DubboTransactionContextEditor中,会对Dubbo RPC方法进行拦截,拦截后通过ResourceCoordinatorAspect#interceptTransactionContextMethod 方法创建事务参与者,并传播分支事务ID:
package org.mengyun.tcctransaction.dubbo.filter;
@Activate(group = {Constants.CONSUMER})
public class CompensableTransactionFilter implements Filter {
@Override
public Result invoke(Invoker<?> invoker, Invocation invocation) throws RpcException {
Method method = null;
try {
method = invoker.getInterface().getMethod(invocation.getMethodName(), invocation.getParameterTypes());
if (ParameterTransactionContextEditor.hasTransactionContextParameter(invocation.getParameterTypes())) {
return invoker.invoke(invocation);
}
EnableTcc enableTcc = method.getAnnotation(EnableTcc.class);
if (enableTcc != null) {
DubboInvokeProceedingJoinPoint pjp = new DubboInvokeProceedingJoinPoint(invoker, invocation, null, DubboTransactionContextEditor.class);
return (Result) FactoryBuilder.factoryOf(ResourceCoordinatorAspect.class).getInstance().interceptTransactionContextMethod(pjp);
} else {
return invoker.invoke(invocation);
}
} catch (Throwable e) {
throw new SystemException(e);
}
}
}
九. 总结
事务拦截器和事务恢复JOB,共同保证TCC事务最终一致性:
TCC依赖于事务记录,在开始TCC事务前标记创建此记录,这样在服务宕机等意外情况下,还能通过JOB保证事务状态最终恢复一致性。因为存在失败重试的逻辑,所以cancel、commit方法必须实现幂等。其实在分布式开发中,凡是涉及到写操作的地方都应该实现幂等。
事务拦截器和资源协调者拦截器协作完成TCC事务:
图中蓝色代表事务拦截器的代码逻辑、绿色代表资源协调者拦截器的代码逻辑、紫色代表Dubbo Filter代码逻辑。
事务拦截器主要完成根事务/分支事务的创建,以及事务confirm/cancel的逻辑。资源协调者拦截器主要用于创建事务参与者并将事务参与者放入事务记录中。这样上游事务通知当前事务进行confirm/cancel时,可以查出对应的事务上下文,恢复执行现场。
本文参考至:
TCC-Transaction原理 - 掘金 (juejin.cn)
分布式事务中间件 TCC-Transaction 源码解析合集 (qq.com)
tcc-transaction深入理解__再见阿郎_的专栏-CSDN博客
|