作者在 fly.io 分布式系统挑战中实现支持 transaction, totally-available, read committed 的分布式 K/V 数据库。通过实现 WAL 和 watermark 算法来保证数据一致性和可用性。