Synchronized锁在Spring事务管理下,为啥还线程不安全?

前言

只有光头才能变强。java

文本已收录至个人GitHub仓库,欢迎Star:https://github.com/ZhongFuCheng3y/3ygit

大年初二,朋友问了我一个技术的问题(朋友实在是好学,佩服!)github

该问题来源知乎(synchronized锁问题):数据库

开启10000个线程,每一个线程给员工表的money字段【初始值是0】加1,没有使用悲观锁和乐观锁,可是在业务层方法上加了synchronized关键字,问题是代码执行完毕后数据库中的money 字段不是10000,而是小于10000 问题出在哪里?安全

Service层代码:多线程

代码

SQL代码(没有加悲观/乐观锁):app

SQL代码(没有加悲观/乐观锁)

用1000个线程跑代码:ide

用1000个线程跑代码:

简单来讲:多线程跑一个使用synchronized关键字修饰的方法,方法内操做的是数据库,按正常逻辑应该最终的值是1000,但通过屡次测试,结果是低于1000。这是为何呢?测试

1、个人思考

既然测试出来的结果是低于1000,那说明这段代码不是线程安全的。不是线程安全的,那问题出如今哪呢?众所周知,synchronized方法可以保证所修饰的代码块、方法保证有序性、原子性、可见性线程

讲道理,以上的代码跑起来,问题中Service层的increaseMoney()有序的、原子的、可见的,因此判定跟synchronized应该不要紧。

(参考我以前写过的synchronize锁笔记:Java锁机制了解一下)

既然Java层面上找不到缘由,那分析一下数据库层面的吧(由于方法内操做的是数据库)。在increaseMoney()方法前加了@Transcational注解,说明这个方法是带有事务的。事务能保证同组的SQL要么同时成功,要么同时失败。讲道理,若是没有报错的话,应该每一个线程都对money值进行+1。从理论上来讲,结果应该是1000的才对。

(参考我以前写过的Spring事务:一文带你看懂Spring事务!)

根据上面的分析,我怀疑是提问者没测试好(hhhh,逃),因而我也跑去测试了一下,发现是以提问者的方式来使用是真的有问题

首先贴一下个人测试代码:

@RestController
public class EmployeeController {

    @Autowired
    private EmployeeService employeeService;

    @RequestMapping("/add")
    public void addEmployee() {
        for (int i = 0; i < 1000; i++) {
            new Thread(() -> employeeService.addEmployee()).start();
        }
    }


}

@Service
public class EmployeeService {

    @Autowired
    private EmployeeRepository employeeRepository;


    @Transactional
    public synchronized void addEmployee() {

        // 查出ID为8的记录,而后每次将年龄增长一
        Employee employee = employeeRepository.getOne(8);
        System.out.println(employee);
        Integer age = employee.getAge();
        employee.setAge(age + 1);

        employeeRepository.save(employee);
    }

}

简单地打印了每次拿到的employee值,而且拿到了SQL执行的顺序,以下(贴出小部分):

SQL执行的顺序

从打印的状况咱们能够得出:多线程状况下并没有串行执行addEmployee()方法。这就致使对同一个值作重复的修改,因此最终的数值比1000要少。

2、图解出现的缘由

发现并非同步执行的,因而我就怀疑synchronized关键字和Spring确定有点冲突。因而根据这两个关键字搜了一下,找到了问题所在。

咱们知道Spring事务的底层是Spring AOP,而Spring AOP的底层是动态代理技术。跟你们一块儿回顾一下动态代理:

public static void main(String[] args) {

        // 目标对象
        Object target ;

        Proxy.newProxyInstance(ClassLoader.getSystemClassLoader(), Main.class, new InvocationHandler() {
            @Override
            public Object invoke(Object proxy, Method method, Object[] args) throws Throwable {

                // 但凡带有@Transcational注解的方法都会被拦截

                // 1... 开启事务

                method.invoke(target);

                // 2... 提交事务

                return null;
            }
            
        });
    }

(详细请参考我以前写过的动态代理:给女友讲解什么是代理模式)

实际上Spring作的处理跟以上的思路是同样的,咱们能够看一下TransactionAspectSupport类中invokeWithinTransaction()

Spring事务管理是如何实现的

调用方法开启事务,调用方法提交事务

Spring事务和synchronized锁互斥问题

在多线程环境下,就可能会出现:方法执行完了(synchronized代码块执行完了),事务还没提交,别的线程能够进入被synchronized修饰的方法,再读取的时候,读到的是还没提交事务的数据,这个数据不是最新的,因此就出现了这个问题。

事务未提交,别的线程读取到旧数据

3、解决问题

从上面咱们能够发现,问题所在是由于@Transcational注解和synchronized一块儿使用了,加锁的范围没有包括到整个事务。因此咱们能够这样作:

新建一个名叫SynchronizedService类,让其去调用addEmployee()方法,整个代码以下:

@RestController
public class EmployeeController {

    @Autowired
    private SynchronizedService synchronizedService ;

    @RequestMapping("/add")
    public void addEmployee() {
        for (int i = 0; i < 1000; i++) {
            new Thread(() -> synchronizedService.synchronizedAddEmployee()).start();
        }
    }
}

// 新建的Service类
@Service
public class SynchronizedService {

    @Autowired
    private EmployeeService employeeService ;
	
    // 同步
    public synchronized void synchronizedAddEmployee() {
        employeeService.addEmployee();

    }
}

@Service
public class EmployeeService {

    @Autowired
    private EmployeeRepository employeeRepository;

    
    @Transactional
    public void addEmployee() {

        // 查出ID为8的记录,而后每次将年龄增长一
        Employee employee = employeeRepository.getOne(8);
        System.out.println(Thread.currentThread().getName() + employee);
        Integer age = employee.getAge();
        employee.setAge(age + 1);

        employeeRepository.save(employee);

    }
}

咱们将synchronized锁的范围包含到整个Spring事务上,这就不会出现线程安全的问题了。在测试的时候,咱们能够发现1000个线程跑起来比以前要慢得多,固然咱们的数据是正确的:

正确的数据

最后

能够发现的是,虽说Spring事务用起来咱们是很是方便的,但若是不了解一些Spring事务的细节,不少时候出现Bug了就百思不得其解。仍是得继续加油努力呀~~~

乐于输出干货的Java技术公众号:Java3y。公众号内有200多篇原创技术文章、海量视频资源、精美脑图,不妨来关注一下!

帅的人都关注了

以为个人文章写得不错,不妨点一下

相关文章
相关标签/搜索