精通java事务编程-弱隔离级别之已提交读(代码片段)

JavaEdge. JavaEdge.     2022-11-30     741

关键词:

若两个事务不触及相同数据,即无数据依赖关系,则它们能安全并行运行。只有当:

  • 某事务读取由另一个事务同时修改的数据时
  • 或两个事务同时修改相同数据

才会出现并发问题。

并发 BUG 很难通过测试找到,因为这样的错误只有在特殊时序下才会触发。这样的时序问题可能非常少发生,通常很难重现 1。并发性也很难推理,特别是在大型应用中,你不一定知道哪些其他代码正在访问DB。只有一个用户访问数据时,应用开发就够麻烦了,多用户并发更困难,每个数据都可能被多个用户修改。

因此,DB一直试图通过【事务隔离】来隐藏内部的各种并发问题。理论上,隔离是假装没有并发发生,让程序员生活不再加班。而可串行化隔离级别就是DB保证事务最终效果如同串行执行。但可串行化会有极大性能损失,许多DB不愿意牺牲性能,所以倾向较弱隔离级别,防止某些而非全部并发问题。

弱隔离导致的并发性错误不仅是理论问题,它们已造成很多资损,审计调查和客户数据破坏。比起盲目依赖工具,不如对各种并发问题及如何防止有深入理解,构建可靠、正确的应用。

2.1 读已提交(Read Committed)

最基本的事务隔离级别2,提供如下保证:

  1. 读DB时,只能看到已成功提交的数据(防止脏读)
  2. 写DB时,只会覆盖已成功写入的数据(防止脏写)

2.1.1 防止脏读

某事务已完成部分数据写,但事务尚未提交或中止。另一个事务可以看到尚未提交的数据吗?是,则为脏读。

读已提交的事务必须防止脏读,即事务的任何写只有在事务成功提交后才能被其他人看到。如图-4,用户1设置x=3,但用户2get x 仍旧返回旧值2(用户1还未提交)。

防止脏读的意义
  • 若事务需更新多个对象,脏读代表另一个事务可能只看到部分更新。如图-2,用户看到新的未读邮件,但看不到更新的计数器。这就是电邮脏读。看到部分更新的数据会让用户困惑
  • 若事务中止,则所有写都得回滚(如图-3)。若发生脏读,意味着一个事务可能看到稍后需回滚的数据,即从未实际提交给DB的数据。

2.1.2 防止脏写

若两个事务同时尝试更新DB的相同对象,不知道写的顺序如何,但通常认为后写入会覆盖前写入。

但若先前写入是尚未提交事务的一部分,是否还被覆盖?是,则为脏写。RC下的事务可以防止脏写,一般就是延迟后写,直到前写事务完成提交或中止。

防止脏写可避免如下并发问题:

  • 若事务需更新多个对象,如图-5的二手车销售网站,Alice 和 Bob 同时购买同一辆车。购买汽车需两次DB写入:网站上的商品列表需更新,以反映买家购买,销售发票需发给买家。图-5的销售属于 Bob(因为他成功更新车辆列表),但发票却寄给了爱丽丝(因为她成功地先更新了发票表)。RC就能避免此类事故。
  • 但RC不能防止图-1的计数器增量竞争。它的第二次写入确实发生在第一个事务提交后,所以不是脏写,但结果仍不正确。防止更新丢失中将讨论如何修正

2.1.3 实现原理

互联网主流隔离级别,Oracle 11g、PostgreSQL、SQL Server 2012、MemSQL和其他许多DB的默认设置。

2.1.3.1 防脏写

DB一般通过 行锁(row-level lock)防脏写:当事务想修改某对象(如行或文档),必须首先获得该对象的锁。然后一直持有直到事务提交(或中止)。一次只有一个事务可持有特定对象的锁;若另一事务要更新同一对象,则必须等到前面事务提交或中止后,才能获取锁并继续。这是RC模式(或更高隔离级别)的DB自动完成的锁定。

2.1.3.2 防脏读
① 方案一

使用相同的锁,所有想读取该对象的事务必须先申请锁,事务完成后释放锁。确保不会发生读取脏的、未提交的值(因为锁在此期间,一直由一个事务持有)。

但要求读锁,实践中效果不好。因为耗时长的写事务会迫使许多只读事务等到这个慢写入事务完成。这会损失只读事务的响应延迟,且可操作性差:由于读锁,应用的局部性能问题可能由于连锁效应,扩散导致其他部分都受影响。

② 方案二

因此,大多DB 3 使用图-4方案防脏读:对于写入的每个对象,数据库都会记住旧的已提交值,和由当前持有写入锁的事务设置的新值。当事务正在进行时,任何其他读取对象的事务都会拿到旧值。 只有当新值提交后,事务才会切换到读取新值。


  1. 轶事:偶然出现的瞬时错误有时称为 Heisenbug,而确定性的问题对应地称为 Bohrbugs ↩︎

  2. 某些数据库支持甚至更弱的隔离级别,称为 读未提交(Read uncommitted)。它可以防止脏写,但不防止脏读。 ↩︎

  3. 唯一在读已提交隔离级别使用读锁的主流数据库是使用 read_committed_snapshot = off 配置的 IBM DB2 和 Microsoft SQL Server。 ↩︎

精通java事务编程-弱隔离级别之快照隔离和可重复读

表面看,RC已满足事务所需的一切特征:支持中止(原子性),防止读取不完整的事务结果,并防止并发写的混乱。这点很关键!为我们的开发省去一大堆麻烦。但此隔离级别仍有很多地方可能产生并发错误。如图-6说明RC可能发... 查看详情

精通java事务编程-弱隔离级别之快照隔离和可重复读(代码片段)

