关于图9-4的解释

[tigerinus]

关于图9-4的解释

[yingang]

按我的理解合并回答一下哈：

1. 这里的其他请求是指图里Client A的第二次读取操作，该操作读取到了Client C的写入操作的结果（即将x从2改为4）
2. 如果没有这个其他请求，Client B的最后一次读取操作和Client C的写入操作是并发的，读取到2或4都有可能，所以原文会说读取到2也是可以的
3. 但因为已经有了这个其他请求，不管Client B和Client C的操作怎么并发，至少Client A已经看到了Client C的写入结果，那发生时间更晚的Client B读取操作也必须能看到这个结果，这样才能说满足线性一致性的要求

[yingang]

没有进一步的疑问，就先 close 这个 issue 了哈。

[tigerinus]

按我的理解合并回答一下哈：

1. 这里的其他请求是指图里Client A的第二次读取操作，该操作读取到了Client C的写入操作的结果（即将x从2改为4）
2. 如果没有这个其他请求，Client B的最后一次读取操作和Client C的写入操作是并发的，读取到2或4都有可能，所以原文会说读取到2也是可以的
3. 但因为已经有了这个其他请求，不管Client B和Client C的操作怎么并发，至少Client A已经看到了Client C的写入结果，那发生时间更晚的Client B读取操作也必须能看到这个结果，这样才能说满足线性一致性的要求

所以这个图只是说明了一种不符合线性一致性的反例，并不是说明如何保证线性一致性的机制，对么？

[yingang]

所以这个图只是说明了一种不符合线性一致性的反例，并不是说明如何保证线性一致性的机制，对么？

嗯，我理解是的，具体如何设计和实现应该是后面的章节所讨论的内容。