最近有同事写了段代码,负责建立订单的逻辑,代码审查时发现可能会有并发的问题。同事并不认同,他认为他的逻辑是写在存储过程当中的,应该没有问题。html
代码的逻辑大概是(伪代码):redis
begin transaction if 查询到客户存在进行中的订单 rollback transaction if 查询到设备存在进行中的订单 rollback transaction 插入订单 commit transaction
下面针对这个逻辑进行分析,为何这个事务会出现并发问题。数据库
首先,提出两个问题,而后带着问题讨论事务相关的知识点,最后来解决这两个问题并回答前文的问题。并发
第一个问题,事务是否能够并发?分布式
第二个问题,数据库是怎么隔离事务的?性能
数据库中执行事务涉及到不少方面,包括如何处理临界资源,如何加锁解锁等等。可是不管事务如何执行,都须要保证如下几个特性:spa
原子性:全部的操做是一个逻辑单元,要么都提交成功,要么就都失败;.net
一致性:只有合法的数据被写入数据库,不然事务回滚到最初的状态;code
隔离性:容许多个事务同时进行,而不会破坏数据的正确性和完整性;htm
持久性:事务结束后,已经提交的结果被固化保存。
共享锁用于非独占的业务,容许多个事务同时读取锁定的资源,可是不容许资源被更新。
select
语句时默认会被加上排他锁,也叫独占锁。顾名思义,被排他锁锁定的资源不会容许其余事务进行任何操做。
insert,update,delete
时默认会被加上在更新的初始阶段用于锁定所须要的资源,防止在读取阶段使用共享锁形成死锁。
update
时,使用更新锁锁定相关资源通用的事务隔离级别有四种,SQL Server还有另外扩展出来的级别,在此很少介绍。
工做方式相似于可重复读。但它不只会锁定受影响的数据,还会锁定这个范围。这就阻止了新数据插入查询所涉及的范围,这种状况能够致使幻像读。
像已提交读级别那样读数据,但会保持共享锁直到事务结束。
只读取提交的数据并等待其余事务释放排他锁。读数据的共享锁在读操做完成后当即释放。已提交读是SQL Server的默认隔离级别。
在读数据时不会检查或使用任何锁。所以,在这种隔离级别中可能读取到没有提交的数据。
第一个问题,事务是否能够并发?
答案是确定的,数据库中为了提升性能,容许同时进行多个事务操做,这个事务跟发起方式无关,使用存储过程发起,或者使用代码发起,又或者使用普通的SQL语句发起并无什么区别。
第二个问题,数据库是怎么隔离事务的?
要回答这个问题,先要理解数据库中的锁机制和数据库事务隔离级别。数据库中的锁能够分为三种类型:共享锁、独占锁和更新锁。使用不一样级别的锁并配合不一样的锁定范围已达到不一样的事务隔离级别并在此基础上并发或串行执行事务。
第三个问题,为何本文开头的事务会存在并发问题?
由于事务的开始执行的是select
,select使用的是共享锁,有可能并发的事务在同一时间执行select
致使同时认为本身都是合法操做,而排队执行后续的事务。结果致使了实际上就有可能插入重复的数据,好比只剩下一个商品,却建立了两个销售订单。
根据前文所讲,使用insert,update或delete
能够在默认事务级别人为形成事务串行化,所以能够在事务内部一开始都使用update
更新一条公共的数据,这样的话同类型的事务都会串行化,而后再增长一个判断语句,用于判断后续的事务内容是否应该执行。这样足以确保全部的操做都按照合理合法,惟一的缺点是可能形成性能问题。
如今分布式的系统愈来愈多,可是再分布的系统也会有些共享资源,好比redis或zookeeper,能够利用redis或者zookeeper造一些分布式的锁(此类属于其余博文内容,在此再也不展开)。利用事务外部的锁将同类型的事务作一些串行化处理,再配合事务内部的检查机制,足以确保解决事务的并发问题。