再深一点:面试工作两不误,源码级理解Spring事务

Spring有5种隔离级别,7

种传播行为。这是面试常问的内容,也是代码中经常碰到的知识点。这些知识枯燥而且乏味,其中有些非常的绕。如果栽在这上面,就实在是太可惜了。


再深一点:面试工作两不误,源码级理解Spring事务


xjjdog在一些事务的基础上,再探讨几个容易淡忘的概念,从源码层面找原因,加深我们的理解,问题大概包括:

  1. Spring的事务和数据库的事务隔离是一个概念么?
  2. Spring是如何实现事务的?
  3. 事务隔离机制都有哪些?
  4. 事务传播机制都有哪些?
  5. 查询语句需要开事务么?
  6. private方法加事务注解有用么?

1、Spring的事务和数据库的事务隔离是一个概念么?

先来第一个问题,Spring的事务隔离级别和数据的事务隔离级别,是一回事么?

其实,数据库一般只有4种隔离机制,Spring抽象出一种default,根据数据设置来变动。


再深一点:面试工作两不误,源码级理解Spring事务

  • read uncommitted(未提交读)
  • read committed(提交读、不可重复读)
  • repeatable read(可重复读)
  • serializable(可串行化)
  • default (PlatformTransactionManager默认的隔离级别,使用的就是数据库默认的)

这是因为,Spring只提供统一事务管理接口,具体实现都是由各数据库自己实现(如MySQL)。Spring会在事务开始时,根据当前环境中设置的隔离级别,调整数据库隔离级别,由此保持一致。

在DataSourceUtils文件中,代码详细的输出了这个过程。

<code>// Apply specific isolation level, if any.
Integer previousIsolationLevel = null;
if (definition != null && definition.getIsolationLevel() != TransactionDefinition.ISOLATION_DEFAULT) {
\tif (logger.isDebugEnabled()) {
\t\tlogger.debug("Changing isolation level of JDBC Connection [" + con + "] to " +
\t\t\t\tdefinition.getIsolationLevel());
\t}
\tint currentIsolation = con.getTransactionIsolation();
\tif (currentIsolation != definition.getIsolationLevel()) {
\t\tpreviousIsolationLevel = currentIsolation;
\t\tcon.setTransactionIsolation(definition.getIsolationLevel());
\t}
}/<code>

结论:三种情况,如果Spring没有指定事务隔离级别,则会采用数据库默认的事务隔离级别;当Spring指定了事务隔离级别,则会在代码里将事务隔离级别修改为指定值;当数据库不支持这种隔离级别,效果则以数据库的为准(比如采用了MyISAM引擎)。

我们会使用如下的方式进行声明。如果不是有性能和需求问题,就不要瞎改。事务处理弄不好是会锁表的,而锁表在大并发的情况下是会死人的。

<code>@Transactional(isolation = Isolation.READ_UNCOMMITTED)/<code>

2、Spring事务的7种传播机制

只要写代码,代码总会存在嵌套,或者循环,造成了事务的嵌套或者循环。那么事务在这些情况下,根据配置会有不同的反应。


再深一点:面试工作两不误,源码级理解Spring事务


  • REQUIRED 这是默认的。表示当前方法必须在一个具有事务的上下文中运行,如有客户端有事务在进行,那么被调用端将在该事务中运行,否则的话重新开启一个事务。(如果被调用端发生异常,那么调用端和被调用端事务都将回滚)
  • REQUIRE_NEW 表示当前方法必须运行在它自己的事务中。如果存在当前事务,在该方法执行期间,当前事务会被挂起
  • NESTED 如果当前方法正有一个事务在运行中,则该方法应该运行在一个嵌套事务中,被嵌套的事务可以独立于被封装的事务中进行提交或者回滚。如果封装事务存在,并且外层事务抛出异常回滚,那么内层事务必须回滚,反之,内层事务并不影响外层事务。如果封装事务不存在,则同required的一样
  • SUPPORTS 表示当前方法不必需要具有一个事务上下文,但是如果有一个事务的话,它也可以在这个事务中运行
  • NOT_SUPPORTED 表示该方法不应该在一个事务中运行。如果有一个事务正在运行,他将在运行期被挂起,直到这个事务提交或者回滚才恢复执行
  • MANDATORY 表示当前方法必须在一个事务中运行,如果没有事务,将抛出异常
  • NEVER 表示当方法务不应该在一个事务中运行,如果存在一个事务,则抛出异常