表面看,RC已满足事务所需的一切特征:支持中止(原子性),防止读取不完整的事务结果,并防止并发写的混乱。这点很关键!为我们的开发省去一大堆麻烦。但此隔离级别仍有很多地方可能产生并... 查看详情

精通java事务编程-弱隔离级别之防止更新丢失(代码片段)

RC和快照隔离级别主要都是为解决只读事务遇到并发写时可以看到什么(虽然中间也涉及脏写),还没触及另一种情况:两个写事务并发,而脏写只是写并发的特例。写事务并发带来最着名的问题就是丢失更新... 查看详情

精通java事务编程-弱隔离级别之写倾斜与幻读(代码片段)

多个事务并发写相同对象时,会出现脏写和更新丢失两种竞争条件。为避免数据不一致,可:借助DB内置机制或通过显式加锁、执行原子写操作但这还不算并发写可能引发的全部问题。为医院写一个值班管理程序。医... 查看详情

精通java事务编程-可串行化隔离级别之可串行化的快照隔离(代码片段)

本系列文章描述了DB并发控制的黯淡:2PL虽保证了串行化,但性能和扩展不好性能良好的弱隔离级别,但易出现各种竞争条件(丢失更新,写倾斜,幻读串行化的隔离级别和高性能就是相互矛盾的吗?... 查看详情

精通java事务编程-可串行化隔离级别之真串行

RC和快照隔离级别可防止某些竞争条件,但并非全部。一些棘手案例,如写偏斜和幻读,会发现可悲情况:隔离级别难理解,且不同DB实现不一(如RR含义天差地别)若检查应用层代码很难判断特定隔离级别下是否安全,尤其是大... 查看详情

mysql事务隔离级别(代码片段)

...别可以通过MySQL的视图来实现。读未提交读未提交是一个事务仅修改了数据但还未提交时,本次修改可以便可被其他事务查询到变更后的值。读未提交隔离级别下,其他事务进行查询时,直接返回记录上的最新值,... 查看详情

事务的隔离级别(代码片段)

事务隔离级别查看事务的级别select@@tcx_isolation 读未提交/*事务A开启以后,可以读取到事务B还没有提交的数据(即事务还没有提交就读到了)这种隔离级别存在的问题就是:脏读现象!这种隔离级别是理论上的,大多数的数据库... 查看详情

事务隔离级别实现原理(代码片段)

...committed)、未提交读(Readuncommitted)。下面将依次介绍这四种事务隔离级别的概念、用法以及解决了哪些问题(读现象)未提交读(Readuncommitted)未提交读(READUNCOMMITTED)是最低的隔离级别。通过名字我们就可以知道,在这种事务隔离级... 查看详情

事务隔离级别区分,未提交读,提交读,可重复读

事务隔离超通俗好懂的的讲解按照隔离的级别由低到高,越高的隔离,效率越差  0)、DEFAULT默认隔离级别,由数据库的数据隔离级别确定隔离级别     1)、READ_UNCOMMIYTTED都未提交的级别最低   &nbs... 查看详情

精通java事务编程-可串行化隔离级别之真串行

RC和快照隔离级别可防止某些竞争条件,但并非全部。一些棘手案例,如写偏斜和幻读,会发现可悲情况:隔离级别难理解,且不同DB实现不一(如RR含义天差地别)若检查应用层代码很难判断特定隔离... 查看详情

事务隔离级别

未提交读(隔离事务的最低级别,只能保证不读取物理上损坏的数据)已提交读(数据库引擎的默认级别)可重复读可序列化(隔离事务的最高级别,事务之间完全隔离)1.读未提交(ReadUncommitted):这种隔离级别可以让当前事... 查看详情

图解数据库事务的隔离级别(代码片段)

...?我在网上所能找到的答案,帮助个人的理解。答案一:事务隔离级别是并发控制的整体解决方案,其实际上是综合利用各种类型的锁和行版本控制,来解决并发问题。锁是数据库并发控制的内部机制,是基础。对用户来说,只... 查看详情

5分钟带你读懂事务隔离性与隔离级别(代码片段)

前言我们在上一章节中介绍过数据库的带你了解数据库中事务的ACID特性的相关用法。本章节主要来介绍下数据库中一个非常重要的知识点事务的隔离级别。如有错误还请大家及时指出~问题:事务的隔离级别有哪些?如果并发事... 查看详情

mysql事务管理(代码片段)

文章目录CURD什么是事务为什么会出现事务事务的版本支持事务提交方式事务常见操作方式事务隔离级别理解隔离性查看与设置隔离性隔离级别读未提交【ReadUncommitted】读提交【ReadCommitted】可重复读【RepeatableRead】串行化【Serializ... 查看详情

四种事务隔离级别

面试白话文,事务隔离级别事务具有原子性、一致性、隔离型、持久性。使用Mysql数据库说明事务隔离级别:  mysql支持事务的常用引擎是InnoDB  mysql默认事务隔离级别可重复读(REPEATABLE-READ):使用showvariableslike‘tx_isolation... 查看详情

2.事务隔离级别

2.事务隔离级别读未提交:别人改数据的事务尚未提交,我在我的事务中也能读到。读已提交:别人改数据的事务已经提交,我在我的事务中才能读到。可重复读:别人改数据的事务已经提交,我在我的事务中也不去读。串行:... 查看详情

精通java事务编程-可串行化隔离级别之两阶段锁定(2pl,two-phaselocking)(代码片段)

近30年,DB只有一种广泛使用的串行化算法:两阶段加锁12PL不是2PC请注意,虽然两阶段锁定(2PL)听起来非常类似于两阶段提交(2PC),但是完全不同概念之前我们知道,加锁可防止脏写:... 查看详情