深入单机事务

事务的ACDI
1、原子性（一个事务要么同时成功，要同时失败）
Bob给了Smith 100元
重点：原子性只记录了undo日志，可以回滚到之前的版本。
2、一致性(对事务加了一把锁)
核心:can(happen before)
3、隔离性（以性能为理由，对一致性的破坏）
1、序列化读写
排他锁：（单位时间内只有一个事务拥有他）
读写锁：
2、 (可重复读：（读锁不能被写锁升级）读读并行)
3、（读已提交：（读锁可以被写锁升级）读读并行，读写并行（写读还不能））
4、（读未提交：（写加锁，读不加锁）读读并行，读写并行，写读并行（写写不能））

4、持久性：事务完成以后，该事务提交后，保存在数据库中。

标准不一定等于对的。

写写之间有么有可能并行？