事务的本质

事物的本质就是锁和并发。容易理解的模型性能不好，性能好的模型都不容易理解。
ACDI保证事物的完整性。
单个事物单元。（BOb给Smith 100元）
对数据库的每一个操作都可以理解这是一个事物单元。
多个事物单元。(Bob给Smith 100元；Smith给了Joe100元（等待），Smith给了Bob 100元（等待）)
事物单元之间的happen-before关系：读写 写读 读读 写写 只有这四种关系.
1、事务--排队法（一个队列） 优势：不需要冲突控制 劣势：慢速的设备。。。
2、事务--排他锁（多个队列）（Bob给Smith 100元；xiaoming给了xiaoyang100元同时进行）
3、事务--读写锁（对读读场景的优化）
4、事务--MVCC 本质来说就是copy on write
目前主流数据库能够做到写不阻塞读，能做到读读，读写，写读不冲突，只有写写控制不住。

事务处理-谁先谁后？一个读请求应该读哪一个写之后的数据呢？
逻辑时间戳（只保证先后顺序）：为了说明，事务之间谁先谁后的问题。
物理时间戳 （就是时钟先后顺序）
基于数据版本记录机制，具体做法：数据库表增加一个"version"字段来实现，读取数据时，将版本号一同读出，之后更新，对版本号加1，将提交数据的版本数据与数据库对应记录的当前版本信息进行比对，如果提交的数据版本号大于数据库的数据，则予以更新，否则，被认为是过期数据。

事务处理-故障恢复。可能错误的情况。
1、业务属性不匹配。（需要回滚）
2、系统崩溃。（需要回滚）

事务处理-死锁与死锁检测
死锁产生的原因：两个线程，不同方向，相同资源。

补充两个概念：
共享锁(Shared Lock)：读锁，保证数据只能读取，不能被修改。
如果事务A对数据M加上S锁，则事务A可以读记录M但不能修改记录M，其他事务(这里用事务B)只能对记录M再加上S锁，不能加X锁，直到事务A释放了记录M上的S锁，保证了其他事务(事务B)可以读记录M，但在事务A释放M上的S锁之前不能对记录M进行任何修改。
排他锁(X 锁)：写锁，单位时间内只有一个事务拥有他。
若事务A对数据对象M加上X锁，事务A可以读记录M也可以修改记录M，其他事务(事务B)不能再对记录M加任何锁，直到事务A释放记录M上的锁，保证了其他事务(事务B)在事务A释放记录M上的锁之前不能再读取和修改记录M。