13. sequential consistency and linearizability

===== sequential consistency and linearizability =====

Takeaways:
Total ordering
Sequential consistency
Linearizability

Audience:
basic understanding of computers and programming
basic understanding of sync/async systems
basic understanding of consistency:    • 11.  Leaderless Replication & Consist...  

Source:
Consistency Models by Jepsen
https://jepsen.io/consistency
Linearizability versus Serializability by Peter Bailis, 2014
http://www.bailis.org/blog/linearizab...
Sequential consistency versus linearizability*
https://dl.acm.org/doi/abs/10.1145/17...
How to Make a Multiprocessor Computer that Correctly Executes Multiprocess Programs.
Linearizability: A Correctness Condition for Concurrent Objects

Errata:
Slide 19 (Why Consistency): replace "linearizability" by a certain consistency, to “be” returned

Slide 27 (Lineraizability): the middle operation should be "R1=0"