场景:

一个商品有库存,下单时先检查库存,如果>0,把库存-1然后下单,如果<=0,则不能下单,事务包含两条sql语句:

select quantity from products WHERE id=;
update products set quantity = ($quantity-) WHERE id=;

在并发情况下,可能会把库存减为负数(两个进程同时select出来的都>0,然后都会执行update),怎么办呢?

方法1:

InnoDB支持通过特定的语句进行显示加锁:

select...lock in share mode

select...for udpate

select quantity from products WHERE id= for update;
update products set quantity = ($quantity-) WHERE id=;

但是执行for update会产生一些其他的影响

1.select语句变慢

2.一些优化无法正常使用,例如索引覆盖扫描

3.很容易造成服务器的锁争用问题

方法二:

把udpate语句写在前边,先把数量-1,之后select出库存如果>-1就commit,否则rollback。

update products set quantity = quantity- WHERE id=;
select quantity from products WHERE id= for update;

上边的事务中先执行了update,所以id=3的行被加了行锁,只有commit/rollback是才会被释放(事务中锁是逐步获得的,但是都是commit时所释放的)。很好的解决了并发问题。

方法三:

update语句在更新的同时加上一个条件

$quantity = select quantity from products WHERE id=3;
update products set quantity = ($quantity-1) WHERE id=3 and queantity = $quantity;

这样虽然select语句没有加锁,但是因为mysql的事务隔离级别是可重复读,所以其他事务的修改不会影响到select的结果,当执行到update时,如果有其他事务锁住了这条记录,update会等待,等到其他事务释放锁,update会执行,但此时如果quantity的数量已经被修改,update的执行会返回影响行数为0。

原因:

场景比如先select出来的$quantity=3,然后执行update的条件为id = 3 and quantity=3,执行更新返回影响函数为0,但再次执行select时发现id=3的记录quantity确实是3啊,怎么有这条记录却更新不了呢?

这”归功于“mysql的事物隔离级别和MVCC,当第一次select时$quantity=3,然后其他事务先于这个update执行了,导致update的条件并没有找到合适的记录,因为在可重复读级别中,update的读是“当前读”,读取的是最新的数据。而再次select时查到的$quantity还是等于3,因为对于select的读是“快照读”,读取的是历史数据,这也是可重复读级别的特性。

注意方法二中:当一个事务提交后如果库存正好是0,此时另一个事务读取到的还是1,这就是可重复读,但是由于先执行的update,update执行完之后的库存就是-1,此时再执行select的时候的结果就是-1,所以可重复读是指当前事务没有写语句的时候,如果写语句发生则是建立在其他事务提交后的结果基础上的。

详细的Innodb中的事务隔离级别可以看美团点评技术团队的一篇文章,有对于MVCC和间隙锁的解释:http://tech.meituan.com/innodb-lock.html