一般用得比较多的是REQUIRED , REQUIRES_NEW,用到其他的,你就要小心了,搞懂再用。

最怕如果这俩字了,它会将事情搞的很复杂,尤其是代码量大的时候,你永远不知道你写的service会被谁用到。这就很尴尬了。

我们会采用下面的方式进行声明。鉴于Spring的事务传播非常的绕,如果功能满足需求,那么就用默认的就好,否则会引起不必要的麻烦。

<code>@Transactional(propagation=Propagation.REQUIRED) /<code>

3、事务传播机制是怎么实现的?

事务传播机制看似神奇,实际上是使用简单的ThreadLocal的机制实现的。所以,如果调用的方法是在新线程调用的,事务传播实际上是会失效的。这不同于我们以前讲到的透传,Spring并没有做这样的处理。


所以事务传播机制,只有翻一遍源代码,才能印象深刻。仅靠文字去传播,很多东西会变得不可描述。


再深一点:面试工作两不误,源码级理解Spring事务

如图,PlatformTransactionManager只有简单的三个抽象接口,定义了包含JDBC在内的Spring所有的事务操作。


再深一点:面试工作两不误,源码级理解Spring事务


我们平常说的JDBC,只是占到其中一部分。

实现的方式,依然是使用AOP来实现的,具体的实现类是由TransactionAspectSupport来实现的。可以看到,代码定义了一个叫做transactionInfoHolder的ThreadLocal变量,当用到它的时候,就能够确保在同一个线程下,获取的变量是一致的。

<code>/**
* Holder to support the {@code currentTransactionStatus()} method,
\t* and to support communication between different cooperating advices
\t* (e.g. before and after advice) if the aspect involves more than a
\t* single method (as will be the case for around advice).
*/
private static final ThreadLocal<transactioninfo> transactionInfoHolder =
\t\tnew NamedThreadLocal<>("Current aspect-driven transaction");/<transactioninfo>/<code>

具体的业务逻辑,是在invokeWithinTransaction中实现的。如果你继续向下跟踪的话,会找到AbstractPlatformTransactionManager类中的getTransaction方法。

<code>@Override
public final TransactionStatus getTransaction(@Nullable TransactionDefinition definition)
\t\tthrows TransactionException {

\t// Use defaults if no transaction definition given.
\tTransactionDefinition def = (definition != null ? definition : TransactionDefinition.withDefaults());

\tObject transaction = doGetTransaction();
\tboolean debugEnabled = logger.isDebugEnabled();

\tif (isExistingTransaction(transaction)) {
\t\t// Existing transaction found -> check propagation behavior to find out how to behave.
\t\treturn handleExistingTransaction(def, transaction, debugEnabled);
\t}

\t// Check definition settings for new transaction.
\tif (def.getTimeout() < TransactionDefinition.TIMEOUT_DEFAULT) {
\t\tthrow new InvalidTimeoutException("Invalid transaction timeout", def.getTimeout());
\t}

\t// No existing transaction found -> check propagation behavior to find out how to proceed.
\tif (def.getPropagationBehavior() == TransactionDefinition.PROPAGATION_MANDATORY) {
\t\tthrow new IllegalTransactionStateException(
\t\t\t\t"No existing transaction found for transaction marked with propagation 'mandatory'");
\t}
\telse if (def.getPropagationBehavior() == TransactionDefinition.PROPAGATION_REQUIRED ||
\t\t\tdef.getPropagationBehavior() == TransactionDefinition.PROPAGATION_REQUIRES_NEW ||
\t\t\tdef.getPropagationBehavior() == TransactionDefinition.PROPAGATION_NESTED) {
\t\tSuspendedResourcesHolder suspendedResources = suspend(null);
\t\tif (debugEnabled) {
\t\t\tlogger.debug("Creating new transaction with name [" + def.getName() + "]: " + def);
\t\t}
\t\ttry {
\t\t\treturn startTransaction(def, transaction, debugEnabled, suspendedResources);
\t\t}

\t\tcatch (RuntimeException | Error ex) {
\t\t\tresume(null, suspendedResources);
\t\t\tthrow ex;
\t\t}
\t}
\telse {
\t\t// Create "empty" transaction: no actual transaction, but potentially synchronization.
\t\tif (def.getIsolationLevel() != TransactionDefinition.ISOLATION_DEFAULT && logger.isWarnEnabled()) {
\t\t\tlogger.warn("Custom isolation level specified but no actual transaction initiated; " +
\t\t\t\t\t"isolation level will effectively be ignored: " + def);
\t\t}
\t\tboolean newSynchronization = (getTransactionSynchronization() == SYNCHRONIZATION_ALWAYS);
\t\treturn prepareTransactionStatus(def, null, true, newSynchronization, debugEnabled, null);
\t}
}/<code>

