标签: 事务

原文：Laurenz Albe 事务系统是关系型数据库的核心组成部分，在应用开发中，为确保 数据完整性 提供了重要支持。 SQL 标准规范了数据库事务的一些功能，但并未明确规定许多细节。因此，关系型数据库的事务系统可能存在显著差异。 近年来，许多人尝试从 Oracle 数据库迁移到 PostgreSQL。为了顺利将应用从 Oracle 迁移到 PostgreSQL，理解两者事务系统之间的差异至关重要。 否则，您可能会遇到一些令人头痛的意外情况，危及到性能和数据完整性。所以，我认为有必要编写一篇 …

MySQL 曾经 是世界上最流行的开源关系型数据库，然而流行并不意味着先进，流行的东西也会出大问题。JEPSEN 对 MySQL 的隔离等级评测捅穿了这层窗户纸 —— 在 正确性 这个体面数据库产品必须的基本属性上，MySQL 的表现一塌糊涂。 MySQL 文档声称实现了 可重复读/RR 隔离等级，但实际提供的正确性保证却弱得多。JEPSEN 在 Hermitage 的研究基础上进一步指出，MySQL 的 可重复读/RR 隔离等级实际上并不可重复读，甚至既不 原子 也不 单调，连 单调原子视图 …

并发程序很难写对，更难写好。很多程序员也没有真正弄清楚这些问题，不过是一股脑地把这些问题丢给数据库而已。并发异常并不仅仅是一个理论问题：这些异常曾经造成过很多资金损失，耗费过大量财务审计人员的心血。但即使是最流行、最强大的关系型数据库（通常被认为是“ACID”数据库），也会使用弱隔离级别，所以它们也不一定能防止这些并发异常的发生。 比起盲目地依赖工具，我们应该对存在的并发问题的种类，以及如何防止这些问题有深入的理解。 本文将阐述SQL92标准中定义的隔离级别及其缺陷，现代模型中的隔离级别与定义这 …

一致性 这个词重载的很厉害，在不同的语境和上下文中，它其实代表着不同的东西： 在事务的上下文中，比如ACID里的C，指的就是通常的 一致性（Consistency） 在分布式系统的上下文中，例如CAP里的C，实际指的是 线性一致性（Linearizability） 此外，“一致性哈希”，“最终一致性”这些名词里的“一致性”也有不同的涵义。 这些一致性彼此不同却又有着千丝万缕的联系，所以经常会把人绕晕。 在事务的上下文中，一致性（Consistency） 的概念是：对数据的一组特定陈述必须始终成立 …