From 620664b98c9aa0affcc64e5d767144d32cf77306 Mon Sep 17 00:00:00 2001 From: Chengyin Liu <39553789+lynkeib@users.noreply.github.com> Date: Sat, 4 Jun 2022 23:38:25 -0700 Subject: [PATCH] adjust wording for linearizability vs serializability adjust wording for linearizability vs serializability --- ch9.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ch9.md b/ch9.md index 19b2088..40fd9df 100644 --- a/ch9.md +++ b/ch9.md @@ -142,7 +142,7 @@ > > **线性一致性(Linearizability)** 是读取和写入寄存器(单个对象)的 **新鲜度保证**。它不会将操作组合为事务,因此它也不会阻止写入偏差等问题(请参阅 “[写入偏差和幻读](ch7.md#写入偏斜与幻读)”),除非采取其他措施(例如 [物化冲突](ch7.md#物化冲突))。 > -> 一个数据库可以提供可串行化和线性一致性,这种组合被称为严格的可串行化或 **强的单副本可串行化(strong-1SR)**【4,13】。基于两阶段锁定的可串行化实现(请参阅 “[两阶段锁定](ch7.md#两阶段锁定)” 一节)或 **真的串行执行**(请参阅第 “[真的串行执行](ch7.md#真的串行执行)”)通常是线性一致性的。 +> 一个数据库可以提供可串行化和线性一致性,这种组合被称为严格的可串行化或 **强的单副本可串行化(strong-1SR)**【4,13】。基于两阶段锁定的可串行化实现(请参阅 “[两阶段锁定](ch7.md#两阶段锁定)” 一节)或 **真的串行执行**(请参阅 “[真的串行执行](ch7.md#真的串行执行)”一节)通常是线性一致性的。 > > 但是,可串行化的快照隔离(请参阅 “[可串行化快照隔离](ch7.md#可串行化快照隔离)”)不是线性一致性的:按照设计,它从一致的快照中进行读取,以避免读者和写者之间的锁竞争。一致性快照的要点就在于 **它不会包括该快照之后的写入**,因此从快照读取不是线性一致性的。