不用我做过多解释了吧,一切明显的逻辑,都在代码里。事务就是在这里创建的。

4、查询方法可以不开启事务么?

事务有个readonly,控制了事务的只读属性,和事务是否开启没半毛钱关系。


<code>connection.setReadOnly(true);/<code>

在Spring中的使用方式如下:

<code>@Transactional(readOnly=true)/<code>

值得注意的是,这个属性设置之后,并不是每个底层的数据库都支持。中间层的ORM或者驱动,也可能会拿这个属性做一些文章,所以与其说这个readonly是功能性的,不如说是一种暗示。

拿MySQL来说,有两种提交模式:

  • SET AUTOCOMMIT=0 禁止自动提交
  • SET AUTOCOMMIT=1 开启自动提交

这都是实打实的SQL语句,所以如果开启了事务,AUTOCOMMIT要为false。我们可以看到Spring做了以下几个操作。

<code>con.setAutoCommit(false);/<code>

如果是只读事务,还不忘手动设置一下。

<code>if (isEnforceReadOnly() && definition.isReadOnly()) {
\ttry (Statement stmt = con.createStatement()) {
\t\tstmt.executeUpdate("SET TRANSACTION READ ONLY");
\t}
}/<code>

这种操作是很昂贵的,如果不加Transaction注解,默认是不开启事务的。单条的查询语句也是没有必要开启事务的,数据库默认的配置就能满足需求。

但如果你一次执行多条查询语句,例如统计查询,报表查询,在这种场景下,多条查询SQL必须保证整体的读一致性,否则,在前条SQL查询之后,后条SQL查询之前,数据被其他用户改变,就会造成数据的前后不一。

也仅有在这种情况下,要开启读事务。

5、private方法加事务注解有用么?

@Transaction注解加在private上,并没有什么卵用。

这倒不是事务处理的代码去写的特性。由于事务的这些功能,是通过AOP方式强加进去的,所以它收到动态代理的控制。

private和final修饰的方法,不会被代理。

但是,你却可以把private方法放在带有事务功能的public方法里。这样,它看起来也有了事务的一些功能特性,但它并没有。

End

互联网中,用到的事务并不多,很多都是非常小、速度非常快的接口,对于开发人员来说,事务是个累赘。

但在一些带有金融属性的业务中,或者一些企业级开发应用中,事务确实一个绕不过的坎。一旦深入其中,就会发现这个知识点,露着血盆大口,等君入瓮。

xjjdog从源码层次,聊到了几个面试常问的问题。不要觉得奇怪,有的人确实一直在拿着脏读、幻读这样的名词来面试。

而这些东西,都属于当时看了恍然大悟,第二天就继续懵逼的内容。

什么时候,才能务实一点呢?


链接:https://juejin.im/post/5ea66ca66fb9a03c4c5be52e
来源:掘金

喜欢对你有帮助的话记得加个关注不迷路哦

还有关注我私信回复【资料】可以领取到一些个人收集的面试及电子书资料,或许对你有帮助!

再深一点:面试工作两不误,源码级理解Spring事务

再深一点:面试工作两不误,源码级理解Spring事务



分享到:


相關文章: