本文讨论了FoundationDB的严格可串行化和外部一致性，强调了5秒事务限制的设计目的，以确保系统恢复的有界性。通过结合OCC与MVCC，FoundationDB实现了可串行化快照隔离（SSI）语义。在高冲突情况下，重试机制可能导致吞吐量下降，需通过优化数据模型和减少读集来缓解。

Spanner通过TrueTime API（结合GPS与原子钟）提供时间区间，实现外部一致性。事务提交时分配时间戳并执行Commit Wait（约2ε），确保时间戳与真实时间顺序一致。支持快照读、强读及跨Paxos Group事务。CockroachDB用HLC和不确定性区间近似，TiDB用集中式TSO，各有取舍。