Discussion about Linearizability: Theory and Practice
Study the following:
- Lowe, Gavin. “Testing for linearizability.” Concurrency and Computation: Practice and Experience 29, no. 4 (2017): e3928.
- Testing for Linearizability
- Athalye, Anish, “Testing Distributed Systems for Linearizability.” Available: https://anishathalye.com/testing-distributed-systems-for-linearizability/
Do experiments and prepare slides, discussing:
- Motivation to test linearizability
- Approaches/algorithms to test linearability
- How hard a computational problem it is to test linearability
- Experience with running experiments given in bullet point 2 in the above.
Be prepared to present selected slides.