主要观点：认为快照隔离（snapshot isolation）在大多数应用的数据库隔离谱中是一个理想点，深入探讨了事务隔离的读写冲突等概念，比较了快照隔离与可串行化的差异及权衡，强调了在大多数 OLTP 应用中，快照隔离结合强一致性是合适的默认选择，还讨论了乐观与悲观并发控制的优缺点。

关键信息：

• 介绍两个事务 T1 和 T2，展示它们的读写操作及并发执行情况。
• 抽象出事务的读集和写集，说明在可串行化和快照隔离下的不同规则。
• 指出 SQL 数据库中 SELECT 操作易使读集增大，而写集相对较小，这是选择快照隔离的原因之一。
• 提到在 Aurora DSQL 中，将隔离级别从快照隔离降低到读已提交不能节省分布式协调，但可节省存储副本上的局部协调。
• 阐述乐观并发控制（OCC）在避免协调方面的优势，如仅在 COMMIT 时协调，且在向后验证中仅需已提交事务的状态来决定是否提交。

重要细节：

• 给出了事务 T1 和 T2 的具体代码示例，包括开始、读写和提交操作。
• 引用了相关文献如 Crooks 等人的《Seeing is Believing: A Client-Centric Specification of Database Isolation》等。
• 提到了 Aurora DSQL 的 hermitage SQL 测试集与 PostgreSQL 的 repeatable read 集相似但非阻塞。
• 强调了关于权衡存在的观点，否定了否认这些权衡存在的人。