解构事务系统：四步舞曲与无限可能

本文探讨了事务系统的核心组成部分：执行、排序、验证和持久化。这四个步骤的顺序和并发方式决定了数据库的特性。文章以FoundationDB、Spanner、TAPIR、Calvin和CURP为例，分析了不同数据库系统如何巧妙地编排这四个步骤，从而实现不同的性能和一致性权衡。作者还列举了所有可能的步骤组合，为构建新型事务系统提供了无限灵感。