事务

事务的ACID属性

原子性：一个事务要么同时成功，要么同时失败

ver1：Bob有100元 Smith有0元

ver2：Bob有0元，Smith有0元

（undo：Bob有100元 Smith有0元）

ver3：Bob有0元，Smith有100元

（undo：Bob有0元 Smith有0元）

一致性：保证能看到系统内的所有修改，一个事务单元全部成功才可见，加锁实现并发上不来

隔离性：以性能为理由，对一致性的破坏

序列化读写：排他锁

可重复读：读写锁，读锁不能被写锁升级，读读可以并行

读已提交：读写锁，读锁可以被写锁升级，读读并行、读写并行

读未提交：读写锁，只加写锁，读不加锁，读读并行、读写并行、写读并行

快照：针对读多写少场景优化，并行度能达到或超过读未提交，而隔离级别很高，保证读到一致性的数据

持久性：事务完成以后，对数据库所作的更改便持久的保存在数据库当中 RAID

事务单元之间的happen-before关系：读写、写读、读读、写写

事务 - 排队法

序列化读写：写 - 读 - 写 - 写 - 读 - 读 - 写 - 写

优势：不需要冲突控制

劣势：慢速设备

事务 - 排他锁

针对同一个单元的访问进行控制

写 - 读 - 写 - 写

写 - 读 - 写 - 写

事务 - 读写锁

针对读读场景可以做优化

写 - 读 - 写 - 写

       读 - 写 - 写

       读

事务 - MVCC

本质来说是copy on write，能够做到写不阻塞读

写 - 写 - 写

       读

写 - 写 - 写      

       读

       读