SSI乐观串行化

可串行化快照隔离先按快照隔离乐观执行，再检测事务之间的危险依赖，必要时中止其中一个。它避免大量锁带来的阻塞，又能接近串行化语义；代价是冲突高时重试增多，应用必须能正确处理事务中止。