本文讨论了FoundationDB的写事务提交过程，强调提交成功与数据可见性之间的区别。提交由Commit Proxy协调，涉及Sequencer、Resolver和TLog。客户端在提交后依赖TLog的耐久性，但Storage Server的可读性可能会延迟。文章还探讨了批处理、冲突检测及与TiKV的对比，指出了系统设计选择和潜在的工程挑战。

本文讨论了FoundationDB的内核架构，重点介绍了事务处理流程中Proxy、Sequencer、Resolver和TLog的角色与功能。同时探讨了OCC的严格可串行化、故障恢复及确定性模拟方法，适合分布式数据库工程师阅读。