关系数据库管理系统使用MVCC(Multiversion Concurrency Control多版本并发控制)来避免写操作堵塞读操作的并发问题,MVCC也就是通过使用数据的多个版本保证并发读写不冲突的一种机制,不同的数据库有不同的实现。
第一种实现方式是将数据记录的多个版本保存在数据库中,当这些不同版本数据不再需要时,垃圾收集器回收这些记录。这个方式被PostgreSQL和Firebird/Interbase采用,SQL Server使用的相似机制,所不同的是旧版本数据不是保存在数据库中,而保存在不同于主数据库的另外一个数据库tempdb中/
第二种实现方式只在数据库保存最新版本的数据,但是会在使用undo时动态重构旧版本数据,这种方式被Oracle和MySQL/InnoDB使用。
下面看看具体数据库实现机制。
在PostgreSQL中,当一行记录被升级时,该行数据的新版本(称为tuple)将被创立并插入表中,之前版本提供一个指针指向新版本,之前版本被标记为"expired"过期,但是还保留在数据库直到垃圾收集器回收掉。
为了支持多版本,每个tuple有以下附加数据记录:
事务状态是保存在 $Data/pg_clog的CLOG中. 这个表包含每个事务状态信息的两个字节,可能的状态有in-progress, committed, 或者 aborted。 当一个事务结束后,PostgreSQL并不会将数据库记录的改变undo回滚的,它只是在CLOG标记事务为aborted . 一个PostgreSQL表可能包含许多这样aborted退出事务的数据。
Oracle是在回滚段(也就是‘undo log’)中保存旧版本, 一个事务ID并不是一个顺序数字,而是由一系列数字组成,这些数字指向回滚段的头部事务槽 (slot)。 回滚段能让新事务能重用存储,重用被已经提交或者退出的旧事务使用过的事务槽,这种自动重用机制使得Oracle使用有限的回滚段可以管理大量的事务。
回滚段的头部块是用作一个事务表,这里保存着事务的状态,称为System Change Number或者 SCN, Oracle并不是存储页面中的每个记录的事务ID, 而是通过保存页面中每行记录的唯一事务ID的数组阵列节约空间使用, 只保存记录的数组偏移量offset,和每个事务ID保存在一起的是一个指针,指向该页事务创立的最后undo记录,不仅表记录是这种方式存储,索引记录也是使用同样技术,这是Oracle和PostgreSQL主要区别之一.
当一个Oracle事务启动时,它会标记一个当前事务状态SCN. 当读取一个表或者一个索引页时,Oracle使用SCN数字来决定该页能否包含不应该让当前事务知晓的事务影响效果, Oracle通过寻觅相联的回滚段头部来检查该事务的状态,但是为了节约时间,第一次是真正查询事务,查询完成它的状态会被记录在该页中以避免后来再次查询,假如该页被发现包含不可见事务的影响,Oracle通过undoing每个这样的事务影响来重新创立该页的旧版本。它扫描和每个事务有关的记录,将这些事务效果应用到该页,直至那些所有事务效果应用完成后被移除,以该方式创立的新页再用于访问其中的tuple。
Oracle中的记录头:
一个记录头部不会增长,总是有固定大小,对于非集群的表,记录头部是3个字节,一个字节被用于存储标识,一个字节用于显示记录能否被锁住(比方它被升级了但是没有确认提交committed), ,一个字节用于列计数。
在SQL Server数据库内部使用记录版本实现快照隔离和读取提交,只有需要此项的数据库才会必需开启并且会产生相应的成本开销。
当一个记录被修改或者删除时,使用copy-on-write机制能够有效地启动版本,Row versioning–based 事务能够有效地“view看到” 数据的从过去到现在的的前后一致的各种版本。
记录版本Row version保存在版本存储中,其驻留在主数据库之外的tempdb数据库中, 更特别地,当一张表或者索引中一个记录被修改,新记录将携带上执行修改的事务的 ”sequence_number”. 记录的旧版本将被拷贝到版本存储中, 新记录包含一个指针指向版本存储中的这个旧记录,假如多个长运行 long-running事务存在,并且需要多个 ”版本versions”, 在版本存储中的记录也许包含指向该记录更早版本的指针。
SQL Server的版本存储清理:
SQL Server自动管理版本存储的大小,维持一个清理线程来确保版本存储中记录版本数量不至于太长,超过需要,对于在快照隔离下运行的查询,版本存储保留记录版本直到修改数据的事务完成,并且事务包含的任何需要修改数据的语句一律完成,对于在Read Committed 快照隔离下运行的SELECT语句 ,一个特别的记录版本就再也不需要了,一旦SELECT语句执行完成就被移除。
假如tempdb已经没有空闲空间, SQL Server会调用清理功能,添加文件的大小,当然前提是假设我们配置文件是自动增长的, 假如磁盘已经没有空间,文件不能自动增长, SQL Server会中止产生版本,假如这种情况发生,任何需要读取版本的快照查询由于空间限制将失败。
下图是各个数据库的比照总结:
篇幅有限,关于MVCC各个数据库的比照简单详情到这了,后面会分享更多关于DBA内容,感兴趣的朋友可以关注下,也可以在下方留言你需要的内容!
赛昉星光VisionFive RISC-V 芯片 Linux全开源开发板AI单板计算机
jetson nano b01英伟达开发板TX2人工智能xavier nx orin AGX
英伟达Jetson Nano B01 4GB开发板AI人脸识别人工智能python视觉
英伟达JETSON NANO 2G4G核心模组开发板AI人工智能边缘计算套件
Seeed XIAO RP2040拇指单片机开发板 采用树莓派RP2040芯片
恩智浦DEBIX Model A型工业单板开发板NXP i.MX 8MPlus兼容树莓派