事务隔离机制原理分析以及是否可以防止订单超卖
事务的隔离机制是指：
Read Uncommitted（读取未提交内容）
Read Committed（读取提交内容）
Repeatable Read（可重读）
Serializable（可串行化）
具体的解释最经典的MySQL书《高性能MySQL(第3版)》已经有了就不在其他地方再引用了：
隔离机制的比较
其实也有人喜欢用锁来控制并发，书中还提到了“隐式”和“显示锁定”，是这么建议的：
虽然这样，但是其实如果不经过实际的演练还是很难理解上面说的事务隔离机制到底怎么样可以防止并发。
1.查看MySQL版本
我们的版本是5.1.7
2.查看存储引擎
>show engines;
存储引擎是：InnoDB
3.实验表
假设有个商品表g，关键字段num表示库存，name表示商品名称
主要就是看不同事务隔离机制下并发修改库存是否会出现超卖。
假设我们的程序需要先查询库存，如果库存>0都可以卖，update扣库存，否则rollback。
为了制造并发肯定需要2个事务，假设是A和B。
4.确认事务隔离机制
修改会话的事务隔离级别
set session transaction isolation level read uncommitted;
set session transaction isolation level read committed;
set session transaction isolation level repeatable read;
set session transaction isolation level serializable;
>select @@global.tx_isolation,@@tx_isolation;
5.Serializable
场景一：
显然一开始AB查询的数据是一样的num=1
A开始update
这时候在等待，无法update。
过一会就超时了。
如果这个时候B也update那么一样会等待超时
所以这样，AB就会都超时。
这时即使commit也是返回0，数据库不会变化。
场景二：
A在update等待的时候，B马上commit，但是B没有update
查看结果
这次A成功的扣库存。
所以从上面可以得出一个结论：serializable是可以很好的控制并发。
然后需要把库存改为1，便于测试。
6.read committed
>set session transaction isolation level read committed;
>select @@global.tx_isolation,@@tx_isolation;
场景三：
初始化AB查出来的库存都是1，然后A可以update一条数据，无等待。
这时候AB再比较下库存，A已经是0，B是1，因为A没有commit。
然后A执行commit操作，这时候B再查已经是库存0；
这时候B执行update返回是0行，因为update不能满足where条件，所以B只有Commit，然后重新提交。
场景四：
一开始AB都是一样的库存1，然后A开始update，然后A的库存是0，B是1，因为A还没有提交。
这时候B再update
按照前面的经验，B等待其实是再等A提交，A如果一直不提交，B就会超时。
这时A提交commit，B查询就得到A更新后的结果，这时B查到库存是0自然不会去更新，也就只能结束事务。
场景五：
AB先后update，然后A在B超时之前commit，这时由于B已经读到A更新后的结果0，所以B就不能成功update。
7.repeatable read
>set session transaction isolation level repeatable read;
>select @@global.tx_isolation,@@tx_isolation;
场景六：
然后A开始update，然后A和B分别读到库存是1和0
然后A提交commit，这时候再查看A和B的库存还是保持不变。
这时候B再次尝试update
依然是返回0条，说明更新不成功。
场景八：
AB同时update
如果A不及时commit那么B肯定会超时
场景九：
就是场景八A及时commit
如果A及时commit
所以可以看出无论是read committed还是repeatable read只要update的条件where num>0足够充分都是可以控制并发防止超卖的。
如果没有带where num>0这个控制条件，那么肯定会可以update成功的。
8.read uncommitted
这个是需要杜绝的，就不讨论了。
9.如果没有带where num>0，那么会怎么样呢。其实只要理解了上述流程就可以想明白会怎么样。
对于read committed
A已经update，B读到库存是0自然不会去更新；
A没有update，B读到库存是1，这要看A会不会及时提交；
如果A及时提交，B自然会去更新因为满足where条件，且成功，这样就超卖-1；
这时候由于B没有提交，所以AB分别查出0和-1
然后B提交commit，AB查出的都是-1，就不演示了。
修改会话为repeatable read
AB先后update，B在等待
然后A立即提交commit，B马上update得到返回。
结果就是-1产生了超卖：
总结：
1.使用serializable是可以防止超卖，但是性能怎么样需要数据说明；
2.read committed和repeatable read带上where条件库存num>0都是可以防止超卖的，不过需要处理超时。
3.其他各种组合情况还会更复杂，具体具体问题具体分析。
相关文章：
PHP中file_exists与is_file,is_dir的区别介绍
PHP中file_exists与is_file,is_dir的区别介绍作者： 字体：[增加 减小] 类型：转载 时间：2012-09-12 我要评论很显然file_exists是受了asp的影响，因为asp不但有fileExists还有folderExists,driverExists，那么P…
推荐算法工程师的成长之道
作者 | gongyouliu来源 | 大数据与人工智能（ID: ai-big-data）本文，作者会基于自己的实践经验讲述推荐算法工程师的成长之道，这里的“道”有发展路径和道(道理、方法论、经验、智慧)两层意思。所以本文除了讲解推荐算法工程师的成长…
JVM内存溢出的几种情形
1.堆溢出 原因：大量对象占据了堆空间，而这些对象都有强引用导致无法回收，当对象大小之和>Xmx参数指定的堆大小时导致溢出！ List<byte[]> list new ArrayList<>();for (int i 0; i < 10240; i) {list.add(new…
Android Market 链接的生成与分享
通过Java包名直接定位到你的App http://market.android.com/details?id<java包名> 或者 market://details?id<java包名> 范例：market://details?idcom.skyd.luckywheel 这将直接在菜市场中显示你的App详细介绍页。 通过Java包名搜索App http://marke…
Centos6/7下静默安装oracle10g
Centos6/7下静默安装Oracle10g 远程安装oracle10g,通过网上资料，不断摸索成功安装。先在本地虚拟机Centos7上做实验，快照恢复快照恢复，安装了几十次成功之后，再在服务器Centos6上安装，(6和7还是有区别的，比…
String和常量池
jdk1.6之前常量池属于永久代，jdk1.7以后移到堆中。 String s1 "abc";// 放在常量池中String s2 "abc";// 从常量池中查找String s3 new String("abc");//new放在堆中String s4 new String("abc");String s5 s1.inter…
CQRS体系结构模式实践案例：Tiny Library：领域仓储与事件存储
领域仓储（Domain Repository）与事件存储（Event Store）是CQRS体系结构应用系统中C部分（Command部分）的重要组件。虽然都是存储机制，但两者有着本质的区别：领域仓储是属于领域层的&…
中国开启开源新纪元
距离“中国 Linux 第一人”宫敏博士用手提肩背的方式，将 20 盒装有 80G 容量的自由软件磁带背回中国转瞬已过 20 载，在宫敏博士的推动下，中国组建起国内第一个自由软件库，由此开源在第一代开发者心中的火种迅速传播。20 多年间&am…
kernel logo到开机动画之间闪现黑屏（android 5.X）
在BootAnimation開始画图之前，会先做一次clear screen的动作，避免出现前面的图干扰到BootAnimation的显示。 通过check main_log先确认播放开机动画是哪个function。在相应function删除clear screen的动作的相应代码。 /frameworks/base/cmds/bootanimat…
JScript Array对象的几个原型方法
代码 Array.prototype.inArray function(value) { for(vari 0; i <this.length; i) { if(this[i] value) { returntrue; } } returnfalse;};Array.prototype.max function() { for(vari 1, max this[0]; i <this.length; i) { …
太生猛！AI应届生年薪涨到80万！网友：后悔生的太早
据中国青年报报道：新冠肺炎疫情期间，非接触类交互、安全卫生等需求提升，以数字货币、数据应用、人工智能为代表的数字经济显著发展，全球经济数字化转型踩下“油门”。中国人工智能人才很可能缺口超过500万人。其实，早在…
Tomcat定时任务
原文: The load-on-startup element indicates that this servlet should be loaded (instantiated and have its init() called) on the startup of the web application. The optional contents of these element …
Nutanix CE on Lenovo W520 初探
話說 Nutanix 出了 CE 版本，這當然要來試試看 Nutanix 威力拿了部機器lenovo W520 CPU: i7-2820QM 4 coreRam: 32GBHDD:500G安裝選單選擇鍵盤配置，按下 ProceedNutanix 開始載入程式硬件最低需求不滿足Laptop 32G 內存Lenovo W520Nutanix 官方 CE 最低硬…
《爱情公寓2》将播 恶搞宣传片大喊“有种别看”
昨晚，一支重口味的宣传片消然出现在各大网站，一夜之间在狂转发。上线不到一小时，单一网站浏览量就超十万，视频主标写着：神兽组合从天而降，口味超重，少儿不宜，人兽悲剧，蛋…
“应付”大学作业，我花3小时写了一个“文本转手写”神器
作者 | Saurabh Daware译者 | 弯月，责编 | 郭芮来源 | CSDN（ID：CSDNnews）最近，有一个名叫Saurabh Daware的印度大学生只花了3个小时就编写了一款自动化工具，能够将文本转换成手写文字，并用这个工…
Laravel应用
CLI 参考：http://laravel-china.org/docs/5.1/artisancli处理业务，把业务封装成一个命令，用php artisan来调用自定义的命令放在App/Console/Commands下创建方式php artisan make:console 命令名 —command调用时名字php artisan make:console…
匿名内部类和传接口
匿名内部类也就是没有名字的内部类正因为没有名字，所以匿名内部类只能使用一次，它通常用来简化代码编写但使用匿名内部类还有个前提条件：必须继承一个父类或实现一个接口 参考：http://www.cnblogs.com/nerxious/archive/2013/01/…
为什么这门技术如此重要？错过这次黄金期，就晚了！
老李一直怀疑自己是不是年纪大了，脑子跟不上了。作为十几年经验的资深 Java 工程师，维护这公司产品的核心代码的他，现在迭代产品的时候，经常出 Bug 。有时修复一个 Bug 时间，比开发一个需求的时间要长很多，…
字符编码简介 ANSI Unicode Unicode big endian UTF-8
1. ASCII码 我们知道，在计算机内部，所有的信息最终都表示为一个二进制的字符串。每一个二进制位（bit）有0和 1两种状态，因此八个二进制位就可以组合出256种状态，这被称为一个字节（byte࿰…
ReactiveCocoa代码实践之-更多思考
三.ReactiveCocoa代码实践之-更多思考 1. RACObserve()宏形参写法的区别 之前写代码考虑过 RACObserve(self.timeLabel , text) 和 RACObserve(self , timeLabel.text) 的区别。 因为这两种方法都是观察self.timeLabel.text的属性，并且都能实现功能。估计是作者原本…
Java常用命令及Java Dump
线程Dump,包含所有线程的运行状态。纯文本格式。 堆Dump,包含线程Dump,幵包含所有堆对象的状态。二进制格式。 Java Dump方法 1.使用Java虚拟机制作Dump 指示虚拟机在发生内存不足错误时,自动生成堆Dump -XX:HeapDumpOnOutOfMemoryError 2.使用图形化工具制作Dump 使用JDK…
使用Windows远程登录Ubuntu
一、SSH登录 1、Ubuntu默认没有安装SSH ，可以在新得利软件安装程序里，搜索SSH，标记并安装； 或者使用命令： sudo apt-get install openssh-server sudo /etc/init.d/ssh restart ssh localhost…
紧急更新下降难度，《王者荣耀》绝悟 AI 难倒一片玩家
作者 | 神经星星来源 | HyperAI超神经（ID: HyperAI）在 5 月 1 日~ 5 月 4 日期间，玩家通过《王者荣耀》最新版本客户端进入游戏，即可与绝悟 AI 对战。一时间哀鸿遍野，普通玩家、游戏主播、职业选手，纷纷表示…
SQL：安装多个实例，修改实例端口号,和IP加端口号连接实例
原文:SQL：安装多个实例，修改实例端口号,和IP加端口号连接实例sql server 安装第一个实例，默认实例的端口是1433， 一个库中如果有多个实例，从第二个实例开始的端口是动态端口，需要的话，自己手工指…
用“逐步排除”的方法定位Java服务线上“系统性”故障
说明：原文地址已经不可访问，其他地方有转载，不过很多丢失图片，所以，找到一处有图的重新配好图。 用“逐步排除”的方法定位Java服务线上“系统性”故障 Posted on 2014/08/25李斯宁（高级测试开发工程师&…
清华硕士爆料：这些才是机器学习必备的数学基础
现如今，计算机科学、人工智能、数据科学已成为技术发展的主要推动力。无论是要翻阅这些领域的文章，还是要参与相关任务，你马上就会遇到一些拦路虎：想过滤垃圾邮件，不具备概率论中的贝叶斯思维恐怕不行；想试…
LINUX环境下资源下载中文目录及中文文件名称问题
为什么80%的码农都做不了架构师？>>> http://www.yeeach.com/2009/04/09/linux%E7%8E%AF%E5%A2%83%E4%B8%8B%E8%B5%84%E6%BA%90%E4%B8%8B%E8%BD%BD%E4%B8%AD%E6%96%87%E7%9B%AE%E5%BD%95%E5%8F%8A%E4%B8%AD%E6%96%87%E6%96%87%E4%BB%B6%E5%90%8D%E7%A7%B…
dojo从asp.net中获取json数据
搞来有搞去终于有了个结果，主要是一开始犯了一些低级错误。 对于json不太了解的童鞋，可以看看这个：http://www.dreamdu.com/blog/2008/10/19/json_in_javascript/ 这个例子中主要是从数据库中读取数据，转换成JSON格式，…
RHEL5 install
RHEL5 安装转载于:https://blog.51cto.com/bhanv/477708
线上java问题排查
0.jps 这个输出java进程pid #jps 查看java的线程 #top -Hp 25448 如图25757这个线程比较耗时，看看他在做什么 注意需要折算出线程pid的16进制值，然后jstack。 可以打印更多信息 #jstack pid | grep -A 20 649d 参考：JVM调优之jstack找出…