数据库---- 事务及实现（原创笔记）

前言

事务的原子、一致、隔离、持久，即ACID属性，从而引申到分布式事务，什么叫分布式事务？以及其众多的理论支持，各个框架是如何解决分布式事务的？最近几章会重点总结。

事务是一个很多框架工具数据库等都要面对的问题，spring也不例外
事务(transaction)和 ACID
atomicity* 一个事务的所有操作要么全部执行，要么一个都不执行。如果在执行事务的过程中，因为任何原因导致事务失败，已经执行的操作都要被回滚(rollback)。这种“all-or-none"的属性就是所谓的事务的原子性(atomicity)。*
consistency 假定数据库的初始状态是稳定的，或者说对用户来说是一致的。由于事务执行的原子性，即执行失败就回滚到执行前的状态，执行成功就变成一个新的稳定状态。因此，事务的执行会保持数据库状态的一致性(consistency)。
isolation 数据库系统是多用户系统。多个用户可能在同一时间执行不同的事务，称为并发。如果想要做到事务的原子性，那么数据库就必须做到并发的事务互不影响。从事务的角度出发，在执行它本身的过程中，不会感知到其他事务的存在。从数据库的角度出发，即使同一时间有多个事务并发，从微观尺度上看，它们之间也有先来后到，必须等一个事务完成后，另一个事务才开始。这种并发事务之间的不感知就是所谓的事务隔离性(isolation)。
durability 当一个事务被认定执行成功后，即代表这个事务的操作被数据库持久化。因此，即使数据库在此时奔溃了，比如进程被杀死了，甚至是服务器断电了，这个事务的操作依然有效，这就是事务的另一个属性，持久性(durability)。

Spring 的事务管理是基于 AOP 实现的，而 AOP 是以方法为单位的。Spring 的事务属性分别为传播行为、隔离级别、只读和超时属性，这些属性提供了事务应用的方法和描述策略。
隔离级别(Isolation Level)

1. 脏读： 一个事务读取了另一个事务还未提交的修改；
   虽然可能大多数情况下，我们都会认为脏读产生了不正确的结果。但是，抛开业务谈正确性都是耍流氓。或许，某些用户的某些业务，为了支持更大地并发，允许脏读的出现。因为，对于读未提交，完全不需要对操作进行加锁，自然并发性更高。
2. 可重复度读： 在一个事务过程中，可能出现多次读取同一数据但得到的值不同的现象；
3. 幻读： 指的是，在一个事务中，当查询了一组数据后，再次发起相同查询，却发现满足条件的数据被另一个提交的事务改变了
   

实现1:加锁实现机制(Lock-based protocols)
加锁实现是通过比较哪个事务先获得锁来决定事务执行的顺序，以此来保证事务之间的有序性
实现2:时间戳机制(Timestamp-based protocols)
也可以记录这个事务开启的时间 ，记为事务 Ti 的时间，通过比较不同事务的时间戳，我们就能给事务排序了（通过一个统一的事务管理机制来分发时间戳：每一个事务，不能自行根据执行时间来得到时间戳，而是必须调用一个方法(这个方法可以是由单个线程或者进程管理的)来获得。这个线程就能够保证事务之间的时间戳总有先后关系）
MVCC