上次模拟了 SQL 中并发执行更新余额的语句,出现余额负数的问题:
http://blog.csdn.net/closurer/article/details/54288628
现在说说它的解决方法。
事务要正确地执行,就需要【隔离性】这个基本要素。更新余额的语句之所以会偏离期望的结果,是由于查询并没有互斥,也就是没有相互隔离:
这个查询语句在默认的情况下,会对查询的数据放置共享锁,当并发的时候,两个共享锁并不互斥,所以两个并发的操作都得到余额足够的结果。
那么,要解决这个问题,就需要两个条件:
一、检查余额是否足够的语句要互斥。
二、互斥要持续到完成余额的更新。
于是,我把 SQL 修改成这样:
http://blog.csdn.net/closurer/article/details/54288628
现在说说它的解决方法。
事务要正确地执行,就需要【隔离性】这个基本要素。更新余额的语句之所以会偏离期望的结果,是由于查询并没有互斥,也就是没有相互隔离:
--检查用户的余额是否足够
if(exists(select * from balance where id = 1 and value >= 1))
这个查询语句在默认的情况下,会对查询的数据放置共享锁,当并发的时候,两个共享锁并不互斥,所以两个并发的操作都得到余额足够的结果。
那么,要解决这个问题,就需要两个条件:
一、检查余额是否足够的语句要互斥。
二、互斥要持续到完成余额的更新。
于是,我把 SQL 修改成这样:
--开始事务
begin transaction
--检查用户的余额是否足够
if(exists(select * from balance(updlock) where id = 1 and value >= 1))
begin
--延长处理时间
waitfor delay '0:00