MIT6.830 lab4 SimpleDB Transactions

MIT6.830 lab4 SimpleDB Transactions
lab4要做的是让SimpleDB支持事务,基于严格两阶段封锁协议去实现原子性和隔离性的，所以开始前也需要了解两阶段封锁协议是如何实现事务的。

两阶段封锁协议 首先是封锁协议：我们将要求在系统中的每一个事务遵从封锁协议，封锁协议的一组规则规定事务何时可以对数据项们进行加锁、解锁。
对于两阶段封锁协议：两阶段封锁协议要求每个事务分两个节点提出加锁和解锁申请：
增长阶段：事务可以获得锁，但不能释放锁； 缩减阶段：事务可以释放锁，但不能获得新锁。 最初，事务处于增长阶段，事务根据需要获得锁。一旦该事务释放了锁，它就进入了缩减阶段，并且不能再发出加锁请求。
严格两阶段封锁协议不仅要求封锁是两阶段，还要求事务持有的所有排他锁必须在事务提交后方可释放。这个要求保证未提交事务所写的任何数据在该事务提交之前均已排他方式加锁，防止了其他事

MIT6.830 lab4 SimpleDB Transactions最先出现在Python成神之路。