本文介绍etcd v3.5.33中Txn事务的实现机制，包括只读与写事务路径、compare操作（MOD/CREATE/VERSION等）、MVCC可见性及嵌套事务处理。同时分析Jepsen测试边界：KV多键事务在3.4.3中通过严格可串行化检验，但Lease锁因时钟分区问题不安全，需配合fencing机制使用。最后提供并发场景速查表，强调Txn用于条件更新和锁保护，避免无Lease永久key等误区。

Jepsen是Kyle Kingsbury开发的分布式系统一致性测试工具，通过故障注入（如网络分区、进程崩溃）和并发操作，利用数学检查器验证数据库是否违反其声称的一致性。该工具曾揭露MongoDB、Redis、Elasticsearch等系统的数据丢失和一致性缺陷，推动厂商明确语义并修复bug。Jepsen结合真实故障与形式化标准，成为行业标杆，但受限于集群规模和检查复杂度。

Jepsen报告指出，NATS JetStream在特定故障下可能会丢失已确认的数据，揭示了持久化承诺与实际情况之间的差距。默认的fsync策略每两分钟执行一次，导致数据在此期间仅存于内存中，增加了数据丢失的风险。开发者需谨慎配置，理解“已确认”与“已落盘”的区别，并引入混沌工程测试以识别系统脆弱性。

Jepsen是用Clojure编写的，因为Clojure具有良好的并发支持、Java互操作性、简洁的语法和灵活的宏系统。Clojure的数据结构和标准库函数也很好用。虽然Clojure不是最快的语言，但性能足够好。Clojure稳定且不容易腐烂。然而，Clojure的工程社区规模小，没有广为接受的静态类型系统，错误信息也不好。作者在选择Clojure之前尝试了其他语言，但认为Clojure是个不错的选择。