解决并发情况下库存减为负数问题--update2016.04.24的更多相关文章

  1. 利用redis实现分布式事务锁,解决高并发环境下库存扣减

    利用redis实现分布式事务锁,解决高并发环境下库存扣减   问题描述: 某电商平台,首发一款新品手机,每人限购2台,预计会有10W的并发,在该情况下,如果扣减库存,保证不会超卖 解决方案一 利用数据 ...

  2. PHP通过加锁实现并发情况下抢码实现

    需求:抢码功能 要求: 1.特定时间段才开放抢码: 2.每个时间段放开的码是有限的: 3.每个码不允许重复: 实现: 1.在不考虑并发的情况下实现: function get_code($len){ ...

  3. 关于WCF服务在高并发情况下报目标积极拒绝的异常处理

    最近弄了个wcf的监控服务,偶尔监控到目标服务会报一个目标积极拒绝的错误.一开始以为服务停止了,上服务器检查目标服务好好的活着.于是开始查原因. 一般来说目标积极拒绝(TCP 10061)的异常主要是 ...

  4. WCF服务在高并发情况下报目标积极拒绝的异常处理 z

    http://www.cnblogs.com/kklldog/p/5037006.html wcf的监控服务,偶尔监控到目标服务会报一个目标积极拒绝的错误.一开始以为服务停止了,上服务器检查目标服务好 ...

  5. 并发情况下synchronized死锁

    存在缺陷的代码: public class DataPropertyIdAndNameRepositoryImpl{ /** 发布标志 */ private volatile boolean publ ...

  6. Jackson高并发情况下,产生阻塞

    情况:在高并发情况下,查看线程栈信息,有大量的线程BLOCKED. 从线程栈得知,线程栈中出现了阻塞,锁在了com.fasterxml.jackson.databind.ser.SerializerC ...

  7. Linux的虚拟内存管理-如何分配和释放内存,以提高服务器在高并发情况下的性能,从而降低了系统的负载

    Linux的虚拟内存管理有几个关键概念: Linux 虚拟地址空间如何分布?malloc和free是如何分配和释放内存?如何查看堆内内存的碎片情况?既然堆内内存brk和sbrk不能直接释放,为什么不全 ...

  8. 高并发情况下分布式全局ID

    1.高并发情况下,生成分布式全局id策略2.利用全球唯一UUID生成订单号优缺点3.基于数据库自增或者序列生成订单号4.数据库集群如何考虑数据库自增唯一性5.基于Redis生成生成全局id策略6.Tw ...

  9. PHP通过加锁实现并发情况下抢码功能

    本文基于php语言使用加锁实现并发情况下抢码功能,特定时间段开放抢码并不允许开放的码重复: 需求:抢码功能 要求: 1.特定时间段才开放抢码: 2.每个时间段放开的码是有限的: 3.每个码不允许重复: ...

随机推荐

  1. Entity Framework Code First (五)Fluent API - 配置关系

    上一篇文章我们讲解了如何用 Fluent API 来配置/映射属性和类型,本文将把重点放在其是如何配置关系的. 文中所使用代码如下 public class Student { public int ...

  2. 轻快的VIM(三):删除

    这一节我们来看看删除,删除命令比较简单,不过要使删除更有效率 你需要配合我们第一节中讲的各种移动命令 字符删除 x 删除光标所在处字符 X 删除光标所在前字符 这里没有什么可注意的地方,但需要说明一下 ...

  3. mysql字段冲突报错

    check the manual that corresponds to your MySQL server version for the right syntax to use near 出现这个 ...

  4. Cocoa pod的使用注意点

    一.CocoaPods是什么? CocoaPods是一个负责管理iOS项目中第三方开源库的工具.CocoaPods的项目源码在Github上管理.该项目开始于2011年8月12日,在这两年多的时间里, ...

  5. Spark Shell & Spark submit

    Spark 的 shell 是一个强大的交互式数据分析工具. 1. 搭建Spark 2. 两个目录下面有可执行文件: bin  包含spark-shell 和 spark-submit sbin 包含 ...

  6. Hash_1014: [JSOI2008]火星人prefix

    #include <iostream> #include <cstdio> #include <cstring> #include <cmath> #i ...

  7. Android成长日记-使用Intent实现页面跳转

    Intent:可以理解为信使(意图),由Intent来协助完成Android各个组件之间的通讯 Intent实现页面之间的跳转 1->startActivity(intent) 2->st ...

  8. 认识http协议

    http:Hyper Text Transfer Protocol,超文本传输协议.是互联网上应用最为广泛的一种网络协议.所有的WWW文件都必须遵守这个标准.设计HTTP最初的目的是为了提供一种发布和 ...

  9. Uva11374 Airport Express

    最短路问题. 从起点和终点开始各跑一次dijkstra,可以得到起点.终点到任意点的距离.枚举使用的商业线路,找最优解. 破题卡输出,记录前驱和输出什么的仿佛比算法本身还麻烦. /*by Silver ...

  10. Refresh和Invalidate的比较

    Refresh: 强制控件使其工作区无效并立即重绘自己和任何子控件.==Invalidate + Update Invalidate: 使控件的特定区域(可以自己设置区域,从而提高性能)无效并向控件发 ...