神技圈子的博客

顺序一致性是并发系统的一个强安全属性。通俗地说，顺序一致性意味着操作似乎按某种全序进行，并且该顺序与每个单独进程上的操作顺序一致。顺序一致性无法完全或持久地实现；如果发生网络分区，部分或全部节点将无法继续运行。顺序一致性系统中的进程可能远远领先于或落后于其他进程。例如，它们可能读取任意陈旧状态。但是，一旦进程 A 观察到进程 B 的某些操作，它就永远不会观察到 B之前的状态。这与全序属性相结合，使顺序一致性成为程序员意想不到的强大模型。

非正式地，严格序列化（又称作PL-SS、Strict 1SR、Strong 1SR）意味着操作按照某种顺序发生，与这些操作的实时顺序一致；例如，如果操作 A 在操作 B 开始之前完成，那么 A 应该在序列化顺序中出现在B之前。严格可串行化是一种事务模型：操作（通常称为“事务”）可能涉及顺序执行的多个基本操作。严格可串行化保证操作以原子方式进行：事务的子操作似乎不会与其他事务的子操作交叉，从时序上严格区分开。它也是一种多对象属性：操作可以作用于系统中的多个对象。

准备用一个系列写透分布式技术里面的一致性的难题，通过这个系列，各位能彻底掌握分布式系统中的一致性。本篇是第篇。

准备用一个系列写透分布式技术里面的一致性的难题，通过这个系列，各位能彻底掌握分布式系统中的一致性。本篇是第篇。

准备用一个系列写透分布式技术里面的一致性的难题，通过这个系列，各位能彻底掌握分布式系统中的一致性。本篇是第篇。

在快照隔离系统中，每个事务似乎都在数据库的独立、一致的快照上进行操作。其更改在提交时间之前仅对该事务可见，提交时间之后，所有更改将以原子方式对稍后开始的任何事务可见。如果事务 T1 修改了对象x，而另一个事务 T2在 T1的快照开始之后、T1提交之前提交了对x的写入 ，则 T1必须中止。快照隔离是一种事务模型：操作（通常称为“事务”）可能涉及按顺序执行的多个基本子操作。它还具有多对象属性：操作可以作用于系统中的多个对象。快照隔离无法完全可用；在存在网络分区的情况下，部分或所有节点可能无法取得进展。

是一种一致性模型，它通过防止丢失更新来增强读取提交。它引入了游标的概念，游标指的是事务正在访问的特定对象。事务可能有多个游标。当事务使用游标读取对象时，该对象不能被任何其他事务修改，直到游标被释放或事务提交。游标稳定性是一种事务模型：操作（通常称为“事务”）可以涉及按顺序执行的多个基本子操作。它也是一个多对象属性：操作可以作用于系统中的多个对象。游标稳定性无法完全实现；在存在网络分区的情况下，部分或所有节点可能无法继续工作。若要实现完全可用性，则以允许丢失更新为代价，请考虑使用已提交读取。

单调原子视图是一种一致性模型，它通过阻止事务观察先前提交的事务的部分（但不是全部）影响来增强已提交的读取。它表达了 ACID 中的原子约束，即事务的所有（或全部）影响都应发生。一旦事务 T2 观察到事务 T1 的写入，那么T1的所有影响都应该对 T2可见。这在强制执行外键约束和确保索引和物化视图反映其底层对象时特别有用。单调原子视图是一种事务模型：操作（通常称为“事务”）可以涉及按顺序执行的几个基本子操作。它还具有属性：操作可以作用于系统中的多个对象。