单机事务(一)

事务单元之间的几种happen-before关系：

 读写-》读读-》写读-》写写

各种隔离机制，锁都是为了提高以上四种关系的并发度。

1.并发度最低的就是

serialization 串行，这种就是强一致数据是并发度为1.但事务单元之间看到的就是正确的

   读-》读-》写-》读-》写-》写 

2.为了提高并发度，分类队列-无共享资源的事务单元并发。

并行,把事务单元之间不存在资源共享的做成分类队列，然后并发执行。

 写-》读-》写-》写：事务单元1
 读-》读-》写-》写：事务单元2/事务单元3 共享资源A

3.继续优化对存在共享同一资源的对列，引入读锁，读并行。

引入读锁，提高并发，合并读，但会阻塞写。但这一阶段事务在没提交前，无论读多少次数据都是一致的(因为不允许写)。也就是 RR《可重复读》隔离级别。

 读-》写-》写：事务单元2/事务单元3 共享资源A 
 读

4.继续提高并发，因为之前读会阻塞写，那么引入写锁，读写并行。

 写-》读-》写-》写：事务单元2/事务单元3 共享资源A 
     读

当需要写的时候会把读锁升级为写锁。这样完成读不阻塞写，也就是 RC（读已提交）隔离级别，但也会造成事务未提交之前，多次读会读到不一致的数据（因为两次读之间允许写了）。还有个U锁，就是更新操作实际就是先查后更新，为了避免并发死锁引入u锁，当已知事务单元会包含写操作的时候即使开始需要读，那么也是直接添加写锁。

5.继续提高并发，因为之前写的时候不允许读，引入copy on write机制，写读并行。

每一次写的时候都写新的数据，不在原来的位置更新。这就是mvcc机制
会引入版本号：oracle scn，innodb trx_id,如果发生读，那么《读事务》读到的《数据版本号》一定是《读事务的版本号》之前。

 写-》写-》写：事务单元1
    读 
 读-》写-》写：事务单元2/事务单元3 共享资源A
    读
    读

6.继续提高并发，写写并行

悲观锁和乐观锁的机制来提高写写并行。

乐观锁：默认并发度不高，并行写的时候事务版本低的回滚。如果写并发度高会引起大量回滚和重试。
表里面一般引入一个时间戳的字段，如 gm_time 之类的

悲观锁：因为认为并发很高，所以直接提前加锁了，减少失败重试次数。
select * from xx for update

本文由博客一文多发平台 OpenWrite 发布！