MIT6.824 Lecture13 distributed transaction

问题 

在跨机器的操作下，一个事务可能面临着crash failure和并发的问题，在这种情况下保持事务原子性是个挑战

ACID

事务的四个特性，没什么好说的 

隔离：serializable

可串行化的。两个事务T1， T2，考虑的并发性，只有两种结果T1 ->T2 T2->T1,线性一致性多了个时间要求，不仅要求结果。而且两个事务的时间也没有交集。

并发控制

乐观和悲观两种策略。这节主要考虑悲观，也就是加锁来达到目的

2pl 二阶段锁

分为两个阶段，一个阶段growing, 一个阶段shrinking。有可能死锁。可以用一个背景线程构建一个wait_for graph。判断有没环，然后根据不同的情况，选择最老或者最年轻的abort，来rollback和释放锁

2pc二阶段提交

先是写入log，然后回应prepare，如果prepare都是yes的话，就commit all，然后把更新写入disk。当然过程中prepare和事务id也要写入disk，如果中途crash的话，后面这些信息在recovery时很重要

raft容错

可以用raft来使coordinate节点来容错

raft == 2pc????

no, raft是大多数的决定。而2pc要所有part都同意提交才行。同时raft是所有节点都在做一样的事情，复制相同的东西。而2pc不是，operate不同的数据，传播不同的东西。raft复制日志，而2pc是事务的提交原子的保障