linearizability versus serializability

[nanne007]

http://www.bailis.org/blog/linearizability-versus-serializability/

最近终于搞懂了这个玩意。之前先入为主了。

Combining serializability and linearizability yields strict serializability: transaction behavior is equivalent to some serial execution, and the serial order corresponds to real time. For example, say I begin and commit transaction T1, which writes to item x, and you later begin and commit transaction T2, which reads from x. A database providing strict serializability for these transactions will place T1 before T2 in the serial ordering, and T2 will read T1’s write. A database providing serializability (but not strict serializability) could order T2 before T1.

[nanne007]

一致性模型的定义： https://jepsen.io/consistency

[nanne007]

another post: https://aphyr.com/posts/313-strong-consistency-models

[nanne007]

SSI 实现：

• https://en.wikipedia.org/wiki/Precedence_graph

[nanne007]

write skew:

https://www.cockroachlabs.com/blog/what-write-skew-looks-like/

[nanne007]

crdb ssi 实现要点：

• WR 解决： READ 相关 key 时，判断是否有 write indent，如果是正在进行的 txn，则需要根据 txn 的优先级做 abort。
• [ ] RW 解决： 每个txn中的write 操作都会去 timestamp cache 中获取相关key 最近一次读操作，如果读操作 ts 大于自己的 ts，则说明有人再