文章讨论内容
秒杀类的问题一直都是web领域比较热点的问题,一个超高并发的网站需要考虑从产品、前端优化、站点部署及后端服务等等所有环节进行考虑。mysql所能抗住的写压力是一定的,高并发的web站点,你需要在数据持久化之前控制好压力,而不是把所有的请求都落到数据服务这一层。今天我不在这篇文章里讨论秒杀整体设计的问题(我也没这个资格),我们讨论的是如何在流速已经得到控制的情况下,如何利用mysql更安全、高效的解决这个问题。
从网上可以看到各种各样的实现方案,现在针对这些方案及其优缺点和理解误区进行讨论。
常见写法安全性及效率分析
假设我们的商品表的schema是下面这样的:
CREATE TABLE `goods` ( `id` int(10) NOT NULL AUTO_INCREMENT COMMENT '自增id', `name` varchar(256) NOT NULL DEFAULT '' COMMENT '商品名称', `available` int(11) unsigned NOT NULL DEFAULT '0' COMMENT '库存剩余量', `stock` int(11) unsigned NOT NULL DEFAULT '0' COMMENT '总库存量', PRIMARY KEY (`id`)) ENGINE=InnoDB DEFAULT CHARSET=utf8 COMMENT='商品表'
设置为字段无符号解决
num = select available from goods where id = xx ;if(num > 0){ affectRows = udpate goods set available = available - 1 where id = xx ; if(affectRows == 1){ return ok ; }else{ return fatal ; }}
解法释义
这种做法大家的想法是我们将库存字段设置成无符号类型,这样当库存字段在sql执行时候被置为负数的时候mysql就会报错,那么affectRow就会是0或者可以捕获到这个异常,从而实现并发下的数据安全。
实际上这段代码是危险的,因为在不同版本的mysql和配置下,这段代码的表现完全不同。具体的情况会出现3种不同的结果:
- 1.代码正常运行,执行update的时候报错
- 2.代码最终执行结果出现了 -1
- 3.最终update操作之后,available变成了一个很大的数目
为什么会出现这三种情况呢?
我想在学习开始学习计算机的时候都讲过计算机的加减法计算方法。
思考一下,无符号2 减去 无符号3 在计算机中的运算是什么样的?2 - 3 = 2 + (-3)假设我们的计算机是4位的,2的补码表示:0010,-3的补码表示为1011那么加和的结果是00101011 + ------1111 =1111解释为有符号数是多少呢? -11111解释为无符号数是多少呢? 15
所以呢?
如果mysql不做任何处理的话,你的无符号数减法的结果不会报错,最终你算出来的库存还是一个非常大的值(可怕)。
但是幸运的是mysql 后来的版本帮你做了这件事情(具体哪个版本我也不清楚),所以如果是mysql做了无符号检测的话,如果减出的结果是负值,会报错,这是大多数人期待的结果。
-1这种情况是需要你设置一下sqlmode的,这也是会出现的情况。
解法总结
- 这个办法很多人用的时候没问题,那只能说明可能是机缘巧合,但是对于业务代码而言,不能靠碰运气,需要消除不确定性、缩小迁移成本。
- 如果你想采用这种办法,辛苦你把你们msyql相应的版本及配置搞清楚,确定无符号在你所在的版本会出现什么结果。
select for update
解法释义
读取时候就开始加排他锁也是网上常见的办法之一,具体实现如下:
begin tran ;num = select avaliable from goods where id = xxx for update;if (num >= 0){ affectNum = udpate goods set available = available - 1 where id = xx ; commit ; return affectNum ;}else{ rollback ;}
该解法在用户读取的时候对相应的数据加排他锁,保证自己在更新的时候该行的数据不会被别的进程更改.所有写请求及排他锁加锁都会被阻塞。
想想这样的情况,A进程执行过程中,出现死机的情况导致commit/rollback请求没有被发送到mysqlserver,那么所有请求都会锁等待。
解法总结
- 低流量可以采用这种办法来保证数据的安全性
- 性能低下
,平均需要发送4次mysql请求,同时会造成所有同类请求锁等待。
常见问题
- select for udpate 需要在显式的指定在事务代码块执行,不然不会起作用。很多网友都理所当然的人为select for update直接就可以加排他锁
- 排他锁的释放是在rollback/commit 动作完成才会释放,不是在update操作之后。mysql innodb执行两段锁协议,加锁阶段只加锁,解锁阶段只解锁。
采用事务,先查后写再查,确保没问题
解法释义
这时候的available设置为有符号类型,解决方案一的问题
begin tran ;num = select available from goods where id = xx ;if(num > 0){ //实际需要关心这里的返回值,这里不考虑 udpate goods set available = available - 1 where id = xx ; num_afterupdate = select available from goods where id = xx ; if(num_afterupdate < 0 ){ rollback ; }else{ commit ; }}
这种解法区分于第一种的办法在于,加了事务、available类型更改、采用了更新后确认的形式,尝试解决问题。
我们都知道数据库的事务隔离级别有4种:
RU,RC,RR,Serializable。
我们常见的innodb中RR模式是可以保证可重复读,意思是在同一个事务内部,多次读取的结果是一致的。那么最后一次的读取对于RR隔离级别实际上是无效的。
RC模式下,这个代码是可用的,每次请求可以确保自己的进程不会超发。
解法总结
- RR、RC模式下结果不一致.RR下不可保证安全、RC可以。
- 性能不高,一次业务请求到mysql的转化为 1 : 5。
- 这种解法就像老奶奶锁门,总是不放心自己到底锁了没有,走了几步再回来看看,实际上有些时候是徒劳。
update语句增加available查询条件
解法释义
udpate goods set available = available - 1 where id = xx and available - 1 >= 0 ;
这个语句如果可以的话,那么他的性能必然是上面锁提到的方法中最优的.
问题的关键就集中在怎么证明这句的安全性的。
我们都知道update操作对于id为主键索引的情况下,是会对数据加行锁。
其实update操作在mysql内部也是一个先查后改的过程,这个过程如果是原子的,那么可以保证update语句是串行的,那我们就来看一下update语句在mysql内部的执行过程。
大家有的另一个误区是单条语句不是事务,实际上单条sql也是一个事务。
那么对于上面这个语句,一样遵循两段锁协议。
update执行的过程,会去查询满足条件的行并加锁,这个加锁是innodb做的,那么就可以保证别的事务必须等到该事务执行完了之后才能获得锁,此时拿到最新数据。
解法总结
- 语句安全、效率最优(我的认知里)
采用设置库存而不是扣减库存
这几天我把类似的文章几乎翻了一遍,唯一看到批评我的上一条做法的是我的那个做法是不具备幂等性的。
- 所谓幂等性就是,同一个用户对同一连接的访问不会产生副作用。比如上一条的方案,如果记录用户的操作和扣减库存不是原子操作的话,就有可能出现的问题是,库存扣减成功了,但是用户记录失败了,那么用户重复请求,就会出现多次减库存的问题。
那么他们的解法是这样的,采用设置而不是扣减,代码如下:
num_old = select available from goods where id = xx and available >= 1 ;num_new = num_old - 1 ;update goods set num=num_new where id=xx and num=num_old ;
这段代码也是安全的,采用的是乐观所的理念来完成的操作。
总结
- 上面的做法,最后两个是相对安全的,但是你的库存字段还是要设置为无符号,关于是否幂等,要看结合请求看,不是单个扣减块代码。
- 较真是一个学习的过程,只有较真才能把这些概念搞清楚。如果你需要完全弄懂这些内容,可能你需要对mysql锁、事务、mvcc这些概念都做一下预习。
- 感谢工作过程中小伙伴们的努力,让我们把问题追查的更清楚。
原文地址:https://www.cnblogs.com/hitomeng/p/12369961.html