spring并发更新mysql_多事务运行并发问题spring学习笔记——数据库事务并发与锁详解...

多事务运行并发问题

在实际应用中，往往是一台(或多台)服务器向无数客户程序提供服务，当服务器查询数据库获取数据时，如果没有采用必要的隔离机制，可能会存在数据库事务的并发问题，下面是一些常见的并发问题分类：

1. 第一类丢失更新：撤销一个事务，其他事务已提交的更新数据覆盖

2. 第二类丢失更新：一个事务覆盖另一个事务已提交的更新数据

3. 脏读：一个事务读到另一个事务未提交的数据

4. 虚读：一个事物读到另一个已提交的新插入数据

5. 不可重复读：事务读到另一个事务已提交的更新数据

下面对这几类并发问题进行详细介绍：

1. 第一类丢失更新

产生过程：两个事务更新同一数据，第一个事务被提交，第一个事务被撤销，会把第一个事务所做的更新也撤销，示意图如下所示：

2. 第二类丢失更新

产生过程：两个事务各自基于最初的查询结果提交数据,实例流程如下图所示：

3. 脏读

产生过程：事务二查询到事务一未提交数据，事务二根据此数据进行操作，事务一紧接着撤销数据，导致事务二操纵的是“脏数据”,实例流程如下图所示：

4.虚读(幻象读)

产生过程：对某行执行插入或删除操作，而该行属于某个事务正在读取的行的范围。若对数据精度要求不高，则影响不大,实例流程如下图所示：

5.不可重复读

产生过程：一个事务查询到另一事务已提交的对数据的更新,实例流程如下图所示：

 

与脏读区别：脏读->读取前一事务未提交的脏数据，不可重复读->重新读取了前一事务已提交的数据

数据库系统锁的基本原理

1. 锁的多粒度及自动升级：

锁的多粒度按类型可分成下面几类：

数据库级锁

表级锁

区域级锁

页面级锁

键值级锁：锁定数据库表中带有索引的一行数据

行级锁

对数据的封锁力度越大，往往隔离性越高，但并发性能变差。

对数据施行的锁粒度越高，并发性往往越大，但这意味着在大并发量时锁的数量的急剧增多，由此会带来系统资源的严重负载，影响系统系统。常用的数据库都有事务锁自动升级功能，当系统性能因为锁数量过大而急剧变差时，往往会升级使用更粗粒度的锁来扩大封锁面，减少锁数优化系统资源。

2. 锁的类型和兼容性：

共享锁

加锁条件：读取数据

解锁条件：读取完毕

兼容性:放置了共享锁的资源，能再放置共享锁和独占锁

并发性：多事务访问相同数据，多锁同时读

独占锁(排它锁)

加锁条件：修改数据且无其他锁存在

解锁条件：事务结束

兼容性:不与其他锁兼容

更新锁

加锁条件：update操作

加锁更新步骤：

获得一个共享锁，读数据

升级为独占锁，更新数据

兼容性:与共享锁兼容，同一资源最多一把更新锁，能有效避免死锁产生，我们知道，共享锁的兼容性是最好的，加入一个数据同时被两把共享锁锁住，如果这时两条线程并发修改数据，由于共享锁的非排他性，可能会同时出现两把独占锁锁住数据，这样就会产生死锁了，而更新锁排斥独占锁，当出现更新操作时，只能将更新锁本身升级为独占锁，而有效避免死锁产生。

并发性：性能一般，多事务访问，单事务修改。

-

3. 死锁产生及其解决方法：

产生过程：多事务锁定一个资源->试图去锁定对方已锁定的资源->多事务处于等待对方释放锁资源状态，示意图如下所示：

防止方法

合理安排表访问顺序

对事务要求不高，允许脏读(不加锁)

错开多事务访问相同资源的时间

使用尽可能低的事务隔离级别

使用短事务(操作尽可能少，时间尽可能短)

将大事务分解成多个小事务顺序执行

4. 悲观锁与悲观锁

悲观锁：显式为数据加锁，常见有如下两种加锁方式

显式指定独占锁：select … for update

在数据库增加表明状态的LOCK字段

乐观锁：通过版本控制实现，示意图如下所示：

 

通过乐观锁的版本控制，我们能够更好地提高并发事务的性能。

3. 数据库的事务隔离级别

4种隔离级别从高到低依次为：

- Serializable:串行化

- Repeatable Read： 可重复读

- Read Commited:读已提交的数据

- Read UnCommited:读未提交的数据

它们对并发事务问题的支持如下图所示

4. spring的事务传播行为

事务传播行为类型说明

PROPAGATION_REQUIRED

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

PROPAGATION_SUPPORTS

表示事务对当前方法可有可无，如果有，则按该事务执行，如果当前没有事务，就以非事务方式执行。

PROPAGATION_MANDATORY

表示当前方法必须在一个事务中执行，而且如果当前没有事务，就抛出异常。

PROPAGATION_REQUIRES_NEW

表示当前方法总是需要独立的新事务，如果当前已存在事务，就会把当前事务挂起,直到新的事务提交或者回滚才恢复执行

PROPAGATION_NOT_SUPPORTED

表示当前方法不需要事务，如果当前存在事务，就把当前事务挂起。

PROPAGATION_NEVER

表示当前方法不需要事务，而且如果当前存在事务，则抛出异常。

PROPAGATION_NESTED

如果当前存在事务，则在嵌套事务内执行，如果嵌套事务存在，并且外层事务抛出异常回滚，那么内层事务必须回滚，反之，内层事务并不影响外层事务