Update ch9.md

This commit is contained in:
songzhibin97 2022-06-11 20:48:20 +08:00 committed by GitHub
parent f7ab4a256e
commit 7b82956ce5
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

2
ch9.md
View File

@ -87,7 +87,7 @@
在 [图 9-2](img/fig9-2.png) 中,`x` 的值最初为 `0`,客户端 C 执行写请求将其设置为 `1`。发生这种情况时,客户端 A 和 B 反复轮询数据库以读取最新值。 A 和 B 的请求可能会收到怎样的响应?
* 客户端 A 的第一个读操作,完成于写操作开始之前,因此必须返回旧值 `0`
* 客户端 A 的最后一个读操作,开始于写操作完成之后。如果数据库是线性一致性的,它必然返回新值 `1`:因为读操作和写操作一定是在其各自的起止区间内的某个时刻被处理。如果在写入结束后开始读取,则读取必须在写入之后处理读取,因此它必须看到写入的新值。
* 客户端 A 的最后一个读操作,开始于写操作完成之后。如果数据库是线性一致性的,它必然返回新值 `1`:因为读操作和写操作一定是在其各自的起止区间内的某个时刻被处理。如果在写入结束后开始读取,则读取处理一定发生在写入完成之后,因此它必须看到写入的新值。
* 与写操作在时间上重叠的任何读操作,可能会返回 `0``1` ,因为我们不知道读取时,写操作是否已经生效。这些操作是 **并发concurrent** 的。
但是,这还不足以完全描述线性一致性:如果与写入同时发生的读取可以返回旧值或新值,那么读者可能会在写入期间看到数值在旧值和新值之间来回翻转。这不是我们所期望的仿真 “单一数据副本” 的系统。[^ii]