在MySQL中只有使用InnoDB引擎的数据库和表才支持事务。
事务处理用来维护数据库的完整性,保证成批的SQL语句要么全部执行,要么全部失败
ACID
原子性(atomicity):要么全部完成,要么全部不完成(通过undo log实现)
隔离性(isolation):各个事务之间互相不干扰(通过锁和MVCC实现)
持久性(durability):事务处理结束后,对数据修改是永久的,不会改变(通过redo log 和双写缓冲实现)
一致性(consistency):事务开始前后,数据库的完整性没有被破坏,例如age更新为10,事务结束后,不会变成11
数据库并发场景
读-读:不存在任何问题,不需要并发控制
读-写:会造成事务隔离性问题,脏读,幻读,不可重复读
写-写:丢失更新问题
第一类丢失更新:事务A撤销时,把已经提交的事务B更新的数据覆盖了
第二类丢失更新:事务A覆盖事务B已经提交的数据,造成事务B所做的操作丢失
脏读&幻读&不可重复读
脏读:一个事务读取到了另一个事务未提交的数据
幻读:一个事务读取到了另一个事务插入的数据(insert)
不可重复度:一个事务读取到了其他事务已提交的数据,造成读不一致(update,delete)
隔离级别
读未提交(RU):所有事务都可读取到未提交事务的数据(会产生脏读,幻读,不可重复读)
读已提交(RC):事务只能读取到已经提交事务的数据(会产生幻读,不可重复读)
可重复读(RR):确保一个事务的多个实例读取的数据一致(会产生幻读)
串行化:强制事务按顺序进行,避免脏读,幻读,不可重复度(通过加锁实现)
事务日志
Binlog(二进制日志):mysql服务层产生的日志,记录了所有的DDL和DML语句,用来进行数据恢复,数据库复制
Redo log(重做日志):InnoDB存储引擎层的日志,记录事务操作的变化,记录的是数据修改后的值,不管事务是否提交都会记录下来。
Undo log(回滚日志):保存了数据在事务发生之的版本,用于回滚,提供多版本并发控制下的读。
实现事务隔离的方案
1)LBCC-基于锁的并发控制(Lock Based Concurrency Control)
使用锁机制,加锁阻塞其他事务对数据的操作
共享锁、读锁,S锁,只读,不能修改(悲观锁)
事务A对数据Record-1加S锁,事务A可以读Record-1,不能修改Record-1;其他事务只能对Record-1加S锁,不能加X锁;
加锁:select * from t where id = 1 LOCK IN SHARE MODE;
释放锁:事务结束(commit/rollback),会话结束
排他锁、写锁,X锁,不能与其他锁共存(悲观锁)
事务A对数据Record-1加X锁,事务A可以对Record-1进行增删改查,其他事务不能对Record-1加任何锁
保证了其他事务在事务A释放锁之前,不能进行读取和修改
加锁:delete/update/insert 默认加锁, select * from t where id = 1 FOR UPDATE
释放锁:事务结束(commit/rollback),回话结束
当前读---加锁的操作就是当前读-select lock in share mode,select for update
快照读---不加锁的操作就是快照读-select(隔离级别不是串行化的,串行化级别下所有操作都是当前读
MVCC-多版本并发控制(Multi-Version Concurrency Control)
维护数据在不同时间点的多个版本,使得读写操作没有冲突。
依赖undo log 和 read view实现
undo log
保存了已更改行的旧版本信息,每行增加了三个隐藏列用于实现MVCC,
db_trx_id-插入或更新的最后一个事务的事务ID;
db_roll_ptr-行的回滚指针
db_row_id-行标识符
read view
包含了当前系统活跃的事务的ID集合m_ids,以及系统中活跃事务的最小ID(TRX_ID_MIN)和最大ID(TRX_ID_MAX)
可见性判断
被访问记录的trx_id < trx_id_min --->可以被当前事务访问
被访问记录的trx_id > trx_id_max --->不可被当前事务访问
被访问记录的trx_id_min < trx_id < trx_id_max,判断 trx_id是否在m_ids中,在则说明事务未提交,不能被访问;不在说明事务已经提交,则可以